Results 91 to 100 of about 3,285,429 (341)
Tiramisu: Layering Consensus Protocols for Scalable and Secure Blockchains [PDF]
arXiv, 2022 Cryptocurrencies are poised to revolutionize the modern economy by democratizing commerce. These currencies operate on top of blockchain-based distributed ledgers. Existing permissionless blockchain-based protocols offer unparalleled benefits like decentralization, anonymity, and transparency.
arxiv
FEBS Letters, EarlyView.The protonated form of butyrate, as well as other short‐chain fatty acids (SCFAs), is membrane permeable. In acidic extracellular environments, this can lead to intracellular accumulation of SCFAs and cytosolic acidification. This phenomenon will be particularly relevant in acidic environments such as the large intestine or tumor microenvironments ...
Muwei Jiang +2 more
wiley +1 more source
An Isabelle formalization of protocol-independent secrecy with an application to e-commerce [PDF]
arXiv, 2006 A protocol-independent secrecy theorem is established and applied to several non-trivial protocols. In particular, it is applied to protocols proposed for protecting the computation results of free-roaming mobile agents doing comparison shopping.
arxiv
A Decentralized Analysis of Multiparty Protocols [PDF]
arXiv, 2021 Protocols provide the unifying glue in concurrent and distributed software today; verifying that message-passing programs conform to such governing protocols is important but difficult. Static approaches based on multiparty session types (MPST) use protocols as types to avoid protocol violations and deadlocks in programs. An elusive problem for MPST is
arxiv
FEBS Letters, EarlyView.The enzyme 5‐lipoxygenase (5‐LOX) catalyzes the first step in the biosynthesis of leukotrienes (LTs) involved in inflammatory pathophysiology. After cellular stimulation, 5‐LOX translocates to the nucleus, interacting with the 5‐LOX‐activating protein (FLAP) to form LTA4 from arachidonic acid (AA).
Erik Romp +5 more
wiley +1 more source
Robust quantum-network memory using decoherence-protected subspaces of nuclear spins
, 2016 The realization of a network of quantum registers is an outstanding challenge in quantum science and technology. We experimentally investigate a network node that consists of a single nitrogen-vacancy (NV) center electronic spin hyperfine-coupled to ...
Blok, Machiel S. +7 more
core +3 more sources
Implementation Science, 2023 Background Safe and effective treatment exists for childhood obesity, but treatment recommendations have largely not been translated into practice, particularly among racial and ethnic minorities and low-wealth populations.
Cody D. Neshteruk +7 more
doaj +1 more source
Formal specification of the FlexRay protocol using FocusST [PDF]
arXiv, 2017 FlexRay is a communication protocol developed by the FlexRay Consortium. The core members of the Consortium are Freescale Semiconductor, Robert Bosch GmbH, NXP Semiconductors, BMW, Volkswagen, Daimler, and General Motors, and the protocol was respectively oriented towards embedded systems in the automotive domain.
arxiv
Brucella NyxA and NyxB dimerization enhances effector function during infection
FEBS Letters, EarlyView.Brucella abortus thrives inside cells thanks to the translocation of effector proteins that fine‐tune cellular functions. NyxA and NyxB are two effectors that destabilize the nucleolar localization of their host target, SENP3. We show that the Nyx proteins directly interact with each other and that their dimerization is essential for their function ...
Lison Cancade‐Veyre +4 more
wiley +1 more source
Negotiation Protocol for Agile and Reliable E-science Collaboration [PDF]
2015 IEEE 11th International Conference on e-Science, 2015 We present a negotiation protocol based on contract law to enable agile and reliable e-Science collaboration. It is designed to be compatible with existing models of resource sharing, but focuses on forming and dissolving collaborations in a lightweight and dynamic manner.
John Brooke, Zeqian Meng
openaire +2 more sources