Research Projects/en: Rozdiel medzi revíziami
| Riadok 100: | Riadok 100: | ||
|2004–2006||Knowledge representation and reasoning with robotic applications.||VEGA 1/1055/04 ||Guller D. | |2004–2006||Knowledge representation and reasoning with robotic applications.||VEGA 1/1055/04 ||Guller D. | ||
|- | |- | ||
| − | |2003-2004||PhD summer school: Logics for formal specification languages. (with KI FMFI, Technical Univ. of Denmark, Essex Univ., German Research Centre for Artificial Intelligence)||CoLogNET, FET, IST 2001-33123||Guller D. | + | |2003-2004||PhD summer school: Logics for formal specification languages. (in coop. with KI FMFI, Technical Univ. of Denmark, Essex Univ., German Research Centre for Artificial Intelligence)||CoLogNET, FET, IST 2001-33123||Guller D. |
|- | |- | ||
|2003–2005||Logical theory of dynamic and modular knowledge bases||VEGA 1/0173/03||Šefránek J. | |2003–2005||Logical theory of dynamic and modular knowledge bases||VEGA 1/0173/03||Šefránek J. | ||
Verzia zo dňa a času 16:19, 6. október 2015
Projects
The members of the department participate or participated in the following research and educational projects.
Research Projects
| From–to | Title of educational project | Agency and number | Principal investigator |
|---|---|---|---|
| 2015-2018 | Comparative and functional analysis of non-conventional yeast genomes (collaboration with Dept. of Biochemistry of the Faculty of Natural Sciences) | APVV-14-0253 | Vinař T. |
| 2015 | AREST - Augmented reality and reconstruction in restoration process | Nadácia Tatra Banky (TB) | Berger Haladová Z. |
| 2014-2017 | Algorithms and models for analysis of complex biological sequences | VEGA 1/0719/14 | Vinař T. |
| 2013–2017 | Brain-computer interface with adaptive robot-assisted training for rehabilitation (cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine) | APVV-0668-12 | Farkaš I. |
| 2014–2016 | Fuzzy expert systems | VEGA 1/0592/14 | Guller D. |
| 2013–2015 | Grounded cognition paradigm, interaction between perception and action in the brain-computer interface (cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.) | VEGA 1/0503/13 | Rybár J. |
| 2013–2015 | Changes in sleep architecture in patients with focal brain ischemy and their infuence on cognitive functions (cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine) | MZ SR SR-2012/56-SAV-6 | Farkaš I. |
| 2013–2015 | Metaphilosophy as a pragmatic analysis of philosophical utterances | VEGA 1/0644/13 | Kamhal D. |
| 2013–2014 | Multikontextová inferencia v heterogénnych prostrediach | APVV SK-GR-0070-11 | Homola M. |
| 2012–2015 | Reprezentácia znalostí pre ambietnú inteligenciu | VEGA 1/1333/12 | Gruska D. |
| 2012 | Virtualizer: 3D scanner for complete reconstruction | Nadácia TB | Kovačovský T. |
| 2012 | Laboratórium mobilných aplikácií | Nadácia TB | Borovanský P. |
| 2012 | Virtual reality and urban planning | Nadácia TB | Borovský P. |
| 2011–2013 | Motion capture, interaction and cooperation between humans and avatars in 3D augmented reality and virtual reality | VEGA 1/1106/11 | Stanek S. |
| 2011–2013 | Integrácia štúdia spracovania vizuálnej informácie a vytvorenie komplexných multimediálnych učebných materiálov | KEGA 068UK-4/2011 | Černeková Z. |
| 2011–2013 | Methods of vizualization and modeling of biological structures | VEGA 1/0631/11 | Šrámek M. |
| 2011–2013 | Models of complex networks and their application in practice | VEGA 1/0476/11 | Markošová M. |
| 2011–2013 | Constructivist modeling of early cognitive development using simulated embodied agent | VEGA 1/0439/11 | Farkaš I. |
| 2011–2013 | Optimalizácia efektívnosti kódovania videa pre prenos a záznam | VEGA 1/0602/11 | Černeková Z. |
| 2011–2012 | Reasoning with dynamic and inconsistent knowledge | APVV SK-PT-0028-10 | Šefránek J. |
| 2011 | Anomaly detection using a biologically inspired intelligent network | Nadácia TB 2010et019 | Farkaš I. |
| 2011 | Study and implementation of automated usability measurements | Nadácia TB 2010et010 | Fabo P. |
| 2010–2011 | New methods of classification and prediction in analysis of biosignals and in biologically inspired computational vision | VEGA 2/0019/10 | Markošová M. |
| 2010–2011 | Philosophy of fundamental paradigms in cognitive science | VEGA 1/0741/09 | Rybár J. |
| 2010–2011 | Representation of incomplete, developing and distributed knowledge (in interactions with communication platform) | VEGA 1/0688/10 | Šefránek J. |
| 2010–2011 | Algorithms and software for analysis of DNA, RNA, and proteins | VEGA 1/0210/10 | Vinař T. |
| 2010 | Multi-touch display and its applications | Nadácia TB | Fabo P. |
| 2009–2011 | Spracovanie geometrie pre urbánnu virtuálnu realitu | VEGA 1/0763/09 | Černeková Z. |
| 2009–2011 | Optické merania komplexných povrchových náterov s podpovrchovým rozptylom na pigmentoch | VEGA 1/0662/09 | Ďurikovič R. |
| 2008–2013 | ALGGENOMES: Algorithms for Analysis of Genes and Genoms | EU FP7-PIRG03-GA-2008-224885 | Vinař T. |
| 2008–2010 | International Workshop: Automata Theoretic Methods in Algorithmic Algebra | ESF Z-08-107/0003-00 | Jajcayova T. |
| 2008–2010 | Aplikácia multi-agentovej modularity pre tvorbu riadiacich systémov a počítačových modelov | VEGA 1/0280/08 | Lúčny A. |
| 2008–2010 | Modeling of language as a complex system with self-organization | VEGA 1/0361/08 | Farkaš I. |
| 2008–2010 | Saul Kripke and revival of metaphysics. Contemporary discussions about essentialism and so-called metaphysics of modality | VEGA 1/0814/08 | Kamhal D. |
| 2008–2011 | Multimediálna čítanka | APVV LPP-0056-07 | Nagy M. |
| 2007–2009 | A knowledge system for cognitive robots | VEGA 1/4060/07 | Guller D. |
| 2007–2009 | Modern methods of classification and prediction of sleep stages and loss of attention based on analysis of EEG signals ((cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.) | VEGA 2/7087/27 | Markošová M. |
| 2006–2008 | Neštandardné modely výpočtov – špecifikácia, zložitosť, bezpečnosť | VEGA 1/3105/06 | Gruska D. |
| 2006–2008 | Dynamical aspects of knowledge representation: from theoretical basics to applications | VEGA 1/3112/06 | Šefránek J. |
| 2006–2008 | Cognitive sciences and traditional philosophical theories | VEGA 1/3612/06 | Rybár J. |
| 2005–2009 | Tools for processing and visualisation of tomographic and confocal data | APVV-20-056105 | Šrámek M. |
| 2005–2007 | Modeling complex systems using neural networks with focus on linguistics | VEGA 1/2045/05 | Farkaš I. |
| 2005–2007 | Environment for specification of multiagent systems | APVV-20-P04805 | Šefránek J. |
| 2005–2007 | Efektívny prehliadač urbanistických dát a ich prezentácia (v spolupráci s EUROSENSE Slovakia, s.r.o., Mestské múzeum Bratislava, Centaur, s.r.o.) | APVT 20-P05105 | Ftáčnik M.? |
| 2004–2006 | Knowledge representation and reasoning with robotic applications. | VEGA 1/1055/04 | Guller D. |
| 2003-2004 | PhD summer school: Logics for formal specification languages. (in coop. with KI FMFI, Technical Univ. of Denmark, Essex Univ., German Research Centre for Artificial Intelligence) | CoLogNET, FET, IST 2001-33123 | Guller D. |
| 2003–2005 | Logical theory of dynamic and modular knowledge bases | VEGA 1/0173/03 | Šefránek J. |
| 2003–2005 | Počítanie v sieti | VEGA 1/0172/03 | Gruska D. |
Educational Projects
| From–to | Title of educational project | Agency and number | Principal investigator |
|---|---|---|---|
| 2013–2015 | Development of middle European interdisciplinary master programme in cognitive science | KEGA 076UK-4/2013 | Farkaš I. |
| 2013–2013 | Virtuálna univerzita informatiky: vývojové prostredie výuky programovania | Nadácia TB 2012vs003 | Gyárfáš F. |
| 2012–2015 | Preparation of study of mathematics and informatics at FMPI Comenius University in English language | ITMS 2614030008 | Ďurikovič R., Farkaš I. |
| 2010 | AI robotics | Nadácia TB 09vs29 | Petrovič P. |
| 2010–2011 | Interdisciplinary bioinformatics study program: Proposal and implementation of pilot courses | KEGA 058-016UK-4/2010 | Vinař T. |
| 2009–2011 | Cognitive science – middle European interdisciplinary master study programme | KEGA 3/7300/09 | Rybár J. |
| 2004–2006 | Robotic laboratory with telepresence of the developer | KEGA 3/2399/04 | Šefránek J. |