標(biāo)題: Titlebook: Machines, Computations, and Universality; Third International Maurice Margenstern,Yurii Rogozhin Conference proceedings 2001 Springer-Verl [打印本頁] 作者: Forestall 時(shí)間: 2025-3-21 17:01
書目名稱Machines, Computations, and Universality影響因子(影響力)
書目名稱Machines, Computations, and Universality影響因子(影響力)學(xué)科排名
書目名稱Machines, Computations, and Universality網(wǎng)絡(luò)公開度
書目名稱Machines, Computations, and Universality網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Machines, Computations, and Universality被引頻次
書目名稱Machines, Computations, and Universality被引頻次學(xué)科排名
書目名稱Machines, Computations, and Universality年度引用
書目名稱Machines, Computations, and Universality年度引用學(xué)科排名
書目名稱Machines, Computations, and Universality讀者反饋
書目名稱Machines, Computations, and Universality讀者反饋學(xué)科排名
作者: 浪費(fèi)時(shí)間 時(shí)間: 2025-3-21 22:04 作者: Optic-Disk 時(shí)間: 2025-3-22 01:53
f motion can be transformed into the ., i.e. into a first order differential equation for the state vector of the system. Ordinary mechanical vibrating systems and the analogous electrical systems may be equally represented by their equations of motion or their state equations. This is however not t作者: STIT 時(shí)間: 2025-3-22 06:31
Claudio Baiocchiditions for . and conditions for .. In multi-dof-vibrating systems there may also appear . with finite amplitudes beside strict resonances with infinite amplitudes. Conditions for both cases will be derived. Moreover, one can find excitation vectors which certainly lead to pseudoresonance. Also, in 作者: 完成 時(shí)間: 2025-3-22 11:03 作者: Recess 時(shí)間: 2025-3-22 15:22
Juhani Karhum?kif motion can be transformed into the ., i.e. into a first order differential equation for the state vector of the system. Ordinary mechanical vibrating systems and the analogous electrical systems may be equally represented by their equations of motion or their state equations. This is however not t作者: Nomadic 時(shí)間: 2025-3-22 17:56
Kenichi Moritan this book to derive a general spectral theory for nonlinear systems. We shall then briefly show how to apply the same ideas to generalise exponential dichotomies and the Sacker-Sell spectrum to nonlinear systems. We shall assume a basic knowledge of functional analysis and distribution theory.作者: 壓倒性勝利 時(shí)間: 2025-3-22 23:54
Géraud Sénizerguesn this book to derive a general spectral theory for nonlinear systems. We shall then briefly show how to apply the same ideas to generalise exponential dichotomies and the Sacker-Sell spectrum to nonlinear systems. We shall assume a basic knowledge of functional analysis and distribution theory.作者: 耕種 時(shí)間: 2025-3-23 04:27
Claudio Zandron,Claudio Ferretti,Giancarlo Maurial Programming. LFP deals with that class of mathematical programming problems in which the relations among the variables are linear: the con- straint relations (i.e. the restrictions) must be in linear form and the function to be optimized (i.e. the objective function) must be a ratio of two linear作者: 臭了生氣 時(shí)間: 2025-3-23 08:25 作者: lethal 時(shí)間: 2025-3-23 19:16
Henning Fernausis of compact molecular orbitals using constrained atomic orbital expansion (CMO). Gradual release of the expansion constraints leads to determination of the theoretically most localized solution under small non-orthogonality of CMOs. Validation tests confirm good agreement of the LocalSCF method w作者: 地名表 時(shí)間: 2025-3-24 01:40
Martin Kutribhe, da? eine Behandlung der Linearen Algebra in der Ober- stufe nicht nur m?glich, sondern auch besonders dazu geeignet ist, die in den Richtlinien geforderte Vertiefung des Mathematikunterrichts durchzufUhren. Erstens gibt es n?mlich in der Linearen Algebra viele S?tze, deren Beweise kurz und leicht genug si978-3-322-97917-9978-3-322-98452-4作者: Folklore 時(shí)間: 2025-3-24 03:44 作者: 進(jìn)步 時(shí)間: 2025-3-24 06:50
Madhu Mutyam,Kamala Krithivasan . 8 1. 3 Test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1. 4 Literaturhinweis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1. 5 übungen . . . . . . . . . . . . . . . . . . . . 作者: 藥物 時(shí)間: 2025-3-24 11:40
Power, Puzzles and Properties of Entanglement has also been to a large extent quantum entanglement that has led in quantum mechanics to asking fundamentally new questions and has brought a chance to see in a more profound way various features of the quantum world (and this way it can contribute to a new understanding of the foundations of quan作者: 錢財(cái) 時(shí)間: 2025-3-24 17:18
Conference proceedings 2001tandards. We hope that the present volume will convince the reader that the tradition of previous conferences have been upheld by this one. Cellular automata and molecular computing are well represented in this volume. And this is also the case for quantum computing, f- mal languages, and the theory作者: 極端的正確性 時(shí)間: 2025-3-24 21:57 作者: 最高點(diǎn) 時(shí)間: 2025-3-24 23:30
Carlos Martín-Vide,Gheorghe P?unechnical systems with many degrees of freedom in a form allowing the use of computers for finding solutions. Part I begins with the classification of vibrating 978-94-010-8735-3978-94-009-5047-4Series ISSN 0169-667X 作者: lethal 時(shí)間: 2025-3-25 07:15 作者: 宏偉 時(shí)間: 2025-3-25 11:03
Computation in Gene Networkstial equations we show that the evolution of protein concentrations in a cell can be considered as a process of computation. This is demonstrated by showing that this model can simulate memory bounded Turing machines. The simulation is robust with respect to perturbations of the system, an important作者: Hemoptysis 時(shí)間: 2025-3-25 12:38 作者: expeditious 時(shí)間: 2025-3-25 16:12 作者: 蛤肉 時(shí)間: 2025-3-25 20:23
Computing with Membranes (P Systems): Universality Resultsh symbol-objects and with string-objects; in the latter case, we consider systems based on rewriting, splicing, as well as rewriting together with other operations (replication, crossingover), with sets or with multisets of strings. Besides recalling characterizations of recursively enumerable langu作者: Fsh238 時(shí)間: 2025-3-26 03:55
A Simple Universal Logic Element and Cellular Automata for Reversible Computingices based on microscopic physical law in the near future. In this paper, we focus on a problem how universal computers can be built from primitive elements with very simple reversible rules. We introduce a new reversible logic element called a “rotary element”, and show that any reversible Turing m作者: Mangle 時(shí)間: 2025-3-26 04:29
The Equivalence Problem for Computational Models: Decidable and Undecidable Casesthe most-used models of computer programs, give a brief overview of the attempts to refine the boarder between decidable and undecidable cases of the equivalence problem for these models, and discuss the techniques for proving the decidability of the equivalence problem.作者: MIME 時(shí)間: 2025-3-26 10:38
Two Normal Forms for Rewriting P Systems we consider Rewriting P Systems which use electrical charges to move objects between the membranes. We show that electrical charges, a feature introduced in order to obtain more “realistic” systems, induces simple systems: we define two normal forms for two variants of Rewriting P Systems which mak作者: CRACK 時(shí)間: 2025-3-26 14:04
On a Conjecture of K?rka. A Turing Machine with No Periodic ConfigurationsTuring machine — when seen as a dynamical system on the space of its configurations — has at least one periodic orbit. In this paper, we provide an explicit counter-example to this conjecture. We also consider counter machines and prove that, in this case, the problem of determining if a given machi作者: Brocas-Area 時(shí)間: 2025-3-26 19:26 作者: 貞潔 時(shí)間: 2025-3-27 00:05 作者: Observe 時(shí)間: 2025-3-27 02:11 作者: 相反放置 時(shí)間: 2025-3-27 08:22
On the Number of Non-Terminal Symbols in Graph-Controlled, Programmed and Matrix Grammarsammars with appearance checking for generating arbitrary recursively enumerable languages. Of special interest is the result that the number of non-terminal symbols used in the appearance checking mode can be restricted to two. In the case of graph controlled (and programmed grammars) with appearanc作者: insomnia 時(shí)間: 2025-3-27 11:49
Speeding-Up Cellular Automata by Alternationsrray (IA), and a finite array (delimited at both ends) of n cells with parallel input mode, called a bounded cellular array (BCA). This paper presents a quadratic speedup theorem for IAs and an exponential speedup theorem for BCAs by using alternations. It is shown that for any computable functions 作者: 充足 時(shí)間: 2025-3-27 15:51 作者: instructive 時(shí)間: 2025-3-27 21:29 作者: Galactogogue 時(shí)間: 2025-3-28 01:48
P Systems with Membrane Creation: Universality and Efficiencyly universal. In this paper, we propose a new variant of Psystems, ., in which some objects are productive and create membranes. This new variant of Psystems is capable of solving the Hamiltonian Path Problem in linear time. We show that Psystems with membrane creation are computationally complete.作者: 者變 時(shí)間: 2025-3-28 03:39
arge displacements in vibrations are seldom desirable, indeed, just the opposite holds true. The engineer makes efforts to arrange the vibrating system so that its motion is kept within the vicinity of a prescribed reference motion. When this is the case, the equations of motion relative to this ref作者: Volatile-Oils 時(shí)間: 2025-3-28 07:35 作者: 預(yù)防注射 時(shí)間: 2025-3-28 10:46
Asa Ben-Hur,Hava T. Siegelmannn is usually called resonance and it is characteristic for undamped and lightly damped vibrating systems. For multi-dof-systems there may exist not only one but possibly more resonance frequencies. Since the occurance of resonance in vibrating systems is undesirable, due to the large amplitudes, the作者: 半圓鑿 時(shí)間: 2025-3-28 15:33 作者: Multiple 時(shí)間: 2025-3-28 18:50
Juhani Karhum?kiarge displacements in vibrations are seldom desirable, indeed, just the opposite holds true. The engineer makes efforts to arrange the vibrating system so that its motion is kept within the vicinity of a prescribed reference motion. When this is the case, the equations of motion relative to this ref作者: accrete 時(shí)間: 2025-3-29 01:58
Carlos Martín-Vide,Gheorghe P?unectronic computers. At present, improvements in precision are obtained by a more accurate modelling of technical systems. Thus, for instance, a system with one degree of freedom is often not accepted, as it used to be, as a model for vibration analysis in mechanical engineering. As a rule, vehicles 作者: 牽索 時(shí)間: 2025-3-29 04:54
Kenichi Moritastorically this was the approach taken by control engineers until the introduction of state-space theory. The techniques developed in the past include Nyquist and Bode diagrams, pole assignment and root locus methods. Frequency domain methods are therefore extremely important, especially for the sup作者: 名義上 時(shí)間: 2025-3-29 10:04 作者: Facilities 時(shí)間: 2025-3-29 13:46 作者: 使害羞 時(shí)間: 2025-3-29 19:16
Claudio Zandron,Claudio Ferretti,Giancarlo Mauriian mathematician B. Martos and his associates in the 1960‘s, is concerned with problems of op- timization. LFP problems deal with determining the best possible allo- cation of available resources to meet certain specifications. In particular, they may deal with situations where a number of resource作者: 宣稱 時(shí)間: 2025-3-29 22:38 作者: Offensive 時(shí)間: 2025-3-30 01:43
Didier Caucalrmance associated with a stochastic tracking system which is closely supervised by a reference command input and a desired trajectory. Both compactness from logic of state-space model description and quantitativity from probabilistic knowledge of stochastic disturbances are exploited to therefore al作者: MEAN 時(shí)間: 2025-3-30 05:15
Gabriel Ciobanu,Mihai Rotaruts with a brief introduction to the basics of the Cholesky decomposition technique. Subsequently, examples of applications of the technique to ab inito procedures are presented. The technique is demonstrated to be a special type of a resolution-of-identity or density-fitting scheme. This is followed作者: Jejune 時(shí)間: 2025-3-30 09:42 作者: 不適當(dāng) 時(shí)間: 2025-3-30 12:43
Martin Kutribile der Mathematik, aber auch in der Physik und in anderen Anwendungsbereichen der Mathematik wird sie ben?tigt. So geh?rt sie in der Ausbildung eines Mathematikers oder Physikers an einer Universit?t mit an den Anfang. Die Schule bereitet jedoch meist noch zu einseitig nur auf die Infinitesimalrech作者: 阻礙 時(shí)間: 2025-3-30 19:20
Salvatore La Torre,Margherita Napoli,Mimmo Parenteile der Mathematik, aber auch in der Physik und in anderen Anwendungsbereichen der Mathematik wird sie ben?tigt. So geh?rt sie in der Ausbildung eines Mathematikers oder Physikers an einer Universit?t mit an den Anfang. Die Schule bereitet jedoch meist noch zu einseitig nur auf die Infinitesimalrech作者: 事與愿違 時(shí)間: 2025-3-30 23:27
Madhu Mutyam,Kamala Krithivasan Probleme so manche Stunde für uns abgezweigt hat. Auch Frau Zirngibl danke ich für Ihre Mithilfe bei der Vorbereitung des Manuskripts. Kurz vor Ablauf des Termins schlie?lich, wenn sich der Flei? zur Hektik steigert, h?tte ich ohne den Einsatz meiner Mitarbeiter Martin Lercher und Robert Mandl wie 作者: 高射炮 時(shí)間: 2025-3-31 02:34 作者: compel 時(shí)間: 2025-3-31 08:54 作者: 有偏見 時(shí)間: 2025-3-31 11:21 作者: 等待 時(shí)間: 2025-3-31 14:53
Combinatorial and Computational Problems on Finite Sets of Wordsems are natural extensions of three well-understood problems on words, namely those of the ., the ., and the .. Each of these problems provides challenging questions in the case of finite sets of words.作者: 植物學(xué) 時(shí)間: 2025-3-31 19:28
The Equivalence Problem for Computational Models: Decidable and Undecidable Casesthe most-used models of computer programs, give a brief overview of the attempts to refine the boarder between decidable and undecidable cases of the equivalence problem for these models, and discuss the techniques for proving the decidability of the equivalence problem.作者: 大酒杯 時(shí)間: 2025-3-31 23:51
Two Normal Forms for Rewriting P Systems we consider Rewriting P Systems which use electrical charges to move objects between the membranes. We show that electrical charges, a feature introduced in order to obtain more “realistic” systems, induces simple systems: we define two normal forms for two variants of Rewriting P Systems which make use of electrical charges.作者: CRUDE 時(shí)間: 2025-4-1 05:14
JC-Netssemantics for a Turing complete fragment of the join calculus. Thus a new formal model for concurrency and distributed systems is introduced.This new formal model simplifies Milner’s π-nets, while preserving their expressive power.作者: Precursor 時(shí)間: 2025-4-1 08:27
P Systems with Membrane Creation: Universality and Efficiencyly universal. In this paper, we propose a new variant of Psystems, ., in which some objects are productive and create membranes. This new variant of Psystems is capable of solving the Hamiltonian Path Problem in linear time. We show that Psystems with membrane creation are computationally complete.作者: Dawdle 時(shí)間: 2025-4-1 10:45 作者: omnibus 時(shí)間: 2025-4-1 15:13
Maurice Margenstern,Yurii RogozhinIncludes supplementary material: 作者: Asparagus 時(shí)間: 2025-4-1 19:53
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/620814.jpg作者: 外向者 時(shí)間: 2025-4-2 00:06 作者: Arable 時(shí)間: 2025-4-2 06:49
Machines, Computations, and Universality978-3-540-45132-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 人類的發(fā)源 時(shí)間: 2025-4-2 09:23
A Simple Universal Logic Element and Cellular Automata for Reversible Computingachine can be realized as a circuit composed only of them. Such reversible circuits work in a very different fashion from conventional ones. We also discuss a simple reversible cellular automaton in which a rotary element can be implemented.
