Results 111 to 120 of about 949,278 (287)
Symbolic execution techniques for test purpose definition
, 2006 International audienceWe propose an approach to test whether a system conforms to its specification given in terms of an Input Output Symbolic Transition System (IOSTS).
Gaston, Christophe +3 more
core +1 more source
A Generative Neuro‐Symbolic AI for Protein Sequence Design
Advanced Science, EarlyView.We introduce EffieDes, a neuro‐symbolic framework coupling deep learning‐based fitness landscape parameterization with exact automated reasoning. Unlike greedy sampling, EffieDes identifies sequences that globally optimize fitness while satisfying intricate design constraints.
Marianne Defresne +12 more
wiley +1 more source
Integration of Reconfigurable p‐Bit and 1R Crossbar Array for Memristive Probabilistic Computing
Advanced Science, EarlyView.A memristive probabilistic computing system is demonstrated by integrating stochastic p‐bits based on volatile memristors with a 1R crossbar array encoding interaction weights. The system performs weighted‐sum operations across the array and updates p‐bits iteratively.
Keunho Soh +7 more
wiley +1 more source
Physics‐Aware Machine‐Learning‐Driven Inverse Design of Broadband Ultra‐Open Acoustic Metamaterials
Advanced Science, EarlyView.A physics‐aware machine‐learning framework enables inverse design of ultra‐open acoustic silencers by decoupling spectral and radial design spaces. The approach rapidly identifies broadband, compact, and highly ventilated architectures, while revealing hidden linear design rules that link geometry, impedance matching, and acoustic performance.
Zhiwei Yang +5 more
wiley +1 more source
Advanced Science, EarlyView.TAB–2TFSI enables efficient ion‐pair doping across a wide range of conjugated polymers, where the strongly oxidizing TAB core drives charge transfer, and the TFSI counterions promote favorable ionic compensation. This dicationic dopant promotes uniform dopant distribution, improves structural order, and increases carrier delocalization, establishing a ...
Juhyung Park +14 more
wiley +1 more source
Identifying reusable functions in code using specification driven techniques [PDF]
, 1995 The work described in this thesis addresses the field of software reuse. Software reuse is widely considered as a way to increase the productivity and improve the quality and reliability of new software systems.
De Lucia, Andrea
core
Advanced Science, EarlyView.A biomimetic doppelgänger nanosystem neutralizes extracellular inflammatory cytokines and silences intracellular pyroptosis, reprogramming pathogenic macrophages to attenuate both joint and spine degeneration. ABSTRACT Osteoarthritis (OA) and intervertebral disc degeneration (IVDD) are debilitating musculoskeletal disorders driven by shared ...
Fudong Li +9 more
wiley +1 more source
Advanced Science, EarlyView.A schematic illustrating the fabrication process and ferroptosis‐mediated therapeutic mechanism of carrier‐free self‐assembled BBR/NC‐SAPs for overcoming bortezomib resistance in multiple myeloma. ABSTRACT Therapeutic relapse driven by bortezomib resistance represents a formidable clinical barrier in the management of multiple myeloma (MM).
Yiwen Lv +16 more
wiley +1 more source
Derivative-Guided Symbolic Execution
Proceedings of the ACM on Programming LanguagesWe consider the formulation of a symbolic execution (SE) procedure for functional programs that interact with effectful, opaque libraries. Our procedure allows specifications of libraries and abstract data type (ADT) methods that are expressed in Linear Temporal Logic over Finite Traces (LTL
Yongwei Yuan +3 more
openaire +4 more sources
Constraint Solving and Symbolic Execution [PDF]
, 2008 For many decades, the correctness of programs has been a concern for computer scientists and software engineers. At present, it is still not easy to ensure the correctness of nontrivial programs, although many researchers have made various attempts in this direction.
openaire +1 more source