Search Results - Recursive fixed‑point theory

New results on the Baire partial quasi-metric space, fixed point theory and asymptoticcomplexity analysis for recursive programs by Alghamdi, Maryam A, Shahzad, Naseer, Valero, Oscar

“…In Cerdà-Uguet et al. (Theory Comput. Syst. 50:387-399, 2012), a newmathematical fixed point technique, that uses the so-called Baire partial quasi-metricspace…”
Get full text

New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs: Doc 658 by Alghamdi, Maryam A, Shahzad, Naseer, Valero, Oscar

“…In Cerdà-Uguet et al. (Theory Comput. Syst. 50:387-399, 2012), a new mathematical fixed point technique, that uses the so-called Baire partial quasi-metric…”
Get full text

Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes by Birkedal, Lars, Møgelberg, Rasmus Ejlers

“…, for modeling reactive systems. We propose an extension of intensional type theory with rules for forming fixed points of guarded recursive functions…”
Get full text

Fixed-point for local contractions: applications to recursive utility by Martins da Rocha, Victor Filipe, Vailakis, Yiannis

Get full text

Denotational semantics of recursive types in synthetic guarded domain theory by MØGELBERG, RASMUS E., PAVIOTTI, MARCO

“…Just like any other branch of mathematics, denotational semantics of programming languages should be formalised in type theory, but adapting traditional domain theoretic semantics, as originally…”
Get full text

Design of fixed-point smoother algorithm for linear discrete time-delay systems by Zhao, Hongguo, Cui, Peng, Guo, Xiaochun

“… The fixed-point smoothers involving recursive algorithm and non-recursive algorithm are designed by using innovation analysis theory without relying on the system augmentation approach…”
Get full text

Recursive definitions and fixed-points on well-founded structures by Ferreira, Francicleber Martins, Martins, Ana Teresa

“… In the Least Fixed-Point Logic (LFP), we have theories where interesting relations can be recursively defined (Ebbinghaus, 1995 [4], Libkin, 2004 [12…”
Get full text

Computing minimal state space recursive equilibrium in OLG models with stochastic production by McGovern, Jaime, Morand, Olivier F., Reffett, Kevin

“…Using order-theoretic methods, we derive sufficient conditions for the existence, characterization, and computation of minimal state space recursive equilibrium (RE…”
Get full text

Thompson aggregators, Scott continuous Koopmans operators, and Least Fixed Point theory by Becker, Robert A., Rincón-Zapatero, Juan Pablo

“… (Marinacci and Montrucchio, 2010). We prove the existence of a Least Fixed Point (LFP) solution to the Koopmans equation…”
Get full text

Optimal consumption and investment with Epstein–Zin recursive utility by Kraft, Holger, Seiferling, Thomas, Seifried, Frank Thomas

“…–Jacobi–Bellman equation by a fixed point argument and makes it possible to compute both the indirect utility and, more importantly, optimal strategies…”
Get full text

Recursive equilibrium in Krusell and Smith (1998) by Cao, Dan

“… shocks in Krusell and Smith (1998). It establishes the existence of sequential competitive equilibrium, generalized recursive equilibrium, recursive equilibrium with an extended-state space, and characterizes several important…”
Get full text

Eigensolutions of nonviscously damped systems based on the fixed-point iteration by Lázaro, Mario

“… In this work, a new numerical procedure to compute eigensolutions is proposed. The method is based on the construction of certain recursive functions which, under a…”
Get full text

Partial Metrics Viewed as w-Distances: Extending Some Powerful Fixed-Point Theorems by Romaguera, Salvador, Tirado, Pedro

“… type and Samet et al. type, we obtain some general fixed-point results for quasi-metric spaces from which powerful and significant fixed-point theorems on partial metric spaces are deduced as special cases…”
Get full text

SEQUENTIAL ESTIMATION OF STRUCTURAL MODELS WITH A FIXED POINT CONSTRAINT by Kasahara, Hiroyuki, Shimotsu, Katsumi

“…This paper considers the estimation problem of structural models for which empirical restrictions are characterized by a fixed point constraint, such as structural dynamic discrete choice models…”
Get full text

The category-theoretic solution of recursive metric-space equations by Birkedal, Lars, Støvring, Kristian, Thamsborg, Jacob

“…It is well known that one can use an adaptation of the inverse-limit construction to solve recursive equations in the category of complete ultrametric spaces…”
Get full text

Fixed point for local contractions: Applications to recursive utility by Martins-da-Rocha, V. Filipe, Vailakis, Yiannis

“…The paper shows how fixed‐point results for local contractions apply to the study of the existence and uniqueness of recursive utility functions defined on subsets of ℓ…”
Get full text

On quasi-metric aggregation functions and fixed point theorems by Martín, J., Mayor, G., Valero, O.

“… [Aggregation of asymmetric distances in Computer Science, Inform. Sci.180 (2010) 803–812]. In this paper, inspired by the fact that fixed point theory provides an efficient…”
Get full text

EXISTENCE AND UNIQUENESS OF A FIXED POINT FOR LOCAL CONTRACTIONS by Martins-da-Rocha, V. Filipe, Vailakis, Yiannis

“… More importantly it shows how this fixed-point result can apply to study the existence and uniqueness of solutions to some recursive equations that arise in economic dynamics…”
Get full text

Analytical Approach for Numerical Accuracy Estimation of Fixed-Point Systems Based on Smooth Operations by Rocher, R., Menard, D., Scalart, P., Sentieys, O.

“…In embedded systems using fixed-point arithmetic, converting applications into fixed-point representations requires a fast and efficient accuracy evaluation…”
Get full text

On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics by Shahzad, Naseer, Valero, O.

“… of recursive denotational specifications in programming languages. In this paper we show that a few assumptions in statement of Matthews fixed point theorem can be relaxed…”
Get full text