Results 91 to 100 of about 32,999 (258)
, 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 +4 more sources
A language with finite sets embedded in the CLP-scheme [PDF]
, 1994 Agostino Dovier
openalex +1 more source
IET Power Electronics, EarlyView.Some of the topologies with a fewer number of power switches are reviewed and scrutinized. An extensive analysis of the topologies, control strategy and applications are presented here, suggesting suitable multilevel inverter solutions to the known industrial application or new research.
Anurag Choudhary +5 more
wiley +1 more source
Recensão: A LETRA E AS TINTAS — ALBANO MARTINS
Revista de Estudos Literários, 2011 Recensão crítica de ALBANO MARTINS. A LETRA E AS TINTAS. Vila Nova de Famalicão, Edições Quasi, 2006. 104 páginas. ISBN: 9789895522002.
Ana Paula Arnaut
doaj +1 more source
British Journal of Clinical Pharmacology, EarlyView.Aims Since their emergence on the drug market, synthetic cannabinoids (SC) are still gaining increasing importance in forensic toxicology. The representatives of the so‐called new psychoactive substances have in common that they have not undergone preclinical safety studies. Hence, knowledge on toxicokinetic (TK) data is sparse.
Adrian A. Doerr +10 more
wiley +1 more source
Bacteriophage Mu repressor as a target for the Escherichia coli ATP-dependent Clp Protease. [PDF]
, 1996 J. E. Laachouch +4 more
openalex +1 more source
Beyond Sporting Talent: Other Determinants of Football Clubs’ Wage Bills
Bulletin of Economic Research, EarlyView.ABSTRACT This article delves into the understanding of how football clubs determine wage bills to compensate talent. Using data from first‐division teams in elite European leagues, we estimate wage models based on indicators of sporting performance, “Elo ratings” as a proxy for clubs’ historical achievements and brand strength, and “media visibility ...
Alice Aguiar‐Noury +1 more
wiley +1 more source
Does nature shape risk preferences? Evidence from Chile, Norway, and Tanzania
Economic Inquiry, Volume 63, Issue 2, Page 568-590, April 2025.Abstract Does exposure to a more risky environment affect risk preferences? Going beyond single‐case study evidence, we report results from five surveys conducted in three countries and link this with administrative data to study whether a link between exposure and preferences is detectable and widespread. We find no evidence for endogenous preferences
Florian Diekert, Robbert‐Jan Schaap
wiley +1 more source
Designing a Fully Online Work‐Integrated Learning Module for Craniofacial Orthodontics
European Journal of Dental Education, EarlyView.ABSTRACT Introduction Research has found that orthodontists often lack the knowledge and confidence to engage in craniofacial orthodontics, such as treating cleft‐lip and palate patients. This gap highlights the need for an educational strategy that enhances skills transfer in this sub‐speciality.
Emad Ghabrial +2 more
wiley +1 more source
Equine Veterinary Journal, EarlyView.Abstract Background Nocardioform placentitis (NP) is an understudied form of equine placentitis historically attributed to nocardioform bacteria, yet it remains uncertain whether these organisms are the sole pathogens involved. Objectives To elucidate the pathophysiology of NP and the host–pathogen interaction. Study Design In vivo clinical multi‐omics
Machteld van Heule +10 more
wiley +1 more source