Zobrazeno 1 - 10
of 1 286
pro vyhledávání: '"Blackshear, P."'
The growing adoption of formal verification for smart contracts has spurred the development of new verifiable languages like Move. However, the limited availability of training data for these languages hinders effective code generation by large langu
Externí odkaz:
http://arxiv.org/abs/2412.12513
Autor:
Blackshear, Sam, Chursin, Andrey, Danezis, George, Kichidis, Anastasios, Kokoris-Kogias, Lefteris, Li, Xun, Logan, Mark, Menon, Ashok, Nowacki, Todd, Sonnino, Alberto, Williams, Brandon, Zhang, Lu
Sui Lutris is the first smart-contract platform to sustainably achieve sub-second finality. It achieves this significant decrease by employing consensusless agreement not only for simple payments but for a large variety of transactions. Unlike prior
Externí odkaz:
http://arxiv.org/abs/2310.18042
Autor:
Sahil Yadav, Rayan El Hamra, Norah A. Alturki, Ardeshir Ariana, Avni Bhan, Kate Hurley, Matthias Gaestel, Perry J. Blackshear, Alexandre Blais, Subash Sad
Publikováno v:
Cell Death and Disease, Vol 15, Iss 8, Pp 1-16 (2024)
Abstract Necrosome activation following TLR- or cytokine receptor-signaling results in cell death by necroptosis which is characterized by the rupture of cell membranes and the consequent release of intracellular contents to the extracellular milieu.
Externí odkaz:
https://doaj.org/article/bb2e2395e47a4cbf892812433de10ee1
The Move language provides abstractions for programming with digital assets via a mix of value semantics and reference semantics. Ensuring memory safety in programs with references that access a shared, mutable global ledger is difficult, yet essenti
Externí odkaz:
http://arxiv.org/abs/2205.05181
Autor:
Patrignani, Marco, Blackshear, Sam
A program that maintains key safety properties even when interacting with arbitrary untrusted code is said to enjoy \emph{robust safety}. Proving that a program written in a mainstream language is robustly safe is typically challenging because it req
Externí odkaz:
http://arxiv.org/abs/2110.05043
Autor:
Blackshear, Sam, Dill, David L., Qadeer, Shaz, Barrett, Clark W., Mitchell, John C., Padon, Oded, Zohar, Yoni
Smart contracts are programs that implement potentially sophisticated transactions on modern blockchain platforms. In the rapidly evolving blockchain environment, smart contract programming languages must allow users to write expressive programs that
Externí odkaz:
http://arxiv.org/abs/2004.05106
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kyu Hwan Kwack, Lixia Zhang, Elliot D. Kramer, Ramkumar Thiyagarajan, Natalie A. Lamb, Yukitomo Arao, Jonathan E. Bard, Kenneth L. Seldeen, Bruce R. Troen, Perry J. Blackshear, Scott I. Abrams, Keith L. Kirkwood
Publikováno v:
Frontiers in Immunology, Vol 13 (2022)
Aging results in enhanced myelopoiesis, which is associated with an increased prevalence of myeloid leukemias and the production of myeloid-derived suppressor cells (MDSCs). Tristetraprolin (TTP) is an RNA binding protein that regulates immune-relate
Externí odkaz:
https://doaj.org/article/427ac34cc1534c908d01b12010e3fcba
Autor:
Simon Lecoutre, Fatiha Merabtene, Elie-Julien El Hachem, Camille Gamblin, Christine Rouault, Nataliya Sokolovska, Hedi Soula, Wi S. Lai, Perry J. Blackshear, Karine Clément, Isabelle Dugail
Publikováno v:
Molecular Metabolism, Vol 61, Iss , Pp 101512- (2022)
Background/Purpose: Adipose tissue contains progenitor cells that contribute to beneficial tissue expansion when needed by de novo adipocyte formation (classical white or beige fat cells with thermogenic potential). However, in chronic obesity, they
Externí odkaz:
https://doaj.org/article/279f1d5b5f5f4b21a5399ba34e542813