Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 233-252 de 360
-
Artículo
On a partial affirmative answer for a Paun's Conjecture
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2011)At the beginning of 2005, Gheorghe Pun formulated a conjecture stating that in the framework of recognizer P systems with ...
-
Artículo
On axiom schemes for T-provably Δ1 formulas
(Springer, 2014)This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and ...
-
Artículo
On spiking neural P systems
(Springer, 2010)This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some ...
-
Artículo
On the degree of parallelism in membrane systems
(Elsevier, 2007)In the literature, several designs of P systems might be found for performing the same task. The use of different techniques ...
-
Artículo
On the design of a framework integrating an optimization engine with streaming technologies
(Elsevier, 2020)A number of streaming technologies have appeared in the last years as a result of the rising of Big Data applications. ...
-
Artículo
On the efficiency of cell-like and tissue-like recognizing membrane systems
(Wiley, 2009)Cell-like recognizing membrane systems are computational devices in the framework of membrane computing inspired from the ...
-
Artículo
On the Optimality of Conservation Results for Local Reflection in Arithmetic
(Association for Symbolic Logic, 2013)Let T be a recursively enumerable theory extending Elementary Arithmetic EA. L. D. Beklemishev proved that the Σ2 local ...
-
Artículo
On the Phenomenological Reconstruction of Complex Systems—The Scale-Free Conceptualization Hypothesis
(Wiley, 2013)Phenomenological reconstruction of a complex system (CS) from collected and selected data allows us to work with formal ...
-
Artículo
On the quantifier complexity of Δ n+1 (T)– induction
(Springer, 2004)In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity ...
-
Artículo
One-shot fault diagnosis of 3D printers through improved feature space learning
(IEEE Computer Society, 2020)Signal acquisition from mechanical systems working in faulty conditions is normally expensive. As a consequence, supervised ...
-
Artículo
Ontology-driven approach for KPI meta-modelling, selection and reasoning
(Elsevier, 2021)A key challenge in current Business Analytics (BA) is the selection of suitable indicators for business objectives. This ...
-
Artículo
Optimal Cycle Program of Traffic Lights With Particle Swarm Optimization
(IEEE Computer Society, 2013)Optimal staging of traffic lights, and in particular optimal light cycle programs, is a crucial task in present day ...
-
Artículo
Optimal multi-level thresholding with membrane computing
(Elsevier, 2015)The conventional methods are not effective and efficient for image multi-level thresholding due to time-consuming and ...
-
Artículo
Optimizing ligand conformations in flexible protein targets: amulti-objective strategy
(Springer, 2020)Finding the orientation of a ligand (small molecule) with the lowest binding energy to the macromolecule (receptor) is ...
-
Capítulo de Libro
Other Buds in Membrane Computing
(Springer, 2018)It is well-known the huge Mario’s contribution to the development of Membrane Computing. Many researchers may relate his ...
-
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 ...