Results 21 to 30 of about 12,187 (241)
Toward the Ontological Modeling of Smart Contracts: A Solidity Use Case
IEEE Access, 2021 Blockchain has become a pervasive technology in a wide number of sectors like industry, research, and academy. With the emergence of blockchain, new solutions with this technology to existing problems were devised, leading to the introduction of smart ...
Juan Cano-Benito +2 more
doaj +1 more source
Object solidity disambiguates ambiguous motion - exp 3a, 3b, and 3c
, 2022 One basic physical law of our world is “solidity”: objects do not run through each other. Is solidity embedded in the visual processing? More precisely, when viewing ambiguous motion displays, does our visual system automatically use solidity to compute ...
Dawei Bai, Brent Strickland
core +1 more source
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts
Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious attackers could
de Lima Filho, Eddie B. +3 more
core +4 more sources
Nihon Kikai Gakkai ronbunshu, 2015 This work aims at developing a new cooling fan for vehicle engine. This fan can operate as a cooling fan at low vehicle speed. At high vehicle speed, however, the fan is rarely used as a cooling fan. Therefore the fan can be used as a wind turbine, which
Shinichi ODA +3 more
doaj +1 more source
GOLDEN RATIO SECTIO IN OPTIONAL DESIGN OF MODIFIED SAVONIUS VAWT [PDF]
Journal of Sustainable Energy, 2021 Vertical axis wind turbine (VAWT) is one of the main windmills for wind energy conversion, which can be further divided into lift type and drag type.
ZHENG M., WANG Y., TENG H.P.
doaj
Object solidity disambiguates ambiguous motion - exp 3 (ball)
, 2022 One basic physical law of our world is “solidity”: objects do not run through each other. Is solidity embedded in the visual processing? More precisely, when viewing ambiguous motion displays, does our visual system automatically use solidity to compute ...
Dawei Bai, Brent Strickland
core +1 more source
The State of Ethereum Smart Contracts Security: Vulnerabilities, Countermeasures, and Tool Support
Journal of Cybersecurity and Privacy, 2022 Smart contracts are self-executing programs that run on the blockchain and make it possible for peers to enforce agreements without a third-party guarantee.
Haozhe Zhou +2 more
doaj +1 more source
Object solidity disambiguates ambiguous motion - exp 3b - addendum
, 2022 One basic physical law of our world is “solidity”: objects do not run through each other. Is solidity embedded in the visual processing? More precisely, when viewing ambiguous motion displays, does our visual system automatically use solidity to compute ...
Dawei Bai, Brent Strickland
core +1 more source
Characterization of the solidity of knotted single-twine diamond mesh netting
Applied Ocean ResearchSolidity is an essential parameter of netting in fishing and aquaculture applications, since it is used to derive and apply empirical formulae of drag and lift coefficients.
Francisco Bottero, Manuel González
doaj +1 more source
Measurement of longwave radiative properties of energy-saving greenhouse screens
Journal of Agricultural Engineering, 2021 Light intensity, temperature, and humidity are key factors affecting photosynthesis, respiration, and transpiration. Among these factors, temperature is a crucial parameter to establish an optimal greenhouse climate.
Adeel Rafiq +5 more
doaj