Results 81 to 90 of about 221,743 (312)
Symbolic Model Checking of Dual Transition Petri Nets
, 2002 This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques.
Varea, Mauricio +9 more
core +1 more source
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking [PDF]
, 2010 The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality.
Cordeiro, Lucas +8 more
core +1 more source
Learning Markov Decision Processes for Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system ...
Hua Mao +5 more
doaj +1 more source
Heliyon, 2023 Problem: The congenial of the imputation model is crucial for valid statistical inferences. Hence, it is important to develop methodologies for diagnosing imputation models.
Mingyang Cai +2 more
doaj +1 more source
Molecular Oncology, EarlyView.Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano +6 more
wiley +1 more source
Teaching Model Checking to Undergraduates
Studia Universitatis Babes-Bolyai: Series Informatica, 2010 The way program verification is taught in our faculty is firstly described. One of the verification methods is model checking, shortly presented to the students in one lecture. One laboratory project consists in using the SPIN tool.
Andreea Vescan, Militon Frentiu
doaj
Interrogating the immune landscape of microsatellite stable RAS‐mutated colon cancer
Molecular Oncology, EarlyView.COLOSSUS project RAS‐mutated MSS colon cancer study explored transcriptomics and immune cell density by immunohistochemistry (IHC), Immunoscore (IS), ISIC/TuLIS scores, mutation counts, and detected different prevalences but similar microenvironment composition across immune markers with clinical relevance for future immunotherapy combination ...
Rodrigo Dienstmann +61 more
wiley +1 more source
Model Checking Spatial Logics for Closure Spaces [PDF]
Logical Methods in Computer Science, 2017 Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification techniques are well
Vincenzo Ciancia +3 more
doaj +1 more source
Somatic mutational landscape in von Hippel–Lindau familial hemangioblastoma
Molecular Oncology, EarlyView.The causes of central nervous system (CNS) hemangioblastoma in Von Hippel–Lindau (vHL) disease are unclear. We used Whole Exome Sequencing (WES) on familial hemangioblastoma to investigate events that underlie tumor development. Our findings suggest that VHL loss creates a permissive environment for tumor formation, while additional alterations ...
Maja Dembic +5 more
wiley +1 more source
Molecular Oncology, EarlyView.In the present work, we have identified a transcriptional signature based on the differential expression of six genes (BCL2&MAST4, HSH2D&LAT2, METRN&PITPNM2) that would facilitate the early detection of T‐cell acute lymphoblastic leukemia (T‐ALL) patients prone to a poor treatment response and could be implemented at diagnosis, along with other risk ...
Antonio Lahera +11 more
wiley +1 more source