Exploració per autor "Giménez, Omer"

Ara es mostren els items 1-4 de 4

    • Jutge.org 

      Giménez, Omer; Petit Silvestre, Jordi; Roura Ferret, Salvador (2011)
      Report de recerca
      Accés obert
      Jutge.org is an open access educational online programming judge where students can try to solve more than 800 problems using 22 programming languages. The verdict of their solutions is computed using exhaustive test sets ...

    • Jutge.org: characteristics and experiences 

      Petit Silvestre, Jordi; Roura Ferret, Salvador; Carmona Vargas, Josep; Cortadella, 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 (2018-07)
      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 ...

    • On the diameter of random planar graphs 

      Chapuy, Guillaume; Fraser, Simon; Fusy, Eric; Giménez, Omer; Noy Serrano, Marc (Iniciativa Digital Politècnica, 2011)
      Text en actes de congrés
      Accés obert
      We show that the diameter D(Gn) of a random labelled connected planar graph with n vertices is asymptotically almost surely of order $n^{1/4}$, in the sense that there exists a constant c > 0 such that $P(D(G_n) \in{} ...

    • The HOM problem is decidable 

      Godoy, Guillem; Giménez, Omer; Ramos Garrido, Lander; Álvarez Faura, M. del Carme (2009-06)
      Report de recerca
      Accés obert
      We close affirmatively a question which has been open for 35 years: decidability of the HOM problem. The HOM problem consists in deciding, given a tree homomorphism $H$ and a regular tree languagle $L$ represented by a ...