Results 131 to 140 of about 842,701 (337)
JaVerT 2.0: compositional symbolic execution for JavaScript [PDF]
, 2018 We propose a novel, unified approach to the development of compositional symbolic execution tools, bridging the gap between classical symbolic execution and compositional program reasoning based on separation logic. Using this approach, we build JaVerT 2.
Gardner, Philippa +3 more
core +1 more source
Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method
Advanced Science, EarlyView.A semi‐analytical viscoelastic traction force microscopy framework is introduced for quantifying time‐resolved cell tractions on flat finite‐thickness substrates. The method generalizes elastic traction force microscopy to Generalized Maxwell materials, identifies when elastic approximations remain valid and, when they do not, shows that inferred ...
Adrià Villacrosa‐Ribas +10 more
wiley +1 more source
Multimodal Imaging Reveals Rapid Catecholamine Uptake and Release by Neutrophils
Advanced Science, EarlyView.We show that immune cells (neutrophils) synthesize, uptake, and store catecholamine neurotransmitters such as dopamine or adrenaline. They also release them in response to specific stimuli (serotonin), which we directly visualize using fluorescent nanosensors. We further demonstrate that catecholamines affect neutrophil functions (NETosis) and platelet
Jennifer Mohr +19 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
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Advanced Science, EarlyView.Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source
Advanced Science, EarlyView.We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua +6 more
wiley +1 more source
Advanced Science, EarlyView.By overcoming the fixed‐path limitations of conventional machine learning, a heterogeneous graph neural network fundamentally reconstructs material data representation. Integrating variable processing sequences with intrinsic elemental features, this framework enables exploratory optimization across high‐dimensional spaces.
Jie Yin +12 more
wiley +1 more source
Advanced Science, EarlyView.A nano‐plasma device enables watt‐level on‐chip THz generation through picosecond switching triggered by secondary electron emission avalanche. An ultra‐dense electron sheet initiates nano‐plasma formation within a ∼100 nm gap, driving rapid energy release into an integrated resonator.
Guangyu Sun +4 more
wiley +1 more source
Symbolic execution for R [PDF]
Symbolic execution je technika, která umožňuje testovat programy a dokazovat jejich netriviální vlastnosti. Vytvoření nového systému pro symbolic execution je náročné.
Petr Šťastný
core
Advanced Science, EarlyView.The weakly‐solvating TFMSPyr electrolyte tailors the Li+ solvation structure by suppressing solvent coordination and promoting anion‐dominated solvation. This unique solvation environment induces preferential anion decomposition at electrode interfaces, forming robust inorganic rich S/CEI.
Bishnu P. Thapaliya +11 more
wiley +1 more source