Agris on-line Papers in Economics and Informatics, 2015
Rozvoj informačních a komunikačních technologií přispěl k rozvoji metod vizualizace dat. Existuje... more Rozvoj informačních a komunikačních technologií přispěl k rozvoji metod vizualizace dat. Existuje mnoho nástrojů, které umožňují monitorování pohyblivých objektů v agrárním sektoru a řada způsobů využití polohových dat a přístupu k nim. Jejich použití závisí především na uživatelských požadavcích. Každá skupina uživatelů má jiné nároky a jiné kompetence k ovládání softwarových nástrojů. Hlavním cílem tohoto článku je analýza cílových skupin uživatelů a určení vhodnosti jednotlivých GIS (geographic information system) pro různé uživatelské skupiny. Experimentálně byly ověřeny tři způsoby užití a to: desktop, server a developer. Byly zhodnoceny jejich možnosti s ohledem na cílovou skupinu a požadovanou funkcionalitu. Testování využívalo standartní úlohy vizualizace pohybu, například zobrazení bodů, tras pohybu, polygonů a heat map výskytu. Použitá datová základna byla získána v rámci dlouhodobé spolupráce Katedry informačních technologií a Katedry myslivosti a lesnické zoologie.
This paper contains results from two areas -- formal theory of Kan extensions and concrete catego... more This paper contains results from two areas -- formal theory of Kan extensions and concrete categories. The contribution to the former topic is based on the extension of the concept of Kan extension to the cones and we prove that limiting cones create Kan extensions. The latter topic focuses on two significant families of concrete categories over an arbitrary category. Beck categories are defined by preservance properties while newly introduced l-algebraic categories are described by limits of categories of functor algebras. The latter family is shown to be rather natural. The well known Beck's theorem states that the monadic categories are precisely the Beck categories with free objects. We strengthen this theorem by weakening the assumptions of the existence of free objects and we replace it by existence of some Kan extensions, namely the pointwise codensity monads. Moreover, using the result on Kan extensions of cones we show that for l-algebraic categories even weaker assumpt...
Education of adults with intellectual disabilities in labor activities can help them to successfu... more Education of adults with intellectual disabilities in labor activities can help them to successfully and repeatedly carry out their work tasks and significantly help their self-realization. The problem is that the need for frequent repetition of already learned skills requires the constant presence of a teacher or caregiver since such a worker is not able to work independently. This situation increases the cost of employing people with disabilities. The aim is to find a way to reduce the necessary number of caregivers needed in this kind of activity and enable greater self-sufficiency of workers. The presented research intended to verify whether a web course could be an effective educational tool for people with intellectual disabilities. During the research, a group of ten participants with intellectual disabilities was educated to acquire basic skills in horticulture. The first teaching was realized through practical demonstrations at the workplace in the university production gar...
The well known Beck's theorem states that the monadic categories are precisely the Beck categorie... more The well known Beck's theorem states that the monadic categories are precisely the Beck categories with free objects. We strengthen this theorem by weakening the assumptions of the existence of free objects and we replace it by existence of some Kan extensions, namely the pointwise codensity monads. Moreover, using the result on Kan extensions of cones we show that for l-algebraic categories even weaker assumption fits.
Soubor Zavádka slavil čtyřicet let Kdykoliv mám možnost "odskočit" do Čejkovic, těším se, jako by... more Soubor Zavádka slavil čtyřicet let Kdykoliv mám možnost "odskočit" do Čejkovic, těším se, jako bych se vracel domů. Tentokrát však měla návštěva svátečnější ráz. V sobotu 1.března slavila "čejkovská"Zavádka čtyřicetileté jubileum. Nebudu tajit, jak moc jsem se těšil, že se po dlouhé době setkám se členy souboru. Když jsme spolu s ženou vstupovali do kulturního domu čejkovské zemědělské společnosti, hned ve dveřích nás vítali úsměvem mladí i starší členové souboru, kteří spolu s četnými návštěvníky slavnostního koncertu zaplňovali předsálí.
Uploads
Papers by Jan Pavlík