Results 51 to 60 of about 1,133,638 (315)
LTL Model Checking Based on Binary Classification of Machine Learning
IEEE Access, 2019 Linear Temporal Logic (LTL) Model Checking (MC) has been applied to many fields. However, the state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking.
Weijun Zhu, Huanmei Wu, Miaolei Deng
doaj +1 more source
FEBS Letters, EarlyView.This work presents the characterization of MvoDUF2193, a Methanococcus voltae (Mvo) protein from the domain of unknown function (DUF) 2193 family. We demonstrate that MvoDUF2193 binds a single [4Fe–4S] cluster per subunit and that cluster occupancy regulates the transition from an apo tetramer to a [4Fe–4S] monomeric form. This structural transition is
Emily M. Dieter +8 more
wiley +1 more source
Neutrophil deficiency increases T cell numbers at the site of tissue injury in mice
FEBS Letters, EarlyView.In wild‐type mice, injury or acute inflammation induces neutrophil influx followed by macrophage accumulation. Mcl1ΔMyelo (neutrophil‐deficient) mice lack neutrophils, and in response to muscle injury show fewer macrophages and exhibit strikingly elevated T‐cell numbers, primarily non‐conventional “double‐negative” (DN) αβ and γδ T cells.
Hajnalka Halász +6 more
wiley +1 more source
On the Completeness of Model Checking [PDF]
, 2001 In POPL'00, Cousot and Cousot introduced and studied a novel general temporal specification language, called µ-calculus, in particular featuring a natural and rich time-symmetric trace-based semantics. The classical state-based model checking of the µ-calculus is an abstract interpretation of its trace-based semantics, which, surprisingly, turns out to
openaire +3 more sources
Molecular Oncology, EarlyView.Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley +1 more source
Formal Verification of STPA with Model Checking
Scientific Journal of Gdynia Maritime University, 2023 As technology advances, hardware-centric systems are rapidly moving towards software-centric ones, and their complexity is rapidly increasing. In particular, systems directly related to safety require thorough verification.
Ryeonggu Kwon, Gihwon Kwon
doaj +1 more source
Molecular Oncology, EarlyView.We identified adaptor protein ShcD as upregulated in triple‐negative breast cancer and found its expression to be correlated with reduced patient survival and increased invasion in cell models. Using a proteomic screen, we identified novel ShcD binding partners involved in EGFR signaling pathways.
Hayley R. Lau +11 more
wiley +1 more source
Variations of model checking [PDF]
, 2002 The logic ATCTL is a convenient logic to specify properties with actions and real-time. It is intended as a property language for Lightweight UML models [12], which consist mainly of simplified class diagrams and statecharts.
Jansen, D.N.
core +1 more source
Lazy Probabilistic Model Checking without Determinisation [PDF]
, 2015 The bottleneck in the quantitative analysis of Markov chains and Markov decision processes against specifications given in LTL or as some form of nondeterministic B\"uchi automata is the inclusion of a determinisation step of the automaton under ...
Hahn, Ernst Moritz +4 more
core +2 more sources
A Partial Approach to Model Checking [PDF]
Information and Computation, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pierre Wolper, Patrice Godefroid
openaire +2 more sources