Results 191 to 200 of about 970,866 (376)
The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors
, 2017 István Kádár
openalex +2 more sources
Predicting Performance of Hall Effect Ion Source Using Machine Learning
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.This study introduces HallNN, a machine learning tool for predicting Hall effect ion source performance using a neural network ensemble trained on data generated from numerical simulations. HallNN provides faster and more accurate predictions than numerical methods and traditional scaling laws, making it valuable for designing and optimizing Hall ...
Jaehong Park +8 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This study presents a multitask strategy for plastic cleanup with autonomous surface vehicles, combining exploration and cleaning phases. A two‐headed Deep Q‐Network shared by all agents is traineded via multiobjective reinforcement learning, producing a Pareto front of trade‐offs.
Dame Seck +4 more
wiley +1 more source
Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing
Advanced Intelligent Systems, EarlyView.This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian +37 more
wiley +1 more source
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. [PDF]
Softw Syst ModelOakes BJ, Troya J, Galasso J, Wimmer M.
europepmc +1 more source
Advanced Intelligent Systems, EarlyView.A hierarchical multimodal framework coupling a large language model for task decomposition and semantic mapping with a fine‐tuned vision‐language model for semantic perception, enhanced by GridMask, is presented. An aerial‐ground robot team exploits the semantic map for global and local planning.
Haokun Liu +6 more
wiley +1 more source
ProxyLens: Symbolic Execution and Taint-Based Analysis of Proxy Contract Vulnerabilities on Ethereum
haojia hong +4 more
openalex +1 more source
Advanced Intelligent Systems, EarlyView.Large‐scale Hopfield neural networks (HNNs) for associative computing are implemented using vertical NAND (VNAND) flash memory. The proposed VNAND HNN with the asynchronous update scenario achieve robust image restoration performance despite fabrication variations, while significantly reducing chip area (≈117× smaller than resistive random‐access ...
Jin Ho Chang +4 more
wiley +1 more source