Now showing items 1-20 of 42

    • A simple model to predict the thermal performance of a ventilated facade with phase change materials 

      Gracia Cuesta, Alvaro de; Castell, Albert; Fernàndez Camon, César; Cabeza, Luisa F. (Elsevier, 2015)
      Appropriate design and control strategies are crucial for the implementation of certain complex active systems in the building sector. Suitable and user-friendly numerical tools have to be available to architects and ...
    • An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships 

      Alsinet, Teresa; Argelich Romà, Josep; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles; Planes Cid, Jordi (Elsevier, 2017-07-08)
      Twitter is one of the most widely used social networks when it comes to sharing and criticizing relevant news and events. In order to understand the major opinions accepted and rejected in different domains by Twitter ...
    • Analysis of thermal energy storage tanks and PV panels combinations in different buildings controlled through model predictive control 

      Tarragona Roig, Joan; Pisello, Anna Laura; Fernàndez Camon, César; Cabeza, Luisa F.; Payá, Jorge; Marchante-Avellaneda, Javier; Gracia Cuesta, Alvaro de (Elsevier, 2021)
      The present study analyses the performance of a heating system controlled by a model predictive control strategy, where the impact of different combinations of thermal energy storage tank volumes and installed PV power ...
    • Approximate dynamic programming for automated vacuum waste collection systems 

      Fernàndez Camon, César; Manyà Serres, Felip; Mateu Piñol, Carles; Solé Mauri, Francina (Elsevier, 2014-01-06)
      The collection and treatment of waste poses a major challenge to modern urban planning, particularly to smart cities. To cope with this problem, a cost-effective alternative to conventional methods is the use of Automated ...
    • Are users' ratings on TripAdvisor similar to hotel categories in Europe? 

      Martín Fuentes, Eva; Mateu Piñol, Carles; Fernàndez Camon, César (Universidad de Murcia, 2018-11-15)
      European countries do not have the same hotel classification system. Therefore, the criteria and requirements used to assign star ratings to hotels do not concur among the different countries. There have been some criticisms ...
    • Automated monitoring of medical protocols: a secure and distributed architecture 

      Alsinet, Teresa; Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Manyà Serres, Felip (Elsevier, 2003)
      The control of the right application of medical protocols is a key issue in hospital environments. For the automated monitoring of medical protocols, we need a domain-independent language for their representation and a ...
    • Capturing Structure with Satisfiability 

      Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip; Gomes, Carla (Springer Verlag, 2001)
      We present Regular-SAT, an extension of Boolean Satisfiability basedon a class of many-valuedCNF formulas. Regular-SAT shares many properties with Boolean SAT, which allows us to generalize some of the best known SAT ...
    • Communication and Computation in Distributed CSP Algorithms 

      Fernàndez Camon, César; Béjar Torres, Ramón; Krishnamachari, Bhaskar; Gomes, Carla (Springer Verlag, 2005)
      We introduce SensorDCSP, a naturally distributed benchmark based on a real-world application that arises in the context of networked distributed systems. In order to study the performance of Distributed CSP (DisCSP) ...
    • Control of a PCM ventilated facade using reinforcement learning techniques 

      Gracia Cuesta, Alvaro de; Fernàndez Camon, César; Castell, Albert; Mateu Piñol, Carles; Cabeza, Luisa F. (Elsevier, 2015)
      Artificial intelligence techniques have been successfully applied to control dynamic systems looking for an optimal control. Among those techniques, reinforcement learning has been shown as particularly effective at reducing ...
    • Control strategies comparison of a ventilated facade with PCM – energy savings, cost reduction and CO2 mitigation 

      Gracia Cuesta, Alvaro de; Barzin, Reza; Fernàndez Camon, César; Farid, Mohammed M.; Cabeza, Luisa F. (Elsevier, 2016)
      The use of active thermal energy storage can provide energy savings, cost reduction and CO2 mitigation by reducing energy demand for heating and cooling, allowing the use of peak load shifting strategies and enhancing the ...
    • Deep learning optimal control for a complex hybrid energy storage system 

      Zsembinszki, Gabriel; Fernàndez Camon, César; Vérez, David; Cabeza, Luisa F. (MDPI, 2021)
      Deep Reinforcement Learning (DRL) proved to be successful for solving complex control problems and has become a hot topic in the field of energy systems control, but for the particular case of thermal energy storage (TES) ...
    • Does verifying users influence rankings? Analyzing TripAdvisor and Booking.com 

      Martín Fuentes, Eva; Mateu Piñol, Carles; Fernàndez Camon, César (Cognizant Communication Corporation, 2018-03-14)
      Electronic word of mouth (eWOM) is of recent and considerable importance in tourism, particularly because of the intangible nature of this industry. Users' online reviews are a source of information for other consumers, ...
    • Economic evaluation of a hybrid heating system in different climate zones based on model predictive control 

      Tarragona Roig, Joan; Fernàndez Camon, César; Cabeza, Luisa F.; Gracia Cuesta, Alvaro de (Elsevier, 2020)
      Thermal energy storage (TES) systems allow the user to store energy produced from renewable energy sources during lower consumption periods, and to consume it when the energy demand is higher. Moreover, the use of TES ...
    • Edge matching puzzles as hard SAT/CSP benchmarks 

      Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles (Springer, 2008)
      Recently, edge matching puzzles, an NP-complete problem, have rececived, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving ...
    • Extending the Reach of SAT with Many-Valued Logics 

      Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip; Gomes, Carla (Elsevier, 2001)
      We present Regular-SAT, an extension of Boolean Satisfiability based on a class of many-valued CNFform ulas. Regular-SAT shares many properties with Boolean SAT, which allows us to generalize some of the best known SAT ...
    • 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 ...
    • 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 ...
    • How hard is a commercial puzzle: the eternity II challenge 

      Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles (IOS Press, 2008)
      Recently, edge matching puzzles, an NP-complete problem, have received, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving ...
    • Minimal and Redundant SAT Encodings for the All-Interval-Series Problem 

      Alsinet, Teresa; Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip (Springer Verlag, 2002)
      The SAT encodings defined so far for the all-interval-series (ais) problem are very hard for local search but rather easy for systematic algorithms. We define different SAT encodings for the ais problem and provide ...