Results 21 to 30 of about 22,219,032 (293)
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 +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 +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. +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 +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 +3 more
core +8 more sources
Efficient Detection of Zeno Runs in Timed Automata [PDF]
, 2007 Zeno runs, where infinitely many actions occur in finite time, may inadvertently arise in timed automata specifications. Zeno runs may compromise the reliability of formal verification, and few model-checkers provide the means to deal with them: this ...
Gomez, Rodolfo, Bowman, Howard
core +1 more source
Theriogenology, 2018 The main objective was to compare pregnancy per AI (P/AI) between sex-selected and conventional semen in cyclic beef heifers subjected to a 5-day Co-synch plus CIDR protocol and evaluated the usefulness of an estrus detection (ED) aid to identify heifers
M. Colazo +6 more
semanticscholar +1 more source
COWS: A Timed Service-Oriented Calculus [PDF]
, 2007 COWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that combines in an original way a number of ingredients borrowed from well-known process calculi, e.g.
R. Pugliese +8 more
core +1 more source
Field comparison of GnRH and PGF2α treatments in cows not expressing estrus at timed-AI [PDF]
Arquivo Brasileiro de Medicina Veterinária e ZootecniaRESUMO Objetivou-se comparar as taxas de prenhez (TP) e a perda gestacional (PG) de vacas sem expressão de estro (NEE), as quais receberam PGF2α ou GnRH no momento da IATF.
J.H.W. Diniz +7 more
doaj +1 more source
JDS Communications, 2021 Within seasonal dairy systems, cows that calve late in the calving season are less likely to become pregnant and maintain a yearly calving interval. Very few studies have examined effective strategies for reproductive management of these late-calving ...
S.G. Moore +7 more
doaj +1 more source