Results 21 to 30 of about 3,855 (180)
Formally Verified EVM Block-Optimizations
AbstractThe efficiency and the security of smart contracts are their two fundamental properties, but might come at odds: the use of optimizers to enhance efficiency may introduce bugs and compromise security. Our focus is on (Ethereum Virtual Machine) block-optimizations, which enhance the efficiency of jump-free blocks of opcodes by eliminating ...
Elvira Albert +3 more
openaire +1 more source
Stochastic Earned Duration Analysis for Project Schedule Management
Earned duration management (EDM) is a methodology for project schedule management (PSM) that can be considered an alternative to earned value management (EVM).
Fernando Acebes +3 more
doaj +1 more source
Background: Cognitive interventions (CIs) in the elderly are activities that seek to improve cognitive performance and delay its deterioration. Our objectives were to study potential genetic predictors of how a CI program may influence immediate and ...
Pedro Montejo Carrasco +4 more
doaj +1 more source
Can environmental supervision improve air quality? Quasi-experimental evidence from China
Environmental supervision is significantly disrupted by local economic development and typically characterized by a lack of independence in China. This paper investigates the impacts and mechanisms of the vertical management reform of environmental ...
Xuan Zou, Yao He, Jincheng Zhang
doaj +1 more source
Improved Extraction of the Neurotoxin of Stenocarpella maydis Using an Artificial Rumen
Due to the low yield of diplonine obtained when isolated from Stenocarpella maydis (Berk.) Sutton (formerly Diplodia maydis (Berk.) Sacc., the present research was aimed to find a more efficient method of preparing diplonine to confirm its neurological ...
Leendert Dekker Snyman
doaj +1 more source
Ethylene vinyl acetate copolymer/terpolymer nylon thermoplastic vulcanizates (EVM/tPA TPV) and ethylene vinyl acetate-glycidyl methacrylate copolymer/terpolymer nylon thermoplastic vulcanizates (EVM-GMA/tPA TPV) were prepared via dynamic vulcanization ...
WU Shu-yan, QIAO Yun-he, LIU Ying-jun, DU Ai-hua
doaj +1 more source
Resolving the Structural Duality of Graphene Grain Boundaries
Cantilever ncAFM resolves the atomic structure of grain boundaries in graphene, revealing coexisting stable and metastable types. Both contain pentagon/heptagon defects, but metastable GBs show irregular geometries. Modeling shows metastable GBs form under compression, exhibiting vertical corrugation, while stable GBs are flat.
Haojie Guo +11 more
wiley +1 more source
A game-based learning method to teach project management – the case of the earned value management
The earned value management (EVM) is a project management method for monitoring and controlling project expenditure and progress. Teaching EVM is challenging as the method may appear theoretical, mathematical, and disconnected from the uncertainty of ...
Elina Jääskä +2 more
doaj +1 more source
Ultralow‐Dispersion Silicon THz Photonic Crystal Interconnects for Multichannel Datalinks
An all‐silicon terahertz photonic crystal waveguide interconnect enables 452 Gbps aggregate data transfer through seven complex‐modulated channels. By revealing the impact of ultralow dispersion on link performance and achieving a record interconnect figure of merit, the work advances centimeter‐scale THz on‐chip communication for future data‐centre ...
Nikhil Navaratna +4 more
wiley +1 more source
The oncolytic adenovirus (Adv) exhibited poor infection efficiency in tumor cells with low coxsackie and adenovirus receptor (CAR) on the cell surface, which limits the therapeutic efficacy of the Adv-mediated cancer gene therapy.
Yonghui Zhang +7 more
doaj +1 more source

