Results 121 to 130 of about 198,004 (302)

Correctness of Source-Level Safety Policies

, 2003
Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be established externally.
Fischer, Bernd, Denney, Ewen, Ewen Denney, Bernd Fischery, Bernd Fischer   +4 more
core   +1 more source

Geometrical approach to logical qubit fidelities of neutral atom Calderbank–Shor–Steane codes

Academia Quantum
Encoding quantum information in a quantum error correction (QEC) code enhances protection against errors. Imperfection of quantum devices due to decoherence effects will limit the fidelity of quantum gate operations.
Jasper J. Postema, Servaas J. J. M. F. Kokkelmans   +1 more
doaj   +1 more source

Large‐scale bidirectional arrayed genetic screens identify OXR1 and EMC4 as modifiers of αSynuclein aggregation

FEBS Open Bio, EarlyView.
Activation of the mitochondrial protein OXR1 increases pSyn129 αSynuclein aggregation by lowering ATP levels and altering mitochondrial membrane potential, particularly in response to MSA‐derived fibrils. In contrast, ablation of the ER protein EMC4 enhances autophagic flux and lysosomal clearance, broadly reducing α‐synuclein aggregates.
Sandesh Neupane, Lea Nikolić, Lorenzo Maraio, Thomas Goiran, Nathan Karpilovsky, Stefano Sellitto, Vangelis Bouris, Jiang‐An Yin, Ronald Melki, Edward A Fon, Adriano Aguzzi, Elena De Cecco   +11 more
wiley   +1 more source

Measurement and analysis of rally car dynamics at high attitude angles [PDF]

, 2006
This research aims to investigate the nature of high β-angle cornering as seen in rallying and in particular the World Rally Championship. This is achieved through a combination of sensor development, on-car measurement and vehicle dynamic simulation.
Croft-White, Michael
core  

YIPFα1A expression is regulated by multilayered molecular mechanisms

FEBS Open Bio, EarlyView.
YIPFα1A, a five‐pass Golgi protein, is regulated at multiple layers. (1) Rare‐codon enrichment drives translation‐coupled mRNA decay. (2) A proximal 3′‐UTR element stabilizes mRNA. (3) A distal 3′‐UTR element included by alternate poly(A) site usage represses translation, which can be overridden by the proximal 3′‐UTR element.
Tokio Takaji, Yurika Nakanishi, Nobuhiro Nakamura   +2 more
wiley   +1 more source

Molecular dynamics simulations of positively selected codons in FcγRI reveal novel biochemical binding properties

FEBS Open Bio, EarlyView.
Evolutionary analysis across 32 placental mammals identified positive selection at residues H148 and W149 in the immune receptor FcγR1. Ancestral reconstruction combined with molecular dynamics simulations reveals how these mutations may influence receptor structure and dynamics, providing insight into the evolution of antibody recognition and immune ...
David A. Young, Omar Arias‐Gaguancela, Fiona Gibson, Morgan Grainger, Jodie Score, Amit Nathubhai, Mauricio Cafiero, Lee Richard Machado   +7 more
wiley   +1 more source

The Language Theory of Bounded Context-Switching

, 2010
Concurrent compositions of recursive programs with finite data are a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form of reachability has become popular in the formal verification ...
Salvatore La Torre, Parlato, Gennaro, La Torre, Salvatore, G. Parlato, Parthasarathy Madhusudan, Madhusudan, P., P. Madhusudan, Gennaro Parlato, S. La Torre   +8 more
core   +1 more source

Early‐life high‐fat diet exposure increases Achilles tendon stiffness and induces transcriptomic alterations

FEBS Open Bio, EarlyView.
Early‐life exposure to a high‐fat diet altered intact Achilles tendons in rat offspring, making them thinner, stiffer, and molecularly distinct even without injury. These findings suggest that developmental high‐fat diet exposure may impair tendon quality and increase susceptibility to mechanical overload or tendon injury later in life.
Heyong Yin, Ziyang Yuan, Wenli Jiang, Ai Guo   +3 more
wiley   +1 more source

Yadism: yet another deep-inelastic scattering module

European Physical Journal C: Particles and Fields
We present yadism, a library for the evaluation of both polarized and unpolarized deep-inelastic scattering (DIS) structure functions and cross sections up to N $$^{3}$$ 3 LO in perturbative QCD.
Alessandro Candido, Felix Hekhorn, Giacomo Magni, Tanjona R. Rabemananjara, Roy Stegeman   +4 more
doaj   +1 more source

Guiding AlphaFold to predict how Munc13‐1 opens Syntaxin‐1

FEBS Open Bio, EarlyView.
The syntaxin‐1 Habc‐domain (orange), linker (pink) and SNARE motif (yellow) form a closed conformation that binds to Munc18‐1 (violet) and is opened by the Munc13‐1 MUN domain (cyan) to form the SNARE complex that triggers neurotransmitter release.
Madhurima Chattopadhyay, Junjie Xu, Josep Rizo   +2 more
wiley   +1 more source