Results 191 to 200 of about 348,999 (338)
Automated Reasoning with Analytic Tableaux and Related Methods
, 2002 Uwe Egly, Chritian G. Fermüller
openalex +1 more source
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning [PDF]
, 2023 Thanh Le-Cong +6 more
openalex +1 more source
Ontology‐Based Digital Infrastructure for Data‐Driven Glass Development
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.This work addresses the inefficiencies in traditional glass development by implementing an ontology‐based digital infrastructure coupled with a high‐throughput robotic melting system. The approach integrates machine learning models, predictive tools, and a semantic database.
Ya‐Fan Chen +20 more
wiley +1 more source
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.A novel metadata schema is introduced to address the sparsity of microstructure‐sensitive mechanical data. The design follows the material modeling workflow, as each run results in the definition of unique data objects. The schema includes categorical elements to ensure findability, accessibility, interoperability, and reusability (FAIR). This approach
Ronak Shoghi, Alexander Hartmaier
wiley +1 more source
Integration of automated reasoning and computer algebra systems
, 2005 Olga Caprotti, Volker Sorge
openalex +1 more source
Scalable Manufacturing of Polymer Multi‐Nanofiber Twisted Yarns
Advanced Engineering Materials, Volume 27, Issue 7, April 2025.In this research article, an alternative method for producing electrospun nanoyarns is introduced. The approach introduces a roll‐to‐roll fiber collection accessory to a parallel track electrospinning system. The fiber rolls are then spun into yarns using a spinning device.
Mohamad Keblawi +3 more
wiley +1 more source
Reasoning with the inverse of 3D cardinal direction relations based on direction matrices
Scientific ReportsIn order to improve the ability of intelligent reasoning and prediction of 3DR27 model which presented in our previous work, enhance the usability of this model, and better fulfill the demands of real applications for spatial database, we focused on the ...
Miao Wang +5 more
doaj +1 more source
Oxide‐Based Ceramic Matrix Composites for High‐Temperature Environments: A Review
Advanced Engineering Materials, Volume 27, Issue 7, April 2025.This review examines oxide‐based ceramic matrix composites, focusing on their processing, composition, and mechanical properties for high‐temperature applications. Key topics include oxidation resistance, failure mechanisms, and corrosion behavior, with insights into their potential use in aerospace, nuclear power, and other high‐performance industries.
Karthikeyan Ramachandran +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Hybrid materials enable high‐performance components but are challenging to process. This study explores an inductive heating concept with spray cooling for steel–aluminum specimens in a two‐step process including friction welding and cup backward extrusion.
Armin Piwek +7 more
wiley +1 more source
Influence of Form and Structural Features of Open‐Cell Hybrid Foam on the Remanent Magnetic Scanning
Advanced Engineering Materials, EarlyView.Simulations using an equivalent model are performed to improve the understanding of remanent magnetic scanning of hybrid foam samples for coating thickness estimation. The model allows to study the influence of isolated geometrical features such as layer thickness, boundary effects, as well as effects due to the statistical nature of the foams, which ...
Bashar Ibrahim +4 more
wiley +1 more source