Results 11 to 20 of about 17,105 (305)
, 2020 We introduce Featherweight Solidity, a calculus formalizing the core features of the Solidity language, thus providing a fundamental step to reason about safety properties of smart contracts’ source code. The formalization includes a static type system that represents the foundation of the Solidity compiler. We show that it prevents some errors whereas
Crafa S., Di Pirro M., Zucca E.
openaire +2 more sources
Influence of agility training on body-size and object solidity perception in pet dogs. [PDF]
PLoS OneSeveral studies suggest that dogs are a suitable model to study body-awareness in a systematic and ecologically relevant manner. However, previous studies used a single door paradigm, which does not allow for the control of motivation and thus may yield ...
Starić D +3 more
europepmc +2 more sources
Solid-On-Solid Interfaces with Disordered Pinning [PDF]
Communications in Mathematical Physics, 2021 We investigate the localization transition for a simple model of interface which interacts with an inhomonegeous defect plane. The interface is modeled by the graph of a function $ϕ: \mathbb Z^2 \to \mathbb Z$,and the disorder is given by a fixed realization of a field of IID centered random variables$(ω_x)_{x\in \mathbb Z^2}$.
openaire +2 more sources
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL [PDF]
, 2022 This is the final version. Available from AFP via the link in this recordSmart contracts are automatically executed programs, usually representing legal agreements such as financial transactions.
Brucker, AD, Marmsoler, D
core +1 more source
Mixing time for the solid-on-solid model [PDF]
Proceedings of the forty-first annual ACM symposium on Theory of computing, 2009 We analyze the mixing time of a natural local Markov chain (the Glauber dynamics) on configurations of the solid-on-solid model of statistical physics. This model has been proposed, among other things, as an idealization of the behavior of contours in the Ising model at low temperatures.
Fabio Martinelli, Alistair Sinclair
openaire +5 more sources
Thermodynamics and roughening of solid-solid interfaces [PDF]
Physical Review E, 2009 (24 pages, 8 figures; V2: added figures, text revisions)
Angheluta, L. +2 more
openaire +4 more sources
Automated Testing for Solidity smart contracts [PDF]
, 2022 Blockchains are the underlying technology for making secure online transactions using cryptocurrencies such as Bitcoins and Ethers. Executing, verifying, and enforcing credible transactions on permissionless blockchains is done using smart contracts ...
Akca, Sefa
core +1 more source
Rubber Chemistry and Technology, 2019 ABSTRACT Solid propellants are energetic materials used to launch and propel rockets and missiles. Although their history dates to the use of black powder more than two millennia ago, greater performance demands and the need for “insensitive munitions” that are resistant to accidental ignition have driven much research and development over the ...
Mason, B.P., Roland, C.M.
openaire +3 more sources
A Solidity implementation of TAVS [PDF]
, 2023 [EN] We present a Solidity smart contract implementation of the TAVS e-voting protocol. The Two Authorities Electronic Voting Scheme (TAVS) is a voting scheme that achieves universal verifiability with a reduced time-complexity both for the elector and ...
Larriba-Flor, Antonio Manuel +1 more
core +1 more source
Building DeFi Applications Using Cross-Blockchain Interaction on the Wish Swap Platform
Computers, 2022 Blockchain is a developing technology that can provide users with such advantages as decentralization, data security, and transparency of transactions. Blockchain has many applications, one of them is the decentralized finance (DeFi) industry.
Rita Tsepeleva, Vladimir Korkhov
doaj +1 more source