Results 11 to 20 of about 1,231,330 (253)

The applications of timed artificial insemination and timed embryo transfer in reproductive management of dairy cattle Aplicação da inseminação artificial e transferência de embrião em tempo fixo no manejo reprodutivo de vacas leiteiras

Revista Brasileira de Zootecnia, 2010
Fertility of dairy cattle is generally decreasing. Overall estrus detection efficiency in lactating dairy cattle is low, as expression of estrus is often compromised.
Divakar Justus Ambrose, Marcos Germán Colazo, John Patrick Kastelic   +2 more
doaj   +2 more sources

Robust Weighted Timed Automata and Games [PDF]

, 2013
Weighted timed automata extend timed automata with cost variables that can be used to model the evolution of various quantities. Although cost-optimal reachability is decidable (in polynomial space) on this model, it becomes undecidable on weighted ...
Markey, Nicolas, Patricia Bouyer, Ocan Sankur, Bouyer, Patricia, Sankur, Ocan, Nicolas Markey   +5 more
core   +1 more source

Robust Controller Synthesis in Timed Automata [PDF]

, 2013
We consider the fundamental problem of Büchi acceptance in timed automata in a robust setting. The problem is formalised in terms of controller synthesis: timed automata are equipped with a parametrised game-based semantics that models the possible ...
Reynier, Pierre-Alain, Markey, Nicolas, Ocan Sankur, Patricia Bouyer, Sankur, Ocan, Bouyer, Patricia, Nicolas Markey, Pierre-Alain Reynier   +7 more
core   +1 more source

Robustness in Timed Automata [PDF]

, 2013
In this paper we survey several approaches to the robustness of timed automata, that is, the ability of a system to resist to slight perturbations or errors.
Markey, Nicolas, Markey, Nicolas N., Patricia Bouyer, Ocan Sankur, Bouyer, Patricia, Sankur, Ocan, Bouyer, Patricia P., Nicolas Markey   +7 more
core   +1 more source

Physiological and practical effects of progesterone on reproduction in dairy cattle

Animal, 2014
The discovery of progesterone (P4) and elucidation of the mechanisms of P4 action have an important place in the history of endocrinology and reproduction.
M.C. Wiltbank, A.H. Souza, P.D. Carvalho, A.P. Cunha, J.O. Giordano, P.M. Fricke, G.M. Baez, M.G. Diskin   +7 more
doaj   +1 more source

Coalgebraic semantics for timed processes [PDF]

, 2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a “time domain”, and we model processes by “timed transition systems”, which amount to partial monoid actions of the time domain or ...
Simpson, Alexander, John Power, Simpson, Alex, Alex Simpson, Marco Kick, Kick, Marco, Power, John   +6 more
core   +1 more source

Estrus Synchronization and Pregnancy Rate Using Ovsynch Method in Uganda Dairy Farms

Journal of Animal Reproduction and Biotechnology, 2017
The artificial insemination (AI) is one of the best assisted reproductive technologies for increasing reproductive capacity and facilitating the genetic improvement in farm animals.
Dae-Jin Kwon, Seok Ki Im, Hyun Kim, Hak-Kyo Lee, Ki-Duk Song   +4 more
doaj   +1 more source

Performance analysis of probabilistic timed automata using digital clocks [PDF]

, 2006
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a modelling formalism suitable for describing formally both nondeterministic and probabilistic aspects of real-time systems, and is amenable to
Kwiatkowska, M., Parker, D., Norman, G., Sproston, J., Sproston, Jeremy James   +4 more
core   +1 more source

Timed Runtime Monitoring for Multiparty Conversations [PDF]

, 2014
We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial ...
Yoshida, N, Yoshida, Nobuko, Neykova, R, Bocchi, L, Bocchi, Laura, Neykova, Rumyana, Laura Bocchi, Nobuko Yoshida, Rumyana Neykova   +8 more
core   +1 more source

Model Checking Timed Automata with Priorities using DBM Subtraction

, 2006
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic model-checking of timed automata with priorities.
David, Alexandre, Håkansson, John,, Pettersson, Paul,, Larsen, Kim G.   +3 more
core   +8 more sources