Now showing items 542-561 of 725

    • QBF modeling: exploiting player symmetry for simplicity and efficiency 

      Sabharwal, Ashish; Ansótegui Gil, Carlos José; Gomes, Carla; Hart, Justin W.; Selman, Bart (Springer Verlag, 2006)
      Quantified Boolean Formulas (QBFs) present the next big challenge for automated propositional reasoning. Not surprisingly, most of the present day QBF solvers are extensions of successful propositional satisfiability ...
    • Quantitative analysis in a heuristic evaluation experiment 

      Masip Ardévol, Llúcia; Granollers i Saltiveri, Toni; Oliva Solé, Marta; González Mata, Marta (Elsevier, 2009)
      In usability context of interactive systems the heuristic evaluation method is widespread. In most applications the results tend to be qualitative, describing such aspects that require some improvement for the benefit ...
    • QUINST: A Metamodeling Tool 

      Burgués, Xavier; Franch, Xavier; Ribó i Balust, Josep M. (Josep Maria) (Springer Verlag, 2005)
      We present a metamodeling tool to support a modeling methodology which we have succesfully applied in the field of software quality. As a distinguishing and general purpose functionality, it implements the concept of ...
    • Radiative cooling as low-grade energy source: a literature review 

      Vall Aubets, Sergi; Castell, Albert (Elsevier, 2017-09-01)
      Radiative cooling is a technology intended to provide cooling using the sky as a heat sink. This technology has been widely studied since 20th century but its research is scattered all over the literature, requiring of a ...
    • Rammed earth walls in Mediterranean climate: material characterization and thermal behaviour 

      Serrano, Susana; Rincón, Lídia; González, Belen; Navarro Ezquerra, Antonia; Bosch, Montserrat; Cabeza, Luisa F. (Oxford University Press, 2017)
      Rammed earth is considered a very sustainable construction system due to its low embodied energy, long service life and high recyclability. However, authors found that there is a lack of experimental results at real scale ...
    • Real-time tree-foliage surface estimation using a ground laser scanner 

      Palacín Roca, Jordi; Pallejà Cabrè, Tomàs; Tresánchez Ribes, Marcel; Ribes Dasi, Manuel; Llorens Calveras, Jordi; Escolà i Agustí, Alexandre; Rosell Polo, Joan Ramon; Sanz Cortiella, Ricardo; Masip Vilalta, Joan; Arnó Satorra, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2007)
      The optimization of most pesticide and fertilizer applications is based on overall grove conditions. In this work we measurements. Recently, Wei [9, 10] used a terrestrial propose a measurement system based on a ground ...
    • Recent Trends on Liquid Air Energy Storage: A Bibliometric Analysis 

      Borri, Emiliano; Tafone, Alessio; Zsembinszki, Gabriel; Comodi, Gabriele; Romagnoli, Alessandro; Cabeza, Luisa F. (MDPI, 2020)
      The increasing penetration of renewable energy has led electrical energy storage systems to have a key role in balancing and increasing the e ciency of the grid. Liquid air energy storage (LAES) is a promising technology, ...
    • Recovering accuracy methods for scalable consistency library 

      Lladós Segura, Jordi; Guirado Fernández, Fernando; Cores Prado, Fernando; Lérida Monsó, Josep Lluís; Notredame, Cedric (Springer Verlag, 2015-05-01)
      Multiple sequence alignment (MSA) is crucial for high-throughput next generation sequencing applications. Large-scale alignments with thousands of sequences are necessary for these applications. However, the quality of the ...
    • Reduction of the subcooling of bischofite with the use of nucleatings agents 

      Ushak, Svetlana; Gutiérrez, Andrea; Barreneche Güerisoli, Camila; Fernández Renna, Ana Inés; Grágeda, Mario; Cabeza, Luisa F. (Elsevier, 2016)
      The use of by-products or wastes as phase change materials (PCM) in thermal energy storage (TES) systems is a good option to decrease the cost of such systems. One of the main disadvantages of PCM if inorganic materials ...
    • Regular-SAT: A many-valued approach to solving combinatorial problems 

      Béjar Torres, Ramón; Manyà Serres, Felip; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Gomes, Carla (Elsevier, 2007)
      Regular-SAT is a constraint programming language between CSP and SAT that—by combining many of the good properties of each paradigm—offers a good compromise between performance and expressive power. Its similarity to SAT ...
    • Reliability framework for power network assessment 

      Mishra, Sambeet; Bordin, Chiara; Mateo Fornés, Jordi; Palu, Ivo (EDP Sciences, 2019)
      Reliability of power system in terms of investments in network maintenance and restructuring for power distribution network has gained importance due to increase in distributed generation. To determine the reliability of ...
    • Removal of peak and spike noise in EEG signals based on the analytic signal magnitude 

      Melia, Umberto; Clarià Sancho, Francisco; Vallverdú, Montserrat; Caminal Magrans, Pere (IEEE, 2012-08)
      Peak and spike artifacts in time series represent a serious problem for signal analysis especially in biomedical field. From the last decades, different techniques have been used for their removal mainly based on adaptive ...
    • Renewable energy research and technologies through responsible research and innovation looking glass: reflexions, theoretical approaches and contemporary discourses 

      Carbajo, Ruth; Cabeza, Luisa F. (Elsevier, 2018)
      The increasing challenges that energy research faces as a priority in most of the global research agendas, are revealed both in terms of social and technical issues. Energy research highlights are set on the development ...
    • Requirements to consider when choosing a thermochemical material for solar energy storage 

      Solé, Aran; Fontanet, Xavier; Barreneche Güerisoli, Camila; Fernández Renna, Ana Inés; Martorell, Ingrid; Cabeza, Luisa F. (Elsevier, 2013)
      Solar thermochemical reactors offer good potential for production of heat for residential space heating and cooling and domestic hot water. The materials able to store solar energy are called thermochemical materials which ...
    • Research trends and perspectives of thermal management of electric batteries: Bibliometric analysis 

      Cabeza, Luisa F.; Frazzica, Andrea; Chàfer, Marta; Vérez, David; Palomba, Valeria (Elsevier, 2020)
      The development of renewable energy sources (RES) to achieve the UN Sustainable Development Goals of a 100% RES-based energy system has driven a lot of research on batteries for electric vehicles and stationary applications, ...
    • Resolución de Problemas en Ingeniería Utilizando Técnicas de Inteligencia Artificial 

      Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Manyà Serres, Felip (AEIM, 2002)
      En este artículo presentamos el temario para una asignatura sobre resolución de problemas en ingeniería utilizando técnicas de inteligencia artificial. Por un lado, el temario cubre diferentes métodos automáticos (algoritmos) ...
    • Resource Matching in Non-dedicated Multicluster Environments 

      Lérida Monsó, Josep Lluís; Solsona Tehàs, Francesc; Giné, Francesc; Hernández Budé, Porfidio; García, J. R. (Springer Verlag, 2008)
      We are interested in making use of Multiclusters to execute parallel applications. The present work is developed within the M-CISNE project. MCISNE is a non-dedicated and heterogeneous Multicluster environment which includes ...
    • Resultados de los ensayos de fertirrigación en melocotón para industria. Análisis de la producción y calidad según la dosis de nitrógeno aplicada 

      Rufat i Lamarca, Josep; Domingo i Albin, Xavier; Arbonés, Amadeu; Villar Mir, Josep Ma.; Villar Mir, Pere; Pascual Roca, Miquel (Eumedia, 2009)
      Del estudio de los resultados del tercer año de aplicación de diferentes dosis de nitrógeno a melocotoneros destinados a la industria transformadora se desprende que la aplicación de nitrógeno tendió a incrementar ...
    • Review and estimation of global halocarbon emissions in the buildings sector 

      Hu, Shan; Cabeza, Luisa F.; Yan, Da (Elsevier, 2020)
      Estimates of the non-CO2 greenhouse gas (GHG) emissions contributed by the buildings sector are necessary to evaluate this sector's potential for climate change mitigation. As data is lacking on fluorinated gases (F-gases) ...
    • Review of Reactors with Potential Use in Thermochemical Energy Storage in Concentrated Solar Power Plants 

      Zsembinszki, Gabriel; Solé, Aran; Barreneche Güerisoli, Camila; Prieto, Cristina; Fernández Renna, Ana Inés; Cabeza, Luisa F. (MDPI, 2018)
      The aim of this study is to perform a review of the state-of-the-art of the reactors available in the literature, which are used for solid-gas reactions or thermal decomposition processes around 1000 ºC that could be further ...