Results 181 to 190 of about 970,866 (376)
Malware Analysis with Symbolic Execution and Graph Kernel [PDF]
, 2022 Charles-Henry Bertrand Van Ouytsel +1 more
openalex +1 more source
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
Network and Distributed System Security Symposium, 2016 Nick Stephens +8 more
semanticscholar +1 more source
Artificial Intelligence for Bone: Theory, Methods, and Applications
Advanced Intelligent Discovery, EarlyView.Advances in artificial intelligence (AI) offer the potential to improve bone research. The current review explores the contributions of AI to pathological study, biomarker discovery, drug design, and clinical diagnosis and prognosis of bone diseases. We envision that AI‐driven methodologies will enable identifying novel targets for drugs discovery. The
Dongfeng Yuan +3 more
wiley +1 more source
Symbolic Analysis of Concurrent Programs with Polymorphism [PDF]
The current trend of multi-core and multi-processor computing is causing a paradigm shift from inherently sequential to highly concurrent and parallel applications.
Rungta, Neha Shyam
core +1 more source
Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook
Advanced Intelligent Discovery, EarlyView.Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang +4 more
wiley +1 more source
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes [PDF]
, 2022 Sara Baradaran +3 more
openalex +1 more source
Advanced Intelligent Discovery, EarlyView.Chat computational fluid dynamics (CFD) introduces an large language model (LLM)‐driven agent that automates OpenFOAM simulations end‐to‐end, attaining 82.1% execution success and 68.12% physical fidelity across 315 benchmarks—far surpassing prior systems.
E Fan +8 more
wiley +1 more source
Large Language Model‐Based Chatbots in Higher Education
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.The use of large language models (LLMs) in higher education can facilitate personalized learning experiences, advance asynchronized learning, and support instructors, students, and researchers across diverse fields. The development of regulations and guidelines that address ethical and legal issues is essential to ensure safe and responsible adaptation
Defne Yigci +4 more
wiley +1 more source
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.The use of image quality metrics in combination with machine learning enables automatic image quality assessment for fluorescence microscopy images. The method can be integrated into the experimental pipeline for optical microscopy and utilized to classify artifacts in experimental images and to build quality rankings with a reference‐free approach ...
Elena Corbetta, Thomas Bocklitz
wiley +1 more source
A Method of Analysis of Multithreaded Applications Based on Symbolic Execution
Безопасность информационных технологий, 2014 This article is devoted to method of search for bugs in multithreaded applications based on the symbolic execution algorithm. This method can deterministically find race of the conditions and dead locks in multithreaded applications providing thread ...
Ilya Viktorovich Arzamartsev +1 more
doaj