Enviaments recents

  • Centrality measure in social networks based on linear threshold model 

    Riquelme Csori, Fabián; Gonzalez Cantergiani, Pablo; Molinero Albareda, Xavier; Serna Iglesias, María José (2018-01-15)
    Article
    Accés restringit per política de l'editorial
    Centrality and influence spread are two of the most studied concepts in social network analysis. In recent years, centrality measures have attracted the attention of many researchers, generating a large and varied number ...
  • Jutge.org: characteristics and experiences 

    Petit Silvestre, Jordi; Roura Ferret, Salvador; Carmona Vargas, Josep; Cortadella Fortuny, Jordi; Duch Brown, Amalia; Giménez, Omer; Mani, Anaga; Mas Rovira, Jan; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto; San Pedro Martín, Javier de; Venkataramani, Divya (2017-07-04)
    Article
    Accés obert
    Jutge.org is an open educational online programming judge designed for students and instructors, featuring a repository of problems that is well organized by courses, topics and difficulty. Internally, Jutge.org uses a ...
  • Incorporating negative information to process discovery of complex systems 

    Ponce de León, Hernán; Nardelli, Lucio; Carmona Vargas, Josep; vanden Broucke, Seppe (2018-01-01)
    Article
    Accés restringit per política de l'editorial
    The discovery of a formal process model from event logs describing real process executions is a challenging problem that has been studied from several angles. Most of the contributions consider the extraction of a model ...
  • The pragmatic proof: hypermedia API composition and execution 

    Verborgh, Ruben; Arndt, Dorthe; Van Hoecke, Sofie; De Roo, Jos; Mels, Giovanni; Steiner, Thomas; Gabarró Vallès, Joaquim (2017-01-01)
    Article
    Accés obert
    Machine clients are increasingly making use of the Web to perform tasks. While Web services traditionally mimic remote procedure calling interfaces, a new generation of so-called hypermedia APIs works through hyperlinks ...
  • MetaShot: an accurate workflow for taxon classification of host-associated microbiome from shotgun metagenomic data 

    Fosso, Bruno; Santamaria, Monica; D'Antonio, M.; Lovero, D.; Corrado, G.; Vizza, E.; Passaro, N.; Garbuglia, A.R.; Capobianchi, M.R.; Crescenzi, M.; Valiente Feruglio, Gabriel Alejandro; Pesole, Graziano (2017-06-01)
    Article
    Accés obert
    Shotgun metagenomics by high-throughput sequencing may allow deep and accurate characterization of host-associated total microbiomes, including bacteria, viruses, protists and fungi. However, the analysis of such sequencing ...
  • Large neighborhood search for the most strings with few bad columns problem 

    Lizárraga Olivas, Evelia; Blesa Aguilera, Maria Josep; Blum, Christian; Raidl, Günther (Springer, 2016-10-06)
    Article
    Accés obert
    In this work, we consider the following NP-hard combinatorial optimization problem from computational biology. Given a set of input strings of equal length, the goal is to identify a maximum cardinality subset of strings ...
  • Non recursive functions have transcendental generating functions 

    Cucker Farkas, Juan Felipe; Gabarró Vallès, Joaquim (1989-12)
    Article
    Accés obert
    Proves that nonprimitive recursive functions have transcendental generating series. This result translates a certain measure of the complexity of a function, the fact of not being primitive recursive, into another measure ...
  • Nonuniform complexity classes specified by lower and upper bounds 

    Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim (1989-09)
    Article
    Accés obert
    We characterize in terms of oracle Turing machines the classes defined by exponential lower bounds on some nonuniform complexity measures. After, we use the same methods to giue a new characterization of classes defined ...
  • The HOM problem is EXPTIME-complete 

    Creus López, Carles; Gascon Caro, Adrian; Godoy Balil, Guillem; Ramos Garrido, Lander (2016)
    Article
    Accés obert
    We define a new class of tree automata with constraints and prove decidability of the emptiness problem for this class in exponential time. As a consequence, we obtain several EXPTIME-completeness results for problems on ...
  • Construct, Merge, Solve and Adapt: Application to the repetition-free longest common subsequence problem 

    Blum, Christian; Blesa Aguilera, Maria Josep (2016-03)
    Article
    Accés obert
    In this paper we present the application of a recently proposed, general, algorithm for combinatorial optimization to the repetition-free longest common subsequence problem. The applied algorithm, which is labelled Construct, ...
  • On the stability of generalized second price auctions with budgets 

    Díaz Cort, Josep; Giotis, Ioannis; Kirousis, Lefteris; Markakis, Evangelos; Serna Iglesias, María José (2016-07)
    Article
    Accés restringit per política de l'editorial
    The Generalized Second Price (GSP) auction used typically to model sponsored search auctions does not include the notion of budget constraints, which is present in practice. Motivated by this, we introduce the different ...
  • Amalgamation of domain specific languages with behaviour 

    Duran, Francisco; Moreno Delgado, Antonio; Orejas Valdés, Fernando; Zschaler, Steffen (2017-01-01)
    Article
    Accés obert
    Domain-specific languages (DSLs) become more useful the more specific they are to a particular domain. The resulting need for developing a substantial number of DSLs can only be satisfied if DSL development can be made as ...

Mostra'n més