|
Hodnocení stejnoměrnosti dávkování veterinárních očních kapek
Marková, Jana ; Šklubalová, Zdeňka (vedoucí práce) ; Vraníková, Barbora (oponent)
Univerzita Karlova, Farmaceutická fakulta v Hradci Králové Katedra: Farmaceutická technologie Školitel: doc. PharmDr. Zdeňka Šklubalová, Ph.D. Posluchač: Mgr. Jana Marková Název diplomové práce: Hodnocení stejnoměrnosti dávkování veterinárních očních kapek Rigorózní práce studuje vliv dispenzačního úhlu a zbytkového objemu náplně lahvičky na hmotnost kapky při dispenzaci komerčních očních kapek pro vakcinaci při dvou režimech kapání. Manuální dispenzace pomocí konvenčního dávkovacího systému složeného z lahvičky a kapátka je porovnána s dávkováním pomocí prototypového zařízení, který produkuje kapky při dispenzačním úhlu 45ř. Byl potvrzen významný vliv dispenzačního úhlu na hmotnost kapky při manuálním kapání; snížením úhlu z 90ř na 45ř se hmotnost snížila. Při standardním dispenzačním režimu pomalého kapání vedlo snížení zbytkového objemu přípravku v lahvičce k významnému zmenšení kapky pro manuální systém i prototyp. Ve většině případů byly při standardním dispenzačním režimu pomalého kapání zaznamenány kapky s vyšší hmotností oproti rychlejšímu režimu kapání. Bez ohledu na použitý režim kapání produkoval prototyp oproti manuálnímu dispenzačnímu systému větší kapky, za kratší čas potřebný pro dispenzaci deseti kapek a s nižší variabilitou.
|
|
Automata with Counting in Regular Expression Matching
Holíková, Lenka ; Meyer, Roland (oponent) ; Masopust, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
Matching of regular expressions (regexes) is widely used, e.g., for searching, data validation, parsing, finding and replacing, data scraping, or syntax highlighting in many programming languages. It is a computationally intensive process often applied on large texts. Predictability of its efficiency has a significant impact on the overall usability of software applications in practice. A problem is that standard approaches for regex matching suffer from high worst case complexity. An unlucky combination of a regex and text may increase the matching time by orders of magnitude. This can be a doorway for the so-called Regular expression Denial of Service (ReDoS) attack in which the attacker causes a denial of service by providing a specially crafted regex or text. Automata-based matchers are the most efficient regex matching engines used nowadays in practice, especially in performance-critical industrial applications. There are years of empirical evidence showing that their performance is much more stable than that of the more traditional backtracking-based matchers. But automata matchers may run into troubles too. Bounded repetition, i.e., expressions such as [ab]{100} with a specified number of repetitions of a certain pattern, has been recognised as a major source of problems for even the fastest matchers. This thesis studies this issue systematically. In this thesis, we present a large-scale study of vulnerability of automata-based matching focused on bounded repetition. To this end, we propose a new ReDoS generator. It is the first generator capable of utilising bounded repetition to attack automata-based matchers, in fact the first generator that can attack them at all. We were then able to prove experimentally that bounded repetition indeed poses a serious security threat, for automata-based as well as backtracking-based matchers.We then propose a solution to the problem of efficient matching of regexes with bounded repetition. The approach is to compile the regexes into nondeterministic counting automata (CAs) and then to determinise them. The main problem is to find a succinct deterministic representation that can perform fast matching (naive determinisation builds a deterministic finite automata (DFAs) exponentially large to the size of the regex and of the repetition bounds in it). In the first step, we propose a determinisation algorithm based on general subset construction that generates deterministic CAs. They are exponentially more succinct than the corresponding DFAs. The main contribution of this thesis was then obtained when we elaborated the determinisation using the idea representing many counters with counting sets. We propose succinct transformation of a CA into a deterministic counting-set automaton (CsA), an automaton with a special type of registers that can hold a set of integer values. We also propose a novel compilation of regexes to CAs that generalizes the Antimirov's derivative construction. We design a framework for matching based on CsA simulation and the Antimirov's derivative construction. We compare the speed of matching of individual matching engines on a comprehensive set of real-world regexes with bounded repetition. We found that our algorithm is much more robust, outperforms the state-of-the-art matchers on regexes with bounded repetition, and is not dependent on the size of repetition bounds. It easily solves most cases in which the existing matchers struggle due to bounded repetition.
|
|
Multi-channel potentiostat
Mozola, Rastislav ; Bidlo, Michal (oponent) ; Šimek, Václav (vedoucí práce)
The presented thesis explores the possibilities of using analog front-ends integrated circuits for the needs of a multi-channel potentiostat. The proposed solution consists of implemented potentiostat device and Progressive Web Application(PWA), which controls it through the Bluetooth Low Energy protocol. The implemented multi-channel potentiostat device provides a cost-effective way to conduct multiple experiments simultaneously with their own schedule. The device can be used as supplement to a professional potentiostat, to conduct fine-tuned experiments in parallel, allowing for faster research and shorter diagnostic time.
|
|
Materiálová analýza vzorků malt z archeologického kontextu baziliky sv. Václava ve Staré Boleslavi
Válek, Jan ; Kozlovcev, Petr ; Svorová Pawełkowicz, Sylwia ; Kotková, Kristýna
Vzorky malt byly popsány pomoci optické mikroskopie a SEM-EDS. Cílem studie bylo jejich vzájemné porovnání. Všechny tři vzorky mají podobnou strukturu i materiálové složení. Surovinou pro výrobu vápna byl jemnozrnný sedimentární vápenec s vysokým obsahem CaCO3. Vápenná matrice má charakter vzdušného vápna. Kromě vápenného pojiva se vyskytuje též prachovojílové pojivo. To je odděleno od vápenného. Zrna písku jsou obalena vápenným pojivem a v meziprostoru je prachovojílová výplň, což ukazuje na přidání této složky jako příměsi do malty až během použití při stavbě. Použitý písek odpovídá místním poměrům, a to jak eolickým pískům (spraším a sprašovým sedimentům) s dominantním výskytem opracovaných křemenných klastů, tak částečně i sedimentům fluviálního původu (zde se jedná především o litoklasty transportované na větší vzdálenost).
|
| |
|
Generation and analysis of double deficient transgenic mice for kallikrein-related peptidase 5 and kallikrein-related peptidase 14
Hanečková, Radmila ; Sedláček, Radislav (vedoucí práce) ; Fulková, Helena (oponent)
Peptidázy příbuzné kalikreinu (KLK) představují vysoce konzervovanou rodinu serinových pro- teáz. In vitro experimenty naznačují, že KLK peptidázy hrají důležitou roli v řadě fyziologických a patofyziologických procesů. Jejich úloha in vivo ovšem zůstává ne zcela probádaná, částečně i kvůli nedostatku vhodných zvířecích modelů. Cílem této práce je příprava myšího modelu dvojnásobně deficientního na KLK5 a KLK14. Předpokládá se, že KLK5 a KLK14 jsou součástí proteolytických sítí v pokožce, které jsou významné pro udržení homeostáze kůže. Ovšem myší modely deficientní pouze na KLK5 nebo KLK14 vykazují jenom minimální či žádný fenotyp, pravděpodobně kvůli vzájemné funkční kompenzaci na základě podobné substrátové specifity. V této práci popisujeme úspěšné vytvoření myši dvojnásobně deficientní na KLK5 a KLK14. Dvojnásobně deficientní myši nelze snadno získat křížením kvůli přítomnosti genů pro Klk5 a Klk14 ve stejném lokusu na chromozomu 7, proto k tvorbě myšího modelu používáme TAL efektor nukleázy (TALENy) cílené na Klk14, které aplikujeme mikroinjekcí TALENové mRNA do KLK5-deficientních zygot. Dále ukazujeme, že myši dvojnásobně deficientní na KLK5 a KLK14 jsou životaschopné a plodné. Domníváme se, že tyto nové myší modely mohou sloužit jako užitečný experimentální nástroj ke studiu KLK5 a KLK14 in vivo.
|
|
Diagnostika pozornosti u dětí v předškolním a mladším školním věku
Šnoblová, Vladěna ; Morávková Krejčová, Lenka (vedoucí práce) ; Hoskovcová, Simona (oponent)
Pozornost je klíčovou schopností, která musí být u dětí přiměřeně rozvinutá v době nástupu povinné školní docházky, aby jim umožnila zvládnout nároky školy. Tato práce se na teoretické úrovni věnuje zmapování dosavadních možností diagnostiky pozornosti a vybraných souvisejících kognitivních funkcí u dětí v předškolním a mladším školním věku. Na základě dostupných metod v práci předkládáme návrh nové metody, která by umožnila screeningové hodnocení pozornosti i dalších schopností dítěte, kterých je v tomto období (5 - 7 let) zapotřebí. V praktické části předkládáme výsledky validizační studie nově vzniklé metody (Barevný test cesty pro děti) a ověření její reliability. Ukázalo se, že výsledky, jakých děti dosahovaly v Barevném testu cesty pro děti, korelují s výsledky dosahovanými v subtestech zaměřených na hodnocení pozornosti či plánování vybraných z diagnostických baterií Woodcock - Johnson Tests of Cognitive Abilities, IDS a CAS II. Zároveň jsou mezi výsledky jednotlivých testů patrné určité rozdíly, což svědčí o smysluplnosti využití všech hodnocených metod v diagnostice vlastností pozornosti dítěte. Vytvořily jsme normy pro Barevný test cesty pro děti, který tak může sloužit jako prvotní diagnostický nástroj pro zachycení drobných obtíží dítěte v oblasti pozornosti, ale také může poukázat na...
|
|
Méně je někdy více: studie rozhodování v kontextu kognice, intuice a životního štěstí
Schautová, Nina ; Bahbouh, Radvan (vedoucí práce) ; Höschlová, Eva (oponent) ; Buriánek, Jiří (oponent)
Tato práce představuje výsledky tří výzkumných projektů, které rozšiřují poznatky psychologie rozhodování. Zaměřuje se na intuitivní rozhodování, vliv kontextu na rozhodnutí a jeho vztah ke spokojenosti s rozhodnutím a well-beingu. První studie se věnuje otázce zobecnitelnosti vybraných intuitivních heuristik na nefinanční rozhodnutí. I přes jisté metodologické nedostatky tento výzkumný projekt ukázal, že čas investujeme mnohem snáze než peníze, a nelze na něj automaticky přenést intuitivní heuristiky, které fungují při jiném typu rozhodnutí. Druhá studie rozšiřuje zaměření na vliv kontextu na spokojenost s rozhodováním. Výsledky ukázaly, že spokojenost s rozhodováním lze kontextem manipulovat. Eliminace eskalace závazku ovlivnila spokojenost na úrovni prožitkové, i když nezměnila úroveň kognitivní. Poslední studie se zaměřuje na interindividuální rozdíly v kontextu spokojenosti s rozhodováním a well-beingu. Ukazuje, že větší rozhodovací kompetence sice má vliv na rozhodovací styl, ale teprve rozhodovací sebevědomí, vnímání vlastní rozhodnosti, se projevuje ve výsledné spokojenosti a také ve well-beingu. Data neumožňují určit směr příčinnosti tohoto vztahu, což omezuje možnosti interpretace zjištění. Otevírá však mnoho nových otázek v oblasti psychologie rozhodování a zdraví. Jde o inovativní...
|
|
Starobylé výmladkové lesy České republiky
Slach, Tomáš
Výmladkové hospodaření, jež tvořilo po staletí důležitou součást kulturních krajin střední Evropy, bylo v posledních desetiletích výrazně upozaděno. Přestože je opouštění tohoto tradičního způsobu lesního managementu logickým vyústěním měnících se podmínek a potřeb společnosti, nese s sebou i postranní efekty reprezentované ztrátou široké škály přírodních a kulturně historických hodnot. Příklad České republiky ukazuje, že mnohé z nejhodnotnějších lokalit starobylých výmladkových lesů můžeme stále nalézt v místech, kde již nejsou lesnickou evidencí uváděny z důvodu probíhajícího převodu na jiný způsob hospodaření. Čas na docenění hodnot těchto reliktů a pokus o alespoň částečnou záchranu jejich kontinuity je však, vzhledem k rychlosti, kterou mizí, značně omezený.
|
|
Stucco decoration of the coffered dome in Boim Chapel, Lviv (Ukraine)
Svorová Pawełkowicz, Sylwia ; Myślicka, M. ; Witkowski, M.
The Boim Chapel in Lviv, erected at the beginning of the 17th c. (1609–1611) as a family mausoleum by Jerzy (Georg) Boim, a wealthy merchant originating from Hungary, since 1967 is part of the Lviv National Art Gallery. Although today it forms a visual dominant of the Cathedral Square, until the end of 18th c. it was surrounded by other funeral chapels as part of the city’s cemetery. It represents one of the most important examples of Mannerist, profusely decorated, architectural style on the historical territory of the Polish-Lithuanian Commonwealth (covering today’s territories of Poland, Lithuania, Byelorussia and western Ukraine). Its exterior and interior decoration has mostly been executed\nin local stone except the stuccoworks in the coffered dome. The hemisphere has been divided into three rows of coffers, where at the bottom portrait busts of the Boim family, in the middle of prophets and at the top of saints have been placed. The space between the coffers, painted most probably in 1925 in blue, has been decorated with gilded stucco stars. In 2019, an archival and material research was launched to plan future restoration works in the chapel. For the time being, only a few samples have been taken to study the technique of stuccoworks in the coffered dome. The results of this preliminary research gave us an insight into the original technique and subsequent renovation works. The architectural decoration, such as frames, have been moulded on site, while the portrait busts and stars have been mounted as precast elements. The archival research was helpful in interpreting the material research results.
|