UNIVERZITA PAVLA JOZEFA ŠAFÁRIKA V KOŠICIACH - Prírodovedecká fakulta

українська
Web stránka
Telefónny zoznam
AIS2

Veda a výskum

Zamestnanci Ústavu informatiku sa podieľajú na riešení viacerých domácich a zahraničných projektov. Výsledky sú prezentované na Seminári Ústavu informatiky, na domácich a zahraničných konferenciách, vo vedeckých časopisoch.

 

Riešené projekty:

APVV-15-0091 Effective algorithms, automata and data structures

(Efektívne algoritmy, automaty a dátové štruktúry)

Zodpovedný riešiteľ: Prof. RNDr. Viliam Geffert, DrSc.

Spoluriešitelia: prof. RNDr. Gabriel Semanišin, PhD., RNDr. František Galčík, PhD., Mgr. Alexander Szabari, PhD., RNDr. Zuzana Bednárová, PhD., doc. RNDr. Jozef Jirásek, PhD., doc. RNDr. Csaba Török, CSc., RNDr. Juraj Šebej, doc. RNDr. Stanislav Krajči, PhD., RNDr. Ondrej Krídlo, PhD., RNDr. Ľubomír Antoni, PhD., Mgr. Miroslav Opiela

--

VEGA 1/0056/18 Descriptive and computational complexity of automata and algorithms

(Popisná a výpočtová zložitosť automatov a algoritmov)

Zodpovedný riešiteľ: Prof. RNDr. Viliam Geffert, DrSc.

Spoluriešitelia: prof. RNDr. Gabriel Semanišin, PhD., doc. RNDr. Gabriela Andrejková, CSc., RNDr. František Galčík, PhD., Mgr. Alexander Szabari, PhD., RNDr. Zuzana Bednárová, PhD., doc. RNDr. Jozef Jirásek, PhD., RNDr. Rastislav Krivoš-Belluš, PhD.,

--

VEGA 1/1011/16 Dynamic processes in spatial hearing: Experiments, modeling and analytical tools

(Dynamické procesy v priestorovom posluchu: experimenty, modelovanie a analytické nástroje) 

Zodpovedný riešiteľ: Doc. Ing. Norbert Kopčo, PhD.

--

COST BM1306 An action for Better Understanding the Heterogeneity of Tinnitus to Improve and Develop New Treatments (TINNET)

(Lepšie porozumenie heterogenity Tinitusu pri zlepšovaní a vyvíjaní novej liečby)

Zodpovedný riešiteľ: Doc. Ing. Norbert Kopčo, PhD.

--

EU HORIZON 2020 MSCA-RISE-2015 Adaptation, learning and training for spatial hearing in complex environments (ALT)

(Adaptácia, učenie a tréning priestorového sluchu v zložitých prostrediach)

Coordinator: Doc. Ing. Norbert Kopčo, PhD.

 

Vybrané vedecké práce v zahraničných karentovaných časopisoch v rokoch 2017 a 2018:

- Network Intrusion Detection with Threat Agent Profiling, Tomáš Bajtoš, Andrej Gajdoš, Lenka Kleinová, Katarína Lučivjanská, Pavol Sokol. In: Security and Communication Networks. - ISSN 1939-0114. - (2018), art.no. 3614093, [17 s.].

- On stability of fuzzy formal concepts over randomized one-sided formal context, Lubomir Antoni, Stanislav Krajči, Ondrej Krídlo. In: Fuzzy Sets and Systems. - ISSN 0165-0114. - č. 333 (2018), s. 36-53. 

- Streaming and sound localization with a preceding distractor, Norbert Kopčo, Gabriela Andrejková, Virginia Best, Barbara Shinn-Cunningham. In: The Journal of the Acoustical Society of America, Vol. 141, EL 331 (2017); doi: 10.1121/1.4979167.

- Alternating space is closed under complement and other simulations for subalgorithmic space, Viliam Geffert. In: Information and Computation, Vol. 253, (2017), s. 163-178.

- Boolean language operations on nondeterministic automata with a pushdown of constant height, Zuzana Bednárová, Viliam Geffert a kol., In: Journal of Computer and System Sciences. - ISSN 0022-0000. - Vol. 90 (2017), s. 99-114.

- On a relation between k-path partition and k-path vertex cover, Christoph Brause, Rastislav Krivoš-Belluš. In: Discrete Applied Mathematics. - ISSN 0166-218X. - Vol. 223 (2017), s. 28-38.

- On biconcepts in formal fuzzy concept analysis / Jan Konecny, Ondrej Kridlo. 
In: Information Sciences. - ISSN 0020-0255. - vol. 375 (2017), s. 16-29.

- On Computing an Optimal Semi-matching, František Galčík, Ján Katrenič, Gabriel Semanišin. In: Algorithmica.  ISSN 0178-4617. - Vol. 78, no. 3 (2017), s. 896-913.

- Representation of fuzzy subsets by Galois connections, Lubomir Antoni, Stanislav Krajči, Ondrej Krídlo. 
In: Fuzzy Sets and Systems. - ISSN 0165-0114. - Vol. 326 (2017), s. 52-68.

- Some bounds on the generalised total chromatic number of degenerate graphs, Izak Broere, Gabriel Semanišin. 
In: Information Processing Letters. - ISSN 0020-0190. - Vol. 122 (2017), s. 30-33.

- The Chu construction and generalized formal concept analysis / Lubomir Antoni, Immaculada Cabrera, Stanislav Krajči, Ondrej Krídlo, Manuel Ojeda-Aciego. In: International Journal of General Systems. - ISSN 0308-1079. - Vol. 46, no. 5 (2017), 458-474.

- Two double-exponential gaps for automata with a limited, Zuzana Bednárová, Viliam Geffert. In: Information and Computation. - ISSN 0890-5401. - Vol. 253 (2017), s. 381-398.

 

 

 

Posledná aktualizácia: 21.01.2019