標(biāo)題: Titlebook: Mathematical Foundations of Computer Science 1997; 22nd International S Igor Prívara,Peter Ru?i?ka Conference proceedings 1997 Springer-Ver [打印本頁(yè)] 作者: 鏟除 時(shí)間: 2025-3-21 18:04
書(shū)目名稱Mathematical Foundations of Computer Science 1997影響因子(影響力)
書(shū)目名稱Mathematical Foundations of Computer Science 1997影響因子(影響力)學(xué)科排名
書(shū)目名稱Mathematical Foundations of Computer Science 1997網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Mathematical Foundations of Computer Science 1997網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Mathematical Foundations of Computer Science 1997被引頻次
書(shū)目名稱Mathematical Foundations of Computer Science 1997被引頻次學(xué)科排名
書(shū)目名稱Mathematical Foundations of Computer Science 1997年度引用
書(shū)目名稱Mathematical Foundations of Computer Science 1997年度引用學(xué)科排名
書(shū)目名稱Mathematical Foundations of Computer Science 1997讀者反饋
書(shū)目名稱Mathematical Foundations of Computer Science 1997讀者反饋學(xué)科排名
作者: erythema 時(shí)間: 2025-3-21 23:37 作者: DIS 時(shí)間: 2025-3-22 03:04 作者: META 時(shí)間: 2025-3-22 07:04 作者: 鉗子 時(shí)間: 2025-3-22 10:02
Juraj Hromkovi?,Georg Schnitger. Vinken and George W. Bruyn). However, the information selected for inclusion in this volume of the Oklahoma Notes series remains true to the goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States Me作者: 使混合 時(shí)間: 2025-3-22 16:28
Jan Kraji?ek. Vinken and George W. Bruyn). However, the information selected for inclusion in this volume of the Oklahoma Notes series remains true to the goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States Me作者: 惡名聲 時(shí)間: 2025-3-22 20:01
Foto Afrati,Irène Guessarian,Michel de Rougemontby Pierre J. Vinken and George W. Bruyn.) However, the information selected for inclusion in this volume of the Oklahoma Notes series remains true to the goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States M978-1-4684-0456-2Series ISSN 1431-6013 作者: glamor 時(shí)間: 2025-3-23 00:09 作者: 復(fù)習(xí) 時(shí)間: 2025-3-23 03:43
Luca Bernardinello,Lucia PomelloJ. Vinken and George W. Bruyn.) However, the information selected for inclusion in this volume of the Oklahoma Notes series remains true to the goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States M作者: BUMP 時(shí)間: 2025-3-23 06:06
Béatrice Bérard,Claudine Picaronnyby Pierre J. Vinken and George W. Bruyn.) However, the information selected for inclusion in this volume of the Oklahoma Notes series remains true to the goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States M978-1-4684-0456-2Series ISSN 1431-6013 作者: 常到 時(shí)間: 2025-3-23 12:18 作者: 含糊其辭 時(shí)間: 2025-3-23 14:01
Marcello M. Bonsangue,Joost N. Kokby Pierre J. Vinken and George W. Bruyn.) However, the information selected for inclusion in this volume of the Oklahoma Notes series remains true to the goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States M978-1-4684-0456-2Series ISSN 1431-6013 作者: 和平主義者 時(shí)間: 2025-3-23 18:29
G. Cattaneo,E. Formenti,L. Margara,J. Mazoyerby Pierre J. Vinken and George W. Bruyn.) However, the information selected for inclusion in this volume of the Oklahoma Notes series remains true to the goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States M978-1-4684-0456-2Series ISSN 1431-6013 作者: parasite 時(shí)間: 2025-3-23 22:13 作者: Grating 時(shí)間: 2025-3-24 05:35
Samson Abramskyhe goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States Me978-0-387-94635-1978-1-4612-4008-2Series ISSN 1431-6013 作者: Monocle 時(shí)間: 2025-3-24 07:50
László Babaihe goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States Me978-0-387-94635-1978-1-4612-4008-2Series ISSN 1431-6013 作者: AER 時(shí)間: 2025-3-24 11:22
Cynthia Dworkhe goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States Me978-0-387-94635-1978-1-4612-4008-2Series ISSN 1431-6013 作者: Toxoid-Vaccines 時(shí)間: 2025-3-24 17:00 作者: 詞根詞綴法 時(shí)間: 2025-3-24 20:38
Dan Rothhe goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States Me978-0-387-94635-1978-1-4612-4008-2Series ISSN 1431-6013 作者: cuticle 時(shí)間: 2025-3-25 01:36
Uwe Sch?ninghe goal of the whole series-only materials vital in both the general clinical practice of medicine and to answer questions on the all-important United States Me978-0-387-94635-1978-1-4612-4008-2Series ISSN 1431-6013 作者: 工作 時(shí)間: 2025-3-25 05:47 作者: 時(shí)代 時(shí)間: 2025-3-25 10:15 作者: 現(xiàn)存 時(shí)間: 2025-3-25 13:21
https://doi.org/10.1007/BFb0029943algorithms; complexity; complexity theory; computer; computer science; formal language; formal languages; l作者: 雀斑 時(shí)間: 2025-3-25 17:13
Treewidth: Algorithmic techniques and results,This paper gives an overview of several results and techniques for graphs algorithms that compute the treewidth of a graph or that solve otherwise intractable problems when restricted graphs with bounded treewidth more efficiently. Also, several results on graph minors are reviewed.作者: Cardiac-Output 時(shí)間: 2025-3-25 23:23
Positive applications of lattices to cryptography,We describe constructions of several cryptographic primitives, including hash functions, public key cryptosystems, pseudo-random bit generators, and digital signatures, whose security depends on the assumed worst-case or average-case hardness of problems involving lattices.作者: 騙子 時(shí)間: 2025-3-26 02:56 作者: 單調(diào)女 時(shí)間: 2025-3-26 08:07 作者: RENAL 時(shí)間: 2025-3-26 08:35 作者: 圓柱 時(shí)間: 2025-3-26 14:29 作者: 把…比做 時(shí)間: 2025-3-26 18:46 作者: 大范圍流行 時(shí)間: 2025-3-26 21:02
Mathematical Foundations of Computer Science 1997978-3-540-69547-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 值得 時(shí)間: 2025-3-27 03:50 作者: 我們的面粉 時(shí)間: 2025-3-27 08:50
Communication complexity and sequential computation, focuses on the relation between communication complexity and the following three complexity measures of sequential computation:.We present a survey of the known relations between communication complexity and these three problem areas and formulate several open problems for further research.作者: perimenopause 時(shí)間: 2025-3-27 09:41 作者: Arable 時(shí)間: 2025-3-27 16:10 作者: 有說(shuō)服力 時(shí)間: 2025-3-27 19:52
A category of transition systems and its relations with orthomodular posets, calculus of regions, according to Ehrenfeucht and Rozenberg. The functor from PCOS to LETS defines a procedure which builds a labelled transition system, given an abstract set of regions with their order relation. We show that the two functors form an adjunction.作者: 樹(shù)木心 時(shí)間: 2025-3-27 22:28 作者: enterprise 時(shí)間: 2025-3-28 04:47 作者: 散開(kāi) 時(shí)間: 2025-3-28 07:54
Specifying computations using hyper transition systems,e equivalent to the standard weakest precondition semantics. Finally, we propose a refinement relation that preserves the atomic step of a computation and generalizes the simulation relation on ordinary transition systems. This can be used to augment specification languages with a form of concurrency.作者: Fulminate 時(shí)間: 2025-3-28 14:14 作者: 佛刊 時(shí)間: 2025-3-28 16:02
,A tile-based coordination view of asynchronous π-calculus,. Two kinds of tiles are provided: activity tiles and .. Activity tiles specify the basic interactions sequential processes are able to perform, without considering the operational environment where they live. Instead, coordination tiles control the global evolution of programs.作者: Flu表流動(dòng) 時(shí)間: 2025-3-28 20:04 作者: 和平 時(shí)間: 2025-3-29 00:53
Resolution proofs, exponential bounds, and Kolmogorov complexity, of expander graphs than the ones used in [13]. These expander graphs are located in the core of the construction. We show the existence of our expanders by a Kolmogorov complexity argument which has not been used before in this context and might be of independent interest since the applicability of this method is quite general.作者: 范圍廣 時(shí)間: 2025-3-29 04:56
The complexity of policy evaluation for finite-horizon partially-observable Markov decision processroblem for POMDPs, showing it is complete for Probabilistic Logspace. From this, we prove policy existence problems for several variants of unobservable, succinctly represented MDPs to be complete for NP., a class for which not many natural problems are known to be complete.作者: 騷擾 時(shí)間: 2025-3-29 10:29 作者: custody 時(shí)間: 2025-3-29 15:00 作者: 群島 時(shí)間: 2025-3-29 18:00 作者: Heart-Rate 時(shí)間: 2025-3-29 23:26
When are two rewrite systems more than none?,compute normal forms of input terms) and consider the case where individual systems share constructors, but not defined symbols. We present some old and new sufficient conditions under which termination (existence of normal forms, regardless of computation strategy) and confluence (uniqueness) are p作者: Interferons 時(shí)間: 2025-3-30 01:14 作者: languid 時(shí)間: 2025-3-30 08:06
Communication complexity and sequential computation,ting problems. This is a consequence of the relation of communication complexity to many fundamental (mainly parallel) complexity measures. This paper focuses on the relation between communication complexity and the following three complexity measures of sequential computation:.We present a survey o作者: 聯(lián)合 時(shí)間: 2025-3-30 11:40
Computational limitations of Stochastic Turing machines and Arthur-Merlin games with small space bo games against nature, Arthur-Merlin games, or interactive proof systems with public coins. We give an overview on complexity classes defined by STMs with space resources between constant and logarithmic size and constant or sublinear bounds on the number of alternations. New lower space bounds are 作者: 人類(lèi)的發(fā)源 時(shí)間: 2025-3-30 15:53
Resolution proofs, exponential bounds, and Kolmogorov complexity,ion is a significant simplification in the proof and strengthening of the bound, as compared to [13]. We use on the one hand a simplification similar to the one suggested by Beame and Pitassi in [1] for the case of the pidgeon hole clauses. Additionally, we base our construction on a simpler version作者: 實(shí)施生效 時(shí)間: 2025-3-30 16:45 作者: 母豬 時(shí)間: 2025-3-30 22:12 作者: THROB 時(shí)間: 2025-3-31 01:00 作者: 青石板 時(shí)間: 2025-3-31 06:35 作者: 歡樂(lè)東方 時(shí)間: 2025-3-31 10:29
Specifying computations using hyper transition systems,ic non-determinism as well as recursion. Hyper transition are a generalization of transition systems and are suited for the specification of computations by means of properties that atomic steps in a computation have to satisfy. As an application we use a hyper transition system to give an operation作者: Fester 時(shí)間: 2025-3-31 14:44
A shift-invariant metric on ,, inducing a non-trivial topology,duced by this metric is perfect but not compact. Moreover we prove that the new space is “suitable” for the study of the dynamical behavior of CA. In this context sensitivity assumes a stronger meaning than before (usually .. is given the product topology). Now cellular automata are sensitive if the作者: backdrop 時(shí)間: 2025-3-31 18:00 作者: Entrancing 時(shí)間: 2025-4-1 01:26
Samson Abramsky other neurosciences in the health and well-being of Americans. It has been suggested that as many as 20% of all patients seeking medical treatment have neurologic problems, either as the presenting complaint or as an associated condition complicating the primary illness. Thus, it is fitting that Sp作者: Inexorable 時(shí)間: 2025-4-1 04:56
László Babai other neurosciences in the health and well-being of Americans. It has been suggested that as many as 20% of all patients seeking medical treatment have neurologic problems, either as the presenting complaint or as an associated condition complicating the primary illness. Thus, it is fitting that Sp作者: 皮薩 時(shí)間: 2025-4-1 07:12
Hans L. Bodlaenderrosciences in the health and well-being of Americans. It has been suggested that as many as 20% of all patients seeking medical treatment have neurologic problems, either as the presenting complaint or as an associated condition complicating the primary illness. Thus, it is fitting that Springer-Ver
