Buscar recursos académicos

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

"The German Government has the objective the reduce by 11% the electrical energy consumption until 2020. Cooling facilities represent 14% of this consumption and bring huge savings potential. Solar thermal cooling and he...

"This thesis investigates the application of machine learning methods to the task of deforestation monitoring using time-series satellite data. The objective is to assess how different algorithmic approaches perform in d...

Tesis Energía y Ambiente (maestría) - Instituto Tecnológico de Buenos Aires, Buenos Aires - Karlsruher Institut für Technologie, Karlsruhe, 2024 "This thesis focuses on the optimisation of photovoltaic (PV) systems t...

"The steel industry faces increasing challenges in managing product diversity, maintaining competitiveness, and improving operational efficiency. Within this context, recommendation systems present a promising opportunit...

Tesis Energía y Ambiente (maestría) - Instituto Tecnológico de Buenos Aires, Buenos Aires - Karlsruher Institut für Technologie, Karlsruhe, 2025 "In the present work different models of heat pumps are studied in orde...

"Thickened CO2 nanofluids are a mean to improve volumetric sweep efficiency and gas production in CO2 EOR projects in contrast CO2 flooding. Alternating injection of plain CO2 with thickened CO2 nanofluid is proposed as ...