Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Title
Now showing items 233-252 of 360
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Article
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. ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Chapter of Book
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 ...
-
Article
P automata revisited
(Elsevier, 2012)We continue here the investigation of P automata, in their non-extended case, a class of devices which characterize ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...
-
Article
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 ...