• Retractions onto series-parallel posets

  Dalmau, Víctor; Krokhin, Andrei; Larose, Benoit (Elsevier, 2008)

  The poset retraction problem for a poset P is whether a given poset Q containing P as a subposet admits a retraction onto P, that is, whether there is a homomorphism from Q onto P which fixes every element of P. We study ...
• Majority constraints have bounded pathwidth duality

  Dalmau, Víctor; Krokhin, Andrei (Elsevier, 2008)

  We study certain constraint satisfaction problems which are the problems of deciding whether there exists a homomorphism from a given relational structure to a fixed structure with a majority polymorphism. We show that ...
• Towards a dichotomy theorem for the counting constraint satisfaction problem

  Bulatov, Andrei A.; Dalmau, Víctor (Elsevier, 2007)

  The Counting Constraint Satisfaction Problem (#CSP) can be expressed as follows: given a set of variables, a set of values that can be taken by the variables, and a set of constraints specifying some restrictions on the ...
• Learning intersection-closed classes with signatures

  Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor (Elsevier, 2007)

  Intersection-closed classes of concepts arise naturally in many contexts and have been intensively studied in computational learning theory. In this paper, we study intersection-closed classes that contain the concepts ...
• Planning as heuristic search

  Bonet, Blai; Geffner, Héctor (Elsevier, 2001)

  In the AIPS98 Planning Contest, the hsp planner showed that heuristic search planners can be competitive with state-of-the-art Graphplan and sat planners. Heuristic search planners like hsp transform planning problems into ...
• Phase transitions of PP-complete satisfiability problems

  Bailey, Delbert D.; Dalmau, Víctor; Kolaitis, Phokion G. (Elsevier, 2007)

  The complexity class PP consists of all decision problems solvable by polynomial-time probabilistic Turing machines. It is well known that PP is a highly intractable complexity class and that PP-complete problems are in ...
• CSP duality and trees of bounded pathwidth

  Carvalho, Catarina; Dalmau, Víctor; Krokhin, Andrei (Elsevier, 2010)

  We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of homomorphism dualities involving trees of ...
• Technological support for the enactment of collaborative scripted learning activities across multiple spatial locations

  Fuente Valentín, Luis de la; Pérez-Sanagustín, Mar; Hernández-Leo, Davinia; Pardo Sánchez, Abelardo; Blat, Josep; Delgado Kloos, Carlos (Elsevier, 2014)

  Computer Supported Collaborative Blended Learning (CSCBL) scripts are innovative practices that benefit from interactive devices to combine and coordinate activities occurring in different spatial locations. However, the ...
• A Proposal for the description of audio in the context of MPEG-7

  Herrera Boyer, Perfecto; Serra, Xavier; Peeters, Geoffroy (1999)

  Sound content description is one of the aims of the MPEG-7 initiative. Although MPEG-7 focuses on indexing and retrieval of audio, there are other sound content-based processing applications waiting to be developed once ...
• Sustaining continuous collaborative learning flows in MOOCs: orchestration agent approach

  Amarasinghe, Ishari; Hernández Leo, Davinia; Manathunga, Kalpani; Jonsson, Anders, 1973- (Graz University of Technology. Institut für Informationssysteme und Computer Medien (IICM), 2018)

  Collaborative learning spaces deployed in Massive Open Online Courses (MOOCs) provide productive social learning opportunities. However, sustaining collaboration in these spaces is challenging. This paper provides a ...
• Smartphones or laptops in the collaborative classroom? A study of video-based learning in higher education

  Albó, Laia; Hernández Leo, Davinia; Moreno Oliver, Verónica (Taylor & Francis, 2018)

  This paper explores how the use of smartphones vs. laptops influences students’ engagement, behaviour and experience watching academic videos in a collaborative classroom. Experiments were run in authentic teaching sessions ...
• Extracting relations from unstructured text sources for music recommendation

  Sordo, Mohamed; Oramas, Sergio; Espinosa-Anke, Luis (Springer, 2015)

  This paper presents a method for the generation of struc- tured data sources for music recommendation using information extracted from unstructured text sources. The proposed method identi es entities in text that are ...
• Fundamentos biológicos en la extracción de regularidades del habla

  Toro Soto, Juan Manuel, 1976- (Konrad Lorenz Fundación Universitaria, 2011)

  Uno de los mayores problemas en el estudio del lenguaje es la comprensión de sus fundamentos biológicos. Una forma de abordar este problema que ha resultado efectiva es la de estudiar hasta qué punto compartimos con otros ...
• On the overlap between bilingual language control and domain-general executive control

  Branzi, Francesca Martina, 1984-; Calabria, Marco; Boscarino, Maria Lucrezia; Costa, Albert (Elsevier, 2016)

  We explored the overlap between bilingual language control (bLC) and domain-general executive control (EC) by focusing on inhibitory control processes. We tested 62 bilinguals in linguistic and non-linguistic switching ...
• Report of the results of an IMS Learning Design Expert Workshop

  Neumann, S.; Klebl, M.; Griffiths Jenkins, David; Hernández Leo, Davinia; de la Fuente Valentín, L.; Hummel, H.; Brouns, F.; Derntl, Michael; Oberhuemer, P. (International Association of Online Engineering, 2010)

  Europe has seen a number of learning design initiatives in the past years. Among them are the Open University UK Learning Design Initiative, JISC’s Design for Learning Programme, as well as the Open University of the ...
• Two-port networks to model galvanic coupling for intrabody communications and power transfer to implants

  Ivorra Cano, Antoni, 1974-; Becerra-Fajardo, Laura; Tudela Pi, Marc; Ivorra Cano, Antoni, 1974- (Institute of Electrical and Electronics Engineers (IEEE), 2018)

  Galvanic coupling, or more precisely, volume conduction, can be used to communicate with and to transfer power to electronic implants. Since no bulky components for power, such as coils or batteries, are required within ...
• Irreversible electroporation for the treatment of cardiac arrhythmias

  Sugrue, Alan; Maor, Elad; Ivorra Cano, Antoni, 1974-; Vaidya, Vaibhav; Witt, Chance; Kapa, Suraj; Asirvatham, Samuel (Taylor & Francis, 2018)

  Cardiac ablation is an established treatment modality for the management of patients with cardiac arrhythmias. Current approaches to cardiac ablation employ thermal based energy to achieve lesions (damage) within the ...
• Stochastic transitions into silence cause noise correlations in cortical circuits

  Mochol, Gabriela; Hermoso Mendizabal, Ainhoa; Sakata, Shuzo; Harris, Kenneth D.; De la Rocha, Jaime (National Academy of Sciences, 2015)

  The spiking activity of cortical neurons is highly variable. This variability is generally correlated among nearby neurons, an effect commonly interpreted to reflect the coactivation of neurons due to anatomically shared ...
• DysMusic: detecting dyslexia by web-based games with music elements

  Rauschenberger, Maria (ACM Association for Computer Machinery, 2016)

  The aim of this research is to show that a playful approach combined with music can detect children with dyslexia. Early detection will prevent children from suffering in school until they are detected due to bad grades. ...
• A Parabolic quasilinear problem for linear growth functionals

  Andreu, Fuensanta; Caselles, Vicente; Mazón, José (European Mathematical Society (EMS), 2002)

  We prove existence and uniqueness of solutions for the Dirichlet problem for quasilinear parabolic equations in divergent form for which the energy functional has linear growth. A typical example of energy functional we ...

Mostra'n més