|
|
The transformative capacity of artificial intelligence: A critical approach to alignment in Security Studies
Morales Mendoza, Ivan Emmanuel ; Střítecký, Vít (vedoucí práce) ; Judge, Andrew (oponent)
The Transformative Capacity of Artificial Intelligence: A Critical Approach to Alignment in Security Studies. By Ivan Emmanuel Morales Mendoza Charles University Student Number: 81738503 Abstract As the capabilities of Artificial Intelligence (AI) systems increase around the world, academics and policymakers have paid renewed attention to ensure their behaviour remains aligned to their operator's expectations, especially in sensitive areas involving public, national, and international security. The use of AI systems in security contexts, especially those considered as "high-risk," is a security issue because humans are trusting a technology, based on their expectations, to produce outcomes to make individuals and communities safer. This leads to an increase in the use of algorithms to perform policing duties, target identification, intelligence generation, among others. However, current theoretical and methodological proposals are limited when considering the transformative impact AI can have in security studies. Therefore, this article will analyse three of the current proposals for AI alignment -symbolic, Machine Learning and hybrid- to illustrate how security studies could strengthen its conceptual and methodological robustness when analysing security risks associated with the use of AI systems. To do...
|
|
|
Principy efektivnosti v zahraniční rozvojové spolupráci České republiky
Obuškevič, Vojtěch ; Martinková, Viera (vedoucí práce) ; Blažková, Adéla (oponent)
Tato bakalářská práce se zabývá důrazem kladeným na naplňování principů efektivnosti rozvojové spolupráce v bilaterálních projektech v gesci České rozvojové agentury (ČRA) realizovaných v Etiopii, Kambodži a Moldavsku v letech 2009-2013 a 2017-2020. Sledovány jsou principy ownership (vlastnictví, přisvojení), alignment (přizpůsobení), managing for results (řízení zaměřené na výsledky) a mutual accountability (vzájemná odpovědnost), které vycházejí z Pařížské deklarace o efektivnosti rozvojové pomoci (2005) a Akční agendy z Akkry (2008). Výzkum byl proveden metodou obsahové analýzy ročních a závěrečných zpráv k jednotlivým projektům. Zprávy poskytla ČRA. Bylo zjištěno, že na naplňování sledovaných principů byl u většiny zkoumaných projektů kladen spíše silný nebo silný důraz. Byl také porovnán důraz kladený na naplňování principů v letech 2009-2013 a 2017-2020. Cílem bylo ověřit hypotézu vycházející z odborné literatury, podle které měl být důraz na naplňování sledovaných principů silnější v prvním sledovaném období. Hypotéza nebyla přijata ani pro jeden z principů, naopak pro dva byla odmítnuta. V práci bylo také zjištěno, že důraz na naplňování většiny principů byl silnější v Etiopii než v Moldavsku.
|
|
|
Studie parkování v ulici Okružní v Bystřici nad Pernštejnem
Jelen, Jan ; Petr, Tomáš (oponent) ; Kosňovský, Michal (vedoucí práce)
Bakalářská práce řeší využití prostoru na ulici Okružní v městě Bystřice nad Pernštejnem pro výstavbu nových parkovacích míst pomocí např.: podzemních garáží a zároveň řeší návrh zklidnění po celé délce ulice. Důvod úpravy je nevhodný stav stávající ulice, kde v mnoha místech není vybudována vhodná plocha pro odstavná a parkovací stání, a také se zde nevyskytují žádné prvky pro zklidnění této ulice. Bakalářská práce ma za cíl vyřešit tyto nedostatky a také, pohled na možnou koncepci řešení nedostatku odstavných míst v hustě zastavěných oblastech.
|
|
|
Multiple sequence alignment
Ferenc, Matej ; Pangrác, Ondřej (vedoucí práce) ; Bálek, Martin (oponent)
Název práce: Vícečetné zarovnávání sekvencí Autor: Matej Ferenc Katedra (ústav): Katedra aplikované matematiky Vedoucí bakalářské práce: RNDr. Ondřej Pangrác, Ph.D. e-mail vedoucího: pangrac@kam.mff.cuni.cz Abstrakt: V práci študujeme problém zarovnania viacerých proteínových alebo DNA sekvencií. Existuje mnoho prístupov k jeho riešeniu, pričom niektoré algoritmy sú optimalizované na rýchlosť, iné na kvalitu zarovnania. Implementujeme dve metódy - iteratívnu a progresívnu, ktoré vychádzajú z rovnakého princípu: použiť vývojové stromy, pomocou ktorých zostavíme zarovnanie. Zavedieme niekoľko metód na výpočet vzdialenosti sekvencií. Cieľom práce je porovnať jednotlivé metódy pre zarovnanie a zistiť, kedy je ich vhodné použiť a tiež nájsť parametre, pomocou ktorých dosiahneme najlepšie výsledky zarovnania. Klíčová slova: bioinformatika, zarovnanie, sekvencie
|
|
| |
|
|
Validace simulací křemíkových detektorů v experimentu Belle II
Fajt, Lukáš ; Kvasnička, Peter (vedoucí práce) ; Drásal, Zbyněk (oponent)
Název práce: Validace simulací křemíkových detektorů v experimentu Belle II Autor: Lukáš Fajt Katedra: Ústav částicové a jaderné fyziky Vedoucí bakalářské práce: RNDr. Peter Kvasnička, ÚČJF Abstrakt: Předložená bakalářská práce se zabývá testováním simulací plánovaného kombino- vaného Belle II PXD a SVD testbeamu v německém DESY. Testbeam bude zkoumat funkci sestavy šesti detektorů, dvou pixelových detektorů DEPFET a čtyř stripových detektorů, která odpovídá skutečnému uspořádání vnitřního detektoru v právě budovaném experimentu Belle II v japonském KEKu. Testování je prováděno pomocí nově vytvořeného modulu ve frameworku basf2. Tento analyzační modul by měl být v budoucnosti využit i na analýzu experimentálních dat získaných z testbeamu a pro porovnání výsledků získaných simulacemi. Součástí práce byla kromě získání znalostí o experimentu Belle II, polovodičových detektorech, frameworku basf2 a vytvoření modulu i experimentální část odehrávající se v čistých laboratořích UČJF. V teoretické části této práce je nastíněna fyzikální motivace celého experimentu, uspořádá- ní a fungování detektoru Belle II. V druhé části práce jsou rozebrány základy polovodičových detektorů s...
|
|
|
Studie křižovatky v obci Javornice
Gregor, Jan ; Janda, Michal (oponent) ; Kosňovský, Michal (vedoucí práce)
Bakalářská práce řeší úpravu křižovatky v intravilánu obce Javornice, nacházející se v okresu Rychnov nad Kněžnou. Celkově jsou navrženy tři varianty úpravy ve stejné úrovni zpracování. Důvodem nového návrhu je současná nepřehlednost křižovatky. Dalším důvodem je vyhovění požadavků obce na vybudování autobusových zastávek u základní školy Javornice, úprava přilehlého parkoviště a ochrana svahů blízkého potoka proti erozi.
|
|
|
Štúdium variability sekvencie v géne MC1R u rôznych druhov zvierat
Dolnáková, Lenka
Zbarvení je důležitým fenotypovým znakem živočichů a významnou roli hraje i při charakteristice jednotlivých živočišných druhů. Zásadní roli v zbarvení plní gen MC1R. Diplomová práce je zaměřena na studium variability sekvence v tomto genu a následnou tvorbu fylogramů u vybraných druhů Bos Primigenius Taurus, Sus Scrofa, Equus Caballus a Canis Lupus Familiaris. Pro zvolený úsek sekvence exonů byly v pro-gramu Oligo navrženy vlastní primery. Na základě sekvenování byly detekovány známé polymorfismy u Canis Lupus Familiaris a Equus Caballus. U Canis Lupus Familiaris se jednalo o polymorfismus na pozici 790 A>G. Všech N osekvenovaných vzorků (N = 10) bylo nositelem alely E (790AA). U Equus Caballus se jednalo o polymorfismus 901 C>T, přičemž ve vzorcích se nacházely zástupci všech genotypů nEE(901CC) = 2, nEe(901CT) = 2, nee(901TT) = 6. Práce poskytuje i ucelený přehled postupu tvorby fylogenetických stromů. Na fylogenetickou analýzu byly vlastní sekvence navýšeny o sekvence dalších druhů zvířat získaných z volně dostupných genomických databází. Rekonstrukce proběhla v pro-gramu MEGA X vybranými vzdálenostními a znakovými metodami. Interpretovány mohly být jen uzly s bootstrapovou podporou ≥ 70. Jako substituční model byl zvolen JC69 a HKY85 model. Výběr modelů byl statisticky podpořen testovanou věrohodností v programu Model Generator s podporou P < 0,0001. Stromy, získané jednotlivými metodami, byly porovnávány Pearsonovým korelačním koeficientem.
|
|
|
Automatické zarovnání CT skenu hlavy
Karmazinová, Inna ; Kolář, Radim (oponent) ; Jakubíček, Roman (vedoucí práce)
Práce se zabývá automatickým zarovnáním CT skenu hlavy. V současné době je zarovnávání prováděno manuálně zaškoleným personálem, tento proces je však časově náročný, a tak existuje snaha o zautomatizování tohoto procesu. V prostředí MATLAB byly navrženy a implementovány dvě metody pro zarovnání CT skenu hlavy v axiální a koronální rovině využívající bilaterální symetrie hlavy. Dále byla vytvořena metoda pro zarovnání sagitální roviny s využitím CG-TOB referenční přímky pro detekci rotačního úhlu. Tyto přístupy byly otestovány a validovány na databázi manuálně anotovaných CT skenů hlavy.
|
|
|
Techniky pro získávání dat v genomice
Jaša, Petr ; Křivka, Zbyněk (oponent) ; Burgetová, Ivana (vedoucí práce)
Tato práce si v první řadě klade za cíl představit některé běžné techniky pro získávání dat v genomice a v další řadě naimplementovat vlastní algoritmus vycházející z originální verze algoritmu BLAST jako zástupce zmíněných technik. Práce se konkrétně zaměřuje na DNA sekvence, které v sobě uchovávají genetickou informaci, jež je předlohou živých organismů. Pro rozluštění této informace se používá řada technik. Tento text popisuje algoritmus Fasta a algoritmy rodiny BLAST. Pomocí těchto algoritmů je možné získat o sekvencích DNA, u kterých je známá pouze jejich primární struktura, mnoho důležitých informací. Princip algoritmů spočívá v zarovnání jedné vzorové sekvence DNA, ze které chceme získat informace, s mnoha sekvencemi uloženými v databázi. Ze zarovnání je pak možné u vzorové sekvence, na základě míry její podobnosti se sekvencemi databáze, stanovit s určitou pravděpodobností mnoho různých vlastností.
|
host ::
RSS.