Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 352-360 de 360
-
Artículo
Uniform solutions to SAT and Subset Sum by spiking neural P systems
(Springer, 2009)We continue the investigations concerning the possibility of using spiking neural P systems as a framework for solving ...
-
Artículo
Unveiling the underlying molecular basis of astaxanthin accumulation in Haematococcus through integrative metabolomic-transcriptomic analysis
(Elsevier, 2021)Astaxanthin is a valuable and highly demanded ketocarotenoid pigment, for which the chlorophycean microalga Haematococcus ...
-
Artículo
Verification of the Formal Concept Analysis
(Real Academia de Ciencias, 2004)This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to ...
-
Artículo
Verifying a P system generating squares
(Romanian Academy, Section for Information Science and Technology, 2002)In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, ...
-
Artículo
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm
(Oxford Academic, 2013)The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted ...
-
Artículo
VIGLA-M: visual gene expression data analytics
(BMC, 2019)Background: The analysis of gene expression levels is used in many clinical studies to know how patients evolve or to ...
-
Informe
WebSnapse Tutorial: A Hands-On Approach for Web and Visual Simulations of Spiking Neural P Systems
(2023)Spiking neural P (SN P) systems were introduced as a special class of P systems. Traditional P systems involve nested ...
-
Artículo
Weighted Fuzzy Spiking Neural P Systems
(IEEE Computer Society, 2013)Spiking neural P systems (SN P systems) are a new class of computing models inspired by the neurophysiological be-havior ...
-
Artículo
When object production tunes the efficiency of membrane systems
(Elsevier, 2020)Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the ...