Results 81 to 90 of about 135,609 (263)

Formal verification confirms the role of p53 protein in cell fate decision mechanism. [PDF]

Theory Biosci, 2023
Mahmoud EA, Herajy M, Ziedan IE, Shehata HI.   +3 more
europepmc   +1 more source

ZW4864‐mediated inhibition of the β‐catenin/BCL9/BCL9L complex reveals therapeutic potential in bladder cancer

Molecular Oncology, EarlyView.
BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi, Mandy Berndt‐Paetz, Eileen Lerner, Gregoire Najjar, Anca Azoitei, Krishna Pal Singh, Shailendra Kumar Gupta, Olaf Wolkenhauer, Cagatay Günes, Otmar Huber, Marc‐Oliver Grimm, Daniel Steinbach   +11 more
wiley   +1 more source

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach. [PDF]

Front Robot AI, 2022
Foughali M, Zuepke A.
europepmc   +1 more source

Formal Verification for ALICA Plans

, 2021
Thao Nguyen Van
openalex   +1 more source

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis [PDF]

, 2022
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia   +8 more
openalex   +1 more source

C2α‐carbanion‐protonating glutamate discloses tradeoffs between substrate accommodation and reaction rate in actinobacterial 2‐hydroxyacyl‐CoA lyase

FEBS Open Bio, EarlyView.
Enzymes of the 2‐hydroxyacyl‐CoA lyase group catalyze the condensation of formyl‐CoA with aldehydes or ketones. Thus, by structural adaptation of active sites, practically any pharmaceutically and industrially important 2‐hydroxyacid could be biotechnologically synthesized. Combining crystal structure analysis, active site mutations and kinetic assays,
Michael Zahn, Barbara Seroka, Ryszard Lazny, Zenon Lotowski, Thore Rohwerder   +4 more
wiley   +1 more source

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source

Formal Verification for Scientific Computing: Trends and Progress [PDF]

, 2009
Stephen F. Siegel
openalex   +1 more source

Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains

FEBS Open Bio, EarlyView.
The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth, Moritz Koch, Le‐Han Rössner, Johanna Eichhorn, Denys Pogoryelov, Matthias P. Mayer, Jude M. Przyborski   +6 more
wiley   +1 more source

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. [PDF]

PeerJ Comput Sci, 2023
Tran DD, Wai Mon T, Ogata K.
europepmc   +1 more source