Listar Ciencias de la Computación e Inteligencia Artificial por título
Mostrando ítems 785-804 de 879
-
Ponencia
Temporal Fuzzy Reasoning Spiking Neural P Systems with Real Numbers for Power System Fault Diagnosis
(IMCS: International Membrane Computing Society, 2015)This paper proposes a temporal fuzzy reasoning spiking neural P sys- tem with real numbers (rTFRSN P system) and its ...
- Libro
- Libro
-
Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
(2002)En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2.
-
Tesis Doctoral
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
(2001)El objetivo principal de la Tesis es el desarrollo de una teoría computacional acerca de la lógica ecuacional, usando para ...
-
Ponencia
Testing Einstein’s Formula on Brownian Motion Using Membrane Computing
(Fénix Editora, 2008)Brownian motion refers to erratic movements of small particles of solid matter suspended in a fluid and it is the basis ...
- Tesis Doctoral
-
Ponencia
The "Catalytic Borderline" Between Universality and Non-Universality of P Systems
(Fénix Editora, 2013)P systems are computing models inspired by the structure and the function- ing of the living cells; they are the basic ...
-
Artículo
The Arabidopsis Polycomb Repressive Complex 1 (PRC1) Components AtBMI1A, B, and C Impact Gene Networks throughout All Stages of Plant Development
(American Society of Plant Biologists, 2017)Polycomb Group regulation in Arabidopsis (Arabidopsis thaliana) is required to maintain cell differentiation and allow ...
-
Ponencia
The art-space of a global community: the network of Baroque paintings in Hispanic-America
(IEEE Computer Society, 2011)This paper presents the results of a multidisciplinary collaboration in Digital Humanities that focuses on the multi-scale ...
-
Artículo
The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules
(Hindawi, 2018)Tissue P systems with evolutional communication (symport/antiport) rules are computational models inspired by biochemical systems ...
-
Ponencia
The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment
(Computer and Automation Research Institute Hungarian Academy of Sciences, 2012)The classical definition of tissue P systems includes a distinguished alphabet with the special assumption that its ...
-
Ponencia
The Factorization Problem: A New Approach Through Membrane Systems
(University of Paris Est Creteil Val de Marne, 2018)The factorization problem (given a natural number which is the product of two prime numbers, find its decomposition) is ...
-
Artículo
The framework of P systems applied to solve optimal watermarking problem
(Elsevier, 2014)Membrane computing (known as P systems) is a novel class of distributed parallel computing models inspired by the structure ...
-
Artículo
The Glycerol-Dependent Metabolic Persistence of Pseudomonas putida KT2440 Reflects the Regulatory Logic of the GlpR Repressor
(American Society for Microbiology, 2015)The growth of the soil bacterium Pseudomonas putida KT2440 on glycerol as the sole carbon source is characterized by a ...
-
Artículo
The GPU on the simulation of cellular computing models
(Springer, 2012)Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, ...
-
Ponencia
The Growth of Branching Structures with P Systems
(Fénix Editora, 2006)L-systems have been widely used to model and graphically represent the growth of plants. In, the use of membrane computing ...
-
Artículo
The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology
(Oxford Academic, 2011)The Infobiotics Workbench is an integrated software suite incorporating model specification, simulation, parameter optimization ...
-
Ponencia
The Maude System
(Springer, 1999) -
Ponencia
The metric-aware kernel-width choice for LIME
(CEUR-WS, 2023)Local Interpretable Model-Agnostic Explanations (LIME) are a well-known approach to provide local interpretability to ...