Results 101 to 110 of about 5,309 (287)
Defeasible logic programming: language definition, operational semantics, and parallelism
Journal of Computer Science and Technology, 2001 This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and ...
Alejandro Javier García
doaj
An Event-Based Structural Operational Semantics of Multi-threaded Java [PDF]
, 1999 Pietro Cenciarelli +3 more
openalex +1 more source
In Situ Graph Reasoning and Knowledge Expansion Using Graph‐PRefLexOR
Advanced Intelligent Discovery, EarlyView.Graph‐PRefLexOR is a novel framework that enhances language models with in situ graph reasoning, symbolic abstraction, and recursive refinement. By integrating graph‐based representations into generative tasks, the approach enables interpretable, multistep reasoning.
Markus J. Buehler
wiley +1 more source
AI‐Enhanced Surface‐Enhanced Raman Scattering for Accurate and Sensitive Biomedical Sensing
Advanced Intelligent Discovery, EarlyView.AI‐SERS advances spectral interpretation with greater precision and speed, enhancing molecular detection, biomedical analysis, and imaging. This review explores its essential contributions to biofluid analysis, disease identification, therapeutic agent evaluation, and high‐resolution biomedical imaging, aiding diagnostic decision‐making.
Seungki Lee, Rowoon Park, Ho Sang Jung
wiley +1 more source
Structural operational semantics as a basis for static program analysis [PDF]
, 1996 Daniel Le Métayer, David Schmidt
openalex +1 more source
Advanced Intelligent Discovery, EarlyView.Combining machine learning and probabilistic statistical learning is a powerful way to discover and design new materials. A variety of machine learning approaches can be used to identify promising candidates for target applications, and causal inference can help identify potential ways to make them a reality.
Jonathan Y. C. Ting, Amanda S. Barnard
wiley +1 more source
C Program Verication in the Multilanguage System Spectrum
Моделирование и анализ информационных систем, 2010 This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project
V. A. Nepomniashy +5 more
doaj
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
Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback). [PDF]
, 1998 Stefan Kahrs
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