Listar Informática por título
Mostrando ítems 498-517 de 552
-
Ponencia
The Reduction Problem in CUDA and Its Simulation with P Systems
(Fénix Editora, 2014)We introduce P systems with dynamic communication graphs which simu- late the functioning of the CUDA architecture when solving the parallel reduction prob- lem.
-
Ponencia
The Role of the Environment in Tissue P Systems with Cell Division
(Fénix Editora, 2012)Classical tissue P systems with cell division have a special alphabet whose elements appear at the initial configuration ...
-
Ponencia
The Stochastic Loss of Spikes in Spiking Neural P Systems: Design and Implementation of Reliable Arithmetic Circuits
(Fénix Editora, 2014)Spiking neural P systems (in short, SN P systems) have been introduced as computing devices inspired by the structure and ...
- Libro
-
Ponencia
Three Quantum Algorithms to Solve 3-SAT
(Fénix Editora, 2006)We propose three quantum algorithms to solve the 3-SAT NP-complete decision problem. The first algorithm builds, for any ...
-
Ponencia
Time-Driven Computations in P Systems
(Fénix Editora, 2006)It is a well-known fact that the time of execution of a (biochemical) reaction depends on many factors, and, in particular, ...
-
Ponencia
Time-freeness and Clock-freeness and Related Concepts in P Systems
(Fenix Editora, 2017)In the majority of models of P systems, rules are applied at the ticks of a global clock and their products are introduced ...
-
Ponencia
Tissue P Systems with Cell Division
(Fénix Editora, 2004)In tissue P systems several cells (elementary membranes) commu- nicate through symport/antiport rules, thus carrying out ...
-
Ponencia
(Tissue) P Systems Using Non-cooperative Rules Without Halting Conditions
(Fénix Editora, 2008)We consider (tissue) P systems using non-cooperative rules, but considering computations without halting conditions. As ...
-
Ponencia
(Tissue) P Systems with Anti-Membranes
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for ...
-
Ponencia
Tissue-like P Systems with Channel-States
(Fénix Editora, 2004)We consider tissue-like P systems with states associated with the links (we call them synapses) between cells, controlling ...
-
Ponencia
Tissue-like P Systems Without Environment
(Fénix Editora, 2010)In this paper we present a tissue-like P systems model with cell division the environment has been replaced by an extra ...
-
Ponencia
Topics and Problems in Metabolic P Systems
(Fénix Editora, 2006)P metabolic systems are a special class of P systems which seem to be adequate for expressing biological phenomena related ...
-
Ponencia
Toward a Self-replicating Metabolic P System
(Fénix Editora, 2011)This work concerns the synthesis of a "minimal cell' by means of a P system, which is a distributed rewriting system ...
-
Ponencia
Towards a Causal Semantics for Brane Calculi
(Fénix Editora, 2007)Brane Calculi are a family of biologically inspired process calculi, proposed in [6] to model the interactions of dynamically ...
-
Ponencia
Towards a P Systems Normal Form Preserving Step-by-step Behavior
(Fénix Editora, 2008)Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem ...
-
Ponencia
Towards a Programming Language in Cellular Computing
(Fénix Editora, 2004)Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in ...
-
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
-
Ponencia
Towards Automated Verification of P Systems Using Spin
(Fénix Editora, 2011)This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...
-
Ponencia
Towards Bridging Two Cell-Inspired Models: P Systems and R Systems
(Fénix Editora, 2011)We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...