Results 81 to 90 of about 949,278 (287)
Program state optimal method based on variable symbolic relation analysis
Tongxin xuebao, 2018 Program analysis is the prime method to program property analysis,which is widely used in the domain of parameter dependent relation,path coverage and test case generation,and a lot of progress has been made.Current program analysis is based on the ...
Xi GUO, Pan WANG
doaj +2 more sources
From Artificial to Embodied and Physical Intelligence in Smart Manufacturing. [PDF]
Adv Sci (Weinh)Smart manufacturing is reframed through complementary artificial, embodied, and physical intelligence, spanning computational reasoning, perception‐action coupling, and material‐level adaptation. Their integration across design, fabrication, operation, and maintenance reveals how intelligence can be co‐designed across algorithms, embodied agents, and ...
Wang K +9 more
europepmc +2 more sources
Role of Structural Disorder on Phonon Transport and Thermal Conductivity in Li6PS5Br
Advanced Functional Materials, EarlyView.Solid electrolytes are fast ion and slow heat conductors. Although both transport properties are governed by lattice dynamics and atomic structure, their interplay remains poorly understood. Here, we study this interrelation in anion‐ordered and disordered Li6PS5Br.
Lukas Ketter +4 more
wiley +1 more source
Advanced Healthcare Materials, EarlyView.NeuroVisio SyncPatch integrates skin‐conformal electromyography (EMG) electrodes with camera‐tracked markers to jointly assess muscle activity and three‐dimensional knee kinematics during rehabilitation. Parallel feedback pathways provide real‐time kinematic guidance during movement and post‐trial neuromuscular feedback.
Bohyung Choi +11 more
wiley +1 more source
n‐Type Polymer Radio Frequency Rectifiers Operating at 18.5 GHz
Advanced Materials, EarlyView.Combining an n‐doped polymer semiconductor with wafer‐scale asymmetric planar electrodes featuring work function‐engineered contacts yields radio‐frequency diodes and rectifying circuits operating at up to 18.5 GHz. The devices combine scalable manufacturing with an operating frequency previously unattainable by large‐area organic electronics ...
Lazaros Panagiotidis +19 more
wiley +1 more source
Advanced Materials Interfaces, EarlyView.Electrospun polycaprolactone fiber mats embedded with diclofenac‐imprinted polymers were developed to remove persistent pharmaceutical pollutants from water. The materials showed improved adsorption and retention compared to pure polymer mats, with performance influenced by fiber diameter and polymer content.
Michael Redel +4 more
wiley +1 more source
A Symbolic Execution Framework for JavaScript [PDF]
2010 IEEE Symposium on Security and Privacy, 2010 As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In this paper, we describe the first system for exploring the execution space of JavaScript code using symbolic execution.
Prateek Saxena +5 more
openaire +2 more sources
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source
The Future of Research in Cognitive Robotics: Foundation Models or Developmental Cognitive Models?
Advanced Robotics Research, EarlyView.Research in cognitive robotics founded on principles of developmental psychology and enactive cognitive science would yield what we seek in autonomous robots: the ability to perceive its environment, learn from experience, anticipate the outcome of events, act to pursue goals, and adapt to changing circumstances without resorting to training with ...
David Vernon
wiley +1 more source
Source code for the symbolic TopHat execution engine
, 2020 Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st Symposium on Implementationand Application of Functional Languages, National ...
Klinik, M.A.A. (Radboud University) DAI=info:eu-repo/dai/nl/428253210 +8 more
core +1 more source