Results 91 to 100 of about 1,197,742 (268)

dUTPase is essential in zebrafish development and possesses several single‐nucleotide variants with pronounced structural and functional consequences

FEBS Open Bio, EarlyView.
dUTPases are involved in balancing the appropriate nucleotide pools. We showed that dUTPase is essential for normal development in zebrafish. The different zebrafish genomes contain several single‐nucleotide variations (SNPs) of the dut gene. One of the dUTPase variants displayed drastically lower protein stability and catalytic efficiency as compared ...
Viktória Perey‐Simon, Angéla Békesi, Latifa Kazzazy, Jázmin Mihály, Máté Varga, Beáta G. Vértessy, Kinga Nyíri   +6 more
wiley   +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

HIV‐1 establishes immediate latency in T cells expressing the viral Nef protein

FEBS Open Bio, EarlyView.
Nef is a viral protein often omitted from HIV‐1 reporter viruses. Consequently, its role in viral latency is unclear. We developed three novel dual reporter HIV‐1 derivatives that express Nef and allow for detection of latent and productive infection. Using these reporters, we show that Nef does not affect the establishment of immediate viral latency ...
Cindy Lam, Ivan Sadowski
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

The cooperative regulation of miR‐221 by APE1 and AUF1 impacts p27Kip1 defining a miR signature relevant for cervical cancer

FEBS Open Bio, EarlyView.
A regulatory axis involving APE1, AUF1, and miR‐221 is proposed. Pri‐miR‐221 is processed by DROSHA and DICER to generate mature miR‐221, which targets p27Kip1 mRNA. APE1 and AUF1 compete for pre‐miR‐221 binding. Reduced APE1/AUF1 levels impair miR‐221 biogenesis, decrease p27Kip1 mRNA degradation, and promote cell cycle progression, chemoresistance ...
Matilde Clarissa Malfatti, Nicolò Gualandi, Gianluca Tell, Giulia Antoniali   +3 more
wiley   +1 more source

Omega-Regular Model Checking [PDF]

, 2004
“Regular model checking” is the name of a family of techniques for analyzing infinite-state systems in which states are represented by words or trees, sets of states by finite automata on these objects, and transitions by finite automata operating on pairs of state encodings, i.e. finite-state transducers.
Boigelot, Bernard, Legay, Axel, Wolper, Pierre   +2 more
openaire   +2 more sources

Anchorage‐independent and faster growth in clonal population from UV‐irradiated NER‐deficient cells

FEBS Open Bio, EarlyView.
UV‐irradiated cells expressing a DDB2 mutant protein unable to interact with PCNA (DDB2PCNA‐) form clones able to grow without anchorage. Different experimental approaches reveal heterogeneity in cell cycle regulation and drug response within these clones, emphasizing the crucial role of the DDB2‐PCNA interaction in preventing cellular transformation ...
Paola Perucca, Anna Tricarico, Martina Furfaro, Priyam Ghosh, Ennio Prosperi, Lucia Anna Stivala, Ornella Cazzalini   +6 more
wiley   +1 more source

Statistical Model Checking : An Overview

, 2010
Quantitative properties of stochastic systems are usually specified in logics that allow one to compare the measure of executions satisfying certain temporal properties with thresholds.
Delahaye, Benoit, Legay, Axel
core   +1 more source

Model Checking Dynamic-Epistemic Spatial Logic [PDF]

, 2006
In this paper we focus on Dynamic Spatial Logic, the extension of Hennessy-Milner logic with the parallel operator. We develop a sound complete Hilbert-style axiomatic system for it comprehending the behavior of spatial operators in relation with dynamic/
Mardare, Radu, Priami, Corrado
core  

PARP inhibitors induce a senescence phenotype in non‐small cell lung carcinoma cell lines

FEBS Open Bio, EarlyView.
Talazoparib is the most potent inducer of senescence among different PARP1 inhibitors in human NSCLC cells. In the absence of PARP, no senescence phenotype was observed, demonstrating that PARP1 is necessary for the induction of senescence by this inhibitor.
Camille Huart, Manon Van den Abbeel, Christoph Schifflers, Karim Bouhjar, Andrea Scarmelotto, Alexis Khelfi, Anne‐Catherine Wera, Carine Michiels   +7 more
wiley   +1 more source