Recent Submissions

  • Icon

    New applications for an old tool  [Presentation]

    Valencia Cabrera, Luis; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
    First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest computations for membrane systems solving instances of SAT. Certain families of membrane systems ...
  • Icon

    A syntax for semantics in P-Lingua  [Presentation]

    Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
    P-Lingua is a software framework for Membrane Computing, it includes a programming language, also called P-Lingua, for writting P system de nitions using a syntax close to standard scienti c notation. The rst line of a ...
  • Icon

    An apparently innocent problem in Membrane Computing  [Presentation]

    Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
    The search for effcient solutions of computationally hard problems by means of families of membrane systems has lead to a wide and prosperous eld of research. The study of computational complexity theory in Membrane ...
  • Icon

    A new perspective on computational complexity theory in Membrane Computing  [Presentation]

    Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
    A single Turing machine can solve decision problems with an in nite number of instances. On the other hand, in the framework of membrane computing, a \solution" to an abstract decision problem consists of a family of ...
  • Icon

    P Systems: from Anti-Matter to Anti-Rules  [Presentation]

    Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Pérez Jiménez, Mario de Jesús (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 rule labels as objects and anti-rule labels as the corresponding annihilation counterpart in P systems. ...
  • Icon

    Decision-Theoretic Planning with Person Trajectory Prediction for Social Navigation  [Presentation]

    Pérez Hurtado de Mendoza, Ignacio; Capitán, Jesús; Caballero, Fernando; Merino, Luis (Springer, 2015)
    Robots navigating in a social way should reason about people intentions when acting. For instance, in applications like robot guidance or meeting with a person, the robot has to consider the goals of the people. Intentions ...
  • Icon

    Secure Communication of Local States in Interpreted Systems  [Presentation]

    Albert, Michael; Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Joosten, Joost J.; Soler Toscano, Fernando (Springer, 2011)
    Given an interpreted system, we investigate ways for two agents to communicate secrets by public announcements. For card deals, the problem to keep all of your cards a secret (i) can be distinguished from the problem to ...
  • Icon

    Provably Total Primitive Recursive Functions: Theories with Induction  [Presentation]

    Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2004)
    A natural example of a function algebra is R (T), the class of provably total computable functions (p.t.c.f.) of a theory T in the language of first order Arithmetic. In this paper a simple characterization of that kind ...
  • Icon

    On Rules and Parameter Free Systems in Bounded Arithmetic  [Presentation]

    Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2007)
    We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.
  • Icon

    Local Induction and Provably Total Computable Functions: A Case Study  [Presentation]

    Cordón Franco, Andrés; Lara Martín, Francisco Félix (Springer, 2012)
    Let IΠ−2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free Π2 formulas. Answering a question of R. Kaye, L. Beklemishev showed that the provably total computable ...
  • Icon

    Using Maude  [Presentation]

    Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí Oliet, Narciso; Meseguer, José; Quesada Moreno, José Francisco (Springer, 2000)
  • Icon

    Towards Emotion Recognition: A Persistent Entropy Application  [Presentation]

    González Díaz, Rocío; Paluzo Hidalgo, Eduardo; Quesada Moreno, José Francisco (Springer, 2019)
    Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to emotion classification using persistent entropy and support vector machines. A topology-based model ...
  • Icon

    The Maude System  [Presentation]

    Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí Oliet, N.; Meseguer, J.; Quesada Moreno, José Francisco (Springer, 1999)
  • Icon

    New Technique to Enhance the Performance of Spoken Dialogue Systems by Means of Implicit Recovery of ASR Errors  [Presentation]

    López Cózar, Ramón; Griol, David; Quesada Moreno, José Francisco (Springer, 2010)
    This paper proposes a new technique to implicitly correct some ASR errors made by spoken dialogue systems, which is implemented at two levels: statistical and linguistic. The goal of the former level is to employ for the ...
  • Icon

    A General, Sound and Efficient Natural Language Parsing Algorithm based on Syntactic Constraints Propagation  [Presentation]

    Quesada Moreno, José Francisco (AEPIA: Asociación Española para la Inteligencia Artificial, 1997)
    This paper presents a new context-free parsing algorithm based on a bidirectional strictly horizontal strategy which incorporates strong top–down predictions (deriva- tions and adjacencies). From a functional point of ...
  • Icon

    Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem  [Presentation]

    Cabarle, Francis George C.; Hernández, Nestine Hope S.; Martínez del Amor, Miguel Ángel (Springer, 2015)
    Spiking neural P systems with structural plasticity (in short, SNPSP systems) are models of computations inspired by the function and structure of biological neurons. In SNPSP systems, neurons can create or delete ...
  • Icon

    Solving Sudoku with Membrane Computing  [Presentation]

    Díaz Pernil, Daniel; Fernández Márquez, Carlos M.; García Quismondo, Manuel; Gutiérrez Naranjo, Miguel Ángel; Martínez del Amor, Miguel Ángel (IEEE Computer Society, 2010)
    Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple rules. In this paper we present an efficient family of P systems which solve sudokus of any order ...
  • Icon

    Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms  [Presentation]

    Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2015)
    Fuzzy Reasoning Spiking Neural P systems (FRSN P systems, for short) is a variant of Spiking Neural P systems incorporating fuzzy logic elements that make it suitable to model fuzzy diagnosis knowledge and reasoning ...
  • Icon

    Sample-Parallel Execution of EBCOT in Fast Mode  [Presentation]

    Bruns, Volker; Martínez del Amor, Miguel Ángel (IEEE Computer Society, 2016)
    JPEG 2000’s most computationally expensive building block is the Embedded Block Coder with Optimized Truncation (EBCOT). This paper evaluates how encoders targeting a parallel architecture such as a GPU can increase ...
  • Icon

    Probabilistic Guarded P Systems, A New Formal Modelling Framework  [Presentation]

    García Quismondo, Manuel; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2014)
    Multienvironment P systems constitute a general, formal framework for modelling the dynamics of population biology, which consists of two main approaches: stochastic and probabilistic. The framework has been successfully ...

View more