Demonstration of State Space Search Methods

Tato bakalářská práce popisuje problematiku metod prohledávání stavového prostoru. Práce se zaměřila zejména na praktickou část, jejímž cílem bylo vytvořit demonstrační aplikaci, která by měla sloužit jako pomůcka do předmětu Základy umělé inteligence. Výsledná aplikace tento požadavek splňuje zejména díky jednoduchému ovládání, možnosti krokovat algoritmus a hlavně přitažlivým grafickým kabátkem. Aplikace je navíc implementována jako javovský applet, takže by její spuštění mělo být možné odkudkoliv.This bachelor's thesis describes the issue of state space search methods. Thesis was focused namely on the practical part. Its main goal was to create a demonstration application which should serve as an additional help for Fundamentals of Artificial Intelligence course. The resulting application satisfies this requirement thanks to an easy control, a possibility of steping through the alghoritm and an attractive graphic layout. The application is also implemented as a java applet, so its start should be possible from anywhere.

Face Detection in Camera Image on a Mobile Phone

Tato práce se zabývá detekcí obličejů na mobilních telefonech. Konkrétně se zaměřuje na platformu Windows Mobile. Úvod je tedy věnován tomuto operačnímu systému a možnostem práce s kamerou. Další část textu je věnována obecné problematice detekce obličeje v obraze s ohledem na slabý výkon cílových zařízení. Součástí práce je také popis získávání obrazu z kamery pomocí multimediálního frameworku DirectShow a tvorba vlastního transformačního filtru pro detekci obličeje. V závěru jsou shrnuty dosažené výsledky formou testů na několika mobilních zařízení a také jsou zmíněna všechna úskalí, která obnáší vývoj aplikací pro Windows Mobile.This thesis deals with a face detection on mobile phones. It especially focuses on Windows Mobile platform. The introduction is therefore devoted to this operating system and alternatives of working with the camera. The next part of the text refers to general problems of the face detection in the image considering the weak performance of the target device. Another part of this thesis is a description of the acquisition of images from the camera using DirectShow multimedia framework and creation of a custom transformation filter for the face detection. Achieved results are summarized in the conclusion. It takes a form of tests examining different mobile devices. All difficulties arising during Windows Mobile developing are also mentioned.

Counting Finite Magmas

Given a non-negative integer $n$, we establish a formula for the number of finite magmas on a set with cardinality $n$ up to isomorphism. We then generalize the method to operations with arbitrary finite arity, which yields a corrected version of Harrison's formula. Moreover, we present the cycle index as a helpful tool for practical computations and, based on that, we give a suitable code in Sage with a few generated examples.Comment: references added; abstract adjusted; minor change

Backbone and Side-Chain Specific Dissociations of z Ions from Non-Tryptic Peptides

Backbone z-type fragment ions formed by electron-transfer dissociation (ETD) of doubly protonated peptides AAHAL, AHDAL, and AHADL were subjected to collisional activation and their dissociation products were studied by ETD-CID-MS3 and MS4. Electron structure theory calculations were performed to elucidate ion structures and reaction mechanisms. All z ions showed competitive eliminations of C3H7 and C4H8 from the C-terminal Leu side chain. The energetics and kinetics of these dissociations were studied computationally for the z4 ion from AAHAL, and optimized structures are reported for several intermediates and transition states. RRKM calculations on the combined B3LYP and PMP2/6-311++G(2d,p) potential energy surface provided unimolecular rate constants that closely reproduced the experimental branching ratios for C3H7 and C4H8 eliminations. Mechanisms were also studied for the loss of CO2 from z ions generated by ETD of AHDAL and AHADL and for a specific radical-induced Asp-Cα–CO backbone cleavage. CID of the z ions under study did not produce any fragment ions that would indicate cascade backbone dissociations triggered by the radical sites. In contrast, the majority of backbone dissociations occurred at bonds that were remote from the radical sites (spin-remote dissociations) and were triggered by proton migrations that were analogous to those considered for standard peptide ion fragmentations

Elisabeth Häge: Dimensionen des Erhabenen bei Adalbert Stifter. Berlin, Boston: de Gruyter, 2018

15515

The effect of steroid hormones on sexually dimorphic bone growth in geckos

Pohlavní dimorfismus ve velikosti těla (SSD) je u živočichů velice rozšířen, dosud ale nejsou dostatečně známy proximátní mechanismy zodpovědné za jeho ontogenezi ani u tak významné skupiny obratlovců, jako jsou plazi. Předchozí práce u gekonů ukazují, že je růst obou pohlaví v pozdějším věku výrazně zpomalen. SSD se u nich podstatněji rozvíjí až dlouho po dosažení pohlavní zralosti, souvisí s dřívějším ukončováním růstu menšího pohlaví a je regulován spíše ovariálními než testikulárními steroidními hormony. Cílem práce bylo rozvinout předchozí poznatky tím, že prostuduji ontogenezi pohlavně dimorfního růstu kostí u gekona Paroedura picta, jehož samci jsou větší než samice, a který má v rámci skupiny nejlépe prozkoumané proximátní mechanismy SSD. Konkrétně mě zajímalo, jak souvisí ontogeneze aktivity růstových plotének a epifyzální osifikace femuru obou pohlaví s jejich věkem, délkou těla, aktivitou gonád či s přirozenými hladinami významných pohlavně specifických steroidů (estradiolu a testosteronu). Z výsledků jednoznačně vyplývá, že P. picta má ukončený růst a osifikace epifýzy nemá na SSD vliv. Oběma pohlavím se obě femorální růstové ploténky uzavírají ve stejném věku, avšak samice mají v této době menší délku těla než samci. V kontextu výsledků předchozích studií mohou za zpomalení růstu samic vůči...The sexual size dimorphism (SSD) is widespread among animals but proximate mechanisms of its ontogeny are still poorly understood even in important groups of vertebrates such as reptiles. Previous experiments in geckos showed that growth of both sexes slows substantially at their older age. Their SSD develops considerably a long time after sexual maturity, it is associated with earlier growth deceleration in the smaller sex and it is controlled by ovarian rather than testicular steroids. The aim of the thesis was to explore the previous knowledge by studying the ontogenesis of the sexually-dimorphic bone growth of the gecko Paroedura picta, the male- larger species with the most explored proximate mechanisms of SSD among geckos. I was most interested in the ontogeny of the growth plates activity and the epiphyseal ossification of the femur in both sexes and their relationship to age, body length, gonadal activity and levels of sex-specific steroids (estradiol and testosterone). The results show that P. picta has determinate growth and that epiphyseal ossification does not contribute to the SSD. The femoral growth plates close at the same age in both sexes; however, their closure occurs at smaller body length in females than in males. In the context of this and the previous studies, estradiol or other...Katedra ekologieDepartment of EcologyPřírodovědecká fakultaFaculty of Scienc

Artificial Intelligence for a Board Game

Tato práce navrhuje hráče ovládané umělou inteligencí pro hru Dice Wars. Dice Wars je nedeterministická tahová hra s nulovým součtem. Bylo vytvořeno několik AI hráčů s využitím pravidlového přístupu, algoritmu expecitminimax a logistické regrese. Pro zhodnocení kvality navržených AI hráčů byla vytvořena implementace hry Dice Wars. Z výsledků experimentů vyplývá, že ve hře dvou hráčů je výhodnější hrát agresivněji než v případě vícehráčových her. Ve hře osmi hráčů vyhrává AI využívající expectiminimax přes 60 % her proti náhodným hráčům a 21.4 % her proti ostatním navrženým AI. Ve hrách dvou hráčů dosahuje nejlepších výsledků AI založená na logistické regresi, která jako příznaky používá skóre a počty kostek jednotlivých hráčů. V průměru vyhrává 59.4 % her.This work proposes and implements AI agents for the game Dice Wars. Dice Wars is turn-based, zero-sum game with non-deterministic move results. Several AI agents were created using rule-based approach, expectiminimax algorithm, and logistic regression. To evaluate the performance of proposed agents, an implementation of the game was created. Results of the experiments have shown that it's preferable to play aggressively in two-player games and make more optimal moves in games played with more players. The agent using expectiminimax is able to win more than 60 % of games in 8-player games against random players and wins 21.4 % of games played against a mix of seven other agents created in this work. In two-player setups, the agent using logistic regression with numbers of players' scores and number of dice as features has the best performance and wins 59.4 % of games in average.

Algoritmy pro multi-modální radiografii s novými zobrazovacími detektory.

Zobrazování v medicíně je technika, která nám umožňuje bez operativních zásahů vizua- lizovat vnitřní struktury lidského těla, abychom mohli diagnostikovat nemoci. Umožňuje nám taky monitorování fyzikálních procesů a funkcí různých orgánů v těle. Obor medi- cínského zobrazování obsahuje širokou škálu metod založených na různých fyzikálních principech. Součástí tohoto oboru jsou i metody používající ionizující záření. Kvalita na- měřených snímků silně závisi na použitých zobrazovacích detektorech. Existuje celá řada různých typů detektorů, od čistě analogových (filmy) až po plně digitální detektory jako jsou flat panely, které jsou v dnešní době nejrozšířenější. Novější typy dektorů využívají technologie počítání fotonů a nejmodernější experimentální detektory jako například Me- dipix jsou schopné detekovat a analyzovat jednotlivé fotony. Tato práce studuje vlastnoti, parametery a možné aplikační využití nejvnovejšího detek- toru Timepix3 z rodiny detektorů Medipix v různých zobrazovacích modalitách. Nejprve byl vyvinut nový vyčítací hardware a akviziční software společně s novými kalibračními a korekčními metodami. Poté byly postupně prozkoumány různé módy Timepix3 detek- toru: velmi rychlá spektrální radiografie, která demonstruje velmi rychlé měření "barev- ných"rentgenových obrázků; jednofotovná...Medical imaging is a technique that allows us to visualize non surgically the internal structure of the human body in order to diagnose or treat medical conditions. It permits also monitoring of physical processes or functions of different organs inside the body. The medical imaging encompasses wide range of techniques based on different physical prin- ciples, including techniques using ionizing radiation. The quality of the images depends significantly on the quality of the used imaging detectors. There are many types of the detectors, from old analog devices (e.g. films) to fully digital detectors such as flat panels, that are the most widely used today. The newer technology is being developed and the techniques such as photon counting explored. However, the state of the art technology is the single photon counting, where the experimental detectors such as Medipix are able to count and process each individual photon. This works studies the properties, features and applications of the newest detector from the Medipix family Timepix3 in different imaging modalities. Firstly, a design of a new hardware readout interface for Timepix3 is presented together with data acquisition software and new analysis and calibration algorithms. Then, different applications of Timepix3 detector were explored: very...Ústav patologické fyziologie 1. LF UKInstitute of Pathological Physiology First Faculty of Medicine Charles University1. lékařská fakultaFirst Faculty of Medicin

Possibilities of using the Wim Hof ​​method as a regenerative procedure and its comparison with the regenerative cooling procedure

Title: Possibilities of using the Wim Hof method as a regenerative procedure and its comparison with the regenerative cooling procedure Department: Department of Health Physical Education and Sport Medicine Supervisor: MUDr. Simona Majorová Objectives: The main goal of the thesis was to find out whether the Wim Hof method can be effectively used as a regenerative procedure between the training units, second goal was to judge on which components of after-load states the procedure has the biggest influence on. The other goals were to briefly summarize current knowledge about the basics of sports training, regeneration methods and methods of determining the effectiveness of regeneration procedures and to compare our results with knowledge in the professional literature. Methods: As one of the methods, we used heart rate monitoring during the training cycle. The second monitored parameter was the values of feeling states, which were recorded using scales modeled on the Borg scales of perceived intensity and pain. The parameters of the resulting sensation score are sleep quality, mental state, fatigue and leg pain. 10 active sportsmen aged 21-26 took part in the research. Results: The results of our research suggest that the Wim Hof method could be used as a regeneration procedure, especially in...Název: Možnosti využití Wim Hofovy metody jako regenerační procedury a její srovnání s regenerační procedurou ochlazování Katedra: Katedra zdravotní TV a tělovýchovného lékařství Vedoucí práce: MUDr. Simona Majorová Cíle: Hlavním cílem bakalářské práce bylo zjistit, jestli může být Wim Hofova metoda efektivně využita jako regenerační procedura mezi tréninkovými jednotkami, druhým cílem bylo posoudit, na jaké složky pozátěžových stavů má procedura největší vliv. Dalšími cíli bylo stručně shrnout současné poznatky o základech sportovního tréninku, regeneračních metodách a metodách zjišťování účinnosti regeneračních procedur a porovnat naše výsledky s poznatky v odborné literatuře. Metody: Jako jednu z metod jsme využili sledování srdeční frekvence v průběhu tréninkového cyklu. Druhým sledovaným parametrem byly hodnoty pocitových stavů, které byly zaznamenány pomocí škál sestavených po vzoru Borgových škál vnímané intenzity a bolesti. Parametry výsledného pocitového skóre jsou kvalita spánku, psychický stav, únava a bolest nohou. Výzkumu se zúčastnilo 10 aktivně sportujících mužů ve věku 21-26 let. Výsledky: Výsledky našeho výzkumu naznačují, že by Wim Hofova metoda mohla být využita jako regenerační procedura, zvláště v náročných částech sportovních sezón s velkým počtem tréninkových jednotek v...Zdravotní TV a tělovýchovné lékařstvíFakulta tělesné výchovy a sportuFaculty of Physical Education and Spor