Results 191 to 200 of about 221,743 (312)
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]
Sensors (Basel), 2020 Chouhan AP, Banda G.
europepmc +1 more source
What Do Large Language Models Know About Materials?
Advanced Engineering Materials, EarlyView.If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
Automated equivalence checking of quantum information systems [PDF]
Quantum technologies have progressed beyond the laboratory setting and are beginning to make an impact on industrial development. The construction of practical, general purpose quantum computers has been challenging, to say the least.
Ardeshir-Larijani, Ebrahim
core
Exact acceleration of complex real-time model checking based on overlapping cycle. [PDF]
PeerJ Comput Sci, 2020 Wang G +5 more
europepmc +1 more source
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
Advanced Engineering Materials, EarlyView.This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Building designs in countries like the United Kingdom are currently checked manually against a frequently changing and increasingly complex set of building regulations.
RIBA Enterprises, Malsane, Sagar
core
Model checking quantum protocols [PDF]
This thesis describes model checking techniques for protocols arising in quantum information theory and quantum cryptography. We discuss the theory and implementation of a practical model checker, QMC, for quantum protocols. In our framework, we assume
Papanikolaou, Nikolaos K.
core
Near‐Field Electrospinning Micro‐Printhead Achieves Precise Control of Nanofiber Deposition
Advanced Engineering Materials, EarlyView.A micro‐printhead for near‐field electrospinning enables reproducible deposition of polymer nanofibers with diameters below 50 nm. Systematic parameter studies uncover the mechanisms linking operating conditions to fiber morphology, paving the way for precise and low‐cost nanoscale 3D manufacturing.As a high‐resolution, cost‐effective, and rapid ...
Han Xu, Dario Mager, Jan G. Korvink
wiley +1 more source