Results 21 to 30 of about 1,231,330 (253)
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
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
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 +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 +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 +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 +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. +14 more
core +3 more sources
, 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 +2 more
core +1 more source