… We propose semantic foundations for (Elgot) iteration in a hybrid setting: we identify two new
monads for hybrid computations, one of which supports a partial guarded iteration operator, …

… In previous work [12, 14], we pursued a purely hybrid semantics via a simple … of iteration [8]
as the underlying semantic structure. That resulted in a semantics of finite and infinite iteration…

… hybrid systems together with a description of their behavior as a hybrid denotational semantics:
the evolution of the hybrid … continuous) system and we must iterate the process to obtain …

… semantics of HyVisual, which is such a domain-specific programming language. The semantic
… We discuss several semantic issues that come in defining such a programming language, …

… non-standard analysis to define a semantic domain for hybrid systems. Non-standard analysis
is … semantics, a constructive semantics, and a Kahn Process Network semantics for hybrid …

… As a case study we provide an analysis of iteration and progression in combination with for…
an additional iteration operator on events. This is due to the fact that frame semantics allows …

… The main purpose of this paper is to explicate the derivation of a hybrid methodology for
ontology design for the development of Ontology driven Semantic Web Systems for the …

… We propose DeepSIR, a novel semantics-guided iterative registration … the semantic
information from a front-end Semantic-feat model to generate a novel point score, and the iterative-…

… to leverage knowledge learned in previous iterations to focus on the … iterative nature of our
approach. Specifically, we first demonstrate which image regions are refined at each iterative …

… , we integrate real quantifier elimination following an iterative background closure strategy.
Our tool is particularly suitable for verifying parametric hybrid systems and has been used …