Listar Informática por título
Mostrando ítems 518-537 de 557
-
Ponencia
Towards a P Systems Normal Form Preserving Step-by-step Behavior
(Fénix Editora, 2008)Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem ...
-
Ponencia
Towards a Programming Language in Cellular Computing
(Fénix Editora, 2004)Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in ...
-
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
-
Ponencia
Towards Automated Verification of P Systems Using Spin
(Fénix Editora, 2011)This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...
-
Ponencia
Towards Bridging Two Cell-Inspired Models: P Systems and R Systems
(Fénix Editora, 2011)We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...
-
Ponencia
Towards P Colonies Processing Strings
(Fénix Editora, 2014)In this paper we introduce and study P colonies where the environment is given as a string. These variants of P colonies, ...
-
Ponencia
Towards TabTransformer-based Operating System Fingerprinting: A Preliminary Approach using the Nmap Database
(Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)This work explores TabTransformers for operating system fingerprinting, leveraging their ability to learn relationships ...
-
Ponencia
La Transformada Teórica de Números para Kyber
(Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)La Transformada Teórica de Números es un método eficiente para la multiplicación de dos polinomios de grado alto, ampliamente ...
-
Ponencia
Transforming 3D cartesian into geodetic coordinates
(2017)Transformationbetweengeodeticcoordinates(φ,λ,h)(geodeticlattitudeφ,geodeticlongitudeλandellipsoidal/geodeticheight h) and ...
-
Ponencia
Turing Incompleteness of Asynchronous P Systems with Active Membranes
(Fénix Editora, 2013)We prove that asynchronous P systems with active membranes without divi- sion rules can be simulated by place/transition ...
-
Ponencia
Tutorizando el aprendizaje proactivo de nuevas tecnologías: taller de programación Android
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2011)Mediante el Programa Google EMEA’s AndroidEDU, la UPC ha impartido un novedoso taller de programación para Android. Durante ...
-
Libro
Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014
(Fénix Editora, 2014) -
Ponencia
Twenty Six Research Topics About Spiking Neural P Systems
(Fénix Editora, 2007) -
Ponencia
Two Notes on APCol Systems
(Fenix Editora, 2017)In this work, we continue our research in the eld of string processing mem- brane systems - APCol systems. We focus on ...
-
Ponencia
Two Topics Ahead Membrane Computing
(Fénix Editora, 2012)Two topics from the area of probability theory and randomness challenging membrane computing together with open problems and research proposals are discussed.
-
Ponencia
Two Universality Results for (Mem)Brane Systems
(Fénix Editora, 2006)We prove that P systems with mate and drip operations and using at most five membranes during any step of a computation ...
-
Ponencia
(Ultimately Confluent) Parallel Multiset-Rewriting Systems with Context
(Fénix Editora, 2004)The aim of this paper is to study the power of parallel multiset- rewriting systems with permitting context (or P systems ...
-
Ponencia
Unfair P Systems
(Fenix Editora, 2017)We introduce a novel kind of P systems in which the application of rules in each step is controlled by a function on the ...
-
Ponencia
Uniform Solution to QSAT Using Polarizationless Active Membranes
(Fénix Editora, 2006)It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...
-
Ponencia
Universal P Systems: One Catalyst Can Be Suficient
(Fénix Editora, 2013)Whether P systems with only one catalyst can already be universal, is still an open problem. Here we establish universality ...