Results 61 to 70 of about 1,231,330 (253)
Comparative Study of Pregnancy Rate of Dairy Cows Inseminated with Fresh or Frozen-Thawed Semen
The aim of this study was to investigate conception rates (CR) achieved with artificial insemination of Holstein cows using fresh or frozen insemination doses (ID). The synchronization protocols (Double-Ovsynch, Ovsynch, ReSynch) and pedometers were used
Jan Pytlík +3 more
doaj +1 more source
The objective of this study was to evaluate the effect of a low dose of hCG or FSH on follicle growth and pregnancy per artificial insemination (AI) in crossbreed beef heifers subjected to a split-time AI program.
Daniella Heredia +6 more
doaj +1 more source
Smaller is better: nanobodies meet NMR
Nanobodies are single‐domain antigen‐binding fragments derived from camelid heavy chain antibodies. Their small size, high stability, and exceptional specificity make nanobodies uniquely useful probes for NMR studies of protein dynamics, transient conformational states, and protein–protein interactions.
Oleg Y. Dmitriev
wiley +1 more source
Compositional detection of Zeno behavior in Timed Automata with Deadlines [PDF]
We present a compositional analysis to detect Zeno behavior in Timed Automata with Deadlines. A syntactic analysis is defined, based on Tripakis' strong non-Zenoness property, which identifies all elementary cycles where Zeno behavior may occur.
Gomez, Rodolfo
core
Testing timed systems modeled by stream X-machines [PDF]
Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems.
Núñez García, Manuel +5 more
core +1 more source
Expression of estrus near timed artificial insemination (TAI) is associated with greater fertility, and estrus detection could improve TAI fertility or direct TAI management, although accurate estrus detection can be difficult and time-consuming using ...
E. Nogueira +8 more
doaj +1 more source
Transient oligomers formed by intrinsically disordered proteins may be ‘invisible’ to direct detection yet remain accessible to solution NMR through equilibrium‐exchange measurements and pressure‐jump experiments. Complementary methods report on mass, stoichiometry, selected distance distributions, morphology, and internal packing.
Martin D. Gelenter, Ad Bax
wiley +1 more source
Compositional Detection of Zeno Behaviour in Timed Automata [PDF]
The formal specification and verification of real-time systems are difficult tasks, given the complexity of these systems and the safety-critical role they usually play. Timed Automata, and real-time model-checking, have emerged as powerful tools to deal
Howard Bowman +2 more
core
In dairy cows, subjected to a G6G protocol, objectives were to determine effects of (1) extending the interval from prostaglandin F2α (PGF2α) to gonadotropin-releasing hormone (GnRH) during presynchronization; and (2) adding a second PGF2α treatment ...
F. Heidari +3 more
doaj +1 more source
EFFECT OF DOUBLE OR PRE-SYNCHRONIZATION OVSYNCH PROTOCOLS ON FOLLICULAR DYNAMICS, PROGESTERONE PROFILE AND FIRST SERVICE PREGNANCY RATE IN TIMED ARTIFICIAL INSEMINATION IN FRIESIAN COWS [PDF]
Aim of this study was to determine the effect of double-Ovsynch (DO) and pre-synchronization (PS) protocols on ovarian follicular dynamics, progesterone (P4) concentration and pregnancy rate at first postpartum AI in Friesian cows.
M. Omar, M. El-Banna, M. El-Harairy
doaj +1 more source

