Results 51 to 60 of about 1,758,089 (240)

Symmetry reduction and heuristic search for error detection in model checking [PDF]

, 2003
The state explosion problem is the main limitation of model checking. Symmetries in the system being verified can be exploited in order to avoid this problem by defining an equivalence (symmetry) relation on the states of the system, which induces a ...
Lluch-Lafuente, Alberto
core  

A pedagogic appraisal of the Priority Heuristic [PDF]

, 2012
We have explored how science and mathematics teachers made decisions when confronted with a dilemma in which a fictitious young woman, Deborah, may choose to have an operation that might address a painful spinal condition. We sought to explore the extent
Kapadia, R, Ralph Levinson, Levinson, Ralph, Yogui, C, Kapadia, Ramesh, Kent, P, Dave Pratt, Cristina Yogui, Levinson, R, Pratt, David, Pratt, D, Phillip Kent, Kent, Phillip, Yogui, Cristina, Ramesh Kapadia   +14 more
core   +1 more source

Ontology‐Aligned Structuring and Reuse of Multimodal Materials Data and Workflows Toward Automatic Reproduction

Advanced Engineering Materials, EarlyView.
Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari, Abril Azocar Guzman, Sarath Menon, Stefan Sandfeld, Tilmann Hickel, Markus Stricker   +5 more
wiley   +1 more source

Leveraging Symbolic Artificial Intelligence and Fuzzy Logic for Materials Science: A Review of Methods, Challenges, and Applications to Scarce and Imperfect Experimental Data

Advanced Engineering Materials, EarlyView.
This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. The article presents several symbolic AI models and discusses their applications in materials science.
Ahmed Amrani, Mohamed‐Ali Belloum, Laurence Boudet, Valentin Fouillard, Edwin Friedmann, Guillaume Lacharme, Ali Mahmoud, Jean‐Philippe Poli   +7 more
wiley   +1 more source

Disruption management of the vehicle routing problem with vehicle breakdown [PDF]

, 2011
This paper introduces a new class of problem, the disrupted vehicle routing problem (VRP), which deals with the disruptions that occur at the execution stage of a VRP plan.
Eglese, R W, Mu, Q, Fu, Z, Lysgaard, J
core   +4 more sources

Optimal Control Drives Ultrafast and Energy‐Efficient Magnetization Switching in Van der Waals Magnets

Advanced Materials, EarlyView.
ABSTRACT The accelerating expansion of data‐centric technologies is sharply increasing the energy burden of information storage, placing unprecedented pressure on the efficiency of magnetic switching. Conventional field‐driven reversal, once the foundation of magnetic memory, has become impractical in modern architectures due to its high energy cost ...
Mohammad H. Badarneh, PeiYu Cai, Elton J. G. Santos   +2 more
wiley   +1 more source

Organic Materials of Tomorrow: Horizons of Artificial Intelligence

Advanced Materials, EarlyView.
This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena, J. Terence Blaskovits, Kun‐Han Lin, Denis Andrienko   +3 more
wiley   +1 more source

Artificial Intelligence Meets Micro/Nanorobotics

Advanced Materials, EarlyView.
Artificial intelligence is transforming micro‐ and nanorobots from externally controlled, task‐specific machines into adaptive, autonomous systems. Machine learning, multimodal perception, digital twins, AI‐guided materials and geometry design enhance propulsion, localization, decision‐making, whichaccelerates clinical and environmental applications ...
Fatma M. Yurtsever, Minitha Cherukutty Ramakrishnan, Ian Kuula Ross, Ivan Zelinka, Hamed Shahsavan, Michal Otyepka, Martin Pumera   +6 more
wiley   +1 more source

Inverse Design of Nanoparticulate Materials

Advanced Materials, EarlyView.
Inverse design shifts nanomaterial development from empirical trial‐and‐error to predictive model‐driven strategies. It can rely on knowledge‐based, data‐based, or hybrid process and property functions. This perspective article provides a practical framework for applying inverse design based on instructive examples. It discusses which modeling approach
Nabi Etienne Traoré, Annika Mauch, Michelle Berthold, Lukas Pflug, Wolfgang Peukert, Nicolas Vogel   +5 more
wiley   +1 more source

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, Zhaoting Li, Robert Babuška, Jens Kober, Cosimo Della Santina   +4 more
wiley   +1 more source