Suchergebnisse - Recursive fixed‑point theory

New results on the Baire partial quasi-metric space, fixed point theory and asymptoticcomplexity analysis for recursive programs von 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 …”
Volltext

New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs: Doc 658 von 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 …”
Volltext

Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes von 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 …”
Volltext

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

Volltext

Denotational semantics of recursive types in synthetic guarded domain theory von 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 …”
Volltext

Design of fixed-point smoother algorithm for linear discrete time-delay systems von 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 …”
Volltext

Recursive definitions and fixed-points on well-founded structures von 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 …”
Volltext

Computing minimal state space recursive equilibrium in OLG models with stochastic production von 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 …”
Volltext

Thompson aggregators, Scott continuous Koopmans operators, and Least Fixed Point theory von 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 …”
Volltext

Optimal consumption and investment with Epstein–Zin recursive utility von 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 …”
Volltext

Recursive equilibrium in Krusell and Smith (1998) von 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 …”
Volltext

Eigensolutions of nonviscously damped systems based on the fixed-point iteration von 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 …”
Volltext

Partial Metrics Viewed as w-Distances: Extending Some Powerful Fixed-Point Theorems von 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 …”
Volltext

SEQUENTIAL ESTIMATION OF STRUCTURAL MODELS WITH A FIXED POINT CONSTRAINT von 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 …”
Volltext

The category-theoretic solution of recursive metric-space equations von 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 …”
Volltext

Fixed point for local contractions: Applications to recursive utility von 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 ℓ …”
Volltext

On quasi-metric aggregation functions and fixed point theorems von 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 …”
Volltext

EXISTENCE AND UNIQUENESS OF A FIXED POINT FOR LOCAL CONTRACTIONS von 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 …”
Volltext

Analytical Approach for Numerical Accuracy Estimation of Fixed-Point Systems Based on Smooth Operations von 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 …”
Volltext

On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics von 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 …”
Volltext