Results 111 to 120 of about 18,393 (195)

A Review on Heat Stress in Broiler Chickens: Mechanisms, Effects and Mitigation Strategies

Veterinary Medicine and Science, Volume 12, Issue 5, September 2026.
Heat stress caused by high temperature and humidity compromises broiler health, welfare, and productivity by reducing feed intake, growth performance, and feed efficiency, while increasing mortality, oxidative stress, metabolic disturbances, intestinal dysfunction, gut dysbiosis, immune suppression, and meat quality deterioration.
Maksuda Begum, Laura Musa, Guido Grilli, Dilşan Akçay, Md Golam Kibria, Mst. Mayeeda Parvin, Sabiha Zarin Tasnim Bristi, Md Jisan Ahmed, Delower Hossain   +8 more
wiley   +1 more source

Reinforcement Learning With Timed Constraints for Robotics Motion Planning

Artificial Intelligence for Engineering, Volume 2, Issue 3, Page 209-222, September 2026.
This work presents a unified automata‐based reinforcement learning framework that enforces MITL time‐bounded task specifications in both MDPs and POMDPs. Results from grid‐world and office scenarios show robust policy learning under stochastic dynamics and partial observability.
Zhaoan Wang, Junchao Li, Mohammad Mahdi Dehghan Pir, Shaoping Xiao   +3 more
wiley   +1 more source

Constrained LTL Specification Learning from Examples [PDF]

Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime monitoring.
Meira-Goes, Romulo, Dardik, Ian, Kapoor, Parv, Kang, Eunsuk, Zhang, Changjian, Cui, Leyi, Garlan, David   +6 more
core   +1 more source

LTL satisfiability checking revisited

, 2013
We propose a novel algorithm for the satisfiability problem for Linear Temporal Logic (LTL). Existing approaches first transform the LTL formula into a B'uchi automaton and then perform an emptiness checking of the resulting automaton.
He, Jifeng (1), Li, Jianwen (1), Pu, Geguang (1), Zhang, Lijun (2), Vardi, Moshe Y. (3)   +4 more
core   +2 more sources

Leukocyte telomere length and sarcopenia-related traits: A bidirectional Mendelian randomization study.

PLoS ONE
Accumulating evidence indicated that leukocyte telomere length (LTL) was related to sarcopenia. However, it is still not clear whether the association of changes in LTL with sarcopenia is likely to be causal, or could be explained by reverse causality ...
Dingkun Wang, Chenhao Li, Xinwen Zhang, Yihao Li, Junhua He, Xiaoming Guo   +5 more
doaj   +1 more source

Mitochondrial Haplotype Shapes the Trajectory of Ovarian Aging in Genetically Heterogeneous Rats

Aging Cell, Volume 25, Issue 9, September 2026.
Using genetically heterogeneous rats carrying divergent mitochondrial haplotypes on a randomized nuclear background, we show that mtDNA variation modifies the rate of ovarian aging. OKC‐HETW ovaries showed bioenergetic deficits, reduced mtDNA copy number, and impaired TFAM–mtDNA binding by 4 months of age, with early fibrosis and immune infiltration ...
Subhasri Biswas, Hoang V. M. Nguyen, Aubrey Converse, Satoshi Matsuzaki, Michael T. Kinter, Kenneth M. Humphries, Willard M. Freeman, Sarah R. Ocañas, Arlan Richardson, Francesca E. Duncan, Tommy L. Lewis Jr, Michael B. Stout   +11 more
wiley   +1 more source

The Malaysian Society of Gastroenterology and Hepatology Consensus Statements on Prevention and Early Detection of Hepatocellular Carcinoma in Malaysia

Journal of Gastroenterology and Hepatology, Volume 41, Issue 9, Page 2639-2655, September 2026.
ABSTRACT Background Hepatocellular carcinoma (HCC) remains one of the leading causes of cancer‐related deaths in Malaysia. Early detection increases the likelihood of curative treatment and improves survival. This consensus document aims to provide evidence‐based, locally relevant recommendations for the prevention and early detection of HCC.
Su Yin Lau, Victoria Sinq‐Ling Kok, Soek‐Siam Tan, Syuhada Dan Adnan, Wei‐Lin Ng, Ban‐Hong Ang, Nur Yazmin Yaacob, Yeong Yeh Lee, Senamjit Kaur, Rosmawati Mohamed, Ping‐Foo Wong, Lee‐Ling Lim, Mohana Letchumanan, Shireene Ratna Vethakkan, Nurain Mohd Noor, Siow‐Foon Tan, Tiong‐Lim Low, Lee‐Boon Kiew, Wah‐Kheong Chan   +18 more
wiley   +1 more source

LTL-based runtime verification framework for cyber-attack anomaly prediction in cyber–physical systems

An anomaly is any unexpected or abnormal behaviour, event, or data pattern within a network of physical and computational components caused by data errors, cyber-attacks, hardware failures, or other unforeseen events.
Akande, AJ, Hou, Z, Foo, E, Li, Q
core   +1 more source

Causality for General LTL-definable Properties

, 2019
In this paper we provide a notion of causality for the violation of general Linear Temporal Logic (LTL) properties. The current work is a natural extension of the previously proposed approach handling causality in the context of LTL-definable safety ...
Caltais, Georgiana, Leue, Stefan, Guetlein, Sophie Linnea   +2 more
core   +1 more source

LTL over Integer Periodicity Constraints

, 2004
Periodicity constraints are used in many logical formalisms, in fragments of Presburger LTL, in calendar logics, and in logics for access control, to quote a few examples.
Stephane Demri
core   +1 more source