Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 234-253 de 339
-
Artículo
P automata revisited
(Elsevier, 2012)We continue here the investigation of P automata, in their non-extended case, a class of devices which characterize ...
-
Artículo
P systems based computing polynomials: design and formal verification
(Springer, 2016)Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...
-
Artículo
P Systems Computing the Period of Irreducible Markov Chains
(Agora University of Oradea, 2009)It is well known that any irreducible and aperiodic Markov chain has exactly one stationary distribution, and for any ...
-
Artículo
P systems with evolutional communication and division rules
(MDPI, 2021)A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P ...
-
Artículo
P systems with evolutional symport and membrane creation rules solving QSAT
(Elsevier, 2022)P systems are computing devices based on sets of rules that dictate how they work. While some of these rules can change ...
-
Artículo
P systems with minimal parallelism
(Elsevier, 2007)A current research topic in membrane computing is to find more realistic P systems from a biological point of view, and ...
-
Artículo
P systems with symport/antiport rules: When do the surroundings matter?
(Elsevier, 2018-05-01)Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. ...
-
Artículo
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
(IEEE Computer Society, 2018)Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, ...
-
Artículo
Parallel multi-swarm optimizer for gene selection in DNA microarrays
(Springer, 2012)The execution of many computational steps per time unit typical of parallel computers offers an important benefit in ...
-
Artículo
Parallel simulation of Population Dynamics P systems: updates and roadmap
(Springer, 2016)Population Dynamics P systems are a type of multienvironment P systems that serve as a formal modeling framework for ...
-
Artículo
Parsing bidimensional de estructuras DAG mediante el algoritmo SCP y su aplicación al reconocimiento de habla
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2002)Este trabajo presenta una estrategia para la integración de los módulos de reconocimiento de habla, parsing basado en ...
-
Artículo
Polarizationless P Systems with Active Membranes: Computational Complexity Aspects
(Institut für Informatik, Justus-Liebig-Universität Giessen, 2016)P systems with active membranes, in their classical definition, make use of noncooperative rules only. However, it is ...
-
Artículo
Population Dynamics P System (PDP) Models: A Standardized Protocol for Describing and Applying Novel Bio-Inspired Computing Tools
(2013)Today, the volume of data and knowledge of processes necessitates more complex models that integrate all available ...
-
Artículo
Precision Agriculture Techniques and Practices: From Considerations to Applications
(MDPI, 2019)Internet of Things (IoT)-based automation of agricultural events can change the agriculture sector from being static and ...
-
Artículo
Predicativity through Transfinite Reflection
(The Association for Symbolic Logic, 2017)Let T be a second-order arithmetical theory, Λ a well-order, λ < Λ and X ⊆ ℕ. We use as a formalization of “φ is provable ...
-
Artículo
Preface - Bio-Inspired Computing: Theories and Applications (BIC-TA 2017)
(IOS Press, 2019) -
Artículo
Preface Membrane Computing 2016
(Springer, 2016) -
Artículo
Preface of the special issue for Gheorghe Pǎun’s 70th anniversary
(Springer, 2020) -
Artículo
Preface Special Issue: Advances in Membrane Computing
(Springer, 2016) -
Artículo
Programas moleculares y sistemas lógico-formales
(De Gruyter, 2012)Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación ...