Results 11 to 20 of about 119,051 (375)
, 2009 This work defines a functional ATPG framework that exploits a particular kind of EFSM which has been theoretically showed to allow a more uniform traversing of the DUV state space. Determinism is obtained by interfacing with CLP solver that adopts formal methods to solve the conditions of the enabling functions.
Giuseppe Di +3 more
openalex +6 more sources
Cells, 2022 The balance between M1 and M2 macrophage polarization is involved in the regulation of pulmonary inflammation. Nuclear factor erythroid-derived 2-like 2 (Nfe2l2, also known as Nrf2), a nuclear transcription factor, is reported to play protective roles in
Jing Luo +6 more
semanticscholar +1 more source
Contribution of the Clp Protease to Bacterial Survival and Mitochondrial Homoeostasis
Microbial Physiology, 2021 Fast adaptation to environmental changes ensures bacterial survival, and proteolysis represents a key cellular process in adaptation. The Clp protease system is a multi-component machinery responsible for protein homoeostasis, protein quality control ...
Astrid Illigmann +4 more
semanticscholar +1 more source
BioMed Research International, 2021 Purpose Sepsis originates from the host inflammatory response, especially to bacterial infections, and is considered one of the main causes of death in intensive care units.
Sara Kasirzadeh +11 more
semanticscholar +1 more source
Transformations of CLP modules [PDF]
Theoretical Computer Science, 1996 AbstractWe propose a transformation system for Constraint Logic Programming (CLP) aprograms and modules. The framework is inspired by the one of Tamaki and Sato (1984) for pure logic programs. However, the use of CLP allows us to introduce some new operations such as splitting and constraint replacement. We provide two sets of applicability conditions.
Sandro Etalle, Maurizio Gabbrielli
openaire +3 more sources
Assinaturas de olhares: uma análise da fotobiografia de José Cardoso Pires
MatLit, 2021 O presente trabalho pretende analisar hipóteses para a leitura e a compreensão de um fotolivro a partir de um caso específico: a fotobiografia. Para tanto, tomamos como objeto de estudo a fotobiografia do escritor José Cardoso Pires da autoria de Inês ...
Gabriella Campos Mendes, Rita Gomes
doaj +1 more source
Frontiers in Pharmacology, 2021 Background: Liver injury is one of the serious complications of sepsis. Previous studies suggested that dexmedetomidine (DEX) could alleviate cecal ligation and puncture (CLP)-induced liver injury.
Qing Yu +11 more
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2000 AbstractThis paper discusses some basic ideas about the implementation of GC, a constraint propagation system, with three different implementations of finite variables domains. As it has been our wish to develop a system that uses the OO approach, it is implemented in Java, although other application frameworks are also available for C++.The constraint
Salvador Abreu, Lígia Ferreira
openaire +1 more source
International Journal of Cancer, 2020 Chitinase‐like proteins (CLP) are chitin‐binding proteins that lack chitin hydrolyzing activity, but possess cytokine‐like and growth factor‐like properties, and play crucial role in intercellular crosstalk. Both human and mice express two members of CLP
Shuiping Yin +19 more
semanticscholar +1 more source
تاثیر آیبروگست ) STW5 ( در حفاظت از آسیب بافت ریه در مدل تجربی التهابی CLP در رت [PDF]
زیست‌شناسی کاربردی, 2015 در این تحقیق اثراا ححرافی یر داروی گیرای برا ارا آیباوگسرتSTW5) ) در حدل تجاب ال هاب حنیور حیوااا ب 6 گاوه تقسیم شرداد: گراوه نن رال در دزیای حخ لف با روی آسیب ییس وپاتولوژی بافرت ریرCLP در ر حورد بارس قاار ح گیاد.
ابوالفضل دادخواه +2 more
doaj +1 more source