Results 171 to 180 of about 842,701 (337)
Coupled Relational Symbolic Execution
, 2020 Ph.D.The goal of this work is to lay down a theoretical foundation for the use of symbolic execution to verify and refute relational properties.
Farina, Gian Pietro, 0000-0001-7823-1536
core
Smart Exploration of Perovskite Photovoltaics: From AI Driven Discovery to Autonomous Laboratories
Advanced Energy Materials, EarlyView.In this review, we summarize the fundamentals of AI in automated materials science, and review AI applications in perovskite solar cells. Then, we sum up recent progress in AI‐guided manufacturing optimization, and highlight AI‐driven high‐throughput and autonomous laboratories.
Wenning Chen +4 more
wiley +1 more source
Agribusiness, EarlyView.ABSTRACT This study aims to explore the influence of Wine Tourism (WT) on the Sustainable Performance (SP) of wineries in Spain. It particularly investigates how Corporate Social Legitimacy (CSL) and Green Innovation (GI) may act as intermediary factors in this relationship.
Javier Martínez‐Falcó +3 more
wiley +1 more source
Automated generative process synthesis via transformer‐based dual‐loop simulation and optimization
AIChE Journal, EarlyView.Abstract This study presents a novel framework for automated generative process synthesis, addressing the complexity of simultaneously optimizing discrete topologies and continuous operating variables. To overcome conventional superstructure limitations, we propose a dual‐loop architecture integrating generative transformers with rigorous process ...
Yeong Woo Son +4 more
wiley +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
Advanced Intelligent Discovery, EarlyView.CrossMatAgent is a multi‐agent framework that combines large language models and diffusion‐based generative AI to automate metamaterial design. By coordinating task‐specific agents—such as describer, architect, and builder—it transforms user‐provided image prompts into high‐fidelity, printable lattice patterns.
Jie Tian +12 more
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
Parallel Symbolic Execution for Structural Test Generation
, 2010 Associated research group: Critical Systems Research GroupSymbolic execution is a popular technique for automatically generating test cases achieving high structural coverage.
Staats, Matt, Păsăreanu, Corina
core
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
Compositional symbolic execution with memoized replay
, 2014 textSymbolic execution is a powerful, systematic analysis that has received much visibility in the last decade. Scalability however remains a major challenge for symbolic execution.
Qiu, Rui, active 21st century
core