This thesis deals mainly with hereditary coreflective subcategories of the category Top of topological spaces. After preparing the basic tools used in the rest of thesis we start by a question which coreflective subcategories of Top have the property SA = Top (i.e., every topological space can be embedded in a space from A). We characterize such classes by finding generators of the smallest cor...

A common surface is a spatial regularity of our terrestrial environment. For instance, we walk on the common ground surface, lay a variety of objects on the table top, and display our favorite paintings on the wall. It has been proposed that the visual system utilizes this regularity as a reference frame for coding objects' distances. Presumably, by treating the common surface as such--i.e. an ...

120 words) A tidal wave of recent research purports to have discovered that higher-level states such as moods, action-capabilities, and categorical knowledge can literally and directly affect what we see. Are these truly effects on perception, or might some instead reflect influences on judgment, memory, or response bias? Here, we exploit an infamous art-historical reasoning error (the socalled...

Humans seek to gain knowledge and structure data by many means including both bottom-up and top-down methods. But in most instances, people have a specific purpose to their activity with data that drives the process. They often have particular questions that need answering in support of some broader investigation. These questions often change as answers point in various directions during an inv...

We used a data analysis approach for selecting colour components for skin detection. The criterion for this selection was to achieve a reasonable degree of generalisation and recognition, where skin points exhibit a well defined cluster. After evaluating each component of several colour models, we found that a mixure of components can cope well with such requirements. We list the top components...

We tested the hypothesis that the positive affect of powerful negotiators shapes the quality of negotiation processes and outcomes more than the positive affect of less powerful negotiators. Findings from two studies supported the hypothesis: powerful individuals trait positive affect was the best predictor of negotiators trust for each other and of whether they reached integrative outcomes. Po...

Skyline queries have gained considerable attention for multicriteria analysis of large-scale datasets. However, the skyline queries are known to return too many results for highdimensional data. To address this problem, a skycube is introduced to efficiently provide users with multiple skylines with different strengths. For efficient skycube construction, state-of-the-art algorithms amortized r...

We are developing Ask-Elle, a programming tutor that supports students practising functional programming exercises in Haskell. Ask-Elle supports the stepwise construction of a program, can give hints and worked-out solutions at any time, and can check whether or not a student is developing a program similar to one of the model solutions for a problem. An important goal of Ask-Elle is to allow a...

Classical algorithms of evaluation of temporal CTL formulas are constructed “bottom-up”. A formula must be evaluated completely to give the result. In the paper, a new concept of “top-down” evaluation of temporal QsCTL (CTL with state quantifiers) formulas, called “Checking By Spheres” is presented. The new algorithm has two general advantages: the evaluation may be stopped on certain condition...