Results 201 to 210 of about 23,407,383 (367)

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

Tests for Checking the Computer Model of a Three-Phase Transformer or an Inductive Reactor and the Diagram for their Implementation [PDF]

Pustovetov Mikhail
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

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

Symbolic and Structural Model-Checking

, 2021
Yann Thierry-Mieg
openalex   +2 more sources

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

Vérification par Model-Checking Modulaire de Propriétés Dynamiques PLTL exprimées dans le cadre de Spécifications B événementielles

, 2001
Pierre-Alain Masson
openalex   +1 more source

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

, 2016
Eduard Paul Enoiu, Daniel Sundmark, Adnan Čaušević, Robert Feldt, Paul Pettersson   +4 more
openalex   +2 more sources