Results 31 to 40 of about 11,364 (306)
GnRH34 with or without estradiol cypionate in timed AI in Bos indicus beef cows [PDF]
, 2023 Two experiments were performed to evaluate the effects of GnRH treatment on the fertility of suckled Nelore beef cows treated with an estradiol/progesterone (E2/P4)-based protocol for timed artificial insemination (TAI).
Samira A. Silva +19 more
core +1 more source
Journal of Dairy Science: The objective of this study was to evaluate the effect of progesterone supplementation using 2 different commercially available intravaginal progesterone (P4) devices during a 7 d Ovsynch protocol on pregnancy per artificial insemination (P/AI) in ...
R. Frenkel +4 more
doaj +1 more source
Timed Trace Alignment with Metric Temporal Logic over Finite Traces [PDF]
, 2021 Trace Alignment is a prominent problem in Declarative Process Mining, which consists in identifying a minimal set of modifications that a log trace (produced by a system under execution) requires in order to be made compliant with a temporal ...
Murano A. +3 more
core +2 more sources
Animals, 2021 Reproductive efficiency is closely tied to the profitability of dairy herds, and therefore successful dairy operations seek to achieve high 21-day pregnancy rates in order to reduce the calving interval and days in milk of the herd.
Carlos Eduardo Cardoso Consentini +2 more
doaj +1 more source
A Bibliometric Analysis of Publications in Uremic Toxins From 1991 to 2024
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Uremic toxins are a growing area of research in nephrology, with significant implications in the progression and treatment of chronic kidney disease (CKD) and the management of end‐stage kidney disease (ESKD). This bibliometric analysis aims to evaluate the global research trends, key contributors, and the impact of publications in ...
Yuh‐Shan Ho +7 more
wiley +1 more source
, 2005 MONA implements an efficient decision procedure for the logic WS1S, and has already been applied in many non-trivial problems. Among these, we follow on from previous work done by Smith and Klarlund on the verification of a sliding-window protocol.
Howard Bowman +2 more
core
The New Real, 2020 A celebration of the dynamic world of AI in real time, focusing on music improvisation and the joys of cocreation.
openaire +1 more source
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
FEBS Letters, EarlyView.Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source
Verification of Timed Automata with Deadlines in Uppaal [PDF]
, 2008 Timed Automata with Deadlines (TAD) is a notation to model concurrent real-time systems that has a number of advantages over mainstream Timed Automata (TA). The semantics of deadlines and synchronisation rule out the most common form of timelocks, making
Gomez, Rodolfo
core
The ubiquitin ligase RNF115 is required for the clearance of damaged lysosomes
FEBS Letters, EarlyView.Upon lysosomal rupture, an E3 ubiquitin ligase RNF115 translocates from the cytosol to the damaged lysosomal membrane. Moreover, RNF115 depletion impairs the clearance of damaged lysosomes, identifying it as a key regulator of lysosomal quality control.
Sae Nakanaga +3 more
wiley +1 more source