|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (referee) ; Yamamura,, Akihito (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.
|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (referee) ; Zahradnický,, Tomáš (referee) ; Kolář, Dušan (advisor)
Práce je zaměřena na rozpoznávání specifického chování pomocí generického zpětného překladu. Generický zpětný překlad je proces, který transformuje spustitelné soubory z různých architektur a formátů objektových souborů na stejný jazyk na vysoké úrovni. Tento proces se vztahuje k nástroji Lissom Decompiler. Pro účely rozpoznání chování práce zavádí Language for Decompilation -- LfD. LfD představuje jednoduchý imperativní jazyk, který je vhodný pro srovnávaní. Konkrétní chování je dáno známým spustitelným souborem (např. malware) a rozpoznání se provádí jako najítí poměru podobnosti s jiným neznámým spustitelným souborem. Tento poměr podobnosti je vypočítán nástrojem LfDComparator, který zpracovává dva vstupy v LfD a rozhoduje o jejich podobnosti.
|
|
Security of Biometric Systems
Lodrová, Dana ; Busch, Christoph (referee) ; Provazník, Ivo (referee) ; Drahanský, Martin (advisor)
Hlavním přínosem této práce jsou dva nové přístupy pro zvýšení bezpečnosti biometrických systémů založených na rozpoznávání podle otisků prstů. První přístup je z oblasti testování živosti a znemožňuje použití různých typů falešných otisků prstů a jiných metod oklamání senzoru v průběhu procesu snímání otisků. Tento patentovaný přístup je založen na změně barvy a šířky papilárních linií vlivem přitlačení prstu na skleněný podklad. Výsledná jednotka pro testování živosti může být integrována do optických senzorů. Druhý přístup je z oblasti standardizace a zvyšuje bezpečnost a interoperabilitu procesů extrakce markantů a porovnání. Pro tyto účely jsem vytvořila metodologii, která stanovuje míry sémantické shody pro extraktory markantů otisků prstů. Markanty nalezené testovanými extraktory jsou porovnávány oproti Ground-Truth markantům získaným pomocí shlukování dat poskytnutých daktyloskopickými experty. Tato navrhovaná metodologie je zahrnuta v navrhovaném dodatku k normě ISO/IEC 29109-2 (Amd. 2 WD4).
|
|
Optimization of network flow monitoring
Žádník, Martin ; Lhotka,, Ladislav (referee) ; Matoušek, Radomil (referee) ; Sekanina, Lukáš (advisor)
The thesis deals with optimization of network flow monitoring. Flow-based network traffic processing, that is, processing packets based on some state information associated to the flows which the packets belong to, is a key enabler for a variety of network services and applications. The number of simultaneous flows increases with the growing number of new services and applications. It has become a challenge to keep a state per each flow in a network device processing high speed traffic. A flow table, a structure with flow states, must be stored in a memory hierarchy. The memory closest to the processing is known as a flow cache. Flow cache management plays an important role in terms of its effective utilization, which affects the performance of the whole system. This thesis focuses on an automated design of cache replacement policy optimized to a deployment on particular networks. A genetic algorithm is proposed to automate this process. The genetic algorithm generates and evaluates evolved replacement policies by a simulation on obtained traffic traces. The proposed algorithm is evaluated by designing replacement policies for two variations of the cache management problem. The first variation is an evolution of the replacement policy with an overall low number of state evictions from the flow cache. The second variation represents an evolution of the replacement policy with a low number of evictions belonging to large flows only. Optimized replacement policies for both variations are found while experimenting with various encoding of the replacement policy and genetic operators. The newly evolved replacement policies achieve better results than other tested policies. The evolved replacement policy lowers the overall amount of evictions by ten percent in comparison with the best compared policy. The evolved replacement policy focusing on large flows lowers the amount of their evictions two times. Moreover, no eviction occurs for most of the large flows (over 90%). The evolved replacement policy offers better resilience against flooding the flow cache with large amount of short flows which are typical side effects of scanning or distributed denial of service activities. An extension of the replacement policy is also proposed. The extension complements the replacement policy with an additional information extracted from packet headers. The results show further decrease in the number of evictions when the extension is used.
|
|
The Introduction of Contact Ecotoxicity Tests for the Assessment of Terrestrial Ecosystems
Modlitbová, Pavlína ; Kráčmar, Stanislav (referee) ; Beklová, Miroslava (referee) ; Demnerová, Kateřina (referee) ; Vávrová, Milada (advisor)
This dissertation thesis is focus on using toxicity tests with testing organism - terrestrial isopod Porcellio scaber. This organism is use for toxicity assessment of selected anorganic compunds which could contaminate terrestrial ecosystem. This organism was selected for several reasons - sophisticated test methodology; well known biology of these animals and their ecological relevance. Besides classical endpoints such as mortality, change in mass of test specimens and the effect of the presence and concentration of contaminants onto food consumption; we monitored changes in the morphometric characteristics at the level of tissues and cells, the cytotoxicity and possibly bioaccumulation in various parts of the body of the organism. Selected test substance in this thesis were nanoparticles and inorganic salts. Wherein for chosen gold nanoparticles was carried out a complete study presents several levels of organization of living matter (organism, tissue, cell). For selected salts compound, this study was carried out on the behavior of organisms and classical endpoints.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
The Czech Republic as a signatory of the Convention on the Rights of the Child has vested the practice of state administration in the field of care for minor children to municipalities with extended powers, where the protection of the rights and legitimate interests of minor children is safeguarded by state authorities of social and legal protection of children (ASLPC hereinafter). These authorities are incorporated to the extent laid down by the Act on Social and Legal Protection of Children (Act No 359/1999 Coll., as amended). The position and roles of ASLPC and their competence and jurisdiction are also regulated by the same act. The position of workers of these authorities and its legal embodiment is equally important. Regarding professionality, there are high demands on these workers. In the Czech Republic, significant changes in legislature have been made over the past three years. These amendments have led to the strengthening of the rights of minor children and to the establishing of new tools for their protection. In connection with the adoption of new substantive regulation of family law, which is now exhaustively dealt with by the Act No 89/2012 Coll., the Civil Code, new procedural rules have been established regarding protection of rights of minor children. Such procedural legislation includes (apart from the long-existent Act No. 99/1963, the Code of Civil Procedure) the Act No 292/2013 Coll., on Special Civil Proceedings. The decision-making regarding minor children has been vested mainly by the state into the competence of courts. The courts appoint the locally relevant ASLPC as a guardian who then represents the interests of minor children. The purpose, interwoven with and derived from the first one, was to explore the opinions of selected social workers of ASLPC and of district court judges regarding the defined problems occurring during the work of ASLPCs and courts while protecting the interests of minor children. These particularly include: the use of the tool of precautionary measure; problems of different territorial jurisdiction of courts and ASLPCs; processing of complaints regarding bias in various phases of the proceedings; professional training of workers of ASLPC It is evident from the proposals of both judges and ASLPC workers that it is necessary to unify territorial jurisdiction. The courts are suggesting the priority criterion of the address where the child mainly resides. ASLPC workers suggest the official permanent residence as the prime criterion. Bias causes problems in all phases of proceedings. It is obvious that courts take differing approaches towards the solution of this problem (some courts solve the problem of bias complaints filed by the parties while other courts do not) and for ASLPC workers it is difficult to assess how to act when such complaint is raised against them. The training of ASLPC workers - workers are obliged to educate themselves and their employer is obliged to finance such training. Not all ASLPCs are able to provide training in the required extent - due to financial reasons (the average costs of education of one employee pose from 9,169 to 13,400 CZK annually and they cover approximately 6 days of training). The heavy work-load caused by insufficient numbers of ASLPC employees prevents them from completing such compulsory training. As part of the examination of the "participation of a collision guardian in court proceedings" it has been found out that irregular participation of the worker in the proceedings (absence from participation in appeals proceedings); incomplete reports (directed to courts) from surveys in families. Based on comprehensive examination of the problems of territorial jurisdiction, it was recommended that requests are independently recorded and financial compensation is provided for ASLPCs who are requested to represent minors in front of courts, to draft proposals for precautionary measures.
|
|
Are There Any Digital Curators in Czech Libraries?
Římanová, Radka ; Melichar, Marek
The development of digital repositories reveals the need for new Czech terminologies for library positions. One such job title or specialization is “digital curator”, a term which refers to a specialist responsible for digital collections. Competencies for digital curators include technical, organizational, communication, and marketing skills as well as some level of expertise in computer science as well as in information and library science. A survey of several administrators of Czech digital libraries asks how to best professionally label this group of library staff with respect to the actual activities they perform in their jobs - digital curators, administrators of digital libraries, or digital librarians? Job titles have a strong impact on higher education curricula, on the management of libraries, and also on the coordinated system of remuneration of employees at libraries, academic, and research institutions.
Fulltext: idr-1041_3 -  PDF; idr-1041_4 - PDF
Slides: idr-1041_1 - PDF; idr-1041_2 - PDF
Video: idr-1041_5 -  MP4
|
|
Faktory ovlivňující poptávku po osobních automobilech v ČR
ČURILLOVÁ, Michaela
The bachelor thesis investigates factors which influence the demand for passenger cars in the Czech Republic. The theoretical part of this work is focused on basic terms and determinants which are important for the demand. Further it describes particular statistical methods, which are used for the analysis. The practical part contains the introduction to the automotive industry and the description of specific attributes of the demand for passenger cars. This part analyses factors which may have an effect on the demand for passenger cars in the Czech Republic. The main factors and the dependence are explained by applying econometric methods. Analyzing reveals these important factors: number of registrations of passenger cars, consumer prices of new and used passenger cars, consumer prices of fuel, population and income.The conclusion contains the summary of impacts on the specific demand.
|
|
Specifics of nurse care at the patient with MRSA on surgery from nurses' point of view.
KALÁBOVÁ, Miroslava
Title of the thesis: Specifics of the nursing care of patients with MRSA in the operating room from an anesthesiology nurse perspective. The aim of this thesis was to identify the specifics of nursing care of a patient with the MRSA in the operating room from the perspective of nurses working in the operating room. In the theoretical part focus is given to nursing care and its specifics for a patient with MRSA. Chapters relating to the regime measures, barrier nursing procedures and the use of specific aids, instruments and tools are treated in detail. The nursing care provided by anesthesia nurses and perioperative nurses in the operating room is defined. To reach the goals the quantitative research through questionnaires was chosen. The research sample consisted of anesthesia nurses and perioperative care nurses. Two types of standardized questionnaires were used, consisted of closed questions where respondents chose an appropriate answer, and from semi-open questions where respondents could specify their answers, and in one case open questions. Both questionnaires were completed by 12 test questions, where respondents had the choice of three possible answers, where one answer was correct. The results of the investigation are summarized in two types of graphs. Bar charts were used in questions where more answers were possible to mark, and for a better clarity the results were supplemented by tables. Results to other questions, where options were limited by one answer, are shown in percentages in pie graphs. Our thesis is very narrowly focused, because we concentrated on specifics of nursing care in a patient with MRSA in the operating room. We have determined the specifics of barrier nursing, nursing problems in a patient with MRSA in the operating room. We have discovered barrier nursing procedures in a patient with MRSA in the operating room. We have also succeeded in assessing the knowledge of nurses working in the operating room. The goal was met. An interesting finding was that most of anesthetic nurses and perioperative nurses had responded that the structural and technical arrangement in the operating room was not satisfactory in terms of barrier nursing of a patient with MRSA. This problem was expected, owing to the author´s experience in operating theaters. Thus Hypothesis 1 is confirmed. In total five hypotheses were stated, four of which were confirmed and one was disproved. The aim of the thesis was to draw attention to problems in the operating room during nursing a patient with MRSA. In the course of the research work there were no problems, however, it is necessary to mention the lack of literature on MRSA with regard to nursing care in operating theaters. The theoretical section of this thesis could be recommended as a resource for the education plan created on the basis of information collected and the results of this research. The results of the research survey may serve for general public, anesthesia and perioperative nurses who could benefit from the educational plan in practice while providing nursing care for a patient with MRSA.
|
|
Exchange Differences in Accountancy in an Enterprise
ŠPILAUEROVÁ, Hana
In connection with economy globalisation, international cooperation of companies and expansion of international trade, the issue of exchange rates, transfer of currencies and exchange differences concerns companies more and more. The aim of this thesis was to show in theory as well as in practice how a company transfers assets and liabilities expressed in a foreign currency into Czech crowns by means of exchange rates. In the theoretical part, methods are described how to realise this transfer and abide by legal regulations concerning this issue. Next, accounting operations are given where it comes to creation of exchange differences. Data for the practical part were provided by the enterprise ESSA Ltd. On these data, the influence of exchange differences on the company's economic results in the years 2009-2015 is shown. The method of accounting exchange differences is presented on individual cases of accounts receivable and accounts payable. For orientation in the issue, model examples of other accounting cases are given where exchange differences may arise.
|
guest ::
