Results 91 to 100 of about 566,633 (340)

Evaluation of a novel EHR sidecar application to display RA clinical outcomes during clinic visits: results of a stepped‐wedge cluster randomized pragmatic trial

Arthritis Care &Research, Accepted Article.
Objective We developed a novel EHR sidecar application to visualize key rheumatoid arthritis (RA) outcomes, including disease activity, physical function, and pain, via a patient‐facing graphical interface designed for use during outpatient visits (“RA PRO dashboard”).
Gabriela Schmajuk, Jing Li, Cathy Nasrallah, Cherish Wilson, Alicia Hamblin, Christine Hariz, Cammie Young, Stephen Shiboski, Emma Kersey, Mary Nakamura, Judith F. Ashouri, Mehrdad Matloubian, Andrew J. Gross, Jennifer Barton, Beth Berrean, Jonathan Prugh, Jinoos Yazdany   +16 more
wiley   +1 more source

ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL2 PROTOTYPE

International Journal of Information and Communication Technology Research, 2009
Formal specification as a precise description of software requirements plays an important role in the software development processes. It can be used as a measurement for validating the artifacts of almost all stages in the development process.
Behnaz Changizi, Seyyed Hassan Mirian Hossinabadi   +1 more
doaj  

Scenic: a language for scenario specification and data generation [PDF]

, 2022
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia   +6 more
openalex   +1 more source

Verified Correctness and Security of mbedTLS HMAC-DRBG

, 2017
We have formalized the functional specification of HMAC-DRBG (NIST 800-90A), and we have proved its cryptographic security--that its output is pseudorandom--using a hybrid game-based proof.
Almeida José Bacelar, Almeida José Bacelar, Beringer Lennart, Bernstein Daniel J., Checkoway Stephen, Heninger Nadia, Hirose Shoichi, ISO., Shumow Dan   +8 more
core   +1 more source

Addressing Economic Insecurities Can Improve Patient‐Reported Outcomes in Lupus

Arthritis Care &Research, Accepted Article.
Background Economic insecurities, such as food, housing, transportation, and financial challenges, are modifiable risk factors and influence patient‐reported outcomes (PROs) in systemic lupus erythematosus (SLE). We examined: 1) associations between economic insecurities and PROs; 2) the impact of screening and addressing economic insecurities during ...
Jay Patel, Tripti Singh, Meredith Ingersoll, Shelby Gomez, Amanda Weber, Sarah E. Panzer, Sancia Ferguson, Christie M. Bartels, Shivani Garg   +8 more
wiley   +1 more source

Mapping SDL Specification Fundamentals to Core SDL Ontology

Journal of Communications Software and Systems, 2010
This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications ...
Marina Bagić Babac, Marijan Kunštić
doaj  

Synthesis of Robotic System Controllers Using Robotic System Specification Language [PDF]

, 2022
Maksym Figat, Cezary Zieliński
openalex   +1 more source

New Onset of Fibromyalgia After Exposure to a Combat Environment: A Longitudinal Cohort Study

Arthritis Care &Research, Accepted Article.
Objective Traumatic life events are hypothesized to be triggers for the onset of fibromyalgia. Posttraumatic stress disorder (PTSD) is a common comorbidity of fibromyalgia. However, limited prospective data are available on the development of fibromyalgia after exposure to high magnitude stress.
Jay B. Higgs, Willie J. Hale, Casey L. Straud, Jim Mintz, Stacey Young‐McCaughan, Kimberly D. Gomes, Chelsea J. Sterne, Katrina M. Lawrence‐Wolff, Alan J. Bartholomew, Kevin M. Kelly, Douglas M. Maurer, Catherine Vriend, Brett T. Litz, Douglas E. Williamson, Alan L. Peterson, for the STRONG STAR Consortium   +15 more
wiley   +1 more source

Autonomous requirements specification processing using natural language\n processing [PDF]

, 2014
Stephen G. MacDonell, Kyongho Min, Andrew M. Connor   +2 more
openalex   +1 more source

Enabling Digital Continuity in Virtual Manufacturing for Eco‐Efficiency Assessment of Lightweight Structures by Means of a Domain‐Specific Structural Mechanics Language: Requirements, Idea and Proof of Concept

Advanced Engineering Materials, EarlyView.
This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel, Andreas Schuster, Felix Schoenitz, Jean Lefèvre   +3 more
wiley   +1 more source