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...

In 21st century, convergences of technologies and services in heterogeneous environment have contributed multi-traffic. This scenario will affect computer network on learning system in higher educational Institutes. Impl...

"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...

"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 ...

Driven by the financial distress of many social security systems worldwide, national public pension funds (PPFs) have proliferated in recent years. Considering the fact that in 2007, they managed assets globally by more ...