• Accelerating structure search in small-molecule databases 

      Kratochvíl, Miroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)
      Date of defense: 17. 5. 2019
      Structure search is one of the valuable capabilities of small-molecule databases. Available chemical cartridges typically provide acceptable search performance for processing user queries, but do not scale satisfactorily ...
    • Adaptivní klasifikátor pošty pro IMAP servery 

      Rajčan, Šimon (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 15. 9. 2009
      Předmětem této práce je navrhnout a implementovat systém pro klasifikaci došlé elektronické pošty na základě pravidel získaných během práce uživatele v učícím režimu aplikace. Základním cílem je pozitivní vyhledávání ...
    • Adaptivní klasifikátor pošty pro IMAP servery 

      Rajčan, Šimon (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 22. 6. 2009
      Předmětem této práce je navrhnout a implementovat systém pro klasifikaci došlé elektronické pošty na základě pravidel získaných během práce uživatele v učícím režimu aplikace. Základním cílem je pozitivní vyhledávání ...
    • Analýza paralelizovatelnosti programů na základě jejich bytecode 

      Brabec, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 26. 1. 2018
      Analysis of automatic program parallelization based on bytecode There are many algorithms for automatic parallelization and this work explores the possible application of these algorithms to programs based on their bytecode ...
    • Analýza paralelizovatelnosti programů na základě jejich bytecode 

      Brabec, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 27. 5. 2013
      Analýza paralelizovatelnosti programů na základě jejich bytecode Práce se zabývá analýzou možností aplikace algoritmů pro automatickou paralelizaci na programy, u kterých máme k dispozici jejich bytecode, nebo podobný ...
    • Automatické třídění pošty pro IMAP servery 

      Kulič, Luboš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Date of defense: 18. 9. 2006
      Jelikož množství přijatých e-mailových zpráv rapidně stoupá, jsou uživatelé nuceni třídit je do několika kategorií. V předkládané práci představujeme nástroj, nazvaný Apofis, který pomáhá uživatelům automatizovat jejich ...
    • Client side scripting using meta-programming 

      Petříček, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 11. 9. 2007
      Webové aplikace založené na principech souhrnně označovaných zkratkou "Ajax" se dnes stávají de-facto standardem, ale vývoj takovýchto aplikací je naneštěstí velmi náročný. Vývojáři musí čelit problémům, jako je nesourodost ...
    • Dimensional analysis for HD languages 

      Horváth, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 18. 9. 2007
      Na vývoj elektrických obvodov v súčasnosti používajú inžinieri špeciálne popisné jazyky, ktoré im umožňujú vytvoriť modely týchto obvodov a otestovať ich pred samotnou konštrukciou. Tieto jazyky však neposkytujú dostatočne ...
    • Elektronický hospodář 

      Pavlovský, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 15. 6. 2015
      Hlavním cílem této práce byla implementace systému, který pomůže hospodářům kateder a správcům grantů správu přiděleného rozpočtu. Systém umožní vést správu jednak uskutečněných výdajů, jednak výdajů plánovaných. Nabídne ...
    • Elektronický obchod jako služba 

      Dáni, Ľubomír (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 7. 9. 2011
    • Garbage collection in the C++ environment 

      Zika, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 25. 5. 2009
      Cílem práce je navrhnout a implementovat garbage collector v prostředí programovacího jazyka C++, definovaného mezinárodním standardem ISO/IEC 14882:2003. Součástí práce je analýza různých aspektů automatické správy paměti ...
    • Garbage collection in the C++ environment 

      Zika, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 2. 2. 2009
      Cílem práce je navrhnout a implementovat automatickou správu paměti v prostředí programovacího jazyka C++ definovaného mezinárodním standardem ISO/IEC 14882:2003. Těžištěm práce je řešení problémů s implementací správy ...
    • Generátor kódu s vyměnitelnou cílovou architekturou 

      Zouhar, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Date of defense: 11. 9. 2006
      Práce se zabývá návrhem backendu pro kompilátor jazyka C++ s podporou generování kódu pro více cílových architektur. Backend je rozdělen na dvě části: systém popisu cílové architektury a generátor kódu. Popis cílové ...
    • Genetické programování pro predikci finančních trhů 

      Krejčí, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 15. 6. 2015
      Cílem práce je otestovat vhodnost užití genetického programování pro predikci finančních trhů v závislosti na jejich předchozím vývoji. Obsahem práce je studium metod genetického programování použitých či použitelných v ...
    • Implementace a evaluace protokolu CBOR 

      Kalvoda, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 15. 6. 2015
      CBOR (RFC 7049) je nový protokol pro binární serializaci dat. Nevyžaduje definici schémat a je podobný JSON či BSON. Přichází s několika novými koncepty, především explicitní podporou proudového zpracování a rozšiřitelnou ...
    • Implementace vybraných databázových operací v paralelním prostředí 

      Majdan, Ján (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 27. 5. 2013
      Název práce: Implementace vybraných databázových operací v paralelním pro- středí Autor: Bc. Ján Majdan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. David Bednárek, Ph.D. Abstrakt: Předložená ...
    • Informační systém pro vzdělávací agentury 

      Marván, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 2. 2. 2007
      The goal of this work is to implement an internet and intranet information system for registering lectors and students in an educational agency, together with their abilities, requirements, time possibilities etc. The ...
    • Informační systém sportovních škol 

      Mach, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Date of defense: 9. 9. 2008
      Nejdůležitější částí této práce je implementace informačního systému tak, aby splňoval všechny základní potřeby pro správu sportovní škol. Součástí systému je evidence žáků, lektorů, středisek, konaných akcí a přihlášek. ...
    • Jazyk pro řízení 2D her 

      Krček, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 18. 9. 2007
      Práce se zabývá návrhem programovacího jazyka pro řízení tahových i real-time her s logickými či simulačními prvky, implementací překladače, komponenty běhové podpory a grafického uživatelského rozhraní, které slouží jak ...
    • Moderní implementace LALR(1) konstruktoru 

      Fišer, Karel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 9. 9. 2013
      Cílem této práce je navrhnout moderní design konstruktoru parserů a návrh poté realizovat. Výsledkem práce je programátorské dílo sestávající z programu, který ze vstupního souboru čte popis bezkontextové LALR(1) gramatiky ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV