Buscar
Mostrando ítems 51-60 de 882
Ponencia
Towards a verifiable topology of data
(Universidad de La Rioja, Departamento de Matemáticas y Computación, 2016)
Artículo
Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids
(Hindawi, 2019)
Communication networks as smart infrastructure systems play an important role in smart girds to monitor, control, and manage the operation of electrical networks. However, due to the interdependencies between communication ...
Artículo
Recognizer P Systems with Antimatter
(Romanian Academy, Section for Information Science and Technology, 2015)
In this paper, we consider recognizer P systems with antimatter and the in uence of the matter/antimatter annihilation rules having weak priority over all the other rules or not. We rst provide a uniform family of ...
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 the only (up to deductive equivalence) consistent ¦n+1–theory which extends the scheme of induction ...
Ponencia
Semantics of Deductive Databases in a Membrane Computing Connectionist Model
(Fénix, 2016)
The integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living neurons is a vivid research area in computer science. In the literature, one can found many e orts ...
Artículo
Solving Molecular Docking Problems with Multi-Objective Metaheuristics
(MDPI, 2015)
Molecular docking is a hard optimization problem that has been tackled in the past with metaheuristics, demonstrating new and challenging results when looking for one objective: the minimum binding energy. However, only a ...
Ponencia
Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(Springer, 2014)
This paper discusses the application of fuzzy reasoning spiking neural P systems with real numbers (rFRSN P systems) to fault diagnosis of electric locomotive systems. Relationships among breakdown signals and faulty ...
Artículo
Intelligent OLSR Routing Protocol Optimization for VANETs
(IEEE Computer Society, 2012)
Recent advances in wireless technologies have given rise to the emergence of vehicular ad hoc networks (VANETs). In such networks, the limited coverage ofWiFi and the high mobility of the nodes generate frequent topology ...
Libro
Artículo
Simulation of P systems with active membranes on CUDA
(Oxford University Press, 2010)
P systems or Membrane Systems provide a high-level computational modelling framework that combines the structure and dynamic aspects of biological systems in a relevant and understandable way. They are inherently parallel ...