LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge

 

LARCA és un grup de recerca de nivell internacional en temes d'aprenentatge i mineria de dades, anàlisi de dades i lingüística matemàtica. Típicament, abordem els problemes des de principis matemàtics sòlids, usant eines de modelització i tècniques de l'algorísmia, complexitat computacional, teoria d'autòmats, lògica, matemàtica discreta, estadística, i sistemes dinàmics. Estem iniciant
col·laboracions amb empreses i altres institucions per tal d'aplicar les nostres solucions al problemes del món real.

LARCA es un grupo de investigación de nivel internacional en temas de aprendizaje y minería de datos, análisis de datos y lingüística matemática. Típicamente, abordamos los problemas desde principios matemáticos sólidos, usando técnicas de modelización de la algoritmia, la complejidad computacional, teoría de autómatas, lógica, matemática discreta, estadística y sistemas dinámicos. Estamos iniciando colaboraciones con empresas e instituciones para la aplicación de nuestras soluciones a contextos reales.

LARCA is an international research group working on data mining, machine learning, data analysis, and mathematical linguistics. We typically approach problems from sound mathematical principles, using modelling tools and techniques from algorithmics, computational complexity, automata theory, logic, discrete mathematics, statistics, and dynamic systems. We are also starting partnerships with companies and other institutions to apply our solutions to real-world problems.

LARCA is an international research group working on data mining, machine learning, data analysis, and mathematical linguistics. We typically approach problems from sound mathematical principles, using modelling tools and techniques from algorithmics, computational complexity, automata theory, logic, discrete mathematics, statistics, and dynamic systems. We are also starting partnerships with companies and other institutions to apply our solutions to real-world problems.

Recent Submissions

  • A note on the query complexity of learning DFA 

    Balcázar Navarro, José Luis; Díaz Cort, Josep; Gavaldà Mestre, Ricard; Watanabe, Osamu (1992)
    Research report
    Open Access
    It is known that the class of deterministic finite automata is polynomial time learnable by using membership and equivalence queries. We investigate -- the query complexity -- the number of membership and equivalence queries ...

  • Categorical formalisation of relativisation : pied piping, islands, and extraction sites 

    Morrill, Glyn (1992-09-27)
    Research report
    Open Access

  • A first-order isomorphism theorem 

    Allender, Eric; Balcázar Navarro, José Luis; Immerman, Neil (1992)
    Research report
    Open Access
    We show that for most complexity classes of interest, all sets complete under first-order projections are isomorphic under first-order isomorphisms. That is, a very restricted version of the Berman-Hartmanis Conjecture holds.

  • Some structural complexity aspects of neural computation 

    Balcázar Navarro, José Luis; Gavaldà Mestre, Ricard; Siegelmann, H.; Sontag, Eduardo D. (1992)
    Research report
    Open Access
    Recent work by Siegelmann and Sontag has demonstrated that polynomial time on linear saturated recurrent neural networks equas polynomial time on standard computational models: Turing machines if the weights of the net are ...

  • The [Theta]-operator and the low hierarchy 

    Castro Rabal, Jorge; Seara Ojea, Carlos (1992-07)
    Research report
    Open Access
    Long and Sheu in their paper [LS-91] introduced a refinement of the low hierarchy based on the [Theta]-levels of the polynomial time hierarchy which gives a deeper sight of the internal structure of NP. In this paper we ...

  • Apuntes sobre el cálculo de la eficiencia de los algoritmos 

    Balcázar Navarro, José Luis (1993-09)
    Research report
    Open Access

  • Anàlisi d'un algorisme de multiplicació d'enters 

    Marco Gómez, Jordi; Balcázar Navarro, José Luis (1993-10)
    Research report
    Open Access
    Es proposa un algorisme de multiplicació d'enters basat en l'esquema "divideix i venç", però diferent del de Karatsuba i Ofman. Es fa l'anàlisi de la seva complexitat. Es troba que, encara que sembli millor que els ja ...

  • Merge cube y la realidad aumentada : una propuesta didáctica para la enseñanza de tecnología y digitalización en primer curso de educación secundaria obligatoria 

    Bertran Martínez, Albert; Hernández Fernández, Antonio; Seinfeld Tarafa, Sofia (2022)
    Conference lecture
    Restricted access - publisher's policy
    Se presenta en este artículo la posibilidad de utilizar una interfaz tangible de Realidad Aumentada (RA), conocida con el nombre comercial de Merge Cube. Merge Cube es un elemento que enlaza el mundo físico con el digital, ...

  • Una altra demostració del teorema de Cook 

    Gavaldà Mestre, Ricard (1993-06-04)
    Research report
    Open Access
    Presentem una demostració alternativa del Teorema de Cook: saber si una fòrmula booleana és satisfactible és un problema NP-complet. La demostració es diferencia de les altres que conec en dos aspectes. Un, que defineixo ...

  • The complexity of learning with queries 

    Gavaldà Mestre, Ricard (1994-04-14)
    Research report
    Open Access
    We survey recent research concerning the qualitative complexity of Angluin's model of learning with queries. In this model, there is a learner that tries to identify a target concept by means of queries to a teacher. Thus, ...

  • Type-logical grammar 

    Morrill, Glyn (1992)
    Research report
    Open Access

  • Algoritmos de distancias mínimas en grafos 

    Balcázar Navarro, José Luis (1986-05)
    Research report
    Open Access

View more