Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"Fixpoint"”.
-
Modal and fixpoint linear logic.
… based on Girard's phase semantics for the fixpoint operators of the modal mu-calculus, developed by D. Kozen, E. A. Emerson, E. Clarke, and others, in linear logic, and consider the translation of Y. Lafont's exponentials with the Free Storage rule into linear logic with fixpoint operators.
-
Efficient computation of fixpoints that arise in abstract interpretation
… often gives rise to complex and expensive fixpoint computations. If it is to become a practical and widely used technique, the problem of computing these fixpoints efficiently must be addressed and overcome.
-
Coinductive program verification
… a style of program specification as a greatest fixpoint means coinduction can be used to conclude that a specification holds, and that the number of cases that need to be enumerated to have a coinductively provable specification can be reduced to a feasible number by using a generalized …
-
The complexity of continuous local search
… i.e., the problem of finding an approximate fixpoint of a contraction map, and P-LCP, i.e., the problem of solving a P-matrix Linear Complementarity Problem, were identified as prime candidates. First, we present the first complete problem for CLS, METAMETRICCONTRACTION, which is closely …
-
Advances in Gromov–Wasserstein optimal transport: linearization, multi-marginal generalization, barycenters and transfer operators
… via multi-marginal plans which sparks a novel fixpoint iteration for the approximation of GW barycenters. We show that the iteration monotonously decreases the barycenter loss and converges subsequently to a fixpoint. In the final part of this thesis, we turn our attention to the estimation of …
-
El Lenguaje CLP(H/E): Una Aproximación basada en Restricciones a la Integración de la Programación Lógica y Funcional
… program admits a minimal model semantics and a fixpoint semantics as well. Thus, the main semantic properties of traditional logic programs are preserved in the more general, integrated, logic-equational programming paradigm. Specifically, it maintains the existence of a canonical computation …
-
Improved Symbolic Model Checking of Real-Time Systems
… the number of iterations to reach the fixpoint is reduced. The experimental results show that our approach improves significantly the performance. Then, based on the automata theory that the model checking of linear temporal logic (LTL) properties can be done by checking the emptiness …
-
A foundation for integrating heterogeneous data sources
… developing a model theory, a proof theory, and a fixpoint theory. SchemaLog can be implemented on top of existing database systems in a 'non-intrusive' way. Realizing an efficient implementation of a SchemaLog-based system warrants the study of the calculus and algebraic languages underlying …
-
Automated reasoning for fixpoints and concrete execution in matching logic
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-03-28 without embargo terms