Relationship of body condition score and blood urea and ammonia to pregnancy in Italian Mediterranean buffaloes

The relationship of body condition score ( BCS) and blood urea and ammonia to pregnancy outcome was examined in Italian Mediterranean Buffalo cows mated by AI. The study was conducted on 150 buffaloes at 145 +/- 83 days in milk that were fed a diet comprising 14.8% crude protein, 0.9 milk forage units . kg(-1) dry matter and a non- structural carbohydrate/ crude protein ratio of 2.14. The stage of the oestrous cycle was synchronised by the Ovsynch- TAI programme and blood urea and ammonia levels were assessed on the day of AI. Energy corrected milk ( ECM) production and BCS were recorded bi- weekly. The pregnancy risk was 46.7% and was slightly lower in buffaloes with BCS < 6.0 and BCS > 7.5. There were no significant differences in ECM, urea and ammonia between pregnant and non- pregnant buffaloes. However, pregnancy outcome was higher ( P = 0.02) in buffaloes with blood urea < 6.83 mmol . L-1. The likelihood of pregnancy for buffaloes with low urea blood level was 2.6 greater than for high urea level and exposure to a high urea level lowered the probability of pregnancy by about 0.25. The findings indicate that buffaloes are similar to cattle and increased blood levels of urea are associated with reduced fertility when animals are mated by AI.

Novel variants in growth differentiation factor 9 in mothers of dizygotic twins

Context: Genes from the ovarian bone morphogenetic signaling pathway (GDF9 and BMP15) are critical for normal human fertility. We previously identified a deletion mutation in GDF9 in sisters with spontaneous dizygotic (DZ) twins, but the prevalence of rare GDF9 variants in twinning families is unknown. Objective: The objective was to evaluate the frequency of rare variants in GDF9 in families with a history of DZ twinning. Design and Subjects: We recruited 3450 individuals from 915 DZ twinning families (1693 mothers of twins) and 1512 controls of Caucasian origin. One mother of DZ twins was selected from 279 of the 915 families, and a DNA sample was screened for rare variants in GDF9 using denaturant HPLC. Variants were confirmed by DNA sequencing and genotyped in the entire sample by matrix-assisted laser desorption ionization time of flight (MALDI-TOF) mass spectrometry. Results: We found two novel insertion/deletions (c.392-393insT, c.1268-1269delAA) and four missense alterations in the GDF9 sequence in mothers of twins. Two of the missense variants (c.307C > T, p.Pro103Ser and c.362C > T, p.Thr121Leu) were located in the proregion of GDF9 and two (c.1121C > T, p.Pro374Leu and c.1360C > T, p.Arg454Cys) in the mature protein region. For each variant, the frequencies were higher in cases compared with controls. The proportion of mothers of DZ twins carrying any variant (4.12%) was significantly higher (P < 0.0001) than the proportion of carriers in controls (2.29%). Conclusion: We describe new variants in the GDF9 gene that are significantly more common in mothers of DZ twins than controls, suggesting that rare GDF9 variants contribute to the likelihood of DZ twinning.

Evaluation of resynchronization of contractile function following biventricular pacing using colour tissue Doppler imaging

Biventdcular (BV) pacing is evaluated as an alternative treatment for patients with dilated cardiomyppathy (both ischemic and non-ischemic) and end-stage heart failure. Colour tissue Doppler imaging using echocardiography allows noninvasive, quantitative assessment of radial motion in the long-axis with measurement of peak systolic velocity timing. The aim of the present study was to evaluate quantitatively, the systolic performance of the left ventricle and the resynchrenization of contraction (before vs after implantation). Patients and methods: 25 patients with dilated cardiomyopathy (11 ischemic), NYHA class III or IV, QRS duration >120 ms received a biventricular pacemaker. Routine 2D echo and colour tissue Doppler imaging were performed before and within 1 week following implantation. LVEF was assessed using the biplane Sampson's method.Peak systolic velocity (PSV) and time to PSV (TPV) were assessed in 4 regions (basal anterior, inferior, lateral and septal). By averaging the TPV from all 4 regions, a synchronization index was dedved from these measurements. Reaults: LVEF improved by 9±9% following pacing; 17 patients improved LVEF 5% or more. The change in PSV in the septal and lateral regions related significantly to the change in LVEF (r=0.74, r=0.62).The change in synchronization index before vs after pacing (as a measurement of REsynchronization) was related to the change in LVEF (y=120x+5.6, r=0.79, P

A classification of concurrency failures in java components

The Java programming language supports concurrency. Concurrent programs are hard to test due to their inherent non-determinism. This paper presents a classification of concurrency failures that is based on a model of Java concurrency. The model and failure classification is used to justify coverage of synchronization primitives of concurrent components. This is achieved by constructing concurrency flow graphs for each method call. A producer-consumer monitor is used to demonstrate how the approach can be used to measure coverage of concurrency primitives and thereby assist in determining test sequences for deterministic execution.

Stimuli of varying spatial scale induce gamma activity with distinct temporal characteristics in human visual cortex

Gamma activity to stationary grating stimuli was studied non-invasively using MEG recordings in humans. Using a spatial filtering technique, we localized gamma activity to primary visual cortex. We tested the hypothesis that spatial frequency properties of visual stimuli may be related to the temporal frequency characteristics of the associated cortical responses. We devised a method to assess temporal frequency differences between stimulus-related responses that typically exhibit complex spectral shapes. We applied this methodology to either single-trial (induced) or time-averaged (evoked) responses in four frequency ranges (0-40, 20-60, 40-80 and 60-100 Hz) and two time windows (either the entire duration of stimulus presentation or the first second following stimulus onset). Our results suggest that stimuli of varying spatial frequency induce responses that exhibit significantly different temporal frequency characteristics. These effects were particularly accentuated for induced responses in the classical gamma frequency band (20-60 Hz) analyzed over the entire duration of stimulus presentation. Strikingly, examining the first second of the responses following stimulus onset resulted in significant loss in stimulus specificity, suggesting that late signal components contain functionally relevant information. These findings advocate a functional role of gamma activity in sensory representation. We suggest that stimulus specific frequency characteristics of MEG signals can be mapped to processes of neuronal synchronization within the framework of coupled dynamical systems.

The role of oscillatory brain activity in object processing and figure-ground segmentation in human vision

The perception of an object as a single entity within a visual scene requires that its features are bound together and segregated from the background and/or other objects. Here, we used magnetoencephalography (MEG) to assess the hypothesis that coherent percepts may arise from the synchronized high frequency (gamma) activity between neurons that code features of the same object. We also assessed the role of low frequency (alpha, beta) activity in object processing. The target stimulus (i.e. object) was a small patch of a concentric grating of 3c/°, viewed eccentrically. The background stimulus was either a blank field or a concentric grating of 3c/° periodicity, viewed centrally. With patterned backgrounds, the target stimulus emerged--through rotation about its own centre--as a circular subsection of the background. Data were acquired using a 275-channel whole-head MEG system and analyzed using Synthetic Aperture Magnetometry (SAM), which allows one to generate images of task-related cortical oscillatory power changes within specific frequency bands. Significant oscillatory activity across a broad range of frequencies was evident at the V1/V2 border, and subsequent analyses were based on a virtual electrode at this location. When the target was presented in isolation, we observed that: (i) contralateral stimulation yielded a sustained power increase in gamma activity; and (ii) both contra- and ipsilateral stimulation yielded near identical transient power changes in alpha (and beta) activity. When the target was presented against a patterned background, we observed that: (i) contralateral stimulation yielded an increase in high-gamma (>55 Hz) power together with a decrease in low-gamma (40-55 Hz) power; and (ii) both contra- and ipsilateral stimulation yielded a transient decrease in alpha (and beta) activity, though the reduction tended to be greatest for contralateral stimulation. The opposing power changes across different regions of the gamma spectrum with 'figure/ground' stimulation suggest a possible dual role for gamma rhythms in visual object coding, and provide general support of the binding-by-synchronization hypothesis. As the power changes in alpha and beta activity were largely independent of the spatial location of the target, however, we conclude that their role in object processing may relate principally to changes in visual attention.

The development of hard real-time systems using a formal approach

Hard real-time systems are a class of computer control systems that must react to demands of their environment by providing `correct' and timely responses. Since these systems are increasingly being used in systems with safety implications, it is crucial that they are designed and developed to operate in a correct manner. This thesis is concerned with developing formal techniques that allow the specification, verification and design of hard real-time systems. Formal techniques for hard real-time systems must be capable of capturing the system's functional and performance requirements, and previous work has proposed a number of techniques which range from the mathematically intensive to those with some mathematical content. This thesis develops formal techniques that contain both an informal and a formal component because it is considered that the informality provides ease of understanding and the formality allows precise specification and verification. Specifically, the combination of Petri nets and temporal logic is considered for the specification and verification of hard real-time systems. Approaches that combine Petri nets and temporal logic by allowing a consistent translation between each formalism are examined. Previously, such techniques have been applied to the formal analysis of concurrent systems. This thesis adapts these techniques for use in the modelling, design and formal analysis of hard real-time systems. The techniques are applied to the problem of specifying a controller for a high-speed manufacturing system. It is shown that they can be used to prove liveness and safety properties, including qualitative aspects of system performance. The problem of verifying quantitative real-time properties is addressed by developing a further technique which combines the formalisms of timed Petri nets and real-time temporal logic. A unifying feature of these techniques is the common temporal description of the Petri net. A common problem with Petri net based techniques is the complexity problems associated with generating the reachability graph. This thesis addresses this problem by using concurrency sets to generate a partial reachability graph pertaining to a particular state. These sets also allows each state to be checked for the presence of inconsistencies and hazards. The problem of designing a controller for the high-speed manufacturing system is also considered. The approach adopted mvolves the use of a model-based controller: This type of controller uses the Petri net models developed, thus preservIng the properties already proven of the controller. It. also contains a model of the physical system which is synchronised to the real application to provide timely responses. The various way of forming the synchronization between these processes is considered and the resulting nets are analysed using concurrency sets.

The automation of resonant thermometer probe measurements

An ultrasonic thermometer has been developed for high temperature measurement over a wide temperature range. It is particularly suitable for use in measuring nuclear fuel rod centerline temperatures in advanced liquid metal and high flux nuclear reactors. The thermometer which was designed to determine fuel temperature up to the fuel melting point, utilizes the temperature dependence of the ultrasonic propagation velocity (related to the elastic modulus} in a thin rod sensor as the temperature transducing mechanism. A pulse excitation technique has been used, where the mechanical resonator at the remote end of the acoustic·line is madto vibrate. Its natural frequency is proportional to the ultrasonic velocity in the material. This is measured by the electronic instrumentation and enables a frequency­ temperature or period-temperature calibration to be obtained. A completely digital automatic instrument has been designed, constructed and tested to track the resonance frequency of the temperature sensors. It operates smoothly over a frequency range of about 30%, more than the maximum working range of most probe materials. The control uses the basic property of a resonator that the stored energy decays exponentially at the natural frequency of the resonator.The operation of the electronic system is based on a digital multichannel transmitter that is capable of operating with a predefined number of cycles in the burst. this overcomes a basic defect in the previous deslgn where the analogue time-delayed circuits failed to hold synchronization and hence automatic control could be lost. Development of a particular type of temperature probe, that is small enough to fit into a standard 2 mm reactor tube has made the ultrasonic thermometer a practicable device for measuring fuel temperature. The bulkiness of previous probes has been overcome, the new design consists of a tuning fork, integral with a 1mm line, while maintaining a frequency of no more than 100 kHz. A magnetostrictive rod, acoustically matched to the probe is used to launch and receive the acoustic oscillations. This requires a magnetic bias and the previously used bulky magnets have been replaced by a direct current coil. The probe is supported by terminating the launcher with a short heavy isolating rod which can be secured to the reactor structure. This support, the bias and launching coil and the launcher are made up into a single compact unit. On the material side an extensive study of a wide range of refractory materials identified molybdenum, iridium, rhenium and tungsten as satisfactory for a number of applications but mostly exhibiting to some degree a calibration drift with thermal cycling. When attention was directed to ceramic materials, Sapphire (single crystal alumina) was found to have numerous advantages, particularly in respect of stability of calibration which remained with ±2°C after many cycles to 1800oC. Tungsten and thoriated tungsten (W - 2% Tho2) were also found to be quite satisfactory to 1600oC, the specification for a Euratom application.

Nonlinear dynamics of a periodically driven Duffing resonator coupled to a Van der Pol oscillator

We explore the dynamics of a periodically driven Duffing resonator coupled elastically to a van der Pol oscillator in the case of 1?:?1 internal resonance in the cases of weak and strong coupling. Whilst strong coupling leads to dominating synchronization, the weak coupling case leads to a multitude of complex behaviours. A two-time scales method is used to obtain the frequency-amplitude modulation. The internal resonance leads to an antiresonance response of the Duffing resonator and a stagnant response (a small shoulder in the curve) of the van der Pol oscillator. The stability of the dynamic motions is also analyzed. The coupled system shows a hysteretic response pattern and symmetry-breaking facets. Chaotic behaviour of the coupled system is also observed and the dependence of the system dynamics on the parameters are also studied using bifurcation analysis.

The environmental control of reproduction in the female dace, Leuciscus leuciscus

An investigation was made into the nature and control of the annual reproductive cycle of the dace, Leuciscus leuciscus. It includes 1) a study of the natural reproductive cycle, 2) the use of Carp Pituitary Extract (CPE) to induce final maturation and ovulation in captive fish, 3) the effect of artificial light treatments on ovarian development and 4) the measurement of serum melatonin levels under different photoperiod regimes. Ovarian development was monitored by endocrinological data, notably serum cycles of 17-oestradiol (E2), testosterone (T), and calcium (as an index of vitellogenin), oocyte diameter, the gonadosomatic index and histological studies of the ovary. Under natural conditions, ovarian development can broadly be divided into 4 stages: 1) oogenesis which occurs immediately after spawning; 2) a primary growth phase (previtellogenic growth) prevalent between spawning and June; 3) a secondary growth phase (yolk vesicle plus vitellogenic growth) occurring between June and December and 4) final maturation and ovulation which occurs in mid-March. During the annual ovarian cycle, the sex steroids E2 and T showed two clear elevations. The first occurred initially in April followed by a rise in serum calcium levels. This subsequently initiated the appearance of yolk granules in the oocytes in June. The second rise occurred in September and levels were maintained until December, after which there was a decline in serum E2 levels. It is proposed that in the dace, high serum E2 levels between September and December were required to maintain vitellogenin production and therefore its uptake into the developing oocytes which occurred during this time, albeit at a slower rate than in the summer months. After December, prior to final maturation, whereas serum E2 and calcium levels declined, serum T levels remained elevated. In captivity, final maturation beyond the germinal vesicle migration stage failed to occur suggesting that the stimuli required for these events were absent. However ovulation could be induced by a single injection of CPE, which induced ovulation between 6 and 14 hours after treatment. Endocrine events associated with the artificial induction of spawning included a rise in serum levels of E2, T and the maturation inducing steroid 1720-dihydroxy progesterone. Photoperiodic manipulation demonstrated that whereas short or increasing daylengths were stimulatory to ovarian development, long days delayed development. Changes from long to short and constant short daylengths early in the reproductive cycle advanced maturation (up to 5 months), suggesting that the stimulus for ovarian development and maturation was a short day. However, experiments conducted later in the reproductive cycle demonstrated that only a simulated ambient photoperiod could induce final maturation. It is proposed therefore that under natural conditions the environmental stimulus for ovarian development and final maturation are short and increasing daylengths respectively. Further support that photoperiod is the dominant timing cue in this species was provided by the pattern of serum melatonin levels. Under different photoperiod treatments, serum melatonin, which is believed to be the chemical transducer of photoperiodic information (similar to other photoperiodic species) was elevated for the duration of the dark phase, indicating that the dace at least has the ability to `measure' changes in daylength.

Synchronization processes in nonlinear systems and their relation to cortical oscillatory dynamics

This thesis was focused on theoretical models of synchronization to cortical dynamics as measured by magnetoencephalography (MEG). Dynamical systems theory was used in both identifying relevant variables for brain coordination and also in devising methods for their quantification. We presented a method for studying interactions of linear and chaotic neuronal sources using MEG beamforming techniques. We showed that such sources can be accurately reconstructed in terms of their location, temporal dynamics and possible interactions. Synchronization in low-dimensional nonlinear systems was studied to explore specific correlates of functional integration and segregation. In the case of interacting dissimilar systems, relevant coordination phenomena involved generalized and phase synchronization, which were often intermittent. Spatially-extended systems were then studied. For locally-coupled dissimilar systems, as in the case of cortical columns, clustering behaviour occurred. Synchronized clusters emerged at different frequencies and their boundaries were marked through oscillation death. The macroscopic mean field revealed sharp spectral peaks at the frequencies of the clusters and broader spectral drops at their boundaries. These results question existing models of Event Related Synchronization and Desynchronization. We re-examined the concept of the steady-state evoked response following an AM stimulus. We showed that very little variability in the AM following response could be accounted by system noise. We presented a methodology for detecting local and global nonlinear interactions from MEG data in order to account for residual variability. We found crosshemispheric nonlinear interactions of ongoing cortical rhythms concurrent with the stimulus and interactions of these rhythms with the following AM responses. Finally, we hypothesized that holistic spatial stimuli would be accompanied by the emergence of clusters in primary visual cortex resulting in frequency-specific MEG oscillations. Indeed, we found different frequency distributions in induced gamma oscillations for different spatial stimuli, which was suggestive of temporal coding of these spatial stimuli. Further, we addressed the bursting character of these oscillations, which was suggestive of intermittent nonlinear dynamics. However, we did not observe the characteristic-3/2 power-law scaling in the distribution of interburst intervals. Further, this distribution was only seldom significantly different to the one obtained in surrogate data, where nonlinear structure was destroyed. In conclusion, the work presented in this thesis suggests that advances in dynamical systems theory in conjunction with developments in magnetoencephalography may facilitate a mapping between levels of description int he brain. this may potentially represent a major advancement in neuroscience.

Symbol synchronization exploiting the symmetric property in optical fast OFDM

We propose a new simple method to achieve precise symbol synchronization using one start-of-frame (SOF) symbol in optical fast orthogonal frequency-division multiplexing (FOFDM) with subchannel spacing equal to half of the symbol rate per sub-carrier. The proposed method first identifies the SOF symbol, then exploits the evenly symmetric property of the discrete cosine transform in FOFDM, which is also valid in the presence of chromatic dispersion, to achieve precise symbol synchronization. We demonstrate its use in a 16.88-Gb/s phase-shifted-keying-based FOFDM system over a 124-km field-installed single-mode fiber link and show that this technique operates well in automatic precise symbol synchronization at an optical signal-to-noise ratio as low as 3 dB and after transmission.

Nutrition of females during the peri-conceptional period and effects on foetal programming and health of offspring

The period around the time of conception is one characterised by considerable cytological and molecular restructuring as ovulation occurs, the oocyte is fertilised and the embryonic developmental programme begins. The intrinsic processes regulating peri-conceptional progression are supplemented by environmental factors, which contribute important metabolic information that influences several aspects of the developmental programme. Indeed, there is growing evidence from different mammalian animal models, reviewed here, that the peri-conceptional environment mediated through maternal nutrition can modify development throughout gestation and affect the physiological and metabolic health of adult offspring. The concept that adult disease risk may owe its origin to the quality of peri-conceptional maternal nutrition is one, which merits further research for mechanistic understanding and devising preventive strategies. © 2012 Elsevier B.V.