Results 1 to 10 of about 12,187 (241)
, 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.
Silvia Crafa +5 more
core +2 more sources
Utilizing the Ethereum blockchain for retrieving and archiving augmented reality surgical navigation data [PDF]
Exploration of Drug Science, 2023 Aim: Conventional techniques to share and archive spinal imaging data raise issues with trust and security, with novel approaches being more greatly considered. Ethereum smart contracts present one such novel approach. Ethereum is an open-source platform
Sai Batchu +4 more
doaj +1 more source
Helical vortex theory and blade element analysis of multi‐bladed windmills
Wind Energy, 2023 Multi‐bladed windmills usually pump water for agriculture and domestic consumption, often in remote locations. Although they have been around for over 150 years, their aerodynamic performance is still poorly understood.
Itoje H. John +2 more
doaj +1 more source
Machines, 2023 To investigate the influence of blade aspect ratio and solidity on the performance of heavy-duty gas turbine transonic compressors, a multi-objective optimization design platform was built by adopting the blade parameterization method based on the ...
Shuaipeng Liu +4 more
doaj +1 more source
Applied Sciences, 2021 The article addresses the issue of clustering of multidimensional data arrays with a noise using the methods of discrete mathematical analysis (DMA clustering).
Sergey Agayan +5 more
doaj +1 more source
Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development
IEEE Access, 2022 For the development of blockchain smart contracts, a structured approach based on the principles of the Model Driven Architecture can be beneficial and facilitate the implementation of smart contracts.
Mantas Jurgelaitis +2 more
doaj +1 more source
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
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 +6 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
International Journal of Renewable Energy Development, 2022 Renewable energy resources especially wind energy, have seen significant growth in the worldwide energy market as clean energy sources. This has brought attention to areas with low and moderate wind speeds. Small-scale Darrieus vertical axis wind turbine
Muhamad Fadhli Ramlee +3 more
doaj +1 more source