Results 111 to 120 of about 100,374 (308)
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
Categorical model of structural operational semantics for imperative language
Journal of Information and Organizational Sciences, 2016 Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj
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
Program equivalence for a concurrent lambda calculus with futures [PDF]
, 2006 Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Niehren, Joachim +3 more
core +1 more source
Transformations of Logic Programs with Goals as Arguments
, 2002 We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can write logic programs which use goals as data.
Pettorossi, Alberto, Proietti, Maurizio
core +5 more sources
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
An Event-Based Structural Operational Semantics of Multi-threaded Java [PDF]
, 1999 Pietro Cenciarelli +3 more
openalex +1 more source
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.A laser pointer‐guided robotic grasping method for arbitrary objects based on promptable segment anything model and force‐closure analysis is presented. Grasp generation methods based on force‐closure analysis can calculate the optimal grasps for objects through their appearances. However, the limited visual perception ability makes robots difficult to
Yan Liu +5 more
wiley +1 more source
Large Language Model‐Based Chatbots in Higher Education
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.The use of large language models (LLMs) in higher education can facilitate personalized learning experiences, advance asynchronized learning, and support instructors, students, and researchers across diverse fields. The development of regulations and guidelines that address ethical and legal issues is essential to ensure safe and responsible adaptation
Defne Yigci +4 more
wiley +1 more source