Sciweavers

6978 search results - page 183 / 1396
» On Proofs in System P
Sort
View
JUCS
2002
80views more  JUCS 2002»
15 years 6 months ago
On the Power of P Systems with Symport Rules
: A purely communicative variant of P systems was considered recently, based on the trans-membrane transport of couples of chemicals. When using both symport rules (the chemicals p...
Carlos Martín-Vide, Andrei Paun, Gheorghe P...
MCU
2004
96views Hardware» more  MCU 2004»
15 years 8 months ago
Computational Completeness of P Systems with Active Membranes and Two Polarizations
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
Artiom Alhazov, Rudolf Freund, Gheorghe Paun
FUIN
2006
93views more  FUIN 2006»
15 years 6 months ago
Membrane Computing and Economics: Numerical P Systems
Abstract. With inspiration from the economic reality, where numbers are basic entities to work with, we propose a genuinely new kind of P systems, where numerical variables evolve,...
Gheorghe Paun, Radu A. Paun
FUIN
2006
89views more  FUIN 2006»
15 years 6 months ago
(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...
Artiom Alhazov, Rudolf Freund, Alberto Leporati, M...
ICMCS
2010
IEEE
167views Multimedia» more  ICMCS 2010»
15 years 6 months ago
An embedded P2P-based positional audio system in virtual environments
Networked virtual environments are increasingly used for collaboration tasks and other interactive applications. While the graphics in such virtual worlds are usually three-dimens...
Beomjoo Seo, Roger Zimmermann, Min Min Htoon, Chun...