Results 31 to 40 of about 45,052 (300)
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
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
Actinobacterial Clp protease evolutionary diversity and substrate recognition
, 2023 Schmitz, Karl R.The Actinomycetota (synonym Actinobacteria) are one of the largest bacterial phyla and are widely distributed in nature, playing roles in nutrient cycling, as microbiome members, and as human pathogens.
Jiang, Jialiu
core +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
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
CHITINASE-LIKE PROTEINS AS PROMISING MARKERS IN CANCER PATIENTS
Сибирский онкологический журнал, 2018 In the present review we collected the main studies regarding the role of chitinase-like proteins (CLPs), belonging to the family of Glyco_18 domain-containing proteins, in different cancers. In humans, 3 chitinaselike proteins have been identified: YKL-
I. V. Larionova +4 more
doaj +1 more source
Compiling constraints in clp(FD)
The Journal of Logic Programming, 1996 Summary: We present the clp(FD) system: a constraint logic programming language with finite domain constraints. We detail its implementation, and present an abstract instruction set for the constraint solver that can be smoothly integrated into the WAM architecture.
Codognet, Philippe, Diaz, Daniel
openaire +3 more sources
Long‐term hippocampal alterations and cognitive impairment in a murine model of surgical sepsis
FEBS Open Bio, EarlyView.Using a mouse model of surgical sepsis, we tested long‐term memory and analyzed the transcriptome of single cells isolated from the hippocampus. Survivor mice showed worse memory, loss of certain brain cell subpopulations, and abnormal immune cell activity—suggesting that post‐sepsis brain alterations may be linked to cognitive deficits.
Dong Seong Cho +4 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.Epigenetic reprogramming in hematopoietic stem and progenitor cells (HSPCs) and downstream myeloid cells, mediated by H3.3 downregulation and endogenous retroelement (ERE) overexpression, contributes to the progression of multiple sclerosis (MS). ABSTRACT Background Skewed myelopoiesis in the bone marrow has been identified as a key driver of multiple ...
Li‐Mei Xiao +6 more
wiley +1 more source
Delayed administration of the anti-RAGE antibody is protective in cecal ligation and puncture (CLP)
, 2011 Copyright information:Taken from "Inhibition of the RAGE products increases survival in experimental models of severe sepsis and systemic infection"http://ccforum.com/content/11/6/R122Critical Care 2007;11(6):R122-R122.Published online 6 Nov 2007PMCID ...
Ying Sun (23237) +11 more
core +1 more source