Buscar
Mostrando ítems 21-30 de 186
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(Springer, 2006)
This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
Ponencia
Metodología para la supervisión de la fiabilidad de las redes de transporte y distribución
(AEDIR (Asociación Española para el Desarrollo de la Ingeniería Electrotécnica), 2005)
En esta comunicación se describe una nueva metodología aplicable al cálculo en tiempo real de los índices de calidad de suministros en redes de transporte y de distribución. Con el método de análisis que se propone, las ...
Ponencia
QSI - Alternative Labelling and Noise Sensitivity
(University of Brasilia, 2003-08)
The are different approaches to the temporal study of time evolving systems. In the paper, this study is carried out by means of the comparison of the time series. This paper continues previous Works on QSI and studies the ...
Ponencia
A First Attempt to Model Notch Signalling by Means of P Systems
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
During mammalian central nervous system development, an enormous variety of cell types are generated. This cell diversity is due in part to asymmetrical cell division. Indeed, in some sense Notch signals link the fate ...
Ponencia
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode
(Fénix Editora, 2007)
We investigate the computing power and the efficiency of P systems with active membranes without polarizations, working in the minimally parallel mode. We prove that such systems are computationally complete and able to ...
Ponencia
Digital Data Processing Peripheral Design for an Embedded Application based on the Microblaze Soft Core
(IEEE Computer Society, 2008)
In this paper we present a design of a peripheral for MicroBlaze soft core processor as part of a R+D project carried out in cooperation with three different companies. The objective of the project consisted in the ...
Ponencia
A massively parallel framework using P systems and GPUs
(National Center for Supercomputing Applications at the University of Illinois, 2009)
Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power contained in GPUs (Graphics Processing Unit) across many computational domains. Among these domains, P ...
Ponencia
SMPSO: A new PSO-based metaheuristic for multi-objective optimization
(IEEE Computer Society, 2009)
In this work, we present a new multi-objective particle swarm optimization algorithm (PSO) characterized by the use of a strategy to limit the velocity of the particles. The proposed approach, called Speed-constrained ...
Ponencia
Classification of Gene Expression Profiles: Comparison of K-means and Expectation Maximization Algorithms
(IEEE Computer Society, 2008)
Biomedical research has been revolutionized by high throughput techniques and the enormous amount of data they are able to generate. In particular technology has the capacity to monitor changes in RNA abundance for thou ...
Ponencia
Some Notes on (Mem)Brane Computation
(Springer, 2006)
Membrane Computing and Brane Calculi are two recent computational paradigms in the framework of Natural Computing. They are based on the study of the structure and functioning of living cells as living organisms able ...