|
|
Time-space mobility of Prague inhabitants threatened by social exclusion
Hruška, Martin ; Matoušek, Roman (advisor) ; Osman, Robert (referee)
Society in twenty-first century faces many issues and is becoming more complex than ever. Therefore, the ability to understand different groups around us is becoming crucial. This is important not only from a planning or political perspective but also from the civil coexistence of the majority with the minorities. This paper is based on numerous theories and concepts that are applied in the social context of today's transforming post-socialist cities. Prague is the biggest and the richest city in the Czech Republic. Due to its size and high attractiveness for different layers of the population, Prague is a place where the social inequalities are fully displayed. A certain degree of differentiation in society is natural. However, after 1989 the Prague's population became polarized. On the one side, there are the traditional city neighborhoods and emerging districts for rich people. On the other side, there are the newly emerged parts of the city for socially excluded. The groups living in these neighborhoods are in an unequal position with each other and this difference is not diminishing. As shown by various studies, only a small percentage of people is able to rise from the rock bottom back into the mainstream society. The goal of this thesis is to answer some questions around those issues that...
|
|
|
Sociospatial Aspects of Homelessness - Case Study of Central Smíchov
Hruška, Martin ; Temelová, Jana (advisor) ; Jíchová, Jana (referee)
The study of life of various groups of population has become in today's society increasingly important. Society in its complexity is being continously differentiated and offers many questions not only of mainstream society, but also other, less studied groups around us. This bachelor thesis aims to contribute to research in daily life of specific socially deprivated population group. Using interviews with direct and another key actors will seek to identify and objective evaluate spacial relations and spacial behavior of homeless population in the central part of Prague 5 - Smíchov. Presents also both their social characteristics and social relations with their neighborhood, including other actors. It tries to put life and motivations of the people on the street in a social context. Keywords: homelessness - spacial aspects - social aspects - everyday life - central Smíchov
|
|
|
Individual Responsibility for Health
Hruška, Martin ; Křížová, Eva (advisor)
Since the sixties of the last century in the developed world begins to discover a new approach to health care, which tries to reflectmeaningful statistical data on causes of morbidity and prematuredeaths, along with new scientific representations of the relationshipsbetween different factors and their implications for the health condition of an individual.
|
|
|
Improved Tools for Handling deltarpm Files
Chalk, Matěj ; Hruška, Martin (referee) ; Vojnar, Tomáš (advisor)
Na platformě Fedora se používají balíčky RPM pro instalaci softwaru. Každá verze takto distribuovaného softwaru odpovídá samostatnému souboru RPM. Aktualizace softwaru pak odpovídá stáhnutí velkého souboru RPM, který je ve skutečnosti velmi podobný již nainstalovnému balíčku. Balíčky DeltaRPM poskytují alternativu pro aktualizaci softwaru. Jedná se o speciální patch soubory, které uchovávají rozdíl mezi dvěma soubory RPM. Aktualizace pak spočívá ve stáhnutí daleko menšího souboru a aplikaci tohoto patche na starší verzi příslušného RPM. Projekt deltarpm definuje formát souborů DeltaRPM a nabízí nástroje pro příkazovou řádku, které realizují jejich vytváření a aplikaci. Tato implementace je však nevhodná pro použití jako knihovna. Cíl této práce je vytvořit novou implementaci nástrojů pro vytváření a aplikaci souborů DeltaRPM, která je zpětně kompatibilní a poskytuje knihovnu pro vývojáře v jazyce C, která vyřeší některé slabiny současné implementace.
|
|
| |
|
|
Efficient Algorithms for Finite Automata
Hruška, Martin ; Rogalewicz, Adam (referee) ; Lengál, Ondřej (advisor)
Nondeterministic finite automata are used in many areas of computer science, including, but not limited to, formal verification, the design of digital circuits or for the representation of a regular language. Their advantages over deterministic finite automata is that they may represent a language in even exponentially conciser way. However, this advantage may be lost if a naive approach to some operations is taken, in particular for checking language inclusion of a pair of automata, the naive implementation of which performs an explicit determinization of one of the automata. Recently, several new techniques for this operation that avoid explicit determinization (using the so-called antichains or bisimulation up to congruence) have been proposed. The main goal of the presented work is to efficiently implement these techniques as a new extension of the VATA library. The implementation has been evaluated and is superior to other implementations in over 90% of tested cases by the factor of 2 to 100.
|
|
|
Verification of Pointer Programs Based on Forest Automata
Hruška, Martin ; Rogalewicz, Adam (referee) ; Holík, Lukáš (advisor)
In this work, we focus on improving the forest automata based shape analysis implemented in the Forester tool. This approach represents shapes of the heap using forest automata. Forest automata are based on tree automata and Forester currently has only a simple implementation of tree automata. Our first contribution is replacing this implementation by the general purpose tree automata library VATA, which contains the highly optimized implementations of automata operations. The version of Forester using the VATA library participated in the competition SV-COMP 2015. We further extended the forest automata based verification method with two new techniques - a counterexample analysis and predicate abstraction. The first one allows us to determine whether a found error is a real or spurious one. The results of the counterexample analysis is also used for creating new predicates which are used for the refinement of predicate abstraction. We show that both of these techniques contribute to an improvement over the early approach.
|
|
|
Wireless sensor network
Hruška, Martin ; Burda, Karel (referee) ; Mišurec, Jiří (advisor)
Wireless sensor network (WSN) consist of a mesh of a several powerful devices (denoted as base stations or sink) and a high number (1000 - 1000000) of a low-cost devices (denoted as nodes or motes), which are severely constrained in processing power, memory and energy. The nodes are equipped with an environment sensor. Events recorded by the sensor nodes are locally aggregated and then forwarded to a base station for further processing. WSNs are expected to be in wide use for a multitude of different scenarios. Project target is to analyse possibility of wireless transfer of digitalised data from sensors. Work contains and compares: Wi-Fi, , WiMAX, ZigBee, GPRS, radio net and IrDA. The work will design a wirelless network with data collection from sewerage plant sensors in small rural agglomeration and transfer data to the central dispatching. The work will suggest several options and compare their advantages and disadvantages.
|
|
|
Detection of characteristic facial features in tele-X-ray image
Hruška, Martin ; Přinosil, Jiří (referee) ; Mišurec, Jiří (advisor)
Description cephalometric images and the characteristic points on the skull for cephalometric analysis. Theoretical analysis of digital image editing and image before the actual detection. The range of possible methods for determining the characteristic points on the face. Experimental verification of edge detectors, Hu moments with neural networks and Haar wavelets with Viola-Jones detector.
|
|
| |
guest ::
RSS feed.