Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 141-160 de 355
-
Artículo
Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(IEEE Computer Society, 2015)This paper proposes a graphic modeling approach, fault diagnosis method based on fuzzy reasoning spiking neural P systems ...
-
Artículo
Fault Diagnosis of Metro Traction Power Systems Using A Modified Fuzzy Reasoning Spiking Neural P System
(Romanian Academy, Section for Information Science and Technology, 2015)This paper presents the application of a modified fuzzy reasoning spiking neural P systems (MFRSN P system, for short) ...
-
Artículo
Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems
(IEEE Computer Society, 2018)In this paper, intuitionistic fuzzy spiking neural P (IFSNP) systems as a variant are proposed by integrating intuitionistic ...
-
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. ...
-
Artículo
Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems
(Romanian Academy, Section for Information Science and Technology, 2015)An optimization spiking neural P system (OSNPS) provides a novel way to directly use a P system to solve optimization ...
-
Artículo
First Steps Towards a CPU Made of Spiking Neural P Systems
(Agora University of Oradea, Romania, 2009)We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ...
-
Artículo
Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing
(Taylor and Francis, 2013) -
Artículo
Formal Correctness of a Quadratic Unification Algorithm
(Springer, 2006)We present a case study using ACL2 [5] to verify a non-trivial algorithm that uses efficient data structures. The algorithm ...
-
Artículo
Formal proofs about rewriting using ACL2
(Springer, 2002)We present an application of the ACL2 theorem prover to reason about rewrite systems theory. We describe the formalization ...
-
Artículo
Formal verification of a generic framework to synthesize SAT-provers
(Springer, 2004)We present in this paper an application of the ACL2 system to generate and reason about propositional satis ability ...
-
Artículo
Formalization of a normalization theorem in simplicial topology
(Springer, 2012)In this paper we present a complete formalization of the Normalization Theorem, a result in Algebraic Simplicial Topology ...
-
Artículo
Formally Verified Tableau-Based Reasoners for a Description Logic
(Springer, 2014)Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One ...
-
Artículo
Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web
(IEEE Computer Society, 2006)The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the ...
-
Artículo
Fragments of Arithmetic and true sentences
(Wiley, 2005)By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the ¦n+1–sentences true in the standard model is ...
-
Artículo
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency
(Elsevier, 2018)P systems with active membranes use evolution, communication, dissolution and division(or separation) rules. They do not ...
-
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 ...
-
Artículo
From NP-Completeness to DP-Completeness: A Membrane Computing Perspective
(Hindawi, 2020)Presumably efficient computing models are characterized by their capability to provide polynomial-time solutions for ...
-
Artículo
From SAT to SAT-UNSAT using P systems with dissolution rules
(Springer, 2022)DP is the class of problems that are the differences between two languages from NP. Most difficult problems from DP are ...
-
Artículo
From Super-cells to Robotic Swarms: Two Decades of Evolution in the Simulation of P Systems
(IMCS: International Membrane Computing Society, 2017)Membrane Computing provides machine-oriented models of computation, with types and variants including different elements ...
-
Artículo
Fully automatized parallel segmentation of the optic disc in retinal fundus images
(Elsevier, 2016-11)This paper presents a fully automatic parallel software for the localization of the optic disc (OD) in retinal fundus color ...