Embryonic mortality in buffaloes synchronized and mated by AI during the seasonal decline in reproductive function

The aim was to determine the factors that contribute to embryonic mortality in buffaloes mated by AI during a period of increasing day length which corresponds to a natural decline in reproductive activity. Italian Mediterranean buffalo cows (n = 243) showing regular estrous cycles were synchronized using the Ovsynch-TAI program and mated by AI at 16 and 40 h after the second injection of GnRH. Blood samples were collected on Days 10 and 20 after the first AI and assayed for progesterone (P-4). Pregnancy diagnosis was undertaken on Days 26 and 40 after the first AI using rectal ultrasonography. Buffaloes with a conceptus on Day 26 but not on Day 40 were judged to have undergone embryonic mortality and for these animals uterine fluid was recovered by flushing and analysed for common infectious agents. Estrus synchronization was achieved in 86% of buffaloes and the pregnancy rate on Day 40 was 34%. Embryonic mortality between Days 26 and 40 occurred in 45% of buffaloes and was associated with the presence of significant infectious agents in only 10 buffaloes (8%). Concentrations of P-4 on Day 10 after AI were higher (P < 0.05) in buffaloes that established a pregnancy than in buffaloes that showed embryonic mortality that was not associated with infectious agents. Similarly, on Day 20 after AI P-4 concentrations were higher (P < 0.01) in pregnant buffaloes compared with non-pregnant buffaloes and buffaloes that had embryonic mortality. It is concluded that a reduced capacity for P-4 secretion can explain around 50% of embryonic mortalities in buffaloes synchronised and mated by AI during a period of low reproductive activity and that other as yet unidentified factors also have a significant effect on embryonic survival. (c) 2004 Elsevier Inc. All rights reserved.

Increasing the efficacy of Judas goats by sterilisation and pregnancy termination

The use of Judas goats to locate remnant animals is a potentially powerful tool for enhancing goat-eradication efforts, which are especially important to island conservation. However, current Judas goat methodology falls short of its potential efficacy. Female Judas goats are often pregnant at the time of deployment or become impregnated in the field; pregnant females leave associated goats to give birth, causing downtime of Judas goat operations. Further, male Judas goats may inseminate remnant females. Sterilising Judas goats prior to deployment removes these inefficiencies. Here, we describe two methods (epididymectomy for males and tubal occlusion for females) that sterilise Judas goats while still maintaining sexual motivation and other behaviours associated with intact animals. These surgeries are straightforward, time efficient, and may be conducted in the field by staff with minimal training. Given the widespread and deleterious impacts of non-native herbivores to ecosystems and the importance of Judas operations in detecting animals at low densities, sterilisation and termination of pregnancy should be applied routinely in Judas goat (and possibly other species) programs to increase the efficacy of low-density control operations and eradication campaigns.

Noninertial observers in special relativity and clock synchronization debates

Selleri's arguments that a consideration of noninertial reference frames in the framework of special relativity identify absolute simultaneity as being Nature's choice of synchronization are considered. In the case of rectilinearly accelerating rockets, it is argued by considering two rockets which maintain a fixed proper separation rather than a fixed separation relative to the inertial frame in which they start from rest, that what seems the most natural choice for a simultaneity convention is problem-dependent and that Einstein's definition is the most natural (though still conventional) choice in this case. In addition, the supposed problems special relativity has with treating a rotating disk, namely how a pulse of light traveling around the circumference of the disk can have a local speed of light equal to c everywhere but a global speed not equal to c, and how coordinate transformations to the disk can give the Lorentz transformations in the limit of large disk radius but small angular velocity, are addressed. It is shown that the theory of Fermi frames solves both of these problems. It is also argued that the question of defining simultaneity relative to a uniformly rotating disk does riot need to be resolved in order to resolve Ehrenfest's paradox.

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.

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.

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.