Results 181 to 190 of about 1,197,029 (323)

Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization

, 2012
Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong   +3 more
openalex   +2 more sources

Model checking Java programs (abstract only) [PDF]

, 2000
David L. Dill
openalex   +1 more source

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

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

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]

Sensors (Basel), 2020
Chouhan AP, Banda G.
europepmc   +1 more source

A Model for Predicting the Future Risk of Incident Erosive Esophagitis in an Asymptomatic Population Undergoing Regular Check-ups

, 2016
Soo Hoon Kang, Yaeji Lim, Hyuk Lee, Joungyoun Kim, Sangah Chi, Yang Won Min, Byung‐Hoon Min, Jun Haeng Lee, Hee Jung Son, Seungho Ryu, Poong‐Lyul Rhee, Jae J. Kim   +11 more
openalex   +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

Exact acceleration of complex real-time model checking based on overlapping cycle. [PDF]

PeerJ Comput Sci, 2020
Wang G, Zhuang L, Song Y, He M, Ma D, Ma L.   +5 more
europepmc   +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