Abstract

Abstract
This short note compares two different methods for exploring type-inhabitation in the simply typed lambda-calculus, highlighting their similarities.

Abstract

Abstract
Due to increasing integration of renewable generation into the electrical framework in last decades, the mathematical techniques required for the optimal day-ahead scheduling needs to be continuously improved, specifically for modeling the variability of these sources. In this paper, a method for producing a new solution for the stochastic unit commitment (UC) problem from the analysis of each scenario is developed. The methodology described in this paper can deal with a large number of scenario sets with a reasonable computational effort, by finding the common and feasible solutions for the scenario set under analysis.

Abstract
Slope deformations are the most important geohazards in Slovakia which annually cause an extensive economic damage of significant influence. About 22000 slope deformations have been registered so far, covering an area of almost 2600 km2. Since 2010, 639 new slope failures have been witnessed and their activation was driven mainly by the climatic anomalies such as extraordinary rainfalls. Many of these landslides currently represent a direct threat to the lives, health and property of the residents in the affected areas. The landslide Nizna Mysla is considered to be the second most catastrophic landslide in the history of Slovakia. Damages to buildings and engineering networks had not been identified in the'90s of the last century when the first problems with the slope stability appeared. Up-tonow monitoring techniques has currently been reassessed to account for the results from satellite Synthetic Aperture Radar (SAR) techniques.

Abstract
The energy sector has suffered a significant restructuring that has increased the complexity in electricity market players' interactions. The complexity that these changes brought requires the creation of decision support tools to facilitate the study and understanding of these markets. The Multiagent Simulator of Competitive Electricity Markets (MASCEM) arose in this context, providing a simulation framework for deregulated electricity markets. The Adaptive Learning strategic Bidding System (ALBidS) is a multiagent system created to provide decision support to market negotiating players. Fully integrated with MASCEM, ALBidS considers several different strategic methodologies based on highly distinct approaches. Six Thinking Hats (STH) is a powerful technique used to look at decisions from different perspectives, forcing the thinker to move outside its usual way of thinking. This paper aims to complement the ALBidS strategies by combining them and taking advantage of their different perspectives through the use of the STH group decision technique. The combination of ALBidS' strategies is performed through the application of a genetic algorithm, resulting in an evolutionary learning approach.