C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
UMC
2000
2001
2002
2000
2002
Keyphrases
Publications
2002
Jumpei Niwa
,
Keiji Matsumoto
,
Hiroshi Imai
General-Purpose Parallel Simulator for Quantum Computing.
UMC
(2002)
Atsushi Kameda
,
Nobuo Matsuura
,
Masahito Yamamoto
,
Azuma Ohuchi
An Analysis of Computational Efficiency of DNA Computing.
UMC
(2002)
Pawel Siwak
Filtrons of Automata.
UMC
(2002)
Carmen Graciani Díaz
,
Francisco-Jesús Martín-Mateos
,
Mario J. Pérez-Jiménez
Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment.
UMC
(2002)
Masanori Ohya
An Information Theoretic Approach to the Study of Genome Sequences: An Application to the Evolution of HIV.
UMC
(2002)
Frédéric Gruau
,
Philippe Malbos
The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation.
UMC
(2002)
Hiroshi Umeo
,
Masaya Hisaoka
,
Koshi Michisaka
,
Koji Nishioka
,
Masashi Maeda
Some New Generalized Synchronization Algorithms and Their Implementations for Large Scale Cellular Automata.
UMC
(2002)
Tomohiro Yamasaki
,
Hirotada Kobayashi
,
Hiroshi Imai
An Analysis of Absorbing Times of Quantum Walks.
UMC
(2002)
Masami Amano
,
Kazuo Iwama
,
Raymond H. Putra
Exploiting the Difference in Probability Calculation between Quantum and Probabilistic Computations.
UMC
(2002)
Toshiyuki Shimono
Towards Additivity of Entanglement of Formation.
UMC
(2002)
Mitsunori Ogihara
,
Animesh Ray
The Minimum-Model DNA Computation on a Sequence of Probe Arrays.
UMC
(2002)
Masanao Ozawa
Halting of Quantum Turing Machines.
UMC
(2002)
Manuel Lameiras Campagnolo
The Complexity of Real Recursive Functions.
UMC
(2002)
Jean-Louis Giavitto
,
Olivier Michel
Data Structure as Topological Spaces.
UMC
(2002)
Petr Sosík
,
Jirí Matýsek
Membrane Computing: When Communication Is Enough.
UMC
(2002)
Joshua J. Arulanandham
Implementing Bead-Sort with P Systems.
UMC
(2002)
André DeHon
Very Large Scale Spatial Computing.
UMC
(2002)
Takeshi Kawakami
Communication and Computation by Quantum Games.
UMC
(2002)
Álvaro Romero Jiménez
,
Mario J. Pérez-Jiménez
Generation of Diophantine Sets by Computing P Systems with External Output.
UMC
(2002)
Jirí Wiedermann
,
Jan van Leeuwen
Relativistic Computers and Non-uniform Complexity Theory.
UMC
(2002)
Katsunobu Imai
,
Kenji Fujita
,
Chuzo Iwamoto
,
Kenichi Morita
Embedding a Logically Universal Model and a Self-Reproducing Model into Number-Conserving Cellular Automata.
UMC
(2002)
Tommaso Toffoli
A Man and His Computer: An Issue of Adaptive Fitness and Personal Satisfaction.
UMC
(2002)
B. Jack Copeland
Hypercomputation in the Chinese Room.
UMC
(2002)
Shankara Narayanan Krishna
,
Raghavan Rama
On The Power of Tissue P Systems Working in the Minimal Mode.
UMC
(2002)
Jia Lee
,
Ferdinand Peper
,
Susumu Adachi
,
Kenichi Morita
,
Shinro Mashiko
Reversible Computation in Asynchronous Cellular Automata.
UMC
(2002)
Tomoyuki Yamakami
Quantum Optimization Problems.
UMC
(2002)
volume 2509, 2002
Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings
UMC
2509 (2002)
2001
Unconventional Models of Computation, UMC'2K, Proceedings of the Second International Conference, Brussel, Belgium, 13-16 December 2000
UMC
(2001)
2000
Manuel Lameiras Campagnolo
,
Cristopher Moore
Upper and Lower Bounds on Continuous-Time Computation.
UMC
(2000)
Takeyuki Hida
Some Methods of Computation in White Noise Calculus.
UMC
(2000)
Symeon Bozapalidis
Quantum Recognizable Tree Functions.
UMC
(2000)
Ioannis Antoniou
,
Viktor V. Ivanov
Compuatational Methods and Tools for Modeling and Analysis of Complex Processes.
UMC
(2000)
Hideaki Abe
,
Shao Chin Sung
Parallelizing with Limited Number of Ancillae.
UMC
(2000)
Asaki Saiton
,
Kunihiko Kaneko
Inaccessibility in Decision Procedures.
UMC
(2000)
Karl Svozil
Quantum Information: The New Frontier.
UMC
(2000)
Christino Tamon
,
Tomoyuki Yamakami
Quantum Computation Relative to Oracles.
UMC
(2000)
Grzegorz Rozenberg
DNA Processing in Ciliates - the Wonders of DNA Computing in vivo.
UMC
(2000)
Anna B. Mikhaylova
,
Boris S. Pavlov
The Quantum Domain As a Triadic Relay.
UMC
(2000)
Andrei Paun
On P Systems with Active Membranes.
UMC
(2000)
Yuzuru Sato
,
Makoto Taiji
,
Takashi Ikegami
On the Power of Nonlinear Mappings in Switching Map Systems.
UMC
(2000)
Ferdinand Peper
Spatial Computing on Self-Timed Cellular Automata.
UMC
(2000)
Karl Gustafson
An Unconventional Computational Linear Algebra: Operator Trigonometry.
UMC
(2000)
Luigi Accardi
,
Ruben Sabbadini
On the Ohya-Masuda Quantum SAT Algorithm.
UMC
(2000)
Claudio Zandron
,
Claudio Ferretti
,
Giancarlo Mauri
Solving NP-Complete Problems Using P Systems with Active Membranes.
UMC
(2000)
Hava T. Siegelmann
,
Asa Ben-Hur
Macroscopical Molecular Computation with Gene Networks.
UMC
(2000)
Carlos Martín-Vide
,
Victor Mitrana
P Systems with Valuations.
UMC
(2000)
Erik Winfree
In-vitro Transcriptional Circuits.
UMC
(2000)
Tom Head
Splicing Systems, Aqueous Computing, and Beyond.
UMC
(2000)
Gheorghe Paun
Computing with Membranes: Attacking NP-Complete Problems.
UMC
(2000)