Results 91 to 100 of about 1,133,638 (315)
Probabilistic and Hybrid Model Checking Deployments for Wireless Sensor Networks [PDF]
Mehran University Research Journal of Engineering and Technology, 2012 In the early stages of system development, model checking is a good practice for examining the WSNs (Wireless Sensor Networks). Model checking involves verifying a system\'s properties based on the system\'s finite state model. For varying applications
Mohsin Memon +2 more
doaj
Exploring the role of cyclin D1 in the pathogenesis of multiple myeloma beyond cell cycle regulation
Molecular Oncology, EarlyView.Cyclin D1 overexpression altered the cell adhesion pathway, while cyclin D2 upregulation had less impact on pathway enrichment analysis. Multiple myeloma (MM) patients with cyclin D1 overexpression showed reduced CD56 expression and increased circulating tumor cells (CTC) levels, suggesting that cyclin D1 may contribute to MM cell dissemination ...
Ignacio J. Cardona‐Benavides +13 more
wiley +1 more source
Model checking programmable router configurations [PDF]
, 2010 Programmable networks offer the ability to customize router behaviour at run time, thus increasing flexibility of network administration. Programmable network routers are configured using domain-specific languages. In this paper, we describe our approach
Emmerich, W, Mascolo, C, Zanolin, L
core
Electronic Notes in Theoretical Computer Science, 2002 AbstractWe survey evaluation games for first-order logic and least fixed point logics, and discuss their algorithmic complexity.
openaire +2 more sources
On the Power of Statistical Model Checking [PDF]
, 2016 This paper contains material for our tutorial presented at STRESS 2016. This includes an introduction to Statistical Model Checking algorithms and their rare event extensions, as well as an introduction to two well-known SMC tools: Plasma and Uppaal.
Larsen, Kim Guldstrand, Legay, Axel
openaire +3 more sources
Optimization Procedures in Affine Model Checking
Моделирование и анализ информационных систем, 2011 Symbolic model checking is based on a compact representation of sets of states and transition relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic ...
N. O. Garanina
doaj
Molecular Oncology, EarlyView.Small extracellular vesicles are a promising source of diagnostic molecules. We conducted a comprehensive study, including transcriptome profiling and RT‐qPCR validation on large cohorts of samples. Diagnostic panels enabling sensitive detection of colorectal cancer and precancerous lesions were established. Some molecules were differentially expressed
Petra Vychytilova‐Faltejskova +26 more
wiley +1 more source
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking
, 2010 One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for ...
A. Emerson +27 more
core +2 more sources
β‐TrCP overexpression enhances cisplatin sensitivity by depleting BRCA1
Molecular Oncology, EarlyView.Low levels of β‐TrCP (Panel A) allow the accumulation of BRCA1 and CtIP, which facilitate the repair of cisplatin‐induced DNA damage via homologous recombination (HR) and promote tumor cell survival. In contrast, high β‐TrCP expression (Panel B) leads to BRCA1 and CtIP degradation, impairing HR repair, resulting in persistent DNA damage and apoptosis ...
Rocío Jiménez‐Guerrero +8 more
wiley +1 more source
Model checking mobile ambients
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Charatonik, Witold +4 more
openaire +4 more sources