• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

GD201/09/H057 - Res Informatica (2009-2012, GA0/GD)

Údaje o projektu
Identifikační kódGD201/09/H057
Důvěrnost údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Název v původním jazyceRes Informatica
PoskytovatelGA0 - Grantová agentura České republiky (GA ČR)
ProgramGD - Doktorské granty (2003-…)
Kategorie VaVZV - Základní výzkum
Hlavní oborIN - Informatika
Vedlejší oborBA - Obecná matematika
Další vedlejší oborJC - Počítačový hardware a software
Zahájení řešení1.1.2009
Ukončení řešení31.12.2012
Datum posledního uvolnění účelové podpory24.6.2011
Číslo smlouvy201/09/H057
Poslední stav řešeníK - Končící víceletý projekt, tj. projekt, který byl řešen již v předcházejícím roce, příslušný rok sběru dat je posledním rokem účinnosti smlouvy resp. vykonatelnosti rozhodnutí o poskytnutí podpory
Finance projektu
Období2009201020112012celkem
Výše podpory ze státního rozpočtu2 624 tis. Kč2 880 tis. Kč2 880 tis. Kč2 880 tis. Kč11 264 tis. Kč
Celkové uznané náklady2 624 tis. Kč2 880 tis. Kč2 880 tis. Kč2 880 tis. Kč11 264 tis. Kč
Typskutečně čerpanéskutečně čerpanéskutečně čerpanépřidělené
Druh soutěžeVS - Veřejná soutěž ve výzkumu a vývoji
Veřejná soutěž ve výzkumu, vývoji a inovacíchSGA02009GA-DG - Veřejná soutěž (GA0/GD)
Cíle řešení v původním jazyceSoučasná informatika má tak široký záběr, že je těžké pro odborníky z různých podoblastí si navzájem porozumět, vyměňovat a využívat výzkumné výsledky z příbuzných, ale přesto jiných oblastí. Tato bariéra zpomaluje inovační pokrok kvůli efektu „znovu objevování kola“, a je proto důležité obnovovat povědomí o výsledcích a výzvách různých podoblastí informatiky a to již v raném stadiu výzkumné kariéry. Navrhovaný projekt „Res Informatica“ překlenuje právě zmíněnou komunikační propast a soustředí se na rozšíření obzorů doktorandů nad rámec jejich aktuálního výzkumného tématu. Projekt zahrnuje vybrané studenty doktorského programu Informatika, který nabízí Matematicko-fyzikální fakulta Univerzity Karlovy v Praze ve spolupráci s Ústavem informatiky Akademie věd ČR. Projekt podporuje spolupráci mezi místními studenty prostřednictvím společných setkání a seminářů a poskytuje finanční podporu pro cesty studentů na mezinárodní konference, kde mohou získat další důležité osobní kontakty. Společný projekt také posiluje vzdělávání v obecné vědecké metodologii, která je důležitá pro všechny studenty napříč celým spektrem studijních oborů.
Klíčová slova v anglickém jazycetheoretical comp.science; Softw.Engineering; discrete mathematics; comp. linguistics
Rok dodání údajů do CEP2012
Systémové označení dodávky datCEP12-GA0-GD-R/06:5
Datum dodání záznamu4.4.2013
Účastníci projektu
Počet příjemců1
Počet dalších účastníků projektu1
Příjemce / Organizační jednotka garantující řešeníUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
ŘešitelProf. RNDr. Roman Barták, Ph.D. (státní příslušnost: CZ - Česká republika; tel.: 221 914 242)
Další účastník projektuÚstav informatiky AV ČR, v. v. i.
ŘešitelProf. RNDr. Jiří Wiedermann, DrSc. (státní příslušnost: CZ - Česká republika; tel.: 266 053 520)
Finance účastníků projektu
Poznámka: Finance účastníků projektu jsou sledovány od roku 2007
Výše podpory ze státního rozpočtu
Účastník2009201020112012
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta2 555 tis. Kč2 680 tis. Kč2 680 tis. Kč2 680 tis. Kč
Ústav informatiky AV ČR, v. v. i.69 tis. Kč200 tis. Kč200 tis. Kč200 tis. Kč
Celkové uznané náklady
Účastník2009201020112012
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta2 555 tis. Kč2 680 tis. Kč2 680 tis. Kč2 680 tis. Kč
Ústav informatiky AV ČR, v. v. i.69 tis. Kč200 tis. Kč200 tis. Kč200 tis. Kč
Výsledky projektu v RIV
Očekávané výsledky projektu
O - Ostatní výsledky nezařaditelné do žádného z výše uvedených druhů výsledku1
Počet výsledků v RIV120
Výsledek druhu JRIV/00216208:11320/12:10127088 - A computational model of the allocentric and egocentric spatial memory by means of virtual agents, or how simple virtual agents can help to build complex computational models (2012)
Výsledek druhu JRIV/00216208:11320/12:10127469 - Can Deep Neural Networks Discover Meaningful Pattern Features? (2012)
Výsledek druhu DRIV/00216208:11320/12:10127163 - Combining Parameter Space Search and Meta-learning for Data-Dependent Computational Agent Recommendation (2012)
Výsledek druhu CRIV/00216208:11320/12:10103328 - Component-Oriented Development for Real-Time Java (2012)
Výsledek druhu DRIV/00216208:11320/12:10130093 - DEPFIX: A System for Automatic Correction of Czech MT Outputs (2012)
Výsledek druhu DRIV/00216208:11320/12:10130081 - Exploiting Reducibility in Unsupervised Dependency Parsing (2012)
Výsledek druhu DRIV/00216208:11320/12:10130039 - Formemes in English-Czech Deep Syntactic MT (2012)
Výsledek druhu JRIV/00216208:11320/12:10100152 - Fuzzy ILP Classification of web reports after linguistic text mining (2012)
Výsledek druhu JRIV/00216208:11320/12:10125884 - Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis (2012)
Výsledek druhu DRIV/00216208:11320/12:10130029 - The Joy of Parallelism with CzEng 1.0 (2012)
Výsledek druhu ORIV/00216208:11320/12:10127107 - Linked Data Fusion in ODCleanStore (2012)
Výsledek druhu JRIV/00216208:11320/12:10130070 - Making Community and ASR Join Forces in Web (2012)
Výsledek druhu DRIV/00216208:11320/12:10126821 - Meta-Learning and Model Selection in Multiobjective Evolutionary Algorithms (2012)
Výsledek druhu JRIV/00216208:11320/12:10099576 - Non-metric Similarity Search of Tandem Mass Spectra Including Posttranslational Modifications (2012)
Výsledek druhu JRIV/00216208:11320/12:10127089 - ODCleanStore: A Framework for Managing and Providing Integrated Linked Data on the Web (2012)
Výsledek druhu JRIV/00216208:11320/12:10124006 - On Optimizing the Non-metric Similarity Search in Tandem Mass Spectra by Clustering (2012)
Výsledek druhu DRIV/00216208:11320/12:10107635 - On The Accuracy of Cache Sharing Models (2012)
Výsledek druhu DRIV/00216208:11320/12:10126858 - Planning Is the Game: Action Planning as a Design Tool and Game Mechanism (2012)
Výsledek druhu DRIV/00216208:11320/12:10124289 - Property networks allowing oracle-based mode-change propagation in hierarchical components (2012)
Výsledek druhu DRIV/00216208:11320/12:10126830 - The Selection of Surrogate Models in Evolutionary Algorithms (2012)
Výsledek druhu DRIV/00216208:11320/12:10130104 - Sentence-Level Sentiment Analysis in Czech (2012)
Výsledek druhu JRIV/00216208:11320/12:10121238 - Similarity of users' (content-based) preference models for Collaborative filtering in few ratings scenario (2012)
Výsledek druhu JRIV/00216208:11320/12:10124005 - SimTandem: Similarity Search in Tandem Mass Spectra (2012)
Výsledek druhu DRIV/00216208:11320/12:10129825 - Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems (2012)
Výsledek druhu DRIV/00216208:11320/12:10125751 - Tight bounds on the maximum size of a set of permutations with bounded VC-dimension (2012)
Výsledek druhu ORIV/00216208:11320/12:10127109 - Tracking Provenance of the Published (Linked) Open Data (2012)
Výsledek druhu DRIV/00216208:11320/12:10130080 - Unsupervised Dependency Parsing using Reducibility and Fertility features (2012)
Výsledek druhu DRIV/00216208:11320/12:10130091 - Using Parallel Features in Parsing of Machine-Translated Sentences for Correction of Grammatical Errors (2012)
Výsledek druhu DRIV/00216208:11320/11:10103633 - A new sensitivity-based pruning technique for feed-forward neural networks that improves generalization (2011)
Výsledek druhu JRIV/00216208:11320/11:10099123 - Can Linear Approximation Improve Performance Prediction ? (2011)
Výsledek druhu CRIV/00216208:11320/11:10108102 - Členská negace a způsoby jejího vyjadřování v datech ČNK a PDT 2.0 (2011)
Výsledek druhu JRIV/00216208:11320/11:10107816 - Combining Diverse Word-Alignment Symmetrizations Improves Dependency Tree Projection (2011)
Výsledek druhu DRIV/00216208:11320/11:10107947 - Gibbs Sampling with Treeness constraint in Unsupervised Dependency Parsing (2011)
Výsledek druhu DRIV/67985807:_____/11:00375280 - Improving many-objective optimizers with aggregate meta-models (2011)
Výsledek druhu DRIV/67985807:_____/11:00365291 - Incremental Computation of Succinct Abstractions for Hybrid Systems (2011)
Výsledek druhu DRIV/67985807:_____/11:00369583 - Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned (2011)
Výsledek druhu DRIV/00216208:11320/11:10100323 - Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned (2011)
Výsledek druhu DRIV/67985807:_____/11:00375611 - Local Meta-models for ASM-MOMA (2011)
Výsledek druhu JRIV/00216208:11320/11:10105978 - Local Meta-models for ASM-MOMA (2011)
Výsledek druhu DRIV/00216208:11320/11:10105980 - Multiobjective Memetic Algorithm with Local Meta-Models (2011)
Výsledek druhu JRIV/00216208:11320/11:10100845 - On average and highest number of flips in pancake sorting (2011)
Výsledek druhu JRIV/00216208:11320/11:10100844 - Polynomial-time sortable stacks of burnt pancakes (2011)
Výsledek druhu DRIV/00216208:11320/11:10099582 - Protein Sequences Identification using NM-tree (2011)
Výsledek druhu DRIV/00216208:11320/11:10099812 - Resistance Against Malicious Collectives in BubbleTrust (2011)
Výsledek druhu JRIV/00216208:11320/11:10107817 - Resolving Noun Phrase Coreference in Czech (2011)
Výsledek druhu JRIV/00216208:11320/11:10100137 - Revealing Beliefs Influencing Trust between Members of the Czech Informatics Community (2011)
Výsledek druhu DRIV/00216208:11320/11:10100154 - Semantic Annotation Semantically: Using a Shareable Extraction Ontology and a Reasoner (2011)
Výsledek druhu ORIV/00216208:11320/11:10103625 - Sensitivity-based SCG-training of BP-networks (2011)
Výsledek druhu DRIV/00216208:11320/11:10107959 - Sentence-Level Polarity Detection in a Computer Corpus (2011)
Výsledek druhu ORIV/00216208:11320/11:10104281 - Towards an automatic diary: an activity recognition from data collected by a mobile phone (2011)
Výsledek druhu DRIV/00216208:11320/11:10103406 - Towards modeling false memory using virtual characters: a position paper (2011)
Výsledek druhu ORIV/00216208:11320/11:10103600 - Two Semantics for Step-Parallel Planning: Which One to Choose? (2011)
Výsledek druhu DRIV/00216208:11320/11:10103586 - Two Semantics for Step-Parallel Planning: Which One to Choose? (2011)
Výsledek druhu DRIV/00216208:11320/11:10107946 - Two-step translation with grammatical post-processing (2011)
Výsledek druhu DRIV/00216208:11320/11:10107951 - Utilization of Anaphora in Machine Translation (2011)
Výsledek druhu DRIV/00216208:11320/11:10103580 - Využitie konečných stavových automatov pri modelovaní a riešení plánovacích problémov (2011)
Výsledek druhu JRIV/00216208:11320/11:10100150 - Web Quality Assessment Model: Trust in QA Social Networks (2011)
Výsledek druhu ORIV/00216208:11320/11:10103598 - When Planning Should Be Easy: On Solving Relaxed Planning Problems (2011)
Výsledek druhu DRIV/00216208:11320/10:10069954 - Bayesian Methods in Artificial Intelligence (2010)
Výsledek druhu ORIV/00216208:11320/10:10035435 - BubbleTrust: A Reliable Trust Management for Large P2P Networks (2010)
Výsledek druhu DRIV/00216208:11320/10:10080310 - Data Splitting (2010)
Výsledek druhu DRIV/00216208:11320/10:10033290 - Evaluace fuzzy ILP klasifikátoru na datech o dopravních nehodách. (2010)
Výsledek druhu DRIV/00216208:11320/10:10078018 - Exodus - Exploring SMT for EU Institutions (2010)
Výsledek druhu RRIV/00216208:11320/10:10061897 - Fuzzy ILP classifier for Weka (2010)
Výsledek druhu JRIV/00216208:11320/10:10030350 - Geometric representations of binary codes and computation of weight enumerators (2010)
Výsledek druhu DRIV/00216208:11320/10:10050464 - Graph Sharing Games: Complexity and Connectivity (2010)
Výsledek druhu ORIV/00216208:11320/10:10057583 - I can (almost) remember what you are doing: from actions to tasks (2010)
Výsledek druhu DRIV/00216208:11320/10:10059812 - Image Classification with GHNN-Networks (2010)
Výsledek druhu JRIV/00216208:11320/10:10057138 - Learning User Preferences for 2CP-Regression for a Recommender System (2010)
Výsledek druhu DRIV/67985807:_____/10:00338369 - Learning User Preferences for 2CP-Regression for a Recommender System (2010)
Výsledek druhu DRIV/00216208:11320/10:10078023 - Maximum Entropy Translation Model in Dependency-Based MT Framework (2010)
Výsledek druhu DRIV/00216208:11320/10:10045844 - Obsahuje web indikace blížící se krize? Umíme je rozeznat? (2010)
Výsledek druhu DRIV/00216208:11320/10:10050547 - On three parameters of invisibility graphs (2010)
Výsledek druhu DRIV/00216208:11320/10:10048541 - Performance Study of Active Tracking in a Cellular Network Using a Modular Signaling Platform (2010)
Výsledek druhu JRIV/00216208:11320/10:10078034 - Perplexity of n-gram and Dependency Language Models (2010)
Výsledek druhu DRIV/00216208:11320/10:10025273 - PrefShop - a web shop with user preference search capabilities (2010)
Výsledek druhu ORIV/00216208:11320/10:10032047 - Quality Assessment Social Networks: A Novel Approach for Assessing the Quality of Information on the Web (2010)
Výsledek druhu DRIV/00216208:11320/10:10057171 - Similarity Search and Posttranslational Modifications in Tandem Mass Spectra (2010)
Výsledek druhu DRIV/00216208:11320/10:10051769 - Solution of Peter Winkler's Pizza Problem (2010)
Výsledek druhu JRIV/00216208:11320/10:10052035 - Solving Sequential Planning Problems via Constraint Satisfaction (2010)
Výsledek druhu JRIV/00216208:11320/10:10049939 - Surrogate Model for Continuous and Discrete Genetic Optimization Based on RBF Networks (2010)
Výsledek druhu DRIV/67985807:_____/10:00347773 - Surrogate Model for Continuous and Discrete Genetic Optimization Based on RBF Networks (2010)
Výsledek druhu DRIV/00216208:11320/10:10077997 - Tackling Sparse Data Issue in Machine Translation Evaluation (2010)
Výsledek druhu ORIV/00216208:11320/10:10057654 - Timing in Episodic Memory: Virtual Characters in Action (2010)
Výsledek druhu ORIV/00216208:11320/10:10057691 - Towards Planning the History of a Virtual Agent (2010)
Výsledek druhu JRIV/00216208:11320/10:10035417 - Towards semantic annotation supported by dependency linguistics and ILP (2010)
Výsledek druhu JRIV/00216208:11320/10:10032044 - Towards Topic-Based Trust in Social Networks (2010)
Výsledek druhu DRIV/00216208:11320/10:10078049 - Typical Cases of Annotators' Disagreement in Discourse Annotations in Prague Dependency Treebank (2010)
Výsledek druhu DRIV/00216208:11320/10:10052060 - Using Finite-State Automata to Model and Solve Planning Problems (2010)
Výsledek druhu DRIV/67985807:_____/10:00354163 - Validating Model-Driven Performance Predictions on Random Software Systems (2010)
Výsledek druhu JRIV/00216208:11320/10:10002264 - Validating Model-Driven Performance Predictions On Random Software Systems (2010)
Výsledek druhu DRIV/00216208:11320/10:10057141 - Web Semantization - Design and Principles (2010)
Výsledek druhu DRIV/00216208:11320/09:00207465 - Cache Sharing in Q-ImPrESS Performance Models (2009)
Výsledek druhu DRIV/00216208:11320/09:10107031 - Constructing Domain-Specific Component Frameworks through Architecture Refinement (2009)
Výsledek druhu DRIV/00216208:11320/09:00207254 - Epizodická paměť inteligentních virtuálních agentů (2009)
Výsledek druhu DRIV/67985807:_____/09:00331862 - Evaluating Natural User Preferences for Selective Retrieval (2009)
Výsledek druhu DRIV/00216208:11320/09:10084070 - Fuzzy Classification of Web Reports with Linguistic Text Mining (2009)
Výsledek druhu DRIV/67985807:_____/09:00331859 - Fuzzy Classification of Web Reports with Linguistic Text Mining (2009)
Výsledek druhu DRIV/67985807:_____/09:00328033 - How to Learn Fuzzy User Preferences with Variable Objectives (2009)
Výsledek druhu DRIV/67985807:_____/09:00334304 - Issues in Performance Modeling of Applications with Garbage Collection (2009)
Výsledek druhu RRIV/00216208:11210/09:10079332 - Manual Word Alignment Corpus 0.5 (2009)
Výsledek druhu DRIV/00216208:11320/09:00207433 - Matrix Model of Trust Management in P2P Networks (2009)
Výsledek druhu JRIV/00216208:11320/09:10109181 - On Fuzzy vs. metric similarity search in complex databases (2009)
Výsledek druhu DRIV/67985807:_____/09:00352610 - On Fuzzy vs. Metric Similarity Search in Complex Databases (2009)
Výsledek druhu DRIV/00216208:11320/09:00206557 - On the Complexity of General Solution DAGs (2009)
Výsledek druhu DRIV/00216208:11320/09:00206365 - Pogamut 3 Can Assist Developers in Building AI (Not Only) for Their Videogame Agents (2009)
Výsledek druhu DRIV/00216208:11320/09:00207456 - PrefWork - a framework for the user preference learning methods testing (2009)
Výsledek druhu DRIV/67985807:_____/09:00330005 - PrefWork - A Framework for User Preference Learning Methods Testing (2009)
Výsledek druhu DRIV/00216208:11320/09:10080763 - Self-organization for the Detection of Local Features (2009)
Výsledek druhu DRIV/00216208:11320/09:10050463 - Solution of Peter Winkler's Pizza Problem (2009)
Výsledek druhu DRIV/00216208:11320/09:10077992 - Speech Reconstruction - Overview of State-of-the-art Systems (2009)
Výsledek druhu DRIV/00216208:11320/09:10005300 - Timing Penalties Associated with Cache Sharing (2009)
Výsledek druhu DRIV/00216208:11320/09:00207469 - Towards Generation of Component Systems – SOFA HI Prototype (2009)
Výsledek druhu DRIV/00216208:11320/09:00207436 - Towards More Secure Web Services - Exploiting and Analysing XML Signature Security Issues (2009)
Výsledek druhu RRIV/00216208:11320/09:10079330 - UMC003: Czech-English-Russian Tri-parallel Test Set for MT (2009)
Výsledek druhu DRIV/00216208:11320/09:10077985 - Using Tectogrammatical Alignment in Phrase-Based Machine Translation (2009)
Výsledek druhu DRIV/00216208:11320/09:00207457 - Various aspects of user preference learning and recommender systems (2009)
Výsledek druhu DRIV/67985807:_____/09:00329419 - Web Information Extraction for e-environment (2009)
Výsledek druhu DRIV/67985807:_____/09:00330003 - Web Information Extraction Systems for Web Semantization (2009)
Výsledek druhu DRIV/00216208:11320/09:10005296 - When Misses Differ: Investigating Impact of Cache Misses on Observed Performance (2009)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00305. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).