Results 141 to 150 of about 1,341,656 (346)
Advanced Intelligent Discovery, EarlyView.Named entity recognition pipeline for knowledge extraction from scientific literature. Machine learning interatomic potential (MLIP) is an emerging technique that has helped achieve molecular dynamics simulations with unprecedented balance between efficiency and accuracy. Recently, the body of MLIP literature has been growing rapidly, which propels the
Bowen Zheng, Grace X. Gu
wiley +1 more source
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing, 2004 Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages.<br /> <br />This paper shows how the use of labels can provide significantly simpler and more modular ...
openaire +5 more sources
Advanced Intelligent Discovery, EarlyView.Large language models are transforming microbiome research by enabling advanced sequence profiling, functional prediction, and association mining across complex datasets. They automate microbial classification and disease‐state recognition, improving cross‐study integration and clinical diagnostics.
Jieqi Xing +4 more
wiley +1 more source
Fuzzy Evaluation Model for Operational Performance of Air Cleaning Equipment
MathematicsGlobal warming has led to the continuous deterioration of the living environment, in which air quality directly affects human health. In addition, the severity of the COVID-19 pandemic has further increased the attention to indoor air quality.
Kuen-Suan Chen +3 more
doaj +1 more source
Operational semantics and program verification using many-sorted hybrid\n modal logic [PDF]
, 2019 Ioana Leuştean +2 more
openalex +1 more source
Advanced Intelligent Discovery, EarlyView.CrossMatAgent is a multi‐agent framework that combines large language models and diffusion‐based generative AI to automate metamaterial design. By coordinating task‐specific agents—such as describer, architect, and builder—it transforms user‐provided image prompts into high‐fidelity, printable lattice patterns.
Jie Tian +12 more
wiley +1 more source
Operational semantics for positive ${\rm R}$.
Notre Dame Journal of Formal Logic, 1987 This paper presents a ``semilattice'' semantics for the positive fragment of the relevant logic R, i.e. \(R+\). Early investigations of the semantics for relevant logics [e.g. \textit{A. Urquhart}, J. Symb. Logic 37, 159-169 (1972; Zbl 0245.02028)] attempted to fit a straightforward semilattice semantics to \(R+\), but soon discovered that there was no
openaire +2 more sources
The Necessity of Dynamic Workflow Managers for Advancing Self‐Driving Labs and Optimizers
Advanced Intelligent Discovery, EarlyView.We assess the maturity and integration readiness of key methodologies for Materials Acceleration Platforms, highlighting the need for dynamic workflow managers. Demonstrating this, we integrate PerQueue into a color‐mixing robot, showing how flexible orchestration improves coordination and optimization.
Simon K. Steensen +6 more
wiley +1 more source
Linear Concurrent Constraint Programming: Operational and Phase Semantics
, 2001 François Fages +2 more
openalex +2 more sources