Learn More
GnRH acts via GnRH receptors (GnRH-R) in the pituitary to cause the release of gonadotropins that regulate vertebrate reproduction. In the teleost fish, Haplochromis burtoni, reproduction is socially regulated through the hypothalamus-pituitary-gonadal axis, making the pituitary GnRH-R a likely site of action for this control. As a first step toward(More)
Synchronous programming is available through several formally defined languages having very different characteristics: ESTEREL is imperative, while LUSTRE and SIGNAL are declarative in style; STATECHARTS and ARGOS are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design(More)
This study aimed to identify the mechanism(s) for impairment of spermatogenesis in adulthood in rats treated neonatally with estrogens. Rats were treated (days 2-12) with 10, 1, or 0.1 microg diethylstilbestrol (DES), 10 microg ethinyl estradiol (EE), 10 mg/kg of a GnRH antagonist (GnRHa), or vehicle and killed in adulthood. DES/EE caused dose-dependent(More)
The aim of the present study was to evaluate the effects of the administration of a potent non-steroidal aromatase inhibitor, anastrozole, on male reproductive function in adult rats. As anastrozole was to be administered via the drinking water, a preliminary study was undertaken in female rats and showed that this route of administration was effective in(More)
The goal of this work is to support the validation of reactive programs that are written in synchronous languages such as lustre or esterel by promoting the twin aims of formal veriication and systematic testing. Much European industry already relies to a great extent on the design and safe implementation of reactive systems: customers and the public do(More)
Androgens are important for the structural and functional integrity of the testis and the prostate and this may in part be mediated by the aromatisation of testosterone to oestradiol. The aim of the present study was to establish an in vivo model that would allow the identification of genes, the expression of which was regulated acutely by androgen and/or(More)
This study presents a methodology based on Linear Programming for determining the optimal pump schedule on a 24-hour basis, considering as decision variables the continuous pump flow rates which are subsequently transformed into a discrete schedule. The methodology was applied on a case study derived from the benchmark Anytown network. To evaluate the LP(More)
This paper describes a novel approach to the veriication of synchronous programs. Synchronous languages such as Esterel, Argos, or Signal, have a computational model that consists of an innnite sequence of input/output events, each taking time to compute that is negligible on a scale measured by the environment. This model is well suited to programming(More)
  • 1