Results 161 to 170 of about 348,999 (338)
Automated reasoning about machines
Artificial Intelligence, 1995 AbstractNumerical simulation is often used in predicting machine behavior, a basic capability for many tasks such as design and fault diagnosis. However, using simulators requires considerable human effort both to create behavioral models and to analyze and understand simulation results.
openaire +1 more source
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Advanced Engineering Materials, EarlyView.Machine learning (ML) is revolutionizing the development of bioinspired ceramics. This article investigates how ML can be used to design new ceramic materials with exceptional performance, inspired by the structures found in nature. The research highlights how ML can predict material properties, optimize designs, and create advanced models to unlock a ...
Hamidreza Yazdani Sarvestani +2 more
wiley +1 more source
ILC: A Foundation for Automated Reasoning About Pointer Programs [PDF]
, 2006 Limin Jia, David Walker
openalex +1 more source
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.In this study, OpenPhase software is used to simulate low‐carbon bainitic steels. The lower holding temperature sample exhibits smaller and finer grains. Grain thickness measurements of bainitic ferrite from simulations align with the experimental observations at high temperature. Bainitic steels are extensively utilized across various sectors, such as
Dhanunjaya K. Nerella +7 more
wiley +1 more source
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.Multilayer ferrite inductor prototypes are fabricated by cofiring metallized tapes of NiCuZn ferrite and glass‐ceramic composite. Prerequisites for a predictive component simulation are discussed. An automated data‐pipeline stores and semantically links the experimental data acquired in the study according to a domain ontology.
Björn Mieller +8 more
wiley +1 more source
Learning Guided Automated Reasoning: A Brief Survey [PDF]
arXivAutomated theorem provers and formal proof assistants are general reasoning systems that are in theory capable of proving arbitrarily hard theorems, thus solving arbitrary problems reducible to mathematics and logical reasoning. In practice, such systems however face large combinatorial explosion, and therefore include many heuristics and choice points
arxiv
Automated Assume-Guarantee Reasoning by Abstraction Refinement [PDF]
, 2008 Mihaela Bobaru +2 more
openalex +1 more source
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.This manuscript presents advances in digital transformation within materials science and engineering, emphasizing the role of the MaterialDigital Initiative. By testing and applying concepts such as ontologies, knowledge graphs, and integrated workflows, it promotes semantic interoperability and data‐driven innovation. The article reviews collaborative
Bernd Bayerlein +44 more
wiley +1 more source
An Integrated GIS-Expert System Framework for Live Hazard Monitoring and Detection
Sensors, 2008 In the context of hazard monitoring, using sensor web technology to monitor anddetect hazardous conditions in near-real-time can result in large amounts of spatial data thatcan be used to drive analysis at an instrumented site. These data can be used for
Steven M. Rozic +2 more
doaj