Buscar
Mostrando ítems 51-60 de 76
Artículo
Computational complexity of tissue-like P systems
(Elsevier, 2010)
Artículo
The role of the direction in tissue P systems with cell separation
(Institut für Informatik, Justus-Liebig-Universität Giessen, 2014)
Tissue P systems with cell separation where the communication among cells is performed by means of symport and antiport rules are able to efficiently solve computationally hard problems in a feasible time by a space-time ...
Artículo
Extracción y organización del conocimiento de etiquetados. Aplicación a etiquetados en repositorios digitales sobre arte
(Seminario Interdisciplinar para el Estudio de la Literatura Áurea Española, 2014)
Artículo
Fault diagnosis of spur gearbox based on random forest and wavelet packet decomposition
(Springer, 2015)
This paper addresses the development of a random forest classifier for the multi-class fault diagnosis in spur gearboxes. The vibration signal’s condition parameters are first extracted by applying the wavelet packet ...
Artículo
A Study of Multiobjective Metaheuristics When Solving Parameter Scalable Problems
(IEEE Computer Society, 2010)
To evaluate the search capabilities of a multiobjective algorithm, the usual approach is to choose a benchmark of known problems, to perform a fixed number of function evaluations, and to apply a set of quality indicators. ...
Artículo
A software tool for verification of Spiking Neural P Systems
(Springer, 2008)
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae ...
Artículo
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems
(Romanian Academy, 2008)
Tissue-like P systems with cell division are computing models in the framework of membrane computing. They are inspired by the intercellular communication and neuronal synaptics, their structures being formalized ...
Artículo
Enhancing semantic consistency in anti-fraud rule-based expert systems
(Elsevier, 2017)
In this study, an ontology-driven approach is proposed for semantic conflict detection and classification inrule-based expert systems. It focuses on the critical case of anti-fraud rule repositories for the inspectionof ...
Artículo
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 parameter free Δ₁-minimization (plus exp), or (b) the scheme of parameter free Π₁-induction, then there ...
Artículo
Spiking Neural P systems with weights
(MIT Press, 2010)
A variant of spiking neural P systems with positive or negative weights on synapses is introduced, where the rules of a neuron fire when the potential of that neuron equals a given value. The involved values—weights, firing ...