Dev.DAI - Príspevky používateľa [sk]

Research Projects/en

2015-10-20T10:04:21Z

Gruska:

[[Category:Research]]
= Projects =

The members of the department participate or participated in the following research and educational projects.

== Research Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!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 ''(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 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||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 ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!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.
|}

Research Projects/en

2015-10-20T10:02:32Z

Gruska:

[[Category:Research]]
= Projects =

The members of the department participate or participated in the following research and educational projects.

== Research Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!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 ''(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 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||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 ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!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.
|}

CDS Group/sk

2015-10-07T08:57:37Z

Gruska: /* Publikácie */

= Výskumná skupina pre konkurentné a distribuované systémy =

== Zameranie skupiny ==

výpočtové modely pre konkurentné, paralelné a distribuované systémy

formálne metódy

špecifikácia a verifikácia

aplikácie v oblasti bezpečnosti

== Členovia ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Projekty ==

VEGA - Knowledge representation for ambient intelligence (2012 - 2015)

VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)

VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)
…

== Publikácie ==

[http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=ADC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC Journal papers]

[http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC Conference papers]

[[Category:Výskum]]
__NOTOC__

CDS Group/en

2015-10-07T08:57:14Z

Gruska: /* Publications */

= Concurrent and Distributed Systems Group =

== Group Focus ==

models for concurrent, parallel and distributed systems

formal methods

specification and verification

applications in security

== Members ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Projects ==

VEGA - Knowledge representation for ambient intelligence (2012 - 2015)

VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)

VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)

[[Category:Výskum]]
__NOTOC__

== Publications ==

[http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=ADC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC Journal papers]

[http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC Conference papers]

[[Category:Research]]
__NOTOC__

CDS Group/en

2015-10-07T07:52:07Z

Gruska: /* Group Focus */

= Concurrent and Distributed Systems Group =

== Group Focus ==

models for concurrent, parallel and distributed systems

formal methods

specification and verification

applications in security

== Members ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Projects ==

VEGA - Knowledge representation for ambient intelligence (2012 - 2015)

VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)

VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)

[[Category:Výskum]]
__NOTOC__

== Publications ==
Journal papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=ADC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC

Conference papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC
…

[[Category:Research]]
__NOTOC__

CDS Group/en

2015-10-07T07:51:38Z

Gruska:

= Concurrent and Distributed Systems Group =

== Group Focus ==

models for concurrent, parallel and distributed systems
formal methods
specification and verification
applications in security

== Members ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Projects ==

VEGA - Knowledge representation for ambient intelligence (2012 - 2015)

VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)

VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)

[[Category:Výskum]]
__NOTOC__

== Publications ==
Journal papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=ADC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC

Conference papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC
…

[[Category:Research]]
__NOTOC__

CDS Group/sk

2015-10-07T07:49:41Z

Gruska:

= Výskumná skupina pre konkurentné a distribuované systémy =

== Zameranie skupiny ==

výpočtové modely pre konkurentné, paralelné a distribuované systémy

formálne metódy

špecifikácia a verifikácia

aplikácie v oblasti bezpečnosti

== Členovia ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Projekty ==

VEGA - Knowledge representation for ambient intelligence (2012 - 2015)

VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)

VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)
…

== Publikácie ==

Journal papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=ADC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC

Conference papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC
…

[[Category:Výskum]]
__NOTOC__

CDS Group/en

2015-10-07T07:49:01Z

Gruska: /* Group Focus */

CDS Group/en

2015-10-07T07:47:27Z

Gruska: /* Members */

= Concurrent and Distributed Systems Group =

== Group Focus ==

== Members ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Activities ==

…

== Projects ==

…

== Publications ==

…

[[Category:Research]]
__NOTOC__

CDS Group/sk

2015-10-07T07:45:41Z

Gruska:

= Výskumná skupina pre konkurentné a distribuované systémy =

== Zameranie skupiny ==

výpočtové modely pre konkurentné, paralelné a distribuované systémy
formálne metódy
špecifikácia a verifikácia
aplikácie v oblasti bezpečnosti

== Členovia ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Projekty ==

VEGA - Knowledge representation for ambient intelligence (2012 - 2015)

VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)

VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)
…

== Publikácie ==

Journal papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=ADC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC

Conference papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC
…

[[Category:Výskum]]
__NOTOC__

CDS Group/sk

2015-10-07T07:45:23Z

Gruska: /* Projekty */

= Výskumná skupina pre konkurentné a distribuované systémy =

== Zameranie skupiny ==

výpočtové modely pre konkurentné, paralelné a distribuované systémy
formálne metódy
špecifikácia a verifikácia
aplikácie v oblasti bezpečnosti

== Členovia ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Aktivity ==

…

== Projekty ==

VEGA - Knowledge representation for ambient intelligence (2012 - 2015)

VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)

VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)
…

== Publikácie ==

Journal papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=ADC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC

Conference papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC
…

[[Category:Výskum]]
__NOTOC__

CDS Group/sk

2015-10-07T07:44:28Z

Gruska: /* Publikácie */

= Výskumná skupina pre konkurentné a distribuované systémy =

== Zameranie skupiny ==

výpočtové modely pre konkurentné, paralelné a distribuované systémy
formálne metódy
špecifikácia a verifikácia
aplikácie v oblasti bezpečnosti

== Členovia ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Aktivity ==

…

== Projekty ==

…

== Publikácie ==

Journal papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=ADC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC

Conference papers:
http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC
…

[[Category:Výskum]]
__NOTOC__

CDS Group/sk

2015-10-07T07:41:05Z

Gruska: /* Zameranie skupiny */

CDS Group/sk

2015-10-07T07:32:10Z

Gruska:

= Výskumná skupina pre konkurentné a distribuované systémy =

== Zameranie skupiny ==

…

== Členovia ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student)

== Aktivity ==

…

== Projekty ==

…

== Publikácie ==

…

[[Category:Výskum]]
__NOTOC__

CDS Group/sk

2015-10-07T07:30:19Z

Gruska:

= Výskumná skupina pre konkurentné a distribuované systémy =

== Zameranie skupiny ==

…

== Členovia ==

* [[Damas Gruska]] (head)
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student)
* [[Michal Kováč|Michal Kováč]] (PhD student)

== Aktivity ==

…

== Projekty ==

…

== Publikácie ==

…

[[Category:Výskum]]
__NOTOC__

Introduction

2008-08-31T21:11:21Z

Gruska: New page: generic page, use the language specific page Introduction.

generic page, use the language specific page [[Introduction]].