Buscar
Mostrando ítems 311-320 de 356
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 computationally hard problems, addressing two problems which were already recently considered in this ...
Artículo
Fuzzy reasoning spiking neural P system for fault diagnosis
(Elsevier, 2013)
Spiking neural P systems (SN P systems) have been well established as a novel class of distributed parallel computing models. Some features that SN P systems possess are attractive to fault diagnosis. However, handling ...
Artículo
From fault detection to one-class severity discrimination of 3D printers with one-class support vector machine
(Elsevier, 2021)
The lack of faulty condition data reduces the feasibility of supervised learning for fault detection or fault severity discrimination in new manufacturing technologies. To deal with this issue, one-class learning arises ...
Artículo
Towards Maude 2.0
(Elsevier, 2000)
Maude 2.0 is the new version of the Maude rewriting logic language currently under development. Maude 2.0’s three main goals are: (i) greater generality and expressiveness;( ii) efficient support for a wider range of ...
Artículo
Spiking neural P systems with extended rules: universality and languages
(Springer, 2008)
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The motivation comes both from constructing small universal systems and from generating strings; previous ...
Artículo
Decision Tree Models Induced by Membrane Systems
(Romanian Academy, Section for Information Science and Technology, 2015)
This paper focuses on an application of membrane systems to solve classification problems. Decision tree technique has been widely used to construct classification models because such models can closely resemble ...
Artículo
A fast P system for finding a balanced 2-partition
(Springer, 2005)
Numerical problems are not very frequently addressed in the P systems literature. In this paper we present an effective solution to the 2-Partition problem via a family of deterministic P systems with active membranes ...
Artículo
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 learning-based approaches are hardly applicable. To address this problem, a one-shot learning-based ...
Artículo
Modeling Diel Vertical Migration with Membrane Computing
(Springer, 2021)
Diel vertical migration (DVM) is an important ecological phenomenon in which zooplankton migrate vertically to deal with trade-offs associated with greater food availability in shallow waters and lower predator risk in ...
Artículo
Modelling algebraic structures and morphisms in ACL2
(Springer, 2015)
In this paper, we present how algebraic structures and morphisms can be modelled in the ACL2 theorem prover. Namely, we provide a guide- line to implement a set of tools that facilitates the formalisations related ...