Search
Results 251 - 260 of 1205
Results
P systems-based modelling of cellular signalling pathways
Tue, 12/11/2007 - 15:05 — ana
(2006). P systems-based modelling of cellular signalling pathways.
(, Ed.).Workshop on Membrane Computing, WMC7. 54-73.
Solving the Bin Packing problem by recognizer P systems with active membranes
Fri, 12/21/2007 - 14:34 — ana
(2004). Solving the Bin Packing problem by recognizer P systems with active membranes.
Second Brainstorming Week on Membrane Computing.
Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model
Thu, 01/10/2008 - 14:06 — ana
(2002). Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model.
Third International Workshop on the ACL2 Theorem Prover and its Applications. 175-187.
Tissue simulator: A graphical tool for tissue P systems
Mon, 10/27/2008 - 14:17 — mmartinez
(2007). Tissue simulator: A graphical tool for tissue P systems.
16th International Symposium on Fundamentals of Computational Theory. 23-34.
Descriptional complexity of tissue-like P systems with cell division
Wed, 10/28/2009 - 21:55 — mmartinez
(2009). Descriptional complexity of tissue-like P systems with cell division.
Lecture Notes in Computer Science. 5715, 168-178.
Uniformity: uncovering the frontier of parallelism
Tue, 11/10/2009 - 17:35 — mmartinez
(2009). Uniformity: uncovering the frontier of parallelism.
(, Ed.).10th Workshop on Membrane Computing. 556-560.
Computationally Hard Problems Addressed Through P Systems
Fri, 03/05/2010 - 20:32 — manu
(2006). Computationally Hard Problems Addressed Through P Systems.
(, Ed.).Applications of Membrane Computing. 315-346.
New strategies of using the rules of a P system in a maximal way. Power and complexity
Sat, 03/20/2010 - 13:42 — manu
(2009). New strategies of using the rules of a P system in a maximal way. Power and complexity.
Romanian Journal of Information Science and Technology. 12(2), 157-173.
Simulating a P system based efficient solution to SAT by using GPUs
Tue, 05/25/2010 - 21:27 — manu
(2010). Simulating a P system based efficient solution to SAT by using GPUs .
Journal of Logic and Algebraic Programming. 79(6), 317-325.
Teoría de Clases y Conjuntos
Tue, 09/21/2010 - 15:10 — manu
(1988). Teoría de Clases y Conjuntos.
XVIII+582.
Research Group on Natural Computing (PAI - TIC 193)
Department of Computer Science and Artificial Intelligence
University of Seville
Webmasters: the members of the RGNC
| Follow us: |  |
 |
|
Featured News: |