Results 211 to 220 of about 117,504 (308)

IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation

, 2005
Tiziana Margaria, Bernhard Steffen, Michael G. Hichey   +2 more
openalex   +1 more source

Formally modelling and verifying the FreeRTOS real-time operating system [PDF]

, 2014
Shu Cheng
openalex  

Monocyte LOXHD1 and RHOB Expression Predictive of Progressive Systemic Sclerosis–Associated Interstitial Lung Disease

Arthritis Care &Research, EarlyView.
Objective A leading cause of death among patients with scleroderma (SSc), interstitial lung disease (ILD) remains challenging to prognosticate. The discovery of biomarkers that accurately determine which patients would benefit from close monitoring and aggressive therapy would be an essential clinical tool.
Cristina M. Padilla, Robert Lafyatis, Kevin F. Gibson, Christina Morse, Eleanor Valenzi, Xiaoping Chen, Xiaoyun Li, Yanwu Zhao, Yongseok Park, Dana Ascherman, Jonathan Minden, Robyn Domsic, Yingze Zhang, Daniel J. Kass   +13 more
wiley   +1 more source

Seeking validation in the digital age: The impact of validation seeking on self-image and internalized stigma among self- vs. clinically diagnosed individuals on r/ADHD. [PDF]

PLoS One
Zhang X, Oh YJ, Zhang Y, Zhu J.
europepmc   +1 more source

Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages

, 2014
Faiez Zalila
openalex   +1 more source

Heterogeneity of Rheumatoid Arthritis–Associated Interstitial Lung Disease by Longitudinal Forced Vital Capacity Trajectory and Associations With Disease Outcomes

Arthritis Care &Research, EarlyView.
Objective We aimed to identify unique disease trajectories within rheumatoid arthritis–associated interstitial lung disease (RA‐ILD) based on longitudinal forced vital capacity (FVC) values and their associated clinical outcomes. Methods We performed a cohort study of RA‐ILD within the Veterans Health Administration from 1999 to 2021.
Bryant R. England, Yangyuna Yang, Punyasha Roul, Tate M. Johnson, Scott M. Matson, Grant W. Cannon, Brian C. Sauer, Jeffrey R. Curtis, Joshua F. Baker, Ted R. Mikuls   +9 more
wiley   +1 more source

Defining a Domain-Specific Language for Behavior Verification of Cyber-Physical Applications. [PDF]

Sensors (Basel)
Panayiotou K, Tsardoulias E, Tsampouris T, Symeonidis AL.   +3 more
europepmc   +1 more source

Serum Uric Acid Levels in Older Adults: Associations With Clinical Outcomes and Implications for Reference Intervals in Those Aged 70 Years and Over

Arthritis Care &Research, EarlyView.
Objective Reports have linked both high and low serum uric acid (SUA) levels to adverse health outcomes. This study aimed to establish a reference interval for SUA in older adults and assessed its association with clinically relevant outcomes in relatively healthy, community‐dwelling individuals aged ≥70 years old.
Amanda J. Rickard, Cammie Tran, Hans G. Schneider, Flavia M. Cicuttini, Anita E. Wluka, Ego Seeman, Johannes T. Neumann, Md Nazmul Karim, Zhen Zhou, Sultana Monira Hussain, David P. Q. Clark, Daniel Clayton‐Chubb, Andrew M. Tonkin, Lawrence J. Beilin, Robyn L. Woods, John J. McNeil   +15 more
wiley   +1 more source

Overexpression of BnaMATE43b Improves Resistance to Aluminum Toxicity and Identification of Its Upstream Transcription Factors in Rapeseed (Brassica napus L.). [PDF]

Plants (Basel)
Xiao X, Zhou H, Yu P, Zheng W, Han D, Yang L, Jiang Z, Cheng Y, Li Y, Huang T, Xiong W, Huang X, Chen M, Liu X, Zhang M, Huang Y, Zhou Q.   +16 more
europepmc   +1 more source

Formal Modeling and Verification of GALS Systems Using GRL and CADP

, 2014
Fatma Jebali, Frédéric Lang, Eric Léo, Radu Mateescu   +3 more
openalex   +1 more source