Some Observations on the Effect of Urea on the Dyeing Behaviour of Wool at Low Temperatures

The effect of adding urea to the dyebath on the rate of absorption of reactive and acid dyes by wool, and of acid dyes by other protein bres, has been studied. Possible modesof action of aqueous solutions of urea on wool are discussed. The observed increase in the ite of dyeing in the presence of urea is due to disaggregation of the dye in solution and reduction in dye-protein hydrophobic interactions. The action of urea in promoting fibre swelling is also likely to be a contributory factor.     

The logic of message-passing

Message-passing is a key ingredient of concurrent programming. The purpose of this paper is to describe the equivalence between the proof theory, the categorical semantics, and term calculus of message-passing. In order to achieve this we introduce the categorical notion of a linear actegory and the related polycategorical notion of a poly-actegory. Not surprisingly the notation used for the term calculus borrows heavily from the (synchronous) π-calculus. The cut-elimination procedure for the system provides an operational semantics.     

Alteration of the hormonal bioactivity of parathyroid hormone-related protein (PTHrP) as a result of limited proteolysis by prostate-specific antigen

This paper examines why the law concerns itself with euthanasia. The nature of the right to life and its protection in law is explored. Such a right demands legal intervention to prohibit, or at least control, involuntary and non-voluntary euthanasia. Voluntary euthanasia is not a violation of the individual's right to life as such, so on what grounds can law limit autonomy by prohibiting such conduct? It is suggested that, while concepts of sanctity of life still play a part in the legal debate, fears of abuse in any scheme for voluntary euthanasia largely explain the reluctance of many jurisdictions to follow the example of The Netherlands. Finally, the paper asks whether reform and regulation of voluntary euthanasia are as attractive options as they are sometimes portrayed.     

Antisense oligonucleotide-induced reduction in 5-hydroxytryptamine7 receptors in the rat hypothalamus without alteration in exploratory behaviour or neuroendocrine function

The effect of a 5-hydroxytryptamine7 (5-HT7) receptor-directed antisense oligonucleotide on rat behaviour and neuroendocrine function was investigated. Six days of intracerebroventricular 5-HT7 antisense oligonucleotide treatment significantly reduced [3H]5-HT binding to hypothalamic 5-HT7 receptors, whereas cortical 5-HT2C density remained unchanged. In rats on a food-restricted diet, both antisense and mismatch oligonucleotides reduced food intake and body weight compared with that in vehicle-treated controls by day 4 of administration. 5-HT7 antisense oligonucleotide administration did not affect exploratory or locomotor activity in photocell activity monitors on day 4 or elevated plus-maze behaviour on day 6 of intracerebroventricular treatment. 5-HT7 antisense oligonucleotide did not affect plasma corticosterone or prolactin levels or 5-HT turnover in either 5-HT cell body or terminal areas. These data demonstrate that intracerebroventricular 5-HT7 antisense oligonucleotide administration selectively reduced rat hypothalamic 5-HT7 receptor density without affecting any of the biochemical or behavioural measures. The results suggest that this antisense protocol could be a valuable tool to investigate central 5-HT7 receptor functions, and that this receptor is not critical for the control of neuroendocrine function or food intake.     

Restriction categories I: categories of partial maps

Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an associated idempotent, which measures the degree of partiality. This structure is captured abstractly by the notion of a restriction category, in which every arrow is required to have such an associated idempotent. Categories with a stable system of monics, functors preserving this structure, and natural transformations which are cartesian with respect to the chosen monics, form a 2-category which we call . The construction of categories of partial maps provides a 2-functor . We show that can be made into an equivalence of 2-categories between and a 2-category of restriction categories. The underlying ordinary functor of the above 2-functor turns out to be monadic, and, from this, we deduce the completeness and cocompleteness of the 2-categories of -categories and of restriction categories. We also consider the problem of how to turn a formal system of subobjects into an actual system of subobjects. A formal system of subobjects is given by a functor into the category of semilattices. This structure gives rise to a restriction category which, via the above equivalence of 2-categories, gives an -category. This -category contains the universal realization of the given formal subobjects as actual subobjects.     

Deforestation, program transformation, and cut-elimination

The problem of proving that two programs, in any reasonable programming language, are equivalent is well-known to be undecidable. In a formal programming system, in which the rules for equivalence are finitely presented, the problem of provable equivalence is semi-decidable. Despite this improved situation there is a significant lack of generally accepted automated techniques for systematically searching for a proof (or disproof) of program equivalence. Techniques for searching for proofs of equivalence often stumble on the formulation of induction and, of course, coinduction (when it is present) which are often formulated in such a manner as to require inspired guesses.There are, however, well-known program transformation techniques which do address these issues. Of particular interest to this paper are the deforestation techniques introduced by Phil Wadler and the fold/unfold program transformation techniques introduced by Burstall and Darlington. These techniques are shadows of an underlying cut-elimination procedure and, as such, should be more generally recognized as proof techniques.In this paper we show that these techniques apply to languages which have both inductive and coinductive datatypes. The relationship between these program transformation techniques and cut-elimination requires a transformation from initial and final “algebra” proof rules into “circular” proof rules as introduced by Santocanale (and used implicitly in the model checking community). This transformation is only possible in certain proof systems. Here we show that it can be applied to cartesian closed categories with datatypes: closedness is an essential requirement. The cut-elimination theorems and attendant program transformation techniques presented here rely heavily on this alternate presentation of induction and coinduction.     

Age-related changes in male rat reproductive organ weights and plasma testosterone concentrations after administration of a monoamine oxidase inhibitor

Experiments were conducted to determine the effects of pargyline, a monoamine oxidase inhibitor, onmale rat reproductive organ weights, testicular histology, and plasma testosterone levels. Pargyline was administered to various groups of rats by implanting it, either dissolved or in a powder form, in Silastic tubing capsules. Additional rats were injected with pargyline solutions. The effects of pargyline.appeared to be age-related with younger animals, weighing under 400 gm (less than 100 days of age), showing a decrease in testicular and accessory organ weights and plasma testosterone. Older animals did not show a decrease in organ weights. Testicular histology in the pargyline-treated groups showed sloughage of cellular material into the tubular lumina, decreases in the number of cell layers, and a reduction of the number of mature spermatocytes. Other areas in the same testis were normal, however, and resembled control histology. The results suggest that pargyline can have detrimental effects on testicular function and that the effects may be age-related.     

RGS7 attenuates signal transduction through the G(alpha q) family of heterotrimeric G proteins in mammalian cells

The RGS proteins are a recently discovered family of G protein regulators that have been shown to act as GTPase-activating proteins (GAPs) on the G(alpha i) and G(alpha q) subfamilies of the heterotrimeric G proteins. Here, we demonstrate that RGS7 is a potent GAP in vitro on G(alpha i1), and G(alpha o) heterotrimeric proteins and that RGS7 acts to down-regulate G(alpha q)-mediated calcium mobilization in a whole-cell assay system using a transient expression protocol. This RGS protein and RGS4 are reported to be expressed predominantly in brain, and in situ hybridization studies have revealed similarities in the regional distribution of RGS and G(alpha q) mRNA expression. Our findings provide further evidence to support a functional role for RGS4 and RGS7 in G(alpha q)-mediated signaling in the CNS.     

The Development of Polymer Exhaust Aqueous Batch Processes to Meet the Superwash Standard

The present aqueous batch processes for the production of Superwash wool are briefly described. These pretreatment/ resin processes suffer from defects such as a harmful effect on fabric properties, a noticeable colour change on treatment and unacceptable cross–staining of multi–coloured materials. The development of aqueous processes in which the polymer is exhausted on to the wool is described in terms of the chemistry of the polymer used and its mode of application, generally by exhaustion from long liquors. The effect on fibre properties is described with particular reference to coloration aspects. Practical considerations that have arisen during bulk trials are covered, together with costings, where relevant.     

Insulin-like growth factor I: action and receptor characterization in human prostate cancer cell lines

The role of insulin-like growth factor I (IGF-I) in the growth and development of prostate cancer was studied using established human prostate cancer cell lines. Under steroid and growth factor-free culture conditions, IGF-I significantly stimulated the androgen-independent cell lines PC-3 and DU-145 to incorporate [3H]thymidine into DNA, while the androgen-dependent cell line, LNCaP, was not affected. However, in the presence of dihydrotestosterone (DHT), DNA synthesis of LNCaP cells was stimulated by IGF-I in a dose-dependent manner. None of the cell lines tested secreted an immunoreactive level of IGF-I into their conditioned medium. Characterization of receptors by ligand binding assays revealed that all prostate cancer cell lines tested express specific binding sites for IGF-I with similar dissociation constants (0.23-0.39 nM). Crosslinking studies supported the suggestion that 125I-IGF-I was bound to a receptor on these cells. The IGF-I receptor concentrations of androgen-independent cell lines were significantly higher than those of the androgen-dependent cell line. Androgen appeared to affect neither the expression of IGF-I receptors nor the secretion of IGF-I. The results suggest that IGF-I may play an important role in stimulating the growth and progression of prostate cancer.