Results 311 to 320 of about 1,626,797 (354)
Some of the next articles are maybe not open access.

Energetics of Contraction

Comprehensive Physiology, 2015
ABSTRACT Muscles convert energy from ATP into useful work, which can be used to move limbs and to transport ions across membranes. The energy not converted into work appears as heat. At the start of contraction heat is also produced when Ca 2+ binds to troponin‐C and to ...
openaire   +5 more sources

Repertoire Contraction

Journal of Logic, Language and Information, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Zether: Towards Privacy in a Smart Contract World

IACR Cryptology ePrint Archive, 2020
Benedikt Bünz   +3 more
semanticscholar   +1 more source

Bootstrap Contraction

Studia Logica, 2012
This paper introduces the notion of ``bootstrap contraction'', a new kind of contraction functions, which the author argues to be more cognitively realistic than most of the other kinds of contractions so far proposed in the literature. Given a belief set \(K\) and a set \(\mathbb{C}\) of operators on \(K\) which take elements of \(\mathcal{I}\) as ...
openaire   +2 more sources

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Shang-Wei Lin, Palina Tolmach
exaly  

Home - About - Disclaimer - Privacy