Results 91 to 100 of about 30,543 (266)
Proving properties of logic programs: A Progress Report
, 1988 We outline the progress we have made in connection with the Alvey Grant "Proving Properties of Logic Programs" (SERC GR/D/44270 and Alvey IKBS 137). This grant runs for three years from 1st November 1985. The grant holders are Professor Alan Bundy and Dr
Bundy, Alan +9 more
core
Topological Materials and Related Applications
Advanced Electronic Materials, EarlyView.This review covers topological materials—including topological insulators, quantum valley Hall and quantum spin Hall insulators, and topological Weyl and Dirac semimetals—as well as their most recent advancements in fields such as spintronics, electronics, photonics, thermoelectrics, and catalysis.
Carlo Grazianetti +9 more
wiley +1 more source
SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range
Advanced Electronic Materials, EarlyView.A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel +6 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
, 1967 Mathematics is interested in the methods by which concepts are defined in terms of others and statements are inferred from others. It therefore uses a primarily deductive form of reasoning.
Moffett, Janet
core
A logic road from special to general relativity [PDF]
, 2012 We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps.
Andréka, Hajnal +3 more
core
, 2016 We give a description of the Tripos To Topos Construction in terms of the composition of four minor free constructions. Finally we discuss the relation to previous work by Carboni (Rend. Istit. Mat. Univ. Trieste 14(1-2), 1–16, 1982) and Frey (2011)
PASQUALI, FABIO +3 more
core +1 more source
Deep Learning‐Assisted Design of Mechanical Metamaterials
Advanced Intelligent Discovery, EarlyView.This review examines the role of data‐driven deep learning methodologies in advancing mechanical metamaterial design, focusing on the specific methodologies, applications, challenges, and outlooks of this field. Mechanical metamaterials (MMs), characterized by their extraordinary mechanical behaviors derived from architected microstructures, have ...
Zisheng Zong +5 more
wiley +1 more source
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