Results 131 to 140 of about 1,561,107 (243)

Compositional Detection of Zeno Behaviour in Timed Automata [PDF]

, 2006
The formal specification and verification of real-time systems are difficult tasks, given the complexity of these systems and the safety-critical role they usually play. Timed Automata, and real-time model-checking, have emerged as powerful tools to deal
Howard Bowman, Gomez, Rodolfo, Bowman, Howard   +2 more
core  

Small and Large Seminal Extracellular Vesicles Differentially Modulate Capacitation‐Related Parameters in Frozen–Thawed Porcine Epididymal Spermatozoa

Reproduction in Domestic Animals, Volume 61, Issue S3, October 2026.
ABSTRACT Seminal extracellular vesicles (sEVs) have been proposed as modulators of sperm function, but their exact role remains unclear. Most studies use ejaculated sperm for clarification. This approach has limitations; nevertheless, as ejaculated sperm have already been exposed to their own native sEVs, which hinders the assessment of their specific ...
Patricia Panales, Junwei Li, Ana Parra, Pablo Martínez‐Díaz, Xiomara Lucas, Marc Yeste, Jordi Roca, Isabel Barranco   +7 more
wiley   +1 more source

Molecular Regulation of Post‐Hatching Embryo Development: Implications for Early Pregnancy Losses in Livestock Species

Reproduction in Domestic Animals, Volume 61, Issue S3, October 2026.
ABSTRACT Pregnancy loss (PL) remains a major limitation to reproductive efficiency in livestock, with a substantial proportion originating during early embryo development, particularly between blastocyst hatching and implantation. This developmental window encompasses complex processes of lineage differentiation and morphogenesis. Accumulating evidence
Alexia Siegmund‐Sabater, Nuria Martínez de los Reyes, Inés Flores‐Borobia, Leopoldo González‐Brusi, Beatriz Galiano‐Cogolludo, Pilar Marigorta, Pablo Bermejo‐Álvarez, Priscila Ramos‐Ibeas   +7 more
wiley   +1 more source

Modeling heat stress effects on first service to conception rates in Canadian Holstein dairy cattle

Journal of Dairy Science
: Heat stress (HS) can result in decreased production and poor fertility performance in dairy cattle. There is limited understanding of the point at which heat load begins to affect fertility, causing a major challenge for the industry.
G.R. Dodd, F. Miglior, F.S. Schenkel, I.L. Campos, R.E. Jahnel, C.F. Baes   +5 more
doaj   +1 more source

A Low Concentration of a Sustainably Obtained Blueberry Extract Improves the Post‐Thawing Motility of Cryopreserved Bull Spermatozoa

Reproduction in Domestic Animals, Volume 61, Issue S3, October 2026.
ABSTRACT Natural extracts could improve sperm storage and artificial insemination (AI). This study, for the first time, evaluates the suitability of a blueberry extract (Vaccinium corymbosum), obtained from pomace using a sustainable methodology, as a supplement for bull semen extenders.
Gabriela García‐Blanco, Cristina Fra‐Hernández, Joana F. do‐Vale‐Rabaça, Laura Pariente‐Martín, Marta Veza‐Cuenca, Estela Fernández‐Alegre, Beatriz Martín‐Fernández, J. Néstor Caamaño, J. Ramiro González‐Montaña, Marta Lores, Felipe Martínez‐Pastor   +10 more
wiley   +1 more source

Cinnamaldehyde as a Natural Antimicrobial in Donkey Semen: Efficacy and Sperm Cytotoxicity

Reproduction in Domestic Animals, Volume 61, Issue S3, October 2026.
ABSTRACT Bacterial contamination of donkey semen samples is a major concern due to its deleterious effects on sperm quality; this issue is exacerbated during semen storage. Therefore, evaluating the effect of antimicrobials on sperm is of utmost importance.
Carlos Montero‐Palma, Antonio Romero‐Salmoral, Pilar Vallejo‐Soto, Blenda Rodrigues Nunes Vilela, Verónica Pérez, Francisco Crespo‐Castejón, Isabel Ortiz, Manuel Hidalgo, Jesús Dorado, Inmaculada Luque, Lidia Gómez‐Gascón   +10 more
wiley   +1 more source

Comparative Susceptibility of Donkey and Horse Sperm to Liquid‐Storage Temperature

Reproduction in Domestic Animals, Volume 61, Issue S3, October 2026.
ABSTRACT Preservation protocols for donkey sperm are based on those developed for horses, despite potential interspecific differences in cooling tolerance. This study compared horse and donkey sperm during long‐term storage at 5°C and 17°C. Ejaculates from four stallions and four jacks (n = 16) were centrifuged, resuspended in skimmed milk‐based ...
Pilar Vallejo‐Soto, Antonio González Ariza, Blenda R. N. Vilela, Carlos Montero‐Palma, Rocío Rodríguez González‐Miranda, Verónica Pérez‐Aguilera, Francisco Crespo‐Castejón, Manuel Hidalgo, Jesús Dorado, Isabel Ortiz   +9 more
wiley   +1 more source

Evaluation of three classification methods of antral follicle count and fertility to the timed artificial insemination in cattle. [PDF]

Anim Reprod, 2022
Morotti F, Miguez-Gonzalez S, Cerezetti MB, Seneda MM.   +3 more
europepmc   +1 more source

Livestock Blastoids: In Vitro Blastocyst Models for Embryogenesis and Reproductive Technologies

Reproduction in Domestic Animals, Volume 61, Issue S3, October 2026.
ABSTRACT Understanding early embryogenesis in livestock remains a persistent bottleneck in both reproductive biology and animal breeding. Work in domestic species has long been limited by restricted access to embryos, ethical considerations, and the complexity of peri‐implantation development, making mechanistic studies difficult.
Cristina A. Martinez‐Serrano, Jun Wu
wiley   +1 more source

Effects of postpartum energy balance, body condition score, and insemination time on conception rates of Bonsmara cows bred using timed artificial insemination

South African Journal of Animal Science
Fertility management of extensively farmed beef cattle in South Africa is essential to ensure the economic viability of such production systems. However, the success of timed artificial insemination (TAI) programmes varies, affecting cattle farmers ...
E.C. Webb, K.J. Demont, M. de la Rey, H.E. Theron   +3 more
doaj   +1 more source