Recent Submissions

  • Characterizing chronic disease and polymedication prescription patterns from electronic health records 

    Zamora, Martí; Baradad, Manel; Amado, Ester; Cordomí, Sílvia; Limón, Esther; Ribera, Juliana; Arias Vicente, Marta; Gavaldà Mestre, Ricard (Institute of Electrical and Electronics Engineers (IEEE), 2015)
    Conference report
    Open Access
    Population aging in developed countries brings an increased prevalence of chronic disease and of polymedication-patients with several prescribed types of medication. Attention to chronic, polymedicated patients is a priority ...
  • Multiplicative-additive focusing for parsing as deduction 

    Morrill, Glyn; Valentín Fernández Gallart, José Oriol (Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015)
    Conference report
    Open Access
    Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem ...
  • Structural ambiguity in Montague Grammar and categorial grammar 

    Morrill, Glyn (2015-01)
    Article
    Restricted access - publisher's policy
    We give a type logical categorial grammar for the syntax and semantics of Montague's seminal fragment, which includes ambiguities of quantification and intensionality and their interactions, and we present the analyses ...
  • Approximating the expressive power of logics in finite models 

    Arratia Quesada, Argimiro Alejandro; Ortiz, Carlos E. (Springer, 2004)
    Conference report
    Open Access
    We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order formula) which, on the one hand, captures uniform circuit ...
  • The robustness of periodic orchestrations in uncertain evolving environments 

    Castro Rabal, Jorge; Gabarró Vallès, Joaquim; Serna Iglesias, María José; Stewart, Alan (Springer, 2015)
    Conference report
    Restricted access - publisher's policy
    A framework for assessing the robustness of long-duration repetitive orchestrations in uncertain evolving environments is proposed. The model assumes that service-based evaluation environments are stable over short ...
  • Pattern Structures and Concept Lattices for Data Mining and Knowledge Processing 

    Kaytoue, Mehdi; Codocedo, Victor; Aleksey, Buzmakov; Baixeries i Juvillà, Jaume (Springer International Publishing, 2015)
    Conference report
    Open Access
    This article aims at presenting recent advances in Formal Concept Analysis (2010-2015), especially when the question is dealing with complex data (numbers, graphs, sequences, etc.) in domains such as databases (functional ...
  • Absolute-type shaft encoding using LFSR sequences with a prescribed length 

    Fuertes Armengol, José Mª; Balle Pigem, Borja de; Ventura Capell, Enric (2008-03-31)
    Article
    Open Access
    Maximal-length binary sequences have existed for a long time. They have many interesting properties, and one of them is that, when taken in blocks of n consecutive positions, they form 2n - 1 different codes in a closed ...
  • Non-crossing dependencies: Least effort, not grammar 

    Ferrer Cancho, Ramon (Springer, 2016-01-01)
    Part of book or chapter of book
    Restricted access - publisher's policy
    The use of null hypotheses (in a statistical sense) is common in hard sciences but not in theoretical linguistics. Here the null hypothesis that the low frequency of syntactic dependency crossings is expected by an arbitrary ...
  • Entailment among probabilistic implications 

    Atserias, Albert; Balcázar Navarro, José Luis (Institute of Electrical and Electronics Engineers (IEEE), 2015)
    Conference report
    Open Access
    We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective, the semantics of this sort ...
  • A multi-scale smoothing kernel for measuring time-series similarity 

    Troncoso, Alicia; Arias Vicente, Marta; Riquelme Santos, José Cristóbal (2015-11-01)
    Article
    Restricted access - publisher's policy
    In this paper a kernel for time-series data is introduced so that it can be used for any data mining task that relies on a similarity or distance metric. The main idea of our kernel is that it should recognize as highly ...

View more