close
1.

電子ブック

EB
Cristian S. Calude, Elena Calude, M. J. Dinneen, Michael J. Dinneen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック

EB
Cristian S. Calude, Jos? F?lix Costa, Rudolf Freund, Takeo Kanade, Marion Oswald, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
3.

電子ブック

EB
Cristian S. Calude, Michael J. Dinneen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック

EB
Cristian S. Calude, Jos? F?lix Costa, Nachum Dershowitz, Elisabete Freire, Takeo Kanade, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
5.

電子ブック

EB
Cristian S. Calude, Masami Hagiya, Takeo Kanade, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Computations Inspired from the Brain / Shun-ichi Amari
Algebras and Languages for Molecular Programming / Luca Cardelli
A Computational Journey into Nonlinearity / Françoise Chatelin
Computable Scientists, Uncomputable World (Abstract) / José Félix Costa
Regular Contributions
Finite State Transducers with Intuition / Ruben Agadzanyan ; Rusinš Freivalds
Reversibility and Determinism in Sequential Multiset Rewriting / Artiom Alhazov ; Rudolf Freund ; Kenichi Morita
Synchronization in P Modules / Michael J. Dinneen ; Yun-Bum Kim ; Radu Nicolescu
On Universality of Radius 1/2 Number-Conserving Cellular Automata / Katsunobu Imai
DNA Origami as Self-assembling Circuit Boards / Kyoung Nan Kim ; Koshala Sarveswaran ; Lesli Mark ; Marya Lieberman
Tug-of-War Model for Multi-armed Bandit Problem / Song-Ju Kim ; Masashi Aono ; Masahiko Hara
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter / Chris Lovell ; Gareth Jones ; Steve R. Gunn ; Klaus-Peter Zauner
Majority Adder Implementation by Competing Patterns in Life-Like Rule B2/S2345 / Genaro J. Martínez ; Andrew Adamatzky ; Maurice Margenstern
Solving Partial Differential Equation via Stochastic Process / Jun Ohkubo
Postselection Finite Quantum Automata / Oksana Scegulnaja-Dubrovska ; Lelde Lace
A New Representation of Chaitin ? Number Based on Compressible Strings / Kohtaro Tadaki
Quantum Query Algorithms for Conjunctions / Alina Vasilieva ; Taisia Mischenko-Slatenkova
Universal Continuous Variable Quantum Computation in the Micromaser / Rob C. Wagner ; Mark S. Everitt ; Viv M. Kendon ; Martin L. Jones
Quantum Computation with Devices Whose Contents Are Never Read / Abuzer Yakaryilmaz ; A. C. Cem Say
The Extended Glider-Eater Machine in the Spiral Rule / Liang Zhang
Posters
Formalizing the Behavior of Biological Processes with Mobility / Bogdan Aman ; Gabriel Ciobanu
Quantum Finite State Automata over Infinite Words / Ilze Dzelme-Berzina
A Geometrical Allosteric DNA Switch / Anthony J. Genot ; Jon Bath ; Andrew J. Turberfield
Properties of "Planar Binary (Butchi Number)" / Yuuki Iwabuchi ; Junichi Akita
Characterising Enzymes for Information Processing: Microfluidics for Autonomous Experimentation / Hywel Morgan
Inference with DNA Molecules / Alfonso Rodríguez-Patón ; José María Larrea ; Iñaki Sainz de Murieta
A Network-Based Computational Model with Learning / Hideaki Suzuki ; Hiroyuki Ohsaki ; Hidefumi Sawai
Image Processing with Neuron-Like Branching Elements (POSTER) / Hisako Takigawa-Imamura ; Ikuko N. Motoike
Author Index
Invited Talks
Computations Inspired from the Brain / Shun-ichi Amari
Algebras and Languages for Molecular Programming / Luca Cardelli
6.

電子ブック

EB
Cristian S. Calude, Takeo Kanade, Grzegorz Rozenberg, Arto Salomaa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Algorithmics
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
Formal Languages and Automata
Ancient Typefaces and Parametric Weighted Finite Automata / Jürgen Albert ; German Tischler
On Language Decompositions and Primality / Michael Domaratzki ; Kai Salomaa
A Unifying Kleene Theorem for Weighted Finite Automata / Zoltán Ésik ; Werner Kuich
Local Squares, Periodicity and Finite Automata / Mari Huova ; Juhani Karhumäki ; Aleksi Saarela ; Kalle Saari
P and dP Automata: A Survey / Gheorghe Paun ; Mario J. Pérez-Jiménez
On the General Coloring Problem / N. W. Sauer
Learning
Transdisciplinary Collaboration and Lifelong Learning: Fostering and Supporting New Learning Opportunities / Gitta Domik ; Gerhard Fischer
Towards an Open Learning Infrastructure for Open Educational Resources: Abundance as a Platform for Innovation / Erik Duval ; Katrien Verbert ; Joris Klerkx
Why E-Learning as It Stands Is Not Enough / Narayanan Kulathuramaiyer ; Hermann Maurer
The Practice of Informatics
Domains: Their Simulation, Monitoring and Control-A Divertimento of Ideas and Suggestions / Dines Bjørner
Roots and Stimuli to a New Perception of Informatics / Jozef Gruska
Towards a New Shape Description Paradigm Using the Generative Modeling Language / Sven Havemann ; Dieter W. Fellner
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities / Jan van Leeuwen ; Jirí Wiedermann
Maintaining the Personal Style and Flair of Handwriting in Presentation Recordings / Khaireel A. Mohamed ; Thomas Ottmann
TGV-Fusion / Thomas Pock ; Lukas Zebedin ; Horst Bischof
Secure and Privacy-Preserving eGovernment-Best Practice Austria / Karl Christian Posch ; Reinhard Posch ; Arne Tauber ; Thomas Zefferer ; Bernd Zwattendorfer
The Quest for Uncertainty / Jörg Zimmermann ; Armin B. Cremers
Author Index
Algorithmics
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
7.

電子ブック

EB
Cristian S. Calude, Takeo Kanade, Jarkko Kari, Ion Petre, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Lectures and Tutorials
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
Unconventional Optimizer Development / David Corne
A Formal Framework for Bioprocesses in Living Cells / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Quantum Information - A Tutorial / Mika Hirvensalo
Weighted Finite Automata: Computing with Different Topologies / Juhani Karhumäki ; Turo Sallinen
Tutorial on Cellular Automata / Nicolas Ollinger
Membrane Computing at Twelve Years (Back to Turku) / Gheorghe Paun
Membrane Computing (Tutorial) / Ignacio Pérez-Huriado ; Mario J. Pérez-Jiménez ; Agustín Riscos-Núñez ; Francisco J. Romero-Campero
Regular Contributions
Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits / Alastair A. Abbott ; Cristian S. Calude
Robustness of Cellular Automata in the Light of Asynchronous Information Transmission / Olivier Bouré ; Nazim Fatès ; Vincent Chevrier
Hidden Variables Simulating Quantum Contextuality Increasingly Violate the Holevo Bound / Adán Cabello ; Joost J. Joosten
Can Anything from Noether's Theorem Be Salvaged for Discrete Dynamical Systems? / Silvio Capobianco ; Tommaso Toffoli
On Normal Forms for Networks of Evolutionary Processors / Jürgen Dassow ; Florin Manea ; Bianca Truthe
Geometrical Accumulations and Computably Enumerable Real Numbers / Jérôme Durand-Lose
Heterotic Computing / Viv Kendon ; Angelika Sebald ; Susan Stepney ; Matthias Bechmann ; Peter Hines ; Robert C. Wagner
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution / Takahiro Kubota ; Yoshihiko Kakutani ; Go Kato ; Yasuhito Kawano
Geometric Computations by Broadcasting Automata on the Integer Grid / Russell Martin ; Thomas Nickson ; Igor Potapov
Computations with Uncertain Time Constraints: Effects on Parallelism and Universality / Naya Nagy ; Selim G. Akl
BFS Solution for Disjoint Paths in P Systems / Radu Nicolescu ; Huiling Wu
The Key Elements of Logic Design in Ternary Quantum-Dot Cellular Automata / Primoz Pecar ; Iztok Lebar Bajec
A Universal Flying Amorphous Computer / Lukáš Petru ; Jirí Wiedermann
Computation with Narrow CTCs / A.C. Cem Say ; Abuzer Yakaryilmaz
Extended Watson-Crick L Systems with Regular Trigger Languages / David Sears ; Kai Salomaa
Computing with Planar Toppling Domino Arrangements / William M. Stevens
Increasing Fault-Tolerance in Cellular Automata-Based Systems / Ludek Zaloudek ; Lukáš Sekanina
Author Index
Invited Lectures and Tutorials
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
8.

電子ブック

EB
Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Takeo Kanade, Grzegorz Rozenberg, H. Todd Wareham
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
How Neural Computing Can Still Be Unconventional After All These Years / Michael A. Arbib
Optimal Algorithmic Cooling of Spins / Yuval Elias ; Jose M. Fernandez ; Tal Mor ; Yossi Weinstein
Nanocomputing by Self-assembly / Lila Kari
Organic User Interfaces (Oui!): Designing Computers in Any Way Shape or Form / Roel Vertegaal
Regular Papers
Unconventional Models of Computation Through Non-standard Logic Circuits / Juan C. Agudelo ; Walter Carnielli
Amoeba-Based Nonequilibrium Neurocomputer Utilizing Fluctuations and Instability / Masashi Aono ; Masahiko Hara
Unconventional "Stateless" Turing-Like Machines / Joshua J. Arulanandham
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode / Rudolf Freund ; Gheorghe Paun ; Mario J. Perez-Jimenez
On One Unconventional Framework for Computation / Lev Goldfarb
Computing Through Gene Assembly / Tseren-Onolt Ishdorj ; Ion Petre
Learning Vector Quantization Network for PAPR Reduction in Orthogonal Frequency Division Multiplexing Systems / Seema Khalid ; Syed Ismail Shah ; Jamil Ahmad
Binary Ant Colony Algorithm for Symbol Detection in a Spatial Multiplexing System / Adnan Khan ; Sajid Bashir ; Muhammad Naeem ; Asrar Sheikh
Quantum Authenticated Key Distribution / Naya Nagy ; Selim G. Akl
The Abstract Immune System Algorithm / Jose Pacheco ; Jose Felix Costa
Taming Non-compositionality Using New Binders / Frederic Prost
Using River Formation Dynamics to Design Heuristic Algorithms / Pablo Rabanal ; Ismael Rodriguez ; Fernando Rubio
Principles of Stochastic Local Search / Uwe Schoning
Spatial and Temporal Resource Allocation for Adaptive Parallel Genetic Algorithm / K.Y. Szeto
Gravitational Topological Quantum Computation / Mario Velez ; Juan Ospina
Computation in Sofic Quantum Dynamical Systems / Karoline Wiesner ; James P. Crutchfield
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing / Linmin Yang ; Zhe Dang ; Oscar H. Ibarra
Author Index
Invited Papers
How Neural Computing Can Still Be Unconventional After All These Years / Michael A. Arbib
Optimal Algorithmic Cooling of Spins / Yuval Elias ; Jose M. Fernandez ; Tal Mor ; Yossi Weinstein
9.

電子ブック

EB
Cristian S. Calude, Elena Calude, M. J. Dinneen, Michael J. Dinneen, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック

EB
Cristian S. Calude, Michael J. Dinneen, Takeo Kanade, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼