Hlavné menu
  1. DAI
  2. Research

Research Projects/en: Rozdiel medzi revíziami
(Kuzma: pridaný Grant UK)
 
(14 medziľahlých úprav od 4 ďalších používateľov nie je zobrazených)
Riadok 12: Riadok 12:
 
|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-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.
+
|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.
 
|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.
+
|2013–2017||Brain-computer interface with adaptive robot-assisted training for rehabilitation ''(collaboration with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||APVV-0668-12||Farkaš I.
 
|-
 
|-
−
|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.
+
|2014–2016||From sensory-motor processes to higher cognition: Computational modeling of mental development in an embodied cognitive agent||VEGA 1/0898/14||Farkaš I.
 
|-
 
|-
−
|2013–2015||Zmeny architektúry spánku u pacientov s ložiskovou ischémiou mozgu a ich vplyv na kognitívne funkcie ''(in cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||MZ SR SR-2012/56-SAV-6||Farkaš I.
+
|2014–2016||Fuzzy expert systems||VEGA 1/0592/14||Guller D.
 +
|-
 +
|2016||Methods of training for deep architectures of neural networks||UK/478/2016||Kuzma T.
 +
|-
 +
|2013–2015||Grounded cognition paradigm, interaction between perception and action in the brain-computer interface ''(collaboration 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 ''(collaboration with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||MZ SR-2012/56-SAV-6||Farkaš I.
 
|-
 
|-
 
|2013–2015||Metaphilosophy as a pragmatic analysis of philosophical utterances||VEGA 1/0644/13||Kamhal D.
 
|2013–2015||Metaphilosophy as a pragmatic analysis of philosophical utterances||VEGA 1/0644/13||Kamhal D.
Riadok 26: Riadok 32:
 
|2013–2014||Multikontextová inferencia v heterogénnych prostrediach||APVV SK-GR-0070-11||Homola M.
 
|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–2015||Knowledge representation for ambient intelligence||VEGA 1/1333/12||Gruska D.
 +
|-
 +
|2012–2013||LAAOS: Logical aspects of adaptable ontological schemas||APVV SK-CZ-0208-11||Homola M.
 
|-
 
|-
−
|2012||Virtualizer: 3D Scanner for Complete Reconstruction||Nadácia TB||Kovačovský T.
+
|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||Laboratórium mobilných aplikácií||Nadácia TB||Borovanský P.
 
|-
 
|-
−
|2012||Virtuálna realita a urbánne plánovanie (VRUP)||Nadácia TB||Borovský 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||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||Metódy vizualizácie a modelovania biologických štruktúr||VEGA 1/0631/11||Šrámek M.
+
|2011–2013||Methods of vizualization and modeling of biological structures||VEGA 1/0631/11||Šrámek M.
 
|-
 
|-
−
|2011–2013||Modely komplexných sietí a ich aplikácia v praxi||VEGA 1/0476/11||Markošová 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||Constructivist modeling of early cognitive development using simulated embodied agent||VEGA 1/0439/11||Farkaš I.
Riadok 44: Riadok 54:
 
|2011–2013||Optimalizácia efektívnosti kódovania videa pre prenos a záznam||VEGA 1/0602/11||Černeková Z.
 
|2011–2013||Optimalizácia efektívnosti kódovania videa pre prenos a záznam||VEGA 1/0602/11||Černeková Z.
 
|-
 
|-
−
|2011–2012||Usudzovanie s dynamickými a nekonzistentnými znalosťami||APVV SK-PT-0028-10||Šefránek J.
+
|2011–2012||Reasoning with dynamic and inconsistent knowledge||APVV SK-PT-0028-10||Šefránek J.
 
|-
 
|-
−
|2011||Anomaly detection using a biologically inspired intelligent nnetwork||Nadácia TB 2010et019||Farkaš I.
+
|2011||Anomaly detection using a biologically inspired intelligent network||Nadácia TB 2010et019||Farkaš I.
 
|-
 
|-
−
|2011||Štúdium a implementácia automatizovaných usability meraní||Nadácia TB 2010et010||Fabo P.
+
|2011||Study and implementation of automated usability measurements||Nadácia TB 2010et010||Fabo P.
 
|-
 
|-
−
|2010–2011||Nové metódy klasifikácie a predikcie v analýze biosignálov a biologicky inšpirovanom počítačovom vedení||VEGA 2/0019/10||Markošová M.
+
|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||Philosophy of fundamental paradigms in cognitive science||VEGA 1/0741/09||Rybár J.
 
|-
 
|-
−
|2010–2011||Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)||VEGA 1/0688/10||Šefránek 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–2011||Algorithms and software for analysis of DNA, RNA, and proteins||VEGA 1/0210/10||Vinař T.
Riadok 60: Riadok 70:
 
|2010||Multi-touch display and its applications||Nadácia TB||Fabo P.
 
|2010||Multi-touch display and its applications||Nadácia TB||Fabo P.
 
|-
 
|-
−
|2009–2011||Spracovanie geometrie pre urbannu virtualnu realitu||VEGA 1/0763/09||Černeková Z.
+
|2009–2011||Spracovanie geometrie pre urbánnu virtuálnu realitu||VEGA 1/0763/09||Černeková Z.
−
|-
+
−
|2009–2011||Základné komponenty bezpečnej výpočtovej a komunikačnej infraštruktúry||VEGA 1/0266/09||Stanek M.
+
 
|-
 
|-
 
|2009–2011||Optické merania komplexných povrchových náterov s podpovrchovým rozptylom na pigmentoch||VEGA 1/0662/09||Ďurikovič R.
 
|2009–2011||Optické merania komplexných povrchových náterov s podpovrchovým rozptylom na pigmentoch||VEGA 1/0662/09||Ďurikovič R.
Riadok 70: Riadok 78:
 
|2008–2010||International Workshop: Automata Theoretic Methods in Algorithmic Algebra||ESF Z-08-107/0003-00 ||Jajcayova 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||Application of multi-agent modularity for design control systems and computer models||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||Modeling of language as a complex system with self-organization||VEGA 1/0361/08||Farkaš I.
Riadok 78: Riadok 86:
 
|2008–2011||Multimediálna čítanka||APVV LPP-0056-07||Nagy M.
 
|2008–2011||Multimediálna čítanka||APVV LPP-0056-07||Nagy M.
 
|-
 
|-
−
|2007–2009||Znalostný systém pre kognitívnych robotov||VEGA 1/4060/07||Guller D.
+
|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.
 
|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||Nonstandard models of computing - specification, complexity and security||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||Dynamical aspects of knowledge representation: from theoretical basics to applications||VEGA 1/3112/06||Šefránek J.
Riadok 95: Riadok 103:
 
|-
 
|-
 
|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.?
 
|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||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.
+
|2003–2005||Network computing||VEGA 1/0172/03||Gruska D.
 
|}
 
|}
  
Riadok 106: Riadok 118:
 
|-
 
|-
 
!From–to !! Title of educational project !! Agency and number !! Principal investigator
 
!From–to !! Title of educational project !! Agency and number !! Principal investigator
 +
|-
 +
|2016–2018||Development of middle European interdisciplinary master programme in cognitive science in English||KEGA 017UK-4/2016||Farkaš I.
 
|-
 
|-
 
|2013–2015||Development of middle European interdisciplinary master programme in cognitive science||KEGA 076UK-4/2013||Farkaš I.
 
|2013–2015||Development of middle European interdisciplinary master programme in cognitive science||KEGA 076UK-4/2013||Farkaš I.

Aktuálna revízia z 23:47, 27. máj 2016

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 (collaboration with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine) APVV-0668-12 Farkaš I.
2014–2016 From sensory-motor processes to higher cognition: Computational modeling of mental development in an embodied cognitive agent VEGA 1/0898/14 Farkaš I.
2014–2016 Fuzzy expert systems VEGA 1/0592/14 Guller D.
2016 Methods of training for deep architectures of neural networks UK/478/2016 Kuzma T.
2013–2015 Grounded cognition paradigm, interaction between perception and action in the brain-computer interface (collaboration 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 (collaboration with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine) MZ 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 Knowledge representation for ambient intelligence VEGA 1/1333/12 Gruska D.
2012–2013 LAAOS: Logical aspects of adaptable ontological schemas APVV SK-CZ-0208-11 Homola M.
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 Application of multi-agent modularity for design control systems and computer models 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 Nonstandard models of computing - specification, complexity and security 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 Network computing VEGA 1/0172/03 Gruska D.

Educational Projects

From–to Title of educational project Agency and number Principal investigator
2016–2018 Development of middle European interdisciplinary master programme in cognitive science in English KEGA 017UK-4/2016 Farkaš I.
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.
Zdroj: „http://dev.dai.fmph.uniba.sk/w?title=Research_Projects/en&oldid=15006“