Results 161 to 170 of about 221,743 (312)
HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps. [PDF]
Sensors (Basel), 2022 Hamza AA +3 more
europepmc +1 more source
Arthritis Care &Research, EarlyView.Objective Clinical response to mycophenolic acid (MPA) is highly heterogeneous; thus, therapeutic drug level monitoring (TDM) may help improve treatment efficacy. This systematic review and meta‐analysis examined therapeutic ranges for MPA levels associated with better outcomes and safety in patients with systemic lupus erythematosus (SLE ...
Zahraa Qamhieh +5 more
wiley +1 more source
Comput. Artif. Intell., 2006 The paper is devoted to the problem of extending the temporal logic CTL so that it is more expressive and complicated properties can be expressed in a more readable form. The specification language RegCTL, an extension of CTL, is proposed. In RegCTL every CTL temporal operator is augmented with a regular expression, thus restricting moments when the ...
Brázdil, Tomáš, Černá, Ivana
openaire +1 more source
High Health Care Utilization Preceding Diagnosis With Juvenile Idiopathic Arthritis
Arthritis Care &Research, EarlyView.Objective Although early diagnosis improves long‐term outcomes, patients with juvenile idiopathic arthritis (JIA) often experience prolonged, circuitous paths to diagnosis. To inform diagnostic improvement, we sought to characterize health care utilization in the year preceding diagnosis. Methods We identified 10,021 patients with an incident diagnosis
Anna Costello +5 more
wiley +1 more source
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an extension of the ESBMC model checker to support the verification of multi ...
Cordeiro, Lucas, Fischer, Bernd
core
Arthritis Care &Research, EarlyView.Objective To support high‐quality, patient‐centered care for systemic lupus erythematosus (SLE), the American College of Rheumatology (ACR) developed evidence‐based measures incorporating clinical and patient‐reported outcome measures (PROMs). Using the Consolidated Framework for Implementation Research (CFIR), we conducted semistructured interviews ...
Catherine Nasrallah +13 more
wiley +1 more source
Model Checking Event-B by Encoding into Alloy
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies.
De Oliveira Cantante De Matos, Paulo +1 more
core
Arthritis Care &Research, EarlyView.People with systemic autoimmune and rheumatic diseases (SARDs) are at higher risk than the general population of experiencing adverse pregnancy and perinatal outcomes such as preeclampsia, intrauterine growth restriction, and maternal and/or fetal death.
Mehret Birru Talabi, Sonya Borrero
wiley +1 more source
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking
, 2005 In this paper a non-canonical circuit-based state set representation is used to efficiently perform quantifier elimination. The novelty of this approach lies in adapting equivalence checking and logic synthesis techniques, to the goal of compacting ...
Crivellari, M. +4 more
core
Arthritis Care &Research, EarlyView.Objective Cam morphology, which is a significant risk factor for hip osteoarthritis, is commonly quantified by the alpha angle (AA). This study aims to explore the potential of the triangular index ratio (TIR) to quantify cam morphology on anteroposterior radiographs by assessing the association between TIR‐defined cam morphology and the development of
Jinchi Tang +7 more
wiley +1 more source