Now showing items 311-330 of 725

    • Facilitating Business Interoperability from the Semantic Web 

      García González, Roberto; Gil Iranzo, Rosa María (Springer Verlag, 2007)
      Most approaches to B2B interoperability are based on language syntax standardisation, usually by XML Schemas. However, due to XML expressivity limitations, they are difficult to put into practice because language semantics ...
    • Fatty acid eutectic mixtures and derivatives from non-edible animal fat as phase change materials 

      Gallart-Sirvent, Pau; Martín, Marc; Villorbina Noguera, Gemma; Balcells Fluvià, Mercè; Solé, Aran; Barreneche Güerisoli, Camila; Cabeza, Luisa F.; Canela i Garayoa, Ramon (Royal Society of Chemistry, 2017)
      A set of compounds from non-edible fat waste was prepared and their thermal behavior was studied. The fat was hydrolyzed and crystallized in a simple and robust process to yield palmitic acid-stearic acid (PA-SA) mixtures. ...
    • Feasibility Study of Freeze Recovery Options in Parabolic Trough Collector Plants Working with Molten Salt as Heat Transfer Fluid 

      Prieto, Cristina; Rodríguez-Sánchez, Alfonso; Ruiz-Cabañas, F. Javier; Cabeza, Luisa F. (MDPI, 2019)
      Parabolic trough collector (PTC) technology is currently the most mature solar technology, which has led to the accumulation of relevant operational experience. The overall performance and efficiency of these plants depends ...
    • Filtering and thresholding the analytic signal envelope in order to improve peak and spike noise reduction in EEG signals 

      Melia, Umberto; Clarià Sancho, Francisco; Vallverdú, Montserrat; Caminal Magrans, Pere (Elsevier, 2014-03-28)
      To remove peak and spike artifacts in biological time series has represented a hard challenge in the last decades. Several methods have been implemented mainly based on adaptive filtering in order to solve this problem. ...
    • FingerScanner: Embedding a Fingerprint Scanner in a Raspberry Pi 

      Sapes, Jordi; Solsona Tehàs, Francesc (MDPI, 2016)
      Nowadays, researchers are paying increasing attention to embedding systems. Cost reduction has lead to an increase in the number of platforms supporting the operating system Linux, jointly with the Raspberry Pi motherboard. ...
    • Flexible heat pump integration to improve sustainable transition toward 4th generation district heating 

      Abokersh, Mohamed Hany; Saikia, Kangkana; Cabeza, Luisa F.; Boer, Dieter; Vallès Rasquera, J. Manel (Elsevier, 2020)
      The movement toward the 4th generation district heating (4GDH) embraces a great opportunity to support the future smart energy development concept. However, its development calls for addressing technological and economic ...
    • Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming 

      Alsinet, Teresa; Béjar Torres, Ramón; Godo i Lacasa, Lluís; Guitart Bravo, Francesc (Taylor & Francis, 2016-01-10)
      Possibilistic defeasible logic programming (P-DeLP) is a logic programming framework which combines features from argumentation theory and logic programming, in which defeasible rules are attached with weights expressing ...
    • Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification 

      Alsinet, Teresa; Chesñevar, Carlos Iván; Godo i Lacasa, Lluís; Sandri, Sandra; Simari, Guillermo Ricardo (Elsevier, 2008)
      Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the ...
    • Formalizing defeasible argumentation using a labeled deductive system 

      Chesñevar, Carlos Iván; Simari, Guillermo Ricardo (Iberoamerican Science & Technology Education Consortium, 2001)
      In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed ...
    • Free-cooling of buildings with phase change materials 

      Zalba, Belén; Marín, José M.; Cabeza, Luisa F.; Mehling, Harald (Elsevier, 2004)
      In this paper, the application of phase change materials (PCM) in free-cooling systems is studied. Free-cooling is understood as a means to store outdoors coolness during the night, to supply indoors cooling during the ...
    • From High Girth Graphs to Hard Instances 

      Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles (Springer Verlag, 2008)
      In this paper we provide a new method to generate hard k-SAT instances. Basically, we construct the bipartite incidence graph of a k-SAT instance where the left side represents the clauses and the right side represents ...
    • From overview to facets and pivoting for interactive exploration of semantic web data 

      Brunetti Fernández, Josep Maria; García González, Roberto; Auer, Sören (IGI Global, 2013)
      The proliferation of Linked Open Data on the Web has increased the amount of data available for analysis and reuse. However, casual users find it difficult to explore and use Semantic Web Data due to the prevalence of ...
    • Frost detection method on evaporator in vapour compression systems 

      Maldonado, José Miguel; Gracia Cuesta, Alvaro de; Zsembinszki, Gabriel; Moreno Argilés, Pere; Albets Chico, Xavier; González, Miguel Ángel; Cabeza, Luisa F. (Elsevier, 2020)
      To preserve food nutrients, texture, and taste, as well as to prevent its putrefaction, food is frozen and kept at around −20 °C. Refrigerators and freezers are highly energy demand systems which can suf- fer a considerable ...
    • Fully distributed authentication with locality exploitation for the CoDiP2P peer-to-peer computing platform 

      Cores Prado, Fernando; Guirado Fernández, Fernando; Naranjo, J. A. M.; Casado, L. G. (Springer Verlag, 2013)
      CodiP2P is a distributed platform for computation based on the peer-topeer paradigm. This article presents a novel distributed authentication method that suits the platform and adapts to its characteristics. The developed ...
    • Gas engine heat pump system: Experimental facility and thermal evaluation for 5 different units 

      Sánchez Ramos, José; Guerrero Delgado, M. Carmen; Álvarez Domínguez, Servando; Molina Féliz, José Luis; Cabeza, Luisa F. (Elsevier, 2019)
      Gas Engine Heat Pump requires simplified characterization models that allow evaluating its economic and energy impacts. These simplified solutions can be implemented in complex simulation algorithms for different commercial ...
    • Generating hard SAT/CSP instances using expander graphs 

      Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles (Association for the Advancement of Artificial Intelligence, 2008)
      In this paper we provide a new method to generate hard k-SAT instances. We incrementally construct a high girth bipartite incidence graph of the k-SAT instance. Having high girth assures high expansion for the graph, and ...
    • Generating highly balanced sudoku problems as hard problems 

      Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Gomes, Carla; Mateu Piñol, Carles (Springer, 2011)
      Sudoku problems are some of the most known and enjoyed pastimes, with a never diminishing popularity, but, for the last few years those problems have gone from an entertainment to an interesting research area, a twofold ...
    • Geometry optimization of a heat storage system for concentrated solar power plants (CSP) 

      Solé, Aran; Falcoz, Quentin; Cabeza, Luisa F.; Neveu, Pierre (Elsevier, 2018)
      In the present study, geometry optimization of a phase change material (PCM) heat storage system is presented. The existing PCM-fins heat exchanger system works at the back side of a solar receiver in order to minimize the ...
    • Green facade for energy savings in buildings: The influence of leaf area index and facade orientation on the shadow effect 

      Pérez Luque, Gabriel; Coma Arpón, Julià; Sol i Felip, Salvador; Cabeza, Luisa F. (Elsevier, 2017)
      To “green” building envelopes is currently one of the most promising ways to provide energy savings in buildings and to contribute to the urban heat island effect mitigation. The shadow effect supplied by plants is the ...
    • Green roofs as passive system for energy savings when using rubber crumbs as drainage layer 

      Pérez Luque, Gabriel; Coma Arpón, Julià; Solé Cutrona, Cristian; Castell, Albert; Cabeza, Luisa F. (Elsevier, 2012)
      This study is another step of a long-term work in order to study the thermal behaviour of extensive green roofs in dry Mediterranean Continental climate. In this paper there are two main goals. On one hand, the possibility ...