Enviaments recents

  • Informe sobre la Competència de Sostenibilitat i Compromís Social a la Universitat Politècnica Catalunya 

    Hernández Gómez, M. Angeles; Sureda Carbonell, Bàrbara; Escribano Rodríguez de Robles, Beatriz; Carrera Gallissà, Enric; Martínez Magaña, Juan; Aguado Chao, Juan Carlos; Cot Valle, María Ana; Busquets Rubio, Pere (2016-03-16)
    Report de recerca
    Accés obert
  • Generalising discontinuity 

    Morrill, Glyn; Merenciano Saladrigas, Josep Maria (1996-01)
    Report de recerca
    Accés obert
    This paper makes two generalisations of categorial calculus of discontinuity. In the first we introduce unary modalities which mediate between continuous and discontinuous strings. In the second each of the modes of ...
  • A graph semantics for a variant of the ambient calculus more adequate for modeling SOC 

    Mylonakis Pascual, Nicolás (2017-02-07)
    Report de recerca
    Accés obert
    In this paper we present a graph semantics of a variant of the well known ambient calculus. The main change of our variant is to extract the mobility commands of the original calculus from the ambient topology. Similar ...
  • A multi-projector CAVE system with commodity hardware and gesture-based interaction 

    Andújar Gran, Carlos Antonio; Brunet Crosa, Pere; Vinacua Pla, Álvaro; Vico Moya, Miguel Ángel; Díaz García, Jesús (2017-01-12)
    Report de recerca
    Accés obert
    Spatially-immersive systems such as CAVEs provide users with surrounding worlds by projecting 3D models on multiple screens around the viewer. Compared to alternative immersive systems such as HMDs, CAVE systems are a ...
  • h-graphs: A new representation for tree decompositions of graphs 

    Hidalgo Garcia, Marta; Joan Arinyo, Robert (2014)
    Report de recerca
    Accés obert
    In geometric constraint solving, well constrained geometric problems can be abstracted as Laman graphs. If the graph is tree decomposable, the constraint-based geometric problem can be solved by a Decomposition-Recombination ...
  • Firefighting as a Game 

    Álvarez Faura, M. del Carme; Blesa Aguilera, Maria Josep; Molter, Hendrik (2014)
    Report de recerca
    Accés obert
    The Firefighter Problem was proposed in 1995 [16] as a deterministic discrete-time model for the spread (and containment) of a fire. Its applications reach from real fires to the spreading of deseases and the containment ...
  • A graph-semantics of business configurations 

    Fiadeiro, José Luiz; Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando (2014)
    Report de recerca
    Accés obert
    In this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML. To achieve this goal we develop a new graph transformation system for what we call 2-level symbolic graphs. ...
  • NiMo syntax: part 1 

    Clérici Martínez, Silvia Inés; Prestigiacomo, Guillermo; Zoltan Torres, Ana Cristina (2014)
    Report de recerca
    Accés obert
    Many formalisms for the specification for concurrent and distributed systems have emerged. In particular considering boxes and strings approaches. Examples are action calculi, rewriting logic and graph rewriting, bigraphs. ...
  • On tree decomposability of Henneberg graphs 

    Hidalgo, Marta R.; Joan Arinyo, Robert (2014)
    Report de recerca
    Accés obert
    In this work we describe an algorithm that generates well constrained geometric constraint graphs which are solvable by the tree-decomposition constructive technique. The algorithm is based on Henneberg constructions and ...
  • Similarity networks for classification: a case study in the Horse Colic problem 

    Belanche Muñoz, Luis Antonio; Hernández González, Jerónimo (2014)
    Report de recerca
    Accés obert
    This paper develops a two-layer neural network in which the neuron model computes a user-defined similarity function between inputs and weights. The neuron transfer function is formed by composition of an adapted logistic ...

Mostra'n més