Results 31 to 40 of about 22,219,032 (293)

Improved fertility in suckled beef cows ovulating large follicles or supplemented with long-acting progesterone after timed-AI.

Theriogenology, 2016
We aimed to evaluate the effects and the interaction of size of the preovulatory follicle (POF) and long-acting progesterone (P4) supplementation after timed-AI on CL function and pregnancy success in beef cows.
G. Pugliesi, F. B. Santos, É. Lopes, É. Nogueira, J. Maio, M. Binelli   +5 more
semanticscholar   +1 more source

Type of CIDR but not eCG administration affected pregnancy per AI in Holstein heifers subjected to a 5-day estrus synchronization protocol

Journal of Applied Animal Research, 2022
This study compared the effects of CIDR type and eCG treatment on ovarian follicular dynamics, estrus response and pregnancy per AI (P/AI) in Holstein heifers subjected to a 5-d estrus synchronization protocol. On Day 0, heifers (n = 133) received either
Albina Sanz, Mohanathas Gobikrushanth, Marcos G. Colazo   +2 more
doaj   +1 more source

Relational Concurrent Refinement: Timed Refinement [PDF]

, 2011
Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data ...
Derrick, John, Eerke Boiten, Boiten, Eerke Albert, John Derrick, Boiten, Eerke   +4 more
core   +1 more source

Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata [PDF]

, 2005
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodology to translate the state space visualization of a centralized real-time ...
S. Chennu, Kreft, Lothar, Sivanthi, Thanikesavan, L. Kreft, Chennu, Srivas, T. Sivanthi   +5 more
core   +1 more source

Hormonal treatment and estrus synchronization in cows: A mini-review

Journal of Advanced Veterinary and Animal Research, 2015
Perfect detection of estrus is crucial for good husbandry practice of cow. Estrus synchronization is the alternative strategy to bypass the critical problem of estrus detection.
Ashit Kumar Paul, Ton Yoisungnern, Napolean Bunaparte   +2 more
doaj   +1 more source

Model checking of continuous-time Markov Chains against timed automata specifications [PDF]

, 2011
We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or Muller acceptance conditions.
Jagadeesan, R., Tingting Han, Alexandru Mereacre, Mereacre, A., Han, Tingting, Katoen, Joost-Pieter, Taolue Chen, Chen, T., Katoen, Joost P., Chen, Taolue, Katoen, J.-P., Joost-Pieter Katoen, Mereacre, Alexandru, Han, T., Katoen, J.   +14 more
core   +3 more sources

Urban AI Guide

, 2023
The URBAN AI GUIDE aids city leaders and urban technologists (academic, public, private, and community-focused) in better understanding how artificial intelligence operates in urban contexts.
Narvaez Zertuche, Laura, Beroche, Hubert, Popelka, Sarah   +2 more
core   +1 more source

Synchronisation of ovulation for management of reproduction in dairy cows

Animal, 2014
Important developments have occurred in the last two decades, since the advent of the Ovsynch protocol, on the understanding and use of synchronisation programmes for management of reproduction in dairy herds.
R.S. Bisinotto, E.S. Ribeiro, J.E.P. Santos   +2 more
doaj   +1 more source

Considerations for Comparing Video Game AI Agents with Humans

Challenges, 2020
Video games are sometimes used as environments to evaluate AI agents’ ability to develop and execute complex action sequences to maximize a defined reward.
Christopher R. Madan
doaj   +1 more source

Effect of dose and frequency of prostaglandin F2α treatments during a 7-day Ovsynch protocol with an intravaginal progesterone releasing device on luteal regression and pregnancy outcomes in lactating Holstein cows

Journal of Dairy Science, 2023
: Our objective was to evaluate the effect of 3 different Ovsynch protocols on progesterone (P4) and pregnancies per artificial insemination (P/AI), where all cows received a P4 releasing intravaginal device (PRID) from d 0 until d 8.
M. Hölper, L. Bretzinger, F. Randi, W. Heuwieser, S. Borchardt   +4 more
doaj   +1 more source