Buscar
Mostrando ítems 1-10 de 16
Artículo
Computation of Ramsey Numbers by P Systems with Active Membranes
(World Scientific, 2011)
Ramsey numbers deal with conditions when a combinatorial object necessarily contains some smaller given objects. It is well known that it is very difficult to obtain the values of Ramsey numbers. In this work, a theoretical ...
Artículo
A Virtual Laboratory for the Study of History and Cultural Dynamics
(JASSS, 2011)
This article presents a Virtual Laboratory that enables the researcher to try hypothesis and confirm data analysis about different historical processes and cultural dynamics. This Virtual Cultural Laboratory (VCL) is ...
Artículo
Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2
(Springer, 2011)
Higman’s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. In this paper we present a formalization and proof of Higman’s Lemma in the ACL2 theorem prover. ...
Artículo
Spiking Neural P systems with several types of spikes
(Agora University of Oradea, 2011)
With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling along the axons of neurons, we consider an extension of spiking neural P systems, where several ...
Artículo
Trivial: Sistema de Diálogo Hablado para Enseñanza de Contenidos Didácticos Universitarios
(Comunidad de Madrid, 2011)
Este artículo describe la utilización de las nuevas tecnologías de la información y las comunicaciones para favorecer el aprendizaje autónomo y la autoevaluación de conocimientos adquiridos por alumnos universitarios, ...
Artículo
A computational modeling for real ecosystems based on P systems
(Springer, 2011)
In this paper, a P systems based general framework for modeling ecosystems dynamics is presented. Particularly, ecosystems are specified by means of multienvironment P systems composed of a finite number of environments, ...
Artículo
A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem
(IOS Press, 2011)
A tissue P system with cell division is a computing model which has two basic features: intercellular communication and the ability of cell division. The ability of cell division allows us to obtain an exponential amount ...
Artículo
A software tool for generating graphics by means of P systems
(Springer, 2011-06)
The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes and objects increases. In this paper we present a new software tool, called JPLANT, for computing ...
Artículo
The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology
(Oxford Academic, 2011)
The Infobiotics Workbench is an integrated software suite incorporating model specification, simulation, parameter optimization and model checking for Systems and Synthetic Biology. A modular model specification allows ...
Artículo
The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain
(ERCIM EEIG, 2011-04)
The Spanish Network on Biomolecular and Biocellular Computing (Redbiocom) is a consortium of seven Spanish research groups whose research activities focus on the bio-inspired approach to Natural Computing. The Network was ...