Timed automata, and machines alike, currently lack a general mathematical characterisation. This work introduces a uniform understanding of these devices that encompasses known behavioural equivalences such as timed bisimulations and timed language equivalences as well as their weak and time-abstract counterparts. All these notions of equivalence between systems are naturally organised in expre...

Two hundred ninety-nine Angus-based, nulliparous heifers (253 ± 2 kg initial BW) from 3 production years were utilized to compare traditional postweaning dry lot (DL) development with a more extensive winter grazing system utilizing a combination of corn residue and winter range (EXT). Heifers developed in the DL were offered a common diet after the weaning period for 208 d in yr 1, 194 d in yr...

With progressively faster global change, shifts in phenology, and distributional ranges are reported for an increasing number of species. The success of organisms at coping with novel seasonal conditions depends on the mechanisms that determine their schedules. Species that rely on fixed schedules and those that time their activities by predictive cues may be particularly constrained in their a...

We introduce a new formalism called automata over a timed domain which provides an adequate framework for the determinization of timed systems. In this formalism, determinization w.r.t. timed language is always possible at the cost of changing the timed domain. We give a condition for determinizability of automata over a timed domain without changing the timed domain, which allows us to recover...

Estrous synchronization programs provide an organized and efficient approach to administering artificial insemination (AI) and the improvement of reproductive performance. Synchronization programs facilitate AI by altering the length of the estrous cycle and (or) through manipulation of follicular growth, thereby making the occurrence of estrus more predictable or allowing for appointment breed...

Primary dissociated brain tissue from rodents is widely used in a variety of different scientific methods to investigate cellular processes in vitro. Often, for this purpose cell cultures need to be generated just on time, requiring extensive animal lab infrastructure. We show here that cryopreservation and thawing of dissociated tissue from rat cerebral cortex at embryonic day 18 is feasible w...

The administration of hormones to mares during breeding management is an essential tool for equine practitioners. Proper and timely administration of specific hormones to broodmares may be targeted to prevent reproductive disorders, to serve as an aid to treating reproductive disorders or hormonal imbalances, and to optimize reproductive efficiency, for example, through induction of estrus or o...