Results 151 to 160 of about 1,197,742 (268)

Symbolic model checking quantum circuits in Maude. [PDF]

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

Triangular Index Ratio as An Alternative Method to the Alpha Angle for Defining the Presence of Cam Morphology: A Prospective Cohort Study

Arthritis Care &Research, Accepted Article.
Objective Cam morphology, 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, Fleur Boel, Michiel M. A. van Buuren, Noortje S. Riedstra, Myrthe A. van den Berg, Jos Runhaar, Sita Bierma‐Zeinstra, Rintje Agricola   +7 more
wiley   +1 more source

Formal modeling of a causal consistent distributed system and verification of its history <i>via</i> model checking using colored Petri net. [PDF]

PeerJ Comput Sci
Alsaegg KAM, Pashazadeh S, Zolfy Lighvan M.   +2 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

An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis. [PDF]

Sci Rep
Varriano G, Nardone V, Brunese MC, Bruno M, Santone A, Brunese L, Zappia M.   +6 more
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

Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC. [PDF]

Stat Biosci
Yang Z, Liang H, Liu H, Barth S, Byrne M, Andersen E, Bhandaru V, Castel A.   +7 more
europepmc   +1 more source

β‐Catenin/c‐Myc Axis Modulates Autophagy Response to Different Ammonia Concentrations

Advanced Biology, Volume 9, Issue 3, March 2025.
Ammonia, detoxified by the liver into urea and glutamine, impacts autophagy differently at varying levels. Low ammonia activates autophagy via c‐Myc and β‐catenin, while high levels suppress it. Using Huh7 cells and Spf‐ash mice, c‐Myc's role in cytoprotective autophagy is revealed, offering insights into hyperammonemia and potential therapeutic ...
S. Sergio, B. Spedicato, G. Corallo, A. Inguscio, M. Greco, D. Musarò, D. Vergara, A. F. Muro, G. De Sabbata, L. R. Soria, N. Brunetti Pierri, M. Maffia   +11 more
wiley   +1 more source

Global guidance for local generalization in model checking. [PDF]

Form Methods Syst Des
Vediramana Krishnan HG, Chen Y, Shoham S, Gurfinkel A.   +3 more
europepmc   +1 more source