Results 41 to 50 of about 124,053 (354)
MatLit, 2017 Este artigo contém a apresentação de quinze obras sonoras selecionadas para publicação na secção "Mediarama" da MATLIT 5.1.
Nuno Miguel Neves, Tiago Schwäbl
doaj +1 more source
PLoS Genetics, 2017 Disruption of protein homeostasis in chloroplasts impairs the correct functioning of essential metabolic pathways, including the methylerythritol 4-phosphate (MEP) pathway for the production of plastidial isoprenoids involved in photosynthesis and growth.
Ernesto Llamas +2 more
semanticscholar +1 more source
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
Duarte Belo e a génese do arquivo
MatLit, 2021 Percorrendo toda a obra de Duarte Belo, esta entrevista centra-se nos seus múltiplos percursos fotográficos pelo território português, na relação da imagem com a escrita e no processo de organização das fotografias sob a forma de um imenso arquivo ...
Manaíra Aires Athayde
doaj +1 more source
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
Control of plastidial metabolism by the Clp protease complex.
Journal of Experimental Botany, 2018 Plant metabolism is strongly dependent on plastids. Besides hosting the photosynthetic machinery, these endosymbiotic organelles synthesize starch, fatty acids, amino acids, nucleotides, tetrapyrroles, and isoprenoids.
M. Rodríguez‐Concepción +2 more
semanticscholar +1 more source
, 1999 We show that Constraint Logic Programming (CLP) can serve as a conceptual basis and as a practical implementation platform for the model checking of infinite-state systems. Our contributions are: (1) a semantics-preserving translation of concurrent systems into CLP programs, (2) a method for verifying safety and liveness properties on the CLP programs ...
DELZANNO, GIORGIO, PODELSKI A.
openaire +3 more sources
Hypertonic saline solution drives neutrophil from bystander organ to infectious site in polymicrobial sepsis: a cecal ligation and puncture model. [PDF]
PLoS ONE, 2013 The effects of hypertonic saline solution (HSS) have been shown in several animal models of ischemia and shock. Literature has shown potential benefits of HSS modulating inflammatory response after sepsis in an animal model. We studied the HSS effects in
Mariana Cardillo Theobaldo +5 more
doaj +1 more source
Reasoning on constraints in CLP(FD)
The Journal of Logic Programming, 1999 Summary: Constraint logic programming solvers on finite domains (CLP(FD) solvers) use constraints to prune those combinations of assignments which cannot appear in any consistent solution. There are applications, such as temporal reasoning or scheduling, requiring some form of qualitative reasoning where constraints can be changed (restricted) during ...
Evelina Lamma +2 more
openaire +3 more sources
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 +3 more sources