標(biāo)題: Titlebook: Computability and Complexity in Analysis; 4th International Wo Jens Blanck,Vasco Brattka,Peter Hertling Conference proceedings 2001 Springe [打印本頁(yè)] 作者: GOLF 時(shí)間: 2025-3-21 20:08
書目名稱Computability and Complexity in Analysis影響因子(影響力)
書目名稱Computability and Complexity in Analysis影響因子(影響力)學(xué)科排名
書目名稱Computability and Complexity in Analysis網(wǎng)絡(luò)公開度
書目名稱Computability and Complexity in Analysis網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Computability and Complexity in Analysis被引頻次
書目名稱Computability and Complexity in Analysis被引頻次學(xué)科排名
書目名稱Computability and Complexity in Analysis年度引用
書目名稱Computability and Complexity in Analysis年度引用學(xué)科排名
書目名稱Computability and Complexity in Analysis讀者反饋
書目名稱Computability and Complexity in Analysis讀者反饋學(xué)科排名
作者: FLING 時(shí)間: 2025-3-21 20:44 作者: 首創(chuàng)精神 時(shí)間: 2025-3-22 02:12
A Survey of Exact Arithmetic Implementationsons for the performance differences displayed by some of the competing systems at this years CCA Exact Arithmetic Competition..Because the practical aspects of the field of exact arithmetic are at an early stage, and many of the systems are prototypes, we have not discussed: portability, user-interf作者: Frequency 時(shí)間: 2025-3-22 04:43 作者: Hangar 時(shí)間: 2025-3-22 11:59
Banach-Mazur Computable Functions on Metric Spacesspaces satisfying suitable computability conditions. Additionally, we prove that the image of a computable, computably convergent sequence under a Banach-Mazur computable function is again computably convergent.作者: 易于交談 時(shí)間: 2025-3-22 14:26
Effective Contraction Theorem and Its Application we present an effective version of the contraction theorem. We show that if the contraction is a computable function on an effectively locally compact metric space, then the fixed point is a computable point on the space. Many facts on computability can be proved by using the effective contraction 作者: 易于交談 時(shí)間: 2025-3-22 18:18 作者: d-limonene 時(shí)間: 2025-3-22 22:11
On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theoremsed with the fixed point theory of nonexpansive selfmappings . of convex sets . in normed spaces. We study Krasnoselski and more general so-called Krasnoselski-Mann iterations which converge to fixed points of . under certain compactness conditions. But, as we show, already for uniformly convex space作者: 猛擊 時(shí)間: 2025-3-23 04:18 作者: 挖掘 時(shí)間: 2025-3-23 06:23
δ-Approximable FunctionsBSS machine . when its comparisons are against ?δ rather than 0, we study classes of functions . for which ?. → . in some sense (pointwise, uniformly, etc.). The main equivalence results show that this notion coincides with Type 2 computability when the convergence speed is recursively bounded. Fina作者: 金盤是高原 時(shí)間: 2025-3-23 12:52 作者: 我沒有命令 時(shí)間: 2025-3-23 16:23 作者: 異端邪說下 時(shí)間: 2025-3-23 21:02 作者: Retrieval 時(shí)間: 2025-3-24 02:11
Characterization of the Computable Real Numbers by Means of Primitive Recursive Functionserize the computable real numbers by using only primitive recursive functions.We prove Mostowski’s result differently and apply it to get other simple characterizations of this kind. For instance, a real number is shown to be computable if and only if it belongs to all members of some primitive recu作者: 變形詞 時(shí)間: 2025-3-24 06:23 作者: 紀(jì)念 時(shí)間: 2025-3-24 08:05 作者: 無(wú)畏 時(shí)間: 2025-3-24 13:59 作者: 機(jī)構(gòu) 時(shí)間: 2025-3-24 17:20 作者: 催眠 時(shí)間: 2025-3-24 19:52
Stress, Hypoxia, and Immune Responsesracterization is given by many-sorted so-called indicator functions. Under weak suppositions on the underlying spaces, there are also single-sorted effectively categorical structures characterizing the standard representations. To this purpose, both basic constants and infinitary basic functions of the structures are necessary.作者: 傷心 時(shí)間: 2025-3-25 00:21 作者: 送秋波 時(shí)間: 2025-3-25 05:04
Pathogenetic Mechanisms of Stressh is a suitable tool for formalisation of complex systems, such as hybrid systems. In this framework the trajectories of continuous parts of hybrid systems can be represented by computable functionals.作者: Harbor 時(shí)間: 2025-3-25 09:37 作者: 揉雜 時(shí)間: 2025-3-25 13:25 作者: frugal 時(shí)間: 2025-3-25 17:18 作者: 粘土 時(shí)間: 2025-3-25 23:56
Standard Representations of Effective Metric Spacesracterization is given by many-sorted so-called indicator functions. Under weak suppositions on the underlying spaces, there are also single-sorted effectively categorical structures characterizing the standard representations. To this purpose, both basic constants and infinitary basic functions of the structures are necessary.作者: Decibel 時(shí)間: 2025-3-26 00:46 作者: 四牛在彎曲 時(shí)間: 2025-3-26 06:16
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theoryh is a suitable tool for formalisation of complex systems, such as hybrid systems. In this framework the trajectories of continuous parts of hybrid systems can be represented by computable functionals.作者: 食道 時(shí)間: 2025-3-26 08:54
δ-Approximable Functions etc.). The main equivalence results show that this notion coincides with Type 2 computability when the convergence speed is recursively bounded. Finally, we study the possibility of extending these results to computations over Archimedean fields.作者: infantile 時(shí)間: 2025-3-26 15:23 作者: 全面 時(shí)間: 2025-3-26 17:01
Effectivity of Regular Spacesto .. spaces is given. The construction uses effective retractions on effective Scott-Ershov domains. The benefit of the approach is that the numbering of the basis and the numbering of the elements are derived at once.作者: nautical 時(shí)間: 2025-3-26 22:56
Effective Contraction Theorem and Its Applicationtheorem. We give, in this paper, three examples, the effective implicit function theorem, the result on computability of self similar sets by Kamo and Kawamura, and computability of the Takagi function.作者: avulsion 時(shí)間: 2025-3-27 03:26
Lauro Cortigiani,Eugenio Picano-Fourier coefficients of an effectively integrable function . form a computable sequence of reals. It is also proved that ...., where ... is the partial sum of the Walsh-Fourier series, Fine-converges effectively locally uniformly to ..作者: investigate 時(shí)間: 2025-3-27 06:52 作者: 一小塊 時(shí)間: 2025-3-27 12:50
Lauro Cortigiani,Eugenio Picanos (equipped with the total sequential continuous functions as morphisms) turns out to be bicartesian-closed. It contains all countably-based ..-spaces. Thus, a reasonable computability theory is possible on important non countably-based topological spaces as well as on non topological spaces.作者: Nonconformist 時(shí)間: 2025-3-27 15:04
Pathogenetic Mechanisms of Stresses,al time computability. This paper show the fixed point theorem for such non-computably separable spaces. This theorem is proved with iteration of Type-2 functionals. As an example of that, this paper shows that Takagi function is a polynomial time computable function.作者: 課程 時(shí)間: 2025-3-27 18:52 作者: FLEET 時(shí)間: 2025-3-28 00:02
The Uniformity Conjecturenjecture are compared with some known results about closeness of approximation from Liouville, Baker, Waldschmidt, Thue-Siegel-Roth. A few of many practical computational consequences are stated. Also the problem of searching for a possible counterexample to the Uniformity Conjecture is discussed and some preliminary results are given.作者: Palpable 時(shí)間: 2025-3-28 05:06
Admissible Representations of Limit Spacess (equipped with the total sequential continuous functions as morphisms) turns out to be bicartesian-closed. It contains all countably-based ..-spaces. Thus, a reasonable computability theory is possible on important non countably-based topological spaces as well as on non topological spaces.作者: GLUT 時(shí)間: 2025-3-28 09:20 作者: Mediocre 時(shí)間: 2025-3-28 11:54 作者: Hearten 時(shí)間: 2025-3-28 18:25 作者: absorbed 時(shí)間: 2025-3-28 21:34
Conference proceedings 2001a, September 17{19, 2000. It was the fourth workshop in a successful series of workshops: CCA’95 in Hagen, Germany, CCA’96 in Trier, Germany, and CCA’98 in Brno, Czech Republic. About 40 participants from the countries United Kingdom, Germany, Japan, Italy, Russia, France, Denmark, Greece, and Irela作者: 護(hù)身符 時(shí)間: 2025-3-29 01:58 作者: vasospasm 時(shí)間: 2025-3-29 05:20
0302-9743 systems. A report on this competition has been included in these proceedings. We would like to thank the authors for their contributions and the referees for their careful work, and we hope for978-3-540-42197-9978-3-540-45335-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Working-Memory 時(shí)間: 2025-3-29 07:25 作者: 異端邪說下 時(shí)間: 2025-3-29 11:36
On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theoremsofs) on the rate of the asymptotic regularity. We first consider the classical case of uniformly convex spaces which goes back to Krasnoselski (1955) and show how a logically motivated modification allows to obtain an improved bound. Moreover, we get a completely elementary proof for a result which 作者: Carbon-Monoxide 時(shí)間: 2025-3-29 19:13 作者: Adherent 時(shí)間: 2025-3-29 23:22 作者: 畢業(yè)典禮 時(shí)間: 2025-3-30 03:03
Fausto Rigo PhD,Eugenio Picano PhDofs) on the rate of the asymptotic regularity. We first consider the classical case of uniformly convex spaces which goes back to Krasnoselski (1955) and show how a logically motivated modification allows to obtain an improved bound. Moreover, we get a completely elementary proof for a result which 作者: PRO 時(shí)間: 2025-3-30 07:51
Echocardiographic Signs of Ischemia,the 2-dimensional Euclidean space ?. can be embedded in {0,1} . but not in .. for any character set ., and infinite dimensional spaces like the set of closed/open/compact subsets of .. and the set of continuous functions from ?. to ?. can be embedded in .. but not in .. for any ..作者: 不法行為 時(shí)間: 2025-3-30 08:12 作者: concert 時(shí)間: 2025-3-30 13:19 作者: 窗簾等 時(shí)間: 2025-3-30 17:29 作者: nephritis 時(shí)間: 2025-3-31 00:33 作者: KEGEL 時(shí)間: 2025-3-31 03:24 作者: OVERT 時(shí)間: 2025-3-31 05:25
Stress, Hypoxia, and Immune Responsescharacterized by their computability properties, i.e., by having both computable extensions as well as inversions computable as relations. Another characterization is given by many-sorted so-called indicator functions. Under weak suppositions on the underlying spaces, there are also single-sorted ef作者: 制定法律 時(shí)間: 2025-3-31 09:39 作者: fatuity 時(shí)間: 2025-3-31 14:40 作者: 高腳酒杯 時(shí)間: 2025-3-31 17:51 作者: 徹底明白 時(shí)間: 2025-4-1 01:17 作者: 勤勞 時(shí)間: 2025-4-1 02:46 作者: fixed-joint 時(shí)間: 2025-4-1 06:34
Stress-Echocentric Diagnostic Algorithms,BSS machine . when its comparisons are against ?δ rather than 0, we study classes of functions . for which ?. → . in some sense (pointwise, uniformly, etc.). The main equivalence results show that this notion coincides with Type 2 computability when the convergence speed is recursively bounded. Fina作者: Exposure 時(shí)間: 2025-4-1 13:46 作者: Obliterate 時(shí)間: 2025-4-1 15:03
