Results 1 to 10 of about 32,999 (258)
Independence in CLP languages [PDF]
ACM Transactions on Programming Languages and Systems, 2000 Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and efficiency.
García de la Banda, M. +2 more
openaire +4 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
Theory and Practice of Logic Programming, 2020 AbstractConcolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. A previous approach to concolic testing in logic programming was not sound because it only dealt with positive constraints (by
Mesnard, Frédéric +2 more
openaire +6 more sources
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
Sesamin attenuates intestinal injury in sepsis via the HMGB1/TLR4/IL-33 signalling pathway
Pharmaceutical Biology, 2020 Context Sepsis is currently one of the leading causes of death in intensive care units (ICUs). Sesamin was previously reported to inhibit inflammation. However, no studies have revealed the impact of sesamin on sepsis.
Zhi-Ling Li +5 more
doaj +1 more source
Teaching digital literature: Alice Inanimada in Portugal
MatLit, 2020 Neste artigo, pretende-se apresentar o percurso realizado pelo projeto “Inanimate Alice: tradução de literatura digital em contexto educativo”, do Centro de Literatura Portuguesa da Universidade de Coimbra.
Machado, Ana Maria +1 more
doaj +1 more source
تاثیر آیبروگست ) STW5 ( در حفاظت از آسیب بافت ریه در مدل تجربی التهابی CLP در رت [PDF]
زیستشناسی کاربردی, 2015 در این تحقیق اثراا ححرافی یر داروی گیرای برا ارا آیباوگسرتSTW5) ) در حدل تجاب ال هاب حنیور حیوااا ب 6 گاوه تقسیم شرداد: گراوه نن رال در دزیای حخ لف با روی آسیب ییس وپاتولوژی بافرت ریرCLP در ر حورد بارس قاار ح گیاد.
ابوالفضل دادخواه +2 more
doaj +1 more source
Safety & Fire Technology, 2022 Aim: This article attempts to present the issues related to the strengthening of chemical, ecological and environmental safety as an essential component of the safety of citizens and the activities of public authorities, on the example of the activities ...
Andrzej Puka, Krzysztof Cygańczuk
doaj +1 more source
Van Tıp Dergisi, 2019 INTRODUCTION: Sepsis is a remarkable disease due to its cause of increased morbidity and mortality. Melatonin is a hormone secreted from the pineal gland and previous reports demonstrated its effects on the immun function.
metehan uzun, aysun ozturk
doaj +1 more source
“How much can one argue within a couple of seconds?”: an interview with Roberto Simanoswki
MatLit, 2020 Centrando-se em obras recentes de Roberto Simanowski, esta entrevista aborda dilemas éticos e políticos criados pelas formas digitais de automação e controlo.
Marques, Ana, Portela, Manuel
doaj +1 more source