Results 101 to 110 of about 736,203 (295)
On the Complexity of Temporal-Logic Path Checking
, 2014 Given a formula in a temporal logic such as LTL or MTL, a fundamental problem is the complexity of evaluating the formula on a given finite word. For LTL, the complexity of this task was recently shown to be in NC.
B. Finkbeiner +7 more
core +1 more source
Arthritis Care &Research, EarlyView.Objective Body mass index (BMI), glomerular filtration rate (GFR), and pretreatment urate levels have been reported to influence the urate‐lowering response to allopurinol. We investigated whether the fractional excretion of uric acid (FEUA) also modulates this response and relates to oxypurinol concentrations.
Pascal Richette +13 more
wiley +1 more source
On the equivalence-checking problem for polysemantic models of sequential programs.
Труды Института системного программирования РАН, 2004 We introduce a new propositional model of computation for sequential computer programs. A distinctive feature of this model is that program runs and the results of computations are defined by means of two independent operational semantics.
I.M. Zakharyaschev, V.A. Zakharov
doaj
Arthritis Care &Research, Accepted Article.Objective We developed a novel EHR sidecar application to visualize key rheumatoid arthritis (RA) outcomes, including disease activity, physical function, and pain, via a patient‐facing graphical interface designed for use during outpatient visits (“RA PRO dashboard”).
Gabriela Schmajuk +16 more
wiley +1 more source
Immune Checkpoint Inhibitor Related Myositis and Associated Triad Overlap Syndrome
Arthritis Care &Research, Accepted Article.Objective Immune checkpoint inhibitor (ICI) myositis is a rare but highly morbid condition, particularly with the ICI myositis triad syndrome of myositis, myocarditis, and myasthenia gravis. We report the clinical characteristics of ICI myositis and all‐cause mortality in these patients.
Selene Rubino +9 more
wiley +1 more source
A qualitative study of DRG coding practice in hospitals under the Thai Universal Coverage Scheme
BMC Health Services Research, 2011 Background In the Thai Universal Coverage health insurance scheme, hospital providers are paid for their inpatient care using Diagnosis Related Group-based retrospective payment, for which quality of the diagnosis and procedure codes is crucial. However,
Winch Peter J +3 more
doaj +1 more source
Check-In Desk Scheduling Optimisation at CDG International Airport
Proceedings of the AAAI Conference on Artificial IntelligenceMore than ever, air transport players (i.e., airline and airport companies) in an intensely competitive climate need to benefit from a carefully optimized management of airport resources to improve the quality of service and control the induced costs. In this paper, we investigate the Airport Check-in Desk Assignment Problem.
Falque, Thibault +3 more
openaire +2 more sources
Advanced Engineering Materials, EarlyView.The documentation of component manufacture has become an essential part of today's production processes, especially for the analysis and optimization of production or component design with regard to structural performance, economic efficiency, and sustainability.
Björn Denker +4 more
wiley +1 more source
The Role of Proactive Adaptation in International Climate Change Mitigation Agreements [PDF]
This paper investigates the role of proactive adaptation in international mitigation coalition formation. Adaptation is introduced into a three stage cartel game of coalition formation. We analytically derive the optimal level of mitigation and proactive
de Bruin, Kelly Chloe +2 more
core
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 more
wiley +1 more source