Results 181 to 190 of about 221,743 (312)

A Return to Normality: A Descriptive Qualitative Interview Study Exploring the Patient Experience of Gout Flare Resolution

Arthritis Care &Research, EarlyView.
Objective Although the definition of a gout flare is well established, the state of gout flare resolution has not yet been defined. This study aimed to explore patients’ experiences and perceptions of gout flare resolution. Methods Semistructured interviews were conducted with 24 people with gout, guided by open‐ended questions exploring their ...
Sarah Stewart, Anne Horne, Angelo Gaffo, Lisa K. Stamp, N. Lawrence Edwards, Nicola Dalbeth   +5 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

Immunosuppressive Drug Use in Limited Systemic Sclerosis: An International Survey

Arthritis Care &Research, EarlyView.
Objective Current guidelines recommend immunosuppressive treatment for diffuse cutaneous systemic sclerosis but are less clear on their use in limited cutaneous systemic sclerosis (lcSSc) in the absence of internal organ complications. We conducted an international survey to understand current immunosuppressive drug prescribing patterns in lcSSc ...
Sabrina Hoa, Yicheng Mu, Marie Hudson, Janet Pope   +3 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

β‐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

Symmetry Reduction in the ProB Model Checker

, 2006
Model checking suffers from the state space explosion problem. One method to alleviate this problem is to exploit symmetries in the system, such that duplicate symmetric components of the state space are not explored – saving time during the checking ...
Turner, Edd, Butler, Michael
core  

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

Experimental Evaluation of 100Cr6 Steel Microindented Surfaces Under Lubricated Nonconformal Point Contacts

Advanced Engineering Materials, EarlyView.
The tribological behavior of 100Cr6 steel spheres textured via Vickers microindentation is evaluated under lubricated sliding by varying both dimple size and density. Fine and dense textures significantly reduce friction across all lubrication regimes, while large dimples increase it.
Farideh Davoodi, Pasquale Guglielmi, Gianfranco Palumbo, Giuseppe Carbone   +3 more
wiley   +1 more source

Automated compliance checking using building information models

, 2010
Building designs in the UK are currently checked manually against a frequently changing and increasingly complex set of building regulations. This is a major task for both designers and enforcers, often leading to ambiguity, inconsistency in assessments ...
Greenwood, David, Malsane, S., Lockley, Steve, Matthews, Jane, Malsane, Sagar   +4 more
core  

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