Results 111 to 120 of about 3,649,820 (385)
Molecular Oncology, EarlyView.This study highlights the potential of automated enumeration using the ACCEPT software to refine circulating tumor cell (CTC) detection in metastatic colorectal cancer (mCRC). The automated method demonstrates improved accuracy and reduced variability compared to the manual approach.
Michela De Meo +6 more
wiley +1 more source
Molecular Oncology, EarlyView.Adaptaquin selectively kills glioma stem cells while sparing differentiated brain cells. Transcriptomic and proteomic analyses show Adaptaquin disrupts iron and cholesterol homeostasis, with iron chelation amplifying cytotoxicity via cholesterol depletion, mitochondrial dysfunction, and elevated reactive oxygen species.
Adrien M. Vaquié +16 more
wiley +1 more source
Formal Verification and Biology [PDF]
, 2008 The essence of formal verification is the modeling, analysis, and, ultimately, understanding of large reactive systems. How do many parts interact to produce appropriate global behavior? How are properties guaranteed over all the possible variations of timing, non-deterministic behavior of components, and a dynamically changing environment?
openaire +2 more sources
Molecular Oncology, EarlyView.This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker +16 more
wiley +1 more source
Towards a methodology for rigorous development of generic requirements patterns
, 2005 We present work in progress on a methodology for the engineering, validation and verification of generic requirements using domain engineering and formal methods.
Johnson, Ian +2 more
core
Formal Verification of Input-Output Mappings of Tree Ensembles
, 2020 Recent advances in machine learning and artificial intelligence are now being considered in safety-critical autonomous systems where software defects may cause severe harm to humans and the environment. Design organizations in these domains are currently
Nadjm-Tehrani, Simin, Törnblom, John
core +1 more source
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
International Conference on Computer Aided Verification, 2019 We formalize the theory of quantum Hoare logic (QHL) [TOPLAS 33(6),19], an extension of Hoare logic for reasoning about quantum programs. In particular, we formalize the syntax and semantics of quantum programs in Isabelle/HOL, write down the rules of ...
Junyi Liu +7 more
semanticscholar +1 more source
Molecular Oncology, EarlyView.In over 50% of non‐metastatic breast cancer patients, circulating tumor cells (CTCs) along the whole epithelial‐mesenchymal transition spectrum are detected. Total CTC number and individual phenotypes relate to aggressive disease characteristics, including lymph node involvement and higher tumor proliferation. At the single‐cell level, mesenchymal CTCs
Justyna Topa +14 more
wiley +1 more source
Formal verification of AI software [PDF]
The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different ...
Rushby, John, Whitehurst, R. Alan
core +1 more source
User-friendly Support for Common Concepts in a Lightweight Verifier [PDF]
, 2010 Machine verification of formal arguments can only increase our confidence in the correctness of those arguments, but the costs of employing machine verification still outweigh the benefits for some common kinds of formal reasoning activities. As a result,
Lapets, Andrei
core +1 more source