Listar Informática por título 

Listar Informática por título

Mostrando ítems 455-474 de 497

    • Ponencia
      Icon

      Three Quantum Algorithms to Solve 3-SAT 

      Leporati, Alberto; Felloni, Sara (Fénix Editora, 2006)
      We propose three quantum algorithms to solve the 3-SAT NP-complete decision problem. The first algorithm builds, for any ...
    • Ponencia
      Icon

      Time-Driven Computations in P Systems 

      Cavaliere, Matteo; Zandron, Claudio (Fénix Editora, 2006)
      It is a well-known fact that the time of execution of a (biochemical) reaction depends on many factors, and, in particular, ...
    • Ponencia
      Icon

      Time-freeness and Clock-freeness and Related Concepts in P Systems 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Pan, Linqiang; Song, Bosheng (Fenix Editora, 2017)
      In the majority of models of P systems, rules are applied at the ticks of a global clock and their products are introduced ...
    • Ponencia
      Icon

      Tissue P Systems with Cell Division 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      In tissue P systems several cells (elementary membranes) commu- nicate through symport/antiport rules, thus carrying out ...
    • Ponencia
      Icon

      (Tissue) P Systems Using Non-cooperative Rules Without Halting Conditions 

      Beyreder, Markus; Freund, Rudolf (Fénix Editora, 2008)
      We consider (tissue) P systems using non-cooperative rules, but considering computations without halting conditions. As ...
    • Ponencia
      Icon

      (Tissue) P Systems with Anti-Membranes 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for ...
    • Ponencia
      Icon

      Tissue-like P Systems with Channel-States 

      Freund, Rudolf; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004)
      We consider tissue-like P systems with states associated with the links (we call them synapses) between cells, controlling ...
    • Ponencia
      Icon

      Tissue-like P Systems Without Environment 

      Christinal, Hepzibah A.; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010)
      In this paper we present a tissue-like P systems model with cell division the environment has been replaced by an extra ...
    • Ponencia
      Icon

      Topics and Problems in Metabolic P Systems 

      Manca, Vincenzo (Fénix Editora, 2006)
      P metabolic systems are a special class of P systems which seem to be adequate for expressing biological phenomena related ...
    • Ponencia
      Icon

      Toward a Self-replicating Metabolic P System 

      Franco, Giuditta; Manca, Vincenzo (Fénix Editora, 2011)
      This work concerns the synthesis of a "minimal cell' by means of a P system, which is a distributed rewriting system ...
    • Ponencia
      Icon

      Towards a Causal Semantics for Brane Calculi 

      Busi, Nadia (Fénix Editora, 2007)
      Brane Calculi are a family of biologically inspired process calculi, proposed in [6] to model the interactions of dynamically ...
    • Ponencia
      Icon

      Towards a P Systems Normal Form Preserving Step-by-step Behavior 

      Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Tini, Simone (Fénix Editora, 2008)
      Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem ...
    • Ponencia
      Icon

      Towards a Programming Language in Cellular Computing 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in ...
    • Ponencia
      Icon

      Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems 

      Lefticaru, Raluca; Ipate, Florentin; Valencia Cabrera, Luis; Turcanu, Adrian; Tudose, Cristina; Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Niculescu, Ionut Mihai; Dragomir, Ciprian (Fénix Editora, 2012)
      This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
    • Ponencia
      Icon

      Towards Automated Verification of P Systems Using Spin 

      Lefticaru, Raluca; Tudose, Cristina; Ipate, Florentin (Fénix Editora, 2011)
      This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...
    • Ponencia
      Icon

      Towards Bridging Two Cell-Inspired Models: P Systems and R Systems 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...
    • Ponencia
      Icon

      Towards P Colonies Processing Strings 

      Cienciala, Ludek; Ciencialová, Lucie; Csuhaj Varjú, Erzsébet (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
      Icon

      Transforming 3D cartesian into geodetic coordinates 

      Díaz-Toca, Gema; Necula, Ioana Gabriela (2017)
      Transformationbetweengeodeticcoordinates(φ,λ,h)(geodeticlattitudeφ,geodeticlongitudeλandellipsoidal/geodeticheight h) and ...
    • Ponencia
      Icon

      Turing Incompleteness of Asynchronous P Systems with Active Membranes 

      Leporati, Alberto; Manzoni, Luca; Porreca, Antonio E. (Fénix Editora, 2013)
      We prove that asynchronous P systems with active membranes without divi- sion rules can be simulated by place/transition ...
    • Ponencia
      Icon

      Tutorizando el aprendizaje proactivo de nuevas tecnologías: taller de programación Android 

      Blesa Aguilera, Maria Josep; Duch Brown, Amalia; Gabarró Vallés, Joaquim; Hernández Pibernat, Hugo; Serna Iglesias, María José (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 ...