Results 101 to 110 of about 949,278 (287)

Robotic Assistants in the Operating Room: A Systematic Review of Vision‐Based Systems for Nonoperative Tasks

Advanced Robotics Research, EarlyView.
This review brings together 20 publications describing 11 robotic system families developed for instrument handling, sterile‐package opening, supply delivery, and operating room logistics. Perception is becoming more capable through deep learning and language‐guided control, but autonomy remains limited, evidence is largely laboratory‐based, and no ...
Eugenia Mawuenya Akpo, Pietro Falco, Nicholas Raison, Christos Bergeles, Letizia Gionfrida   +4 more
wiley   +1 more source

CONTROL FLOW GRAPH RECOVERY FOR DYNAMICALLY LOADED CODE VIA SYMBOLIC LIBRARY RESOLUTION

Вісник Національного технічного університету "ХПÌ": Системний аналіз, управління та інформаційні технології
Control Flow Graphs are one of the main data sources for software analysis that use dynamic and static software analysis methods. Protected software and modern malware increasingly depend on dynamic code loading techniques to evade static analysis. Usage
Oleksandr Mostovyi
doaj   +1 more source

Selective Symbolic Execution [PDF]

Symbolic execution is a powerful technique for analyzing program behavior, finding bugs, and generating tests, but suffers from severely limited scalability: the largest programs that can be symbolically executed today are on the order of thousands of ...
Georgescu, Vlad, Chipounov, Vitaly, Zamfir, Cristian, Candea, George   +3 more
core   +1 more source

Scaling and certifying symbolic execution [PDF]

, 2017
Symbolic execution is a powerful, systematic program analysis approach that has received much visibility in the last decade. The key idea in symbolic execution is to explore all execution paths up to a bound on the path length, build path conditions ...
Qiu, Rui, active 21st century
core   +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

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

A Comprehensive Review of Static Memory Analysis

IEEE Access
This 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, Enoch Solomon, Abraham Woubie, Kari Lippert   +3 more
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, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

Unifying Composition and Process Design: A Heterogeneous Graph Neural Network for Discovering High‐Performance Cu Alloys

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, Qian Lei, Wei Yan, Yue Li, Tong Xie, Shuang Zhou, Chong Wang, Bram Hoex, Qiang Long, Caoyang Jiang, Min Song, Zhou Li, Zhangwei Wang   +12 more
wiley   +1 more source

Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design

Advanced Science, EarlyView.
A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source