Results 181 to 190 of about 4,235,689 (341)

Association of Higher Levels of High‐Sensitivity C‐Reactive Protein With Future Development of Psoriatic Arthritis in Psoriasis: A Prospective Cohort Study

Arthritis Care &Research, EarlyView.
Objective We aimed to assess whether high‐sensitivity C‐reactive protein (hsCRP) levels could predict the development of psoriatic arthritis (PsA) in patients with psoriasis. Methods We analyzed data from a prospective cohort of patients with psoriasis without PsA at enrollment.
Lihi Eder, Xianwei Li, Vinod Chandran, Cheryl F. Rosen, Richard J. Cook, Dafna D. Gladman   +5 more
wiley   +1 more source

Biosensor characterization: formal methods from the perspective of proteome fractions. [PDF]

Synth Biol (Oxf)
Vaccari NA, Zevallos-Aliaga D, Peeters T, Guerra DG.   +3 more
europepmc   +1 more source

Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology. [PDF]

Front Bioeng Biotechnol, 2016
Rosenblueth DA.
europepmc   +1 more source

Formal verification method for combinatorial circuits at high level design [PDF]

, 1999
Junji Kitamichi, Hitoshi Kageyama, Nobuo Funabiki   +2 more
openalex   +1 more source

Screening for Social Determinants of Health in Patients With Systemic Lupus Erythematosus: A Point‐of‐Care Feasibility Study

Arthritis Care &Research, EarlyView.
Objective Social determinants of health (SDoH) can impact outcomes but are not routinely screened for in US outpatient rheumatology clinics. This study determined the feasibility of routine point‐of‐care SDoH screening among patients with systemic lupus erythematosus (SLE) and associated barriers and facilitators at the physician, care team, and ...
S. Sam Lim, Vijay R. Nadipelli, Michelle Bruno, Daphne Lew, Bernard Rubin, Charmayne M. Dunlop‐Thomas, Kelsey Hulcher, Kristi R. Mitchell, Lydia Demetriou, Jeff Berko, Jason Bao, Alfred H. J. Kim   +11 more
wiley   +1 more source

Radiomics and 256-slice-dual-energy CT in the automated diagnosis of mild acute pancreatitis: the innovation of formal methods and high-resolution CT. [PDF]

Radiol Med
Rocca A, Brunese MC, Santone A, Varriano G, Viganò L, Caiazzo C, Vallone G, Brunese L, Romano L, Di Serafino M, R O I Segmentation Collaborative Group.   +10 more
europepmc   +1 more source

Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility. [PDF]

Concurr Eng Res Appl, 2015
Jung K, Morris KC, Lyons KW, Leong S, Cho H.   +4 more
europepmc   +1 more source

Book Review: Formal methods in human–computer interaction. Edited by Philippe Palanque and Fabio Paterno. Published by Springer Verlag, Heidelberg, Germany, 1998. ISBN: 3-540-76158-6, 376 pages. Price: U.K. £29.50, Germany DM 89.00, Soft Cover. [PDF]

, 1998
Harold Thimbleby
openalex   +1 more source

Formal Methods Unifying Computer Science and Systems Theory [PDF]

, 2004
Boute, Raymond
core   +2 more sources

Association of Elevated Serum S100A8/A9 Levels and Cognitive Impairment in Patients With Systemic Lupus Erythematosus

Arthritis Care &Research, EarlyView.
Objective Cognitive impairment (CI) is common in patients with systemic lupus erythematosus (SLE). Despite its prevalence, the immune mechanisms are not well understood. We previously reported elevated serum levels of S100A8/A9 and matrix metalloproteinase 9 (MMP‐9) in patients with SLE and CI.
Carolina Muñoz‐Grajales, Michelle L. Barraclough, Juan P. Diaz‐Martinez, Jiandong Su, Kathleen Bingham, Mahta Kakvan, Roberta Pozzi Kretzmann, Maria Carmela Tartaglia, Lesley Ruttan, May Y. Choi, Simone Appenzeller, Sherief Marzouk, Dennisse Bonilla, Patricia Katz, Dorcas Beaton, Robin Green, Dafna D. Gladman, Joan Wither, Zahi Touma   +18 more
wiley   +1 more source