Enviaments recents

  • Narrow proofs may be maximally long 

    Atserias, Albert; Lauria, Massimo; Nordström, Jakob (2016-07-03)
    Article
    Accés obert
    We prove that there are 3-CNF formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size n(Omega(w)). This shows that the simple counting argument that any formula refutable ...
  • Firefighting as a strategic game 

    Álvarez Faura, M. del Carme; Blesa Aguilera, Maria Josep; Molter, Hendrik (Taylor & Francis, 2016-03-31)
    Article
    Accés obert
    The Firefighter Problem was proposed in 1995 as a deterministic discrete-time model for the spread and containment of a fire. The problem is defined on an undirected finite graph G = (V, E), where fire breaks out initially ...
  • An experimental study on the effects of shading in 3D perception of volumetric models 

    Díaz Iriberri, José; Ropinski, Timo; Navazo Álvaro, Isabel; Gobbetti, Enrico; Vázquez Alcocer, Pere Pau (Springer, 2017-01)
    Article
    Accés restringit per política de l'editorial
    Throughout the years, many shading techniques have been developed to improve the conveying of information in volume visualization. Some of these methods, usually referred to as realistic, are supposed to provide better ...
  • A reply to Kubota and Levine on gapping 

    Valentín Fernández Gallart, José Oriol; Morrill, Glyn (2017-02)
    Article
    Accés restringit per política de l'editorial
    In a series of papers Kubota and Levine give an account of gapping and determiner gapping in terms of hybrid type logical grammar, including anomalous scopal interactions with auxiliaries and negative quantifiers. We make ...
  • A survey of real-time crowd rendering 

    Beacco Porres, Alejandro; Pelechano Gómez, Núria; Andújar Gran, Carlos Antonio (2016-12)
    Article
    Accés obert
    In this survey we review, classify and compare existing approaches for real-time crowd rendering. We first overview character animation techniques, as they are highly tied to crowd rendering performance, and then we analyze ...
  • Rehabilitation profiles of older adult stroke survivors admitted to intermediate care units: A multi-centre study 

    Pérez, Laura M.; Inzitari, Marco; Quinn, Terence J.; Montaner, Joan; Gavaldà Mestre, Ricard; Duarte, Esther; Coll Planas, Laura; Cerdá, Mercé; Santaeugenia, Sebastia; Closa, Conxita; Gallofre, Miquel (2016-11-09)
    Article
    Accés obert
    Background: Stroke is a major cause of disability in older adults, but the evidence around post-acute treatment is limited and heterogeneous. We aimed to identify profiles of older adult stroke survivors admitted to ...
  • Hierarchical path-finding for Navigation Meshes (HNA*) 

    Pelechano Gómez, Núria; Fuentes, Carlos (2016-10-01)
    Article
    Accés restringit per política de l'editorial
    Path-finding can become an important bottleneck as both the size of the virtual environments and the number of agents navigating them increase. It is important to develop techniques that can be efficiently applied to any ...
  • Celebrity games 

    Álvarez Faura, M. del Carme; Blesa Aguilera, Maria Josep; Duch Brown, Amalia; Messegué Buisan, Arnau; Serna Iglesias, María José (2016-10-04)
    Article
    Accés restringit per política de l'editorial
    We introduce Celebrity games, a new model of network creation games. In this model players have weights (W being the sum of all the player's weights) and there is a critical distance ß as well as a link cost a. The cost ...
  • Network formation for asymmetric players and bilateral contracting 

    Álvarez Faura, M. del Carme; Serna Iglesias, María José; Fernández, Aleix (2016-10-01)
    Article
    Accés obert
    We study a network formation game where players wish to send traffic to other players. Players can be seen as nodes of an undirected graph whose edges are defined by contracts between the corresponding players. Each player ...
  • Physics-based visual characterization of molecular interaction forces 

    Hermosilla, Pedro; Estrada, Jorge; Guallar, Víctor; Ropinski, Timo; Vinacua Pla, Álvaro; Vázquez Alcocer, Pere Pau (2017-01-01)
    Article
    Accés obert
    Molecular simulations are used in many areas of biotechnology, such as drug design and enzyme engineering. Despite the development of automatic computational protocols, analysis of molecular interactions is still a major ...

Mostra'n més