Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Title
Now showing items 21-40 of 360
-
Article
A logic-algebraic tool for reasoning with Knowledge-Based Systems
(Elsevier, 2018)A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional ...
-
Article
A membrane computing framework for self-reconfigurable robots
(Springer, 2019)Self-reconfigurable robots are built by modules which can move in relationship to each other, which allows the robot ...
-
Article
A membrane computing framework for social navigation in robotics
(Elsevier, 2021)A mobile robot acting in a human environment should follow social conventions, keeping safety distances and navigating ...
-
Article
A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning
(IOS Press, 2020)In recent years, incremental sampling-based motion planning algorithms have been widely used to solve robot motion planning ...
-
Article
A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems
(MIT Press, 2008)Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to ...
-
Article
A model of three-way decisions for Knowledge Harnessing
(Elsevier, 2020)The present work introduces the Knowledge Harnessing, by showing its theoretical founda-tions as well as a three-way ...
-
Article
A multi-objective interactive dynamic particle swarm optimizer
(Springer, 2020)Multi-objective optimization deals with problems having two or more conflicting objectives that have to be optimized simulta-neously. ...
-
Article
A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors
(Springer, 2010)We consider three complexity classes defined on Accepting Hybrid Networks of Evolutionary Processors (AHNEP) and compare ...
-
Article
A new P-Lingua toolkit for agile development in membrane computing
(Elsevier, 2022)Membrane computing is a massively parallel and non-deterministic bioinspired computing paradigm whose models are called P ...
-
Article
A Note on Complexity Measures for Probabilistic P Systems
(J.UCS.org, 2004)In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in ...
-
Article
A note on parameter free Π1-induction and restricted exponentiation
(Wiley, 2011)We characterize the sets of all Π2 and all $\mathcal {B}(\Sigma _{1})$equation image (= Boolean combinations of Σ1) theorems ...
-
Article
A Note on Σ₁-Maximal Models
(Association for Symbolic Logic, 2007)Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of ...
-
Article
A novel image thresholding method based on membrane computing and fuzzy entropy
(IOS Press, 2013)Multi-level thresholding methods are a class of most popular image segmentation techniques, however, they are not computationally ...
-
Article
A P-Lingua based simulator for Tissue P systems
(Elsevier, 2010)Investigations within the field of tissue-like P systems are being conducted, on one hand studying their computational ...
-
Article
A P-Lingua based Simulator for Tissue P Systems with Cell Separation
(Romanian Academy, Section for Information Science and Technology, 2014)Tissue P systems are one of the currently active research topics within the field of Membrane Computing. In particular, ...
-
Article
A parallel algorithm for skeletonizing images by using spiking neural P systems
(Elsevier, 2013-09)Skeletonization is a common type of transformation within image analysis. In general, the image B is a skeleton of the ...
-
Article
A path to computational efficiency through membrane computing
(Elsevier, 2019)The search for new mechanisms and tools allowing us to tackle the famousPversusNPproblem from new perspectives is an ...
-
Article
A polynomial alternative to unbounded environment for tissue P systems with cell division
(Taylor and Francis, 2013)The standard definition of tissue P systems includes a special alphabet whose elements are assumed to appear in the initial ...
-
Article
A Prolog Simulator for Deterministic P Systems with Active Membranes
(Springer, 2004)In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. ...
-
Article
A proxitome-RNA-capture approach reveals that processing bodies repress co-regulated hub genes
(American Society of Plant Biologists, 2023-11-16)Cellular condensates are usually ribonucleoprotein assemblies with liquid- or solid-like properties. Because these subcellular ...