Recent Submissions

  • The extracellular N-terminal domain suffices to discriminate class C G Protein-Coupled Receptor subtypes from n-grams of their sequences 

    König, Caroline; Alquézar Mancho, René; Vellido Alcacena, Alfredo; Giraldo Arjonilla, Jesús (Institute of Electrical and Electronics Engineers (IEEE), 2015)
    Conference report
    Open Access
    The investigation of protein functionality often relies on the knowledge of crystal 3-D structure. This structure is not always known or easily unravelled, which is the case of eukaryotic cell membrane proteins such as G ...
  • Computational coverage of TLG: displacement 

    Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2015)
    Conference report
    Open Access
    This paper reports on the coverage of TLG of Morrill (1994) and Moortgat (1997), and on how it has been computer implemented. We computer-analyse examples of displacement: discontinuous idioms, quantification, (medial) ...
  • Computational coverage of TLG: nonlinearity 

    Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2015)
    Conference report
    Open Access
    We study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, Db!, Db!?, Db!b and Db!b?r which contain the ...
  • 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 ...
  • Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework 

    Pasarella Sánchez, Ana Edelmira; Lobo, Jorge (Institute of Electrical and Electronics Engineers (IEEE), 2015)
    Conference report
    Open Access
    In this paper we show that the logical framework proposed by Becker et al. [1] to reason about security policy behavior in a trust management context can be captured by an operational framework that is based on the language ...
  • A cost-benefit analysis of continuous assessment 

    Duch Brown, Amalia; Gabarró Vallès, Joaquim; Petit Silvestre, Jordi; Blesa Aguilera, Maria Josep; Serna Iglesias, María José (SciTePress, 2015)
    Conference report
    Restricted access - publisher's policy
    The first course on programming is fundamental in the Facultat d’Informàtica de Barcelona. After a major redesign of the Programming-1 course in 2006 to give it a more practical flavor, an increasing number of measures ...
  • A hierarchical perspective to fuzzy inductive reasoning: an attempt to obtain more understandable fuzzy inductive reasoning rules 

    Bagherpour, Solmaz; Múgica Álvarez, Francisco; Nebot Castells, M. Àngela (2015)
    Conference lecture
    Restricted access - publisher's policy
    Generalizing hypotheses based on the past data in order to predict the future is the essential core of human learning. Various successful methods and techniques have been developed so far that perform some sort of ...
  • A fuzzy inductive approach for rule-based modelling of high level structures in algorithmic composition systems 

    Múgica Álvarez, Francisco; Paz Ortiz, Iván; Nebot Castells, M. Àngela; Romero Merino, Enrique (2015)
    Conference report
    Restricted access - publisher's policy
    Algorithmic composition systems are now widely understood. However, its capacity for producing outputs consistently showing high level structures is still a field of research. In the present work, the Fuzzy Inductive ...
  • 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 ...

View more