Results 171 to 180 of about 221,743 (312)

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Pain and Patient‐Reported Physical Function Did Not Differ Among Body Composition Profiles in Patients With Hip Osteoarthritis

Arthritis Care &Research, EarlyView.
Objective To explore whether higher body fat and lower lean mass are associated with greater pain and worse patient‐reported physical function in individuals with hip osteoarthritis (OA). A secondary aim was to examine whether pain and patient‐reported physical function differ according to four body composition profiles: high body fat, low lean mass ...
Alexandra Ryan, Boliang Wang, Fiona Dobson, Ben Kirk, Travis Haber, Kim L. Bennell, Shirley P. Yu, Kim Allison, Ricardo J. S. Costa, Gabrielle Knox, Michelle Hall   +10 more
wiley   +1 more source

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

Artificial Intelligence in Systemic Sclerosis: Clinical Applications, Challenges, and Future Directions

Arthritis Care &Research, EarlyView.
Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos, José Miguel Sequí‐Sabater, Diego Benavent   +2 more
wiley   +1 more source

Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking

The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality.
Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao   +2 more
core  

Model Checking of Object Petri Nets in Prolog

, 2003
Object Petri nets (OPNs) provide a natural and modular method for the modelling of many real-world systems. We give a structure-preserving translation of OPNs to Prolog, avoiding the need for an unfolding to a flat Petri net.
Farwer, Berndt, Leuschel, Michael
core  

PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs. [PDF]

Entropy (Basel)
Liu Y, Fang A.
europepmc   +1 more source

Artificial Intelligence–Based Online Symptom Assessment Tools for Systemic Lupus Erythematosus Diagnosis: Patient Perspectives

Arthritis Care &Research, EarlyView.
Objective The objective of this article is to identify perceptions of patients with systemic lupus erythematosus (SLE) regarding artificial intelligence (AI)–based online symptom assessment tools, and the potential of these tools to address diagnostic barriers.
Olivia A. Stein, Jennifer L. F. Lee, Evelyne Vinet, Arielle Mendel, Christian A. Pineau, Fares Kalache, Louis‐Pierre Grenier, Sasha Bernatsky   +7 more
wiley   +1 more source

Symbolic model checking quantum circuits in Maude. [PDF]

PeerJ Comput Sci
Minh Do C, Ogata K.
europepmc   +1 more source