Výsledky vyhľadávania - Recursive fixed‑point theory

New results on the Baire partial quasi-metric space, fixed point theory and asymptoticcomplexity analysis for recursive programs Autor 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…”
Získať plný text

New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs: Doc 658 Autor 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…”
Získať plný text

Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes Autor 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…”
Získať plný text

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

Získať plný text

Denotational semantics of recursive types in synthetic guarded domain theory Autor 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…”
Získať plný text

Design of fixed-point smoother algorithm for linear discrete time-delay systems Autor 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…”
Získať plný text

Recursive definitions and fixed-points on well-founded structures Autor 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…”
Získať plný text

Computing minimal state space recursive equilibrium in OLG models with stochastic production Autor 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…”
Získať plný text

Thompson aggregators, Scott continuous Koopmans operators, and Least Fixed Point theory Autor 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…”
Získať plný text

Optimal consumption and investment with Epstein–Zin recursive utility Autor 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…”
Získať plný text

Recursive equilibrium in Krusell and Smith (1998) Autor 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…”
Získať plný text

Eigensolutions of nonviscously damped systems based on the fixed-point iteration Autor 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…”
Získať plný text

Partial Metrics Viewed as w-Distances: Extending Some Powerful Fixed-Point Theorems Autor 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…”
Získať plný text

SEQUENTIAL ESTIMATION OF STRUCTURAL MODELS WITH A FIXED POINT CONSTRAINT Autor 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…”
Získať plný text

The category-theoretic solution of recursive metric-space equations Autor 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…”
Získať plný text

Fixed point for local contractions: Applications to recursive utility Autor 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 ℓ…”
Získať plný text

On quasi-metric aggregation functions and fixed point theorems Autor 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…”
Získať plný text

EXISTENCE AND UNIQUENESS OF A FIXED POINT FOR LOCAL CONTRACTIONS Autor 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…”
Získať plný text

Analytical Approach for Numerical Accuracy Estimation of Fixed-Point Systems Based on Smooth Operations Autor 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…”
Získať plný text

On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics Autor 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…”
Získať plný text