Listar Ciencias de la Computación e Inteligencia Artificial por título
Mostrando ítems 771-790 de 880
-
Ponencia
Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem
(Springer, 2015)Spiking neural P systems with structural plasticity (in short, SNPSP systems) are models of computations inspired by the ...
-
Artículo
Spiking Neural P systems with weights
(MIT Press, 2010)A variant of spiking neural P systems with positive or negative weights on synapses is introduced, where the rules of a ...
-
Capítulo de Libro
Spiking Neural P Systems. Recent Results, Research Topics
(Springer, 2009)After a quick introduction of spiking neural P systems (a class of P systems inspired from the way neurons communicate ...
-
Capítulo de Libro
Spiking Neural P Systems: A Short Introduction and New Normal Forms
(Editorial Academiei, 2012)Spiking neural P systems are a class of P systems inspired from the way the neurons communicate with each other by means ...
-
Ponencia
Stern-Gerlach Experiment
(Fénix, 2016)This work is about modelling an experiment composed by multiple Stern- Gerlach devices using Membrane Computing. We will ...
-
Ponencia
Stochastic Approaches in P Systems for Simulating Biological Systems
(Fénix Editora, 2006)Different stochastic strategies for modeling biological systems with P systems are reviewed in this paper, such as the ...
-
Ponencia
Structure and parameter estimation for cell systems biology models
(ACM Digital Library, 2008)In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our ...
-
Ponencia
Studying the Chlorophyll Fluorescence in Cyanobacteria with Membrane Computing Techniques
(Fénix Editora, 2013)In this paper, we report a pioneer study of the decrease in chlorophyll uorescence produced by the reduction of MTT (a ...
-
Ponencia
Studying the Chlorophyll Fluorescence in Cyanobacteria with Membrane Computing Techniques
(Research Group of Natural Computing, 2013)In this paper, we report a pioneer study of the decrease in chlorophyll fluorescence produced by the reduction of MTT (a ...
-
Artículo
Sustaining a Global Community: Art and Religion in the Network of Baroque Hispanic-American Paintings
(MIT Press, 2012)The authors analyze the network of Hispanic baroque paintings from 1550 to 1850. They divide the dataset of 11,443 works ...
-
Artículo
Swarm intelligence for traffic light scheduling: Application to real urban areas
(Elsevier, 2012)Congestion, pollution, security, parking, noise, and many other problems derived from vehicular traffic are present every ...
-
Ponencia
SylvaDB: A Polyglot and Multi-backend Graph Database Management System
(ScitePress Digital Library, 2013)This paper presents SylvaDB, a graph database management system designed to be used by people with no technical knowledge. ...
-
Artículo
Symport/Antiport P Systems with Three Objects Are Universal
(IOS Press, 2005)The operations of symport and antiport, directly inspired from biology, are already known to be rather powerful when used ...
-
Ponencia
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
(Springer, 2016)This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize ...
-
Ponencia
Temporal Fuzzy Reasoning Spiking Neural P Systems with Real Numbers for Power System Fault Diagnosis
(IMCS: International Membrane Computing Society, 2015)This paper proposes a temporal fuzzy reasoning spiking neural P sys- tem with real numbers (rTFRSN P system) and its ...
- Libro
- Libro
-
Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
(2002)En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2.
-
Tesis Doctoral
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
(2001)El objetivo principal de la Tesis es el desarrollo de una teoría computacional acerca de la lógica ecuacional, usando para ...
-
Ponencia
Testing Einstein’s Formula on Brownian Motion Using Membrane Computing
(Fénix Editora, 2008)Brownian motion refers to erratic movements of small particles of solid matter suspended in a fluid and it is the basis ...