Results 71 to 80 of about 3,818 (217)

Regression model checking

2009 IEEE International Conference on Software Maintenance, 2009
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered model checking of single versions of programs. It is well understood that model checking can be very expensive for large, complex programs.
Guowei Yang 0001, Matthew B. Dwyer, Gregg Rothermel   +2 more
openaire   +4 more sources

Finding novel vulnerabilities of hypomorphic BRCA1 alleles

Molecular Oncology, EarlyView.
Synthetic lethality screens performed to identify novel vulnerabilities often model complete gene loss, thereby overlooking patient‐derived hypomorphic mutations. In this study, we have performed genome‐wide CRISPR screens on BRCA1 hypomorphic mutations, showing BRCA1I26A behaves like wild‐type, while BRCA1R1699Q mimics deficiency. Furthermore, we have
Anne Schreuder, Klaas de Lint, Hồ Mỹ Phúc Võ, Mariana M. Góis, Rosalie A. Kampen, Marta San Martin Alonso, Ilse Nootenboom, Veronica Garzero, Tiemen J. Wendel, Rob M. F. Wolthuis, Sylvie M. Noordermeer   +10 more
wiley   +1 more source

In vitro and in silico modelling of ROS1‐positive non‐small cell lung cancer reveals fusion‐dependent tyrosine kinase inhibitor responses

Molecular Oncology, EarlyView.
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq, Marc Terrones, Felicia Rodrigues Fortes, Anne Schepers, Alessia Denis, Christophe Deben, Ken Op de Beeck, Guy Van Camp, Geert Vandeweyer   +8 more
wiley   +1 more source

Discriminative Model Checking [PDF]

, 2008
Model checking typically compares a system description with a formal specification, and returns either a counterexample or an affirmation of compatibility between the two descriptions. Counterexamples provide evidence to the existence of an error, but it can still be very difficult to understand what is the cause for that error.
Peter Niebert, Doron A. Peled, Amir Pnueli   +2 more
openaire   +2 more sources

Epigenetic silencing of the liver‐specific lncRNA LUNAR promotes liver cancer progression via NOTCH activation

Molecular Oncology, EarlyView.
LUNAR is a liver‐specific long noncoding RNA (lncRNA) that is highly expressed in normal liver but becomes epigenetically silenced in hepatocellular carcinoma through promoter hypermethylation. Loss of LUNAR is associated with NOTCH activation, epithelial–mesenchymal transition, and metastasis, whereas restoring LUNAR restrains metastatic progression ...
Se Ha Jang, Hyung Seok Kim, Geum Ok Baek, Moon Gyeong Yoon, Su In Lee, Jee‐Yeong Jeong, Ji Eun Han, Soon Sun Kim, Jae Youn Cheong, Jung Woo Eun   +9 more
wiley   +1 more source

Formal Verification of Code Conversion: A Comprehensive Survey

Technologies
Code conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry.
Amira T. Mahmoud, Ahmad A. Mohammed, Mahitap Ayman, Walaa Medhat , Sahar Selim , Hala Zayed, Ahmed H. Yousef, Nahla Elaraby    +7 more
doaj   +1 more source

Classification and checking model of pedestrian crossing

Journal of Accessibility and Design for All, 2012
The requirements demanded for pedestrian crossings, as the meeting point of pedestrian and vehicle traffic, are becoming more and more numerous and to guarantee that they are understandable, employable and feasible for all people in safe and convenient ...
Luis Delgado Méndez, Consuelo del Moral Ávila, Ignacio Valverde Espinosa, Ignacio Valverde Palacios   +3 more
doaj   +1 more source

Mechanisms and therapeutic opportunities of the ribotoxic stress response in cancer

Molecular Oncology, EarlyView.
Cancer cells' high translational demand creates opportunities to therapeutically target ribosome function. Ribosome stalling and collisions activate ZAKα and the ribotoxic stress response (RSR), which can trigger rapid, p53‐independent apoptosis in cancer.
Anastassiya Kim, Maryam Aslam, Elouise Torruella, Alphons Sony, Asif Rahman, Simira Smith, Columba de la Parra, Moira Sauane   +7 more
wiley   +1 more source

Regular Model Checking Upside-Down: An Invariant-Based Approach [PDF]

Logical Methods in Computer Science
Regular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet.
Javier Esparza, Michael Raskin, Christoph Welzel-Mohr   +2 more
doaj   +1 more source

Optimizing photoactivation of PA‐mCherry for optical pooled CRISPR screens

FEBS Open Bio, EarlyView.
Photoactivatable PA‐mCherry finds widespread use to optically tag individual cells. However, confocal 405 nm UV laser‐scanning (normal scan) is much less efficient than widefield UV illumination, limiting the use of PA‐mCherry on confocal instruments. We remedy this limitation by reporting that rapid and repeated confocal scanning with a low‐intensity,
Sravasti Mukherjee, Giulia Zanetti, Bram van den Broek, Kees Jalink   +3 more
wiley   +1 more source