Results 111 to 120 of about 119,051 (375)
Economic modelling using constraint logic programming [PDF]
, 1996 This paper investigates the use of constraint logic programming (CLP) in economic modelling through the design and implementation of two economic models.
Donovan, N, Gilbert, D
core
Mediators of Inflammation, 2014 Liver dysfunction has been known to occur frequently in cases of sepsis. Excessive inflammation and apoptosis are pathological features of acute liver failure.
Hui Zhang +12 more
semanticscholar +1 more source
Hydrogel‐Based Smart Materials for Wound Healing and Sensing
Aggregate, EarlyView.The graphical abstract illustrates the role of hydrogel‐based flexible materials in advancing biomedical applications, including wound healing, point‐of‐care diagnostics, smart patches, and wearable devices. Hydrogels are particularly promising in modern wound care due to their high‐water content, flexibility, and biocompatibility.
Thi Kim Ngan Duong +11 more
wiley +1 more source
“FISIOLOGIA” À PORTUGUESA EM FOLHETIM
Revista de Estudos Literários, 2017 FISIOLOGIAS - Lopes de Mendonça Introdução por Maria João ...
Maria João Simões
doaj +1 more source
Phytopathology, 2014 Pseudomonas fluorescens HC1-07, previously isolated from the phyllosphere of wheat grown in Hebei province, China, suppresses the soilborne disease of wheat take-all, caused by Gaeumannomyces graminis var. tritici.
Ming-ming Yang +7 more
semanticscholar +1 more source
Quantitative Constraint Logic Programming for Weighted Grammar Applications [PDF]
Logical Aspects of Computational Linguistics (LACL'96), LNCS,
Springer., 1997 Constraint logic grammars provide a powerful formalism for expressing complex logical descriptions of natural language phenomena in exact terms. Describing some of these phenomena may, however, require some form of graded distinctions which are not provided by such grammars.
arxiv
An Automatically Verified Prototype of a Landing Gear System [PDF]
arXiv, 2021 In this paper we show how $\{log\}$ (read `setlog'), a Constraint Logic Programming (CLP) language based on set theory, can be used as an automated verifier for B specifications. In particular we encode in $\{log\}$ an Event-B specification, developed by Mammar and Laleau, of the case study known as the Landing Gear System (LGS).
arxiv
Recensão: POESIA COMPLETA — MANOEL DE BARROS
Revista de Estudos Literários, 2016 Recensão crítica de MANOEL DE BARROS, POESIA COMPLETA. Lisboa, Relógio d’Água, 2016. 480 páginas. ISBN: 978-989-641-676-8.
Marisa das Neves Henriques
doaj +1 more source
Evaluation of the Community Leadership Project 2.0: Midpoint Report [PDF]
, 2015 The Community Leadership Project (CLP) is a collaborative effort between the David and Lucile Packard Foundation, the James Irvine Foundation, and the William and Flora Hewlett Foundation to build the capacity of small, community-based organizations ...
Allie Bollella +3 more
core
CLP(H): Constraint Logic Programming for Hedges [PDF]
arXiv, 2015 CLP(H) is an instantiation of the general constraint logic programming scheme with the constraint domain of hedges. Hedges are finite sequences of unranked terms, built over variadic function symbols and three kinds of variables: for terms, for hedges, and for function symbols.
arxiv