Results 21 to 30 of about 31,869 (248)
On Termination of Binary CLP Programs [PDF]
, 2005 Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to the fact that some of the recent approaches to termination of logic programs abstract the input program to a binary CLP program and conclude termination of the input program from termination of the abstracted
Serebrenik, Alexander, Mesnard, F.
openaire +2 more sources
Drug Design, Development and Therapy, 2022 Shaymaa Ramzy Senousy,1 Al-Shaimaa F Ahmed,1 Dalia A Abdelhafeez,2 Mohamed Montaser A Khalifa,1 Mohammed AS Abourehab,3 Mahmoud El-Daly1 1Department of Pharmacology and Toxicology, Faculty of Pharmacy, Minia University, Minia, 61519, Egypt; 2Department ...
Senousy SR +5 more
doaj
Global Health Action, 2023 Background The burden of maternal morbidity in neonatal outcomes can vary with the adequacy of healthcare provision and tool implementation to improve monitoring.
Mercedes Colomar +23 more
doaj +1 more source
Pharmaceutical Biology, 2017 Context: Curcumin has been reported to have anti-inflammatory, antioxidant and hypoglycaemic properties, besides reducing mortality in sepsis. Objective: This study evaluates the biological activities of a curcumin dispersion formulated by spray-drying ...
Letycia Silvano da Silva +6 more
doaj +1 more source
The replacement operation for CLP modules [PDF]
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95, 1995 In this paper we study the replacement transformation for Constraint Logic Programming modules. We define new applicabihty conditions which guarantee the correctness of the operation also wrt module¿s composition: under this conditions, the original and the transformed modules have the same observable properties also when they are composed with other ...
Sandro Etalle, Maurizio Gabbrielli
openaire +3 more sources
Aged IRF3-KO Mice are Protected from Sepsis
Journal of Inflammation Research, 2021 Dinesh G Goswami,1 Wendy E Walker1,2 1Center of Emphasis in Infectious Diseases, Department of Molecular and Translational Medicine, Paul L. Foster School of Medicine, Texas Tech University Health Sciences Center El Paso, El Paso, TX, USA; 2Graduate ...
Goswami DG, Walker WE
doaj
Electronics Letters, 2023 The presented paper proposes a photovoltaic module hot spot detection algorithm based on YOLOv8‐BCB. The algorithm addresses issues such as component efficiency degradation and poor contact in long‐term operation of PV systems, with a focus on the hot ...
Shenglei Cao +5 more
doaj +1 more source
Orofacial Clefts: Prenatal Diagnosis and Postnatal Management
Turkish Journal of Orthodontics, 2011 Orofacial clefts are among the most common congenital malformations which have significant consequences in terms of long term morbidity and health care costs. The overall prevalence of orofacial clefts is estimated to be 9.92 per 10000 births.
Ebru Tarım, Cantekin İskender
doaj +1 more source
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
CoRR, 2013 Appeared in CICLOPS 2012.
Gallego Arias, Emilio Jesús +3 more
openaire +3 more sources
Journal of Inflammation Research, 2021 Jiradej Makjaroen,1 Arthid Thim-Uam,2 Cong Phi Dang,3 Trairak Pisitkun,1 Poorichaya Somparn,1,4 Asada Leelahavanichkul4– 6 1Center of Excellence in Systems Biology, Faculty of Medicine, Chulalongkorn University, Bangkok, Thailand; 2Division of ...
Makjaroen J +5 more
doaj