Results 141 to 150 of about 20,008 (316)
A semantic model for the specification of real-time processes [PDF]
A semantic model for developing and justifying specifications of communicating real-time processes is proposed. The semantics is state-based and compositional.
Goswami, Asis, Joseph, Mathai
core
In Situ Contact Angle Measurement for Autonomous Spin Coating in Self‐Driving Labs
Advanced Intelligent Discovery, EarlyView.A vision‐based add‐on transforms commercial spin coaters into autonomous modules of Self‐Driving Labs. Combining a width‐scaled U‐Net with classical geometric analysis, the system simultaneously measures contact angles and estimates substrate pose using a single camera.
Sven Fischer, Micha Hiegle, Holger Röhm
wiley +1 more source
Multimodal Learning with Rashomon Analysis for Battery Discharge Capacity Prediction
Advanced Intelligent Discovery, EarlyView.Multimodal fusion integrates composition, crystal‐structure, and radial‐distribution descriptors to predict battery discharge capacity. Rashomon analysis across near‐optimal models reveals that explanatory variation is structured rather than arbitrary, separating stable mechanistic signals from model‐contingent attributions and providing a more ...
Jue Gong +4 more
wiley +1 more source
A Distributed Kripke Semantics
, 2004 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this ...
Chadha, R., Macedonio, D., Sassone, V.
core
A 2-categorical approach to the semantics of dependent type theory with computation axioms
Axiomatic type theory is a dependent type theory without computation rules. The term equality judgements that usually characterise these rules are replaced by computation axioms, i.e., additional term judgements that are typed by identity types. This paper is devoted to providing an effective description of its semantics, from a higher categorical ...
openaire +2 more sources
The Moduli Space of Octonionic Bundles as a Subvariety of Orthogonal Bundles
MathematicsLet X be a compact Riemann surface of genus g≥2. An octonionic bundle over X is a fiber bundle whose fiber is the non-associative algebra of complex octonions, equivalently a principal G2(C)-bundle, where G2(C) is the exceptional Lie group of ...
Álvaro Antón-Sancho
doaj +1 more source
Advanced Intelligent Discovery, EarlyView.Artificial intelligence is redefining network pharmacology (NP). By integrating knowledge graph engineering, geometric deep learning, multiomics anchoring, and generative reasoning, AI‐driven NP (AI‐NP) transforms static target mapping into dynamic, predictive modeling.
Cong Wang +9 more
wiley +1 more source
A semantics and implementation of a causal logic programming language
, 2009 The increasingly widespread availability of multicore and manycore computers demands new programming languages that make parallel programming dramatically easier and less error prone.
Cleary, John G. +2 more
core
On the declarative, operational and procedural semantics of disjunctive computational theories
, 1991 First, we recapitulate recent results concerning models and fixpoints of disjunctive computational theories. Then, we develop an SL-resolution-based abductive proof procedure for such theories. It is shown to be sound and complete for checking inconsistency.
openaire +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