fixed-point-like theorem
Fixed-point-like theorems on subspaces
... the fixed-point- like theorem by Hirsh, Magill, Mas-Colell [12] or Husseiny, Lasry, Magill [13] and the fixed-point theorem by Gale, Mas-Colell [8] (which generalizes ...
14
Fixed-point-like theorems on subspaces
... FIXED-POINT-LIKE THEOREMS ON SUBSPACES PHILIPPE BICH AND BERNARD CORNET Received 8 June 2004 We prove a fixed-point-like theorem for multivalued mappings defined on the ...
14
General equilibrium and fixed point theory : a partial survey
... Then there exists (p, E) ∈ S ++ L−1 × G J (R S ) such that z(p, E) = 0 and SpanV (p) ⊂ E. The (first) proof of Duffie and Shafer (32) uses modulo 2 degree theory. Geanakoplos and Shafer (43) first prove that the set of ...
19
Fixed point properties in the space of marked groups
... Section 2 gives the necessary preliminaries. In Section 3, we recall what ultralimits are and prove Theorem 1.5. Finally, Section 3 is devoted to applications to Properties (FH) and (FRA). Acknowledgements. I ...
11
Scalable Analytical Accuracy Models for Fixed-Point Arithmetic Implementations
... to operate directly over an algorithmic specification is considered as being a very im- portant point, yet current WLO tools suffer from severe limitations. In particular, they require the flattening of the ...
38
Some fixed point theorems in Banachspaces and its applications
... - fixed point - expansive mappings - contraction ...au point fixe et nous avons distingué trois cas : théorèmes de points fixes pour des applications expansive, et des théorèmes de points fixes pour ...
52
Palladium–Carbon eutectic fixed point for thermocouple calibration
... inflection point observed during the ...inflection point of all the melting curves was determined in three ways: a cubic polynomial was fit to the plateau and the minimum of the derivative was used; a ...
24
Implementation and measurements of an efficient Fixed Point Adjoint
... 3. inversion of some simple operations of the original algorithm The specific AD tool that we develop basically relies on the first strategy (1). There- fore the structure of an adjoint code consists of a forward (FWD) ...
12
Fixed point semantics and partial recursion in Coq
... least fixed point obtained by an iterative process on {x i } starting from x 0 ...least fixed point is obtained in at most ω ...this theorem, one should be able to express that the ...
9
Reliable fixed-point implementation of linear data-flows
... alignment, fixed-point conversion, etc., while in floating-point arithmetic this is done by the ...the Fixed-Point implementa- tion are the setting of the FxP formats (they depend on ...
7
Toward Scalable Source Level Accuracy Analysis for Floating-point to Fixed-point Conversion
... The low-level representation quickly becomes infeasible for image processing applications as they have far more operations. For instance, Gaussian blur filters for N × M images have O(NM) number of operations. However, ...
9
Synthesis of fixed-point programs: the case of matrix multiplication
... in fixed-point A compact algorithm Analysis of CompactProduct For square matrices of size n, only one call to the cgpeGenDotProduct is issued Ï The dot product uses around 2n instructions (n multiplications ...
60
Iterative residual-based vector methods to accelerate fixed point iterations
... ization for k > 1 seems suitable to deal with bifurcation problems (see [35] for example). 160 Another interesting generalization of multi-dimensional secant approaches has been originally proposed by Anderson [4]. ...
40
Analysis of duality constructions for variable dimension fixed point algorithms
... This thesis analyzes, compares, and contrasts five duality models for variable dimension fixed point algorithms, namely, primal-dual subdivided manifolds, primal-dual pseudomanifo[r] ...
58
Mixing properties and central limit theorem for associated point processes
... determinantal point processes (DPPs for short), that are an important example of negatively associated point ...repulsive point processes that were first introduced by Macchi [ 32 ] in 1975 to model ...
24
Extending the Calculus of Constructions with Tarski's fix-point theorem
... In previous work [2,3], we attempted to provide tools that stay closer to the level of expertise of programmers in conventional functional programming. The key point is to start from the recursive equation and to ...
16
Fixed point results for multivalued contractions on graphs and their applications
... de point fixe pour des fonctions multivoques, appelées G-contractions ...d’un point fixe est également établie pour une famille de G- contractions multivoques ...de point fixe pour des G-contractions ...
128
Cobalt–carbon eutectic fixed point for contact thermometry
... placed within the main furnace tube. A stainless-steel, water-cooled cap was attached and sealed to this tube by way of a Teflon ring. The cap’s central hole allowed the thermocouple protection tube to be inserted and ...
24
Analysis of Finite Word-Length Effects in Fixed-Point Systems
... The fixed-point simulation can be accelerated by executing it on a more adequate machine like a fixed-point DSP [78, 73, 39, 82, 37] or an FPGA [38] through hardware ...the ...
35
Simulation Analysis and Fixed Point Approach for Multiplexed TCP flows
... Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex France Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - [r] ...
18