Results 61 to 70 of about 131,761 (282)

Abstraction of Dynamical Systems by Timed Automata [PDF]

Modeling, Identification and Control, 2011
To enable formal verification of a dynamical system, given by a set of differential equations, it is abstracted by a finite state model. This allows for application of methods for model checking. Consequently, it opens the possibility of carrying out the
Rafael Wisniewski, Christoffer Sloth
doaj   +1 more source

Symmetry reduction and heuristic search for error detection in model checking [PDF]

, 2003
The state explosion problem is the main limitation of model checking. Symmetries in the system being verified can be exploited in order to avoid this problem by defining an equivalence (symmetry) relation on the states of the system, which induces a ...
Lluch-Lafuente, Alberto
core  

A methionine‐lined active site governs carbocation stabilization and product specificity in a bacterial terpene synthase

FEBS Letters, EarlyView.
This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel, Carl P. O. Helmer, Shani Zev, Ronja Driller, Emily Buhr, Markus Reinbold, Renana Schwartz, Gabriel Foley, Mikael Boden, Daniel Garbe, Gerhard Schenk, Dan Thomas Major, Bernhard Loll, Thomas Brück   +13 more
wiley   +1 more source

Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma

Molecular Oncology, EarlyView.
Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken, Andrea Abel Gutierrez, Imke van Rossum, Cornelia G. Spruijt, Michiel Vermeulen, Guido van Mierlo, Blanca Scheijen, Annemiek B. van Spriel   +7 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

Crucial parameters for precise copy number variation detection in formalin‐fixed paraffin‐embedded solid cancer samples

Molecular Oncology, EarlyView.
This study shows that copy number variations (CNVs) can be reliably detected in formalin‐fixed paraffin‐embedded (FFPE) solid cancer samples using ultra‐low‐pass whole‐genome sequencing, provided that key (pre)‐analytical parameters are optimized.
Hanne Goris, Vasiliki Siozopoulou, Léon C van Kempen, Anne Sieben, Ella Roelant, Stig Hellemans, Elyne Backx, Laure Sorber, Koen De Winne, Senada Koljenović, Karen Zwaenepoel   +10 more
wiley   +1 more source

Boolean Satisfiability in Electronic Design Automation [PDF]

, 2000
Boolean Satisfiability (SAT) is often used as the underlying model for a significant and increasing number of applications in Electronic Design Automation (EDA) as well as in many other fields of Computer Science and Engineering. In recent years, new and
Marques-Silva, J. P., Sakallah, K. A.
core   +3 more sources

Checking Equivalence for Reo Networks

Electronic Notes in Theoretical Computer Science, 2008
AbstractConstraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of the components by means of a network of channels. This paper addresses the problem of checking equivalence of two Reo networks.
Blechmann, Tobias, Baier, Christel
openaire   +1 more source

Dimethyl fumarate combined with cisplatin at subcytotoxic doses sensitizes cervical cancer toward ferroptosis and apoptosis through GSH restriction and p53 (re)activation

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, Giuseppina Minopoli, Simona Romano, Laura Marrone, Katia Aquilano, Maria Lina Tornesello, Raffaella Faraonio   +6 more
wiley   +1 more source

Equivalence Checking of Quantum Protocols [PDF]

, 2013
Quantum Information Processing (QIP) is an emerging area at the intersection of physics and computer science. It aims to establish the principles of communication and computation for systems based on the theory of quantum mechanics. Interesting QIP protocols such as quantum key distribution, teleportation, and blind quantum computation have already ...
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan   +2 more
openaire   +1 more source