Results 41 to 50 of about 6,656 (189)

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

Structural insights into an engineered feruloyl esterase with improved MHET degrading properties

FEBS Letters, EarlyView.
A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa, Konstantinos Makryniotis, Theofani‐Iosifina Sousani, Evangelos Topakas, Vangelis Daskalakis, Maria Dimarogona   +5 more
wiley   +1 more source

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

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

Dual targeting of RET and SRC synergizes in RET fusion‐positive cancer cells

Molecular Oncology, EarlyView.
Despite the strong activity of selective RET tyrosine kinase inhibitors (TKIs), resistance of RET fusion‐positive (RET+) lung cancer and thyroid cancer frequently occurs and is mainly driven by RET‐independent bypass mechanisms. Son et al. show that SRC TKIs significantly inhibit PAK and AKT survival signaling and enhance the efficacy of RET TKIs in ...
Juhyeon Son, Lily L. Remsing Rix, Bin Fang, Eric A. Welsh, Nicole V. Bremer, Valentina Foglizzo, Paola Roa, Nickole Sigcha‐Coello, Yi Liao, Eric B. Haura, Alexander Drilon, John M. Koomen, Emiliano Cocco, Uwe Rix   +13 more
wiley   +1 more source

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

Detection of circulating tumor DNA in colorectal cancer patients using a methylation‐specific droplet digital PCR multiplex

Molecular Oncology, EarlyView.
We developed a cost‐effective methylation‐specific droplet digital PCR multiplex assay containing tissue‐conserved and tumor‐specific methylation markers. The assay can detect circulating tumor DNA with high accuracy in patients with localized and metastatic colorectal cancer.
Luisa Matos do Canto, Louise Raunkilde, Jan Lindebjerg, Mads Malik Aagaard, Christina Therkildsen, Jakob Kleif, Lars Henrik Jensen, Torben Frøstrup Hansen, Rikke Fredslund Andersen   +8 more
wiley   +1 more source

A Reduced Semantics for Deciding Trace Equivalence [PDF]

Logical Methods in Computer Science, 2017
Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without ...
David Baelde, Stéphanie Delaune, Lucca Hirschi   +2 more
doaj   +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

LINC01116, a hypoxia‐lncRNA marker of pathological lymphangiogenesis and poor prognosis in lung adenocarcinoma

Molecular Oncology, EarlyView.
The LINC01116 long noncoding RNA is induced by hypoxia and associated with poor prognosis and high recurrence rates in two cohorts of lung adenocarcinoma patients. Here, we demonstrate that besides its expression in cancer cells, LINC01116 is markedly expressed in lymphatic endothelial cells of the tumor stroma in which it participates in hypoxia ...
Marine Gautier‐Isola, Rafael Lopes Goncalves, Marin Truchi, Caroline Lacoux, Célia Scribe, Hugo Cadis, Laetitia Guardini, Sophie Bekisz, Marius Ilié, Paul Hofman, Georges Vassaux, Bernard Mari, Roger Rezzonico   +12 more
wiley   +1 more source