|
The legal status of Palestine
Bernasová, Tereza ; Grmelová, Nicole (advisor) ; Kříž, Radim (referee)
The theme of this diploma thesis is the analysis of the legal status of Palestine. The theoretical part of this thesis examines the history of Palestine, the relations between Palestine and Israel, the rejection of United Nations General Assembly Resolution 181 by Arab states, Palestinian membership in international organisations, the Oslo I Accord and the Montevideo criteria for statehood.The thesis also evaluates the final status negotiations between Israel and Palestine and various Palestinian government programs. The second part of the thesis analyses the constraints posed by divided Palestinian territories and the dynamics and interactions between Palestinian populations living in and outside the territory. Furthermore this diploma thesis focuses on the Palestinian public sector; especially on the areas of justice, education, health system and defense. Individual chapters also deal with the economic instability of Palestine and its financial dependence on the other, mostly European, countries. In conclusion, this diploma thesis will give not only a comprehensive legal view of the status of Palestine, but also views on Palestinian governance.
|
|
Attitudes of Pharmacists and Pharmacy Technicians towards Complementary and Alternative Medicine
Lasáková, Tereza ; Pokladníková, Jitka (advisor) ; Marešová, Helena (referee)
Faculty of Pharmacy in Hradec Králové, Department of Social and Clinical Pharmacy, Charles University in Prague, Czech Republic Student: Tereza Lasáková Tutor: PharmDr. Jitka Pokladníková, Ph.D. Title of Diploma Thesis: ATTITUDES OF PHARMACISTS AND PHARMACY TECHNICIANS TOWARDS COMPLEMENTARY AND ALTERNATIVE MEDICINE Background: The popularity of complementary and alternative medicine (CAM) is increasing and becoming more and more competition for conventional medicine. Opinions on the CAM among pharmacists and pharmacy technicians have not yet been assessed in the Czech Republic. Aim: Primarily to evaluace the attitudes of pharmacists and pharmacy technicians to CAM. Secondarily, to determine if there is a correlation between a positive approach to CAM and gender, age, length of practice in a pharmacy, a population of place in which the pharmacy is located, a fiction which the interviewee in a pharmacy performs or educational attainment (acquired title). Methods: Within the research project - a pilot survey "Complementary and alternative medicine - a surfy of opinion on health", we obtain data using a validated anonymous questionnaire. The questionnaire survey was carried out between 1/2/2009 - 31/5/2009 in selected Czech pharmacies. The data were evaluated in the komputer programs MS Excel and SPSS....
|
| |
|
Fytochemical potencial of polyfenols contain in berries
KRUMPHANZLOVÁ, Iva
This thesis sums up findings on polyphenols and their positive influence on human health. In these fytochemicals, unlike in micronutrients, recommended daily amount cannot be estimated. Micronutrient deficiency in food can cause deficiency symptoms, while in polyphenol deficiency, the deficiency does not occur. When they are present in sufficient amount in food, it is considered functional food, which is important for civilization illnesses prevention. At the beginning of the theoretical part, the polyphenol classification from pharmacological and chemical point of view is represented. On the basis of this classification important role of antioxidants and flavonoids is described. Special attention is being paid to resveratrol, which is populardue to its well known "French paradox". The following part considers the polyphenol influence on human health. The way in which polyphenols protect our body from certain diseases is explained in detail. Most of the health benefits are supported by studies conducted on animals. These studies are also mentioned and described in this paper. In the theoretical part the process of absorption and the polyphenols safety for human body is also explained. Polyphenol sources are listed in the last subchapter. The work is mainly aimed at blueberry fruits (Vaccinium myrtillus) and vine grapes (Vitis vinifera). Other berries are briefly mentioned as well, such as cranberries, raspberries, blackberries and currant. The goal of this work is to create a diet that would provide a functional daily amount of polyphenols. This amount can be compared to 120 ml of native blueberries. Only products, consumable without cooking, are used in this diet. The second goal is to chart, which food products are adequate source of polyphenols. On the basis of these goals, research inquiries were defined. Research inquiry No. 1: What amount of polyphenols is contained in berries, especially blueberries. Research inquiry No. 2: Which food products (without cooking) are ideal to be included in diet, to provide adequate daily amount of polyphenols. To asses polyphenol content in blueberries, analysis of polyphenol content acquired through GEOMED program from Nemocnice České Budějovice a.s., department of clinical pharmacology, was used. Assessments were made using the HPLC method (high performance liquid chromatography) in cooperation with the biological centre AV ČR in České Budějovice. Thanks to this analysis, the first inquiry can be answered. An interesting phenomenon is discovered, that frozen blueberries have higher polyphenol content then cooled ones. Malvidin (malvidin-3-6"-acetoyl glycoside) was chosen as priority anthocyan since it is most represented in the blueberry. Remaining information about polyphenol content in certain food products were drawn on Joseph Maroon´s book, MD, FACS (2010). The practical part involves a diet for 14 days, which meets the given requirements. The results clearly show that it is possible to create a diet rich in polyphenols. A list of blueberry products accessible to everyone is included. Blueberry dairy products, jams, beverages, fruit salads and fruit pyre have been analysed. The list shows which product contains the most polyphenols. The required amount can be achieved by the proper combination of given products. The ideal one proved to be 200 ml of red wine and one blueberry dairy product (with the malvidin value higher than 64). Findings in this paper will serve to promote polyphenol awareness and itseffects. This diet can be used in nursing homes, where their positive influence on equilibrium can be applied. It can also be used in spas and other alimentation related facilities.
|
|
Family housing decision-making
Kačírková, Petra ; Brožová, Helena (advisor) ; Adam, Adam (referee)
This thesis is concerned with choosing the best and most real estate mortgage loans for family with children. The family should be chosen property near his residence momentary, then it should be recommended for this property the best mortgage loan. Selecting the property was affected by the demands of all family members and subsequent mortgage loans was selected from the products offered on the Czech market in November 2016. The thesis can be thematically divided into three main parts. The first part includes a literature search, which is divided into two areas. First described methods of multi-criteria decision making, which will be used in the decision making process. Along with these methods includes a literature review and theoretical part of the program area Super Decisions, which will be used in the practical part. Furthermore, theoretically they recognized concepts related to mortgage loans, according to which are then laid down criteria for assessing mortgage loans. The second part contains already a practical perspective on family issues, which therefore includes the selection of the best and most real estate mortgage loan program with the help of Super Decisions. The third part includes a summary of the work and the interpretation of results obtained through the program Super Decisions.
|
|
Lifelong Education as a Part of the Social System
Neckařová, Jana ; Šrédl, Karel (advisor) ; Hana, Hana (referee)
The diploma thesis discusses about education of adult population, while pointing out necessity of education in any age. This thesis explain importance of education of the adult population, mention forms and possible methods which are used in this type of education the most. Besides the theoretical outcome there is practical aspect included as well in form of questionnaires. Investigation in form of research was focused directly on employees, who as well as on employers whose employees attended the program. In summary both parties consider adulthood gained knowledge as a great benefit to employee as well as employer. In any case, people with higher level of education have better chances of getting a possible job than those with no or low level of education.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (referee) ; Návrat,, Pavol (referee) ; Kolář, Dušan (advisor)
Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
guest ::
