Results 101 to 110 of about 211,276 (289)
Towards Smart Hybrid Fuzzing for Smart Contracts [PDF]
, 2020 Smart contracts are Turing-complete programs that are executed across a blockchain network. Unlike traditional programs, once deployed they cannot be modified.
Gervais, Arthur +3 more
core +2 more sources
Symbolic execution: a semantic approach
Science of Computer Programming, 1991 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Advanced Robotics Research, EarlyView.A flexible, skin‐integrated electromagnetic actuator is developed for wearable virtual/augmented reality (VR/AR) haptic systems. A tunable design model enables control over displacement and resonance frequency. The system is validated through a custom VR application with a 6 × 4 actuator array, demonstrating real‐time, spatially targeted tactile ...
Naji Tarabay +9 more
wiley +1 more source
Ovarian Matrisome Dynamics and αvβ3‐Mediated Regulation in Early Follicular Development
Advanced Science, EarlyView.The matrisome undergoes dynamic remodeling during early follicular development. Integrin αvβ3 mediates matrisome signals, regulating primordial follicle activation/atresia and secondary follicle growth via Hippo/mTOR pathways, with conserved roles in human ovaries, offering therapeutic targets for ovarian disorders.
Tong Wu +12 more
wiley +1 more source
A Comprehensive Review of Static Memory Analysis
IEEE AccessThis review aims to evaluate and compare various static analysis tools across multiple programming languages for memory management. The tools and techniques under scrutiny include pattern matching, symbolic execution, CppCheck, SharpChecker, FindBugs ...
Temidayo Akinyemi +3 more
doaj +1 more source
Advanced Science, EarlyView.We introduce AutomataGPT, a generative pretrained transformer (GPT) trained on synthetic spatiotemporal data from 2D cellular automata to learn symbolic rules. Demonstrating strong performance on both forward and inverse tasks, AutomataGPT establishes a scalable, domain‐agnostic framework for interpretable modeling, paving the way for future ...
Jaime A. Berkovich +2 more
wiley +1 more source
IEEE Access, 2018 In recent publications, we presented a novel formal symbolic process virtual machine (FSPVM) framework that combined higher-order logic theorem proving and symbolic execution for verifying the reliability and security of smart contracts developed in the ...
Zheng Yang, Hang Lei
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Cognitive Trajectories from Preclinical Alzheimer's Disease to Dementia
Advanced Science, EarlyView.A continuous, multi‐domain characterization of cognitive decline across the Alzheimer's disease spectrum identifies when individual cognitive measures become abnormal. Episodic memory declines first, followed by executive function, language, processing speed, and visuospatial abilities, supporting improved clinical interpretation and optimized endpoint
Fredrik Öhman +3 more
wiley +1 more source
A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
, 2015 In so-called constraint-based testing, symbolic execution is a common technique used as a part of the process to generate test data for imperative programs.
Hainaut, Jean-Luc +2 more
core