Príloha č. 2:

Projekty riešené na pracovisku

1. Projekty financované VEGA
5. Projekty financované zo zahraničia
6. Projekty riešené v spolupráci so zahraničím bez finančnej podpory
7. Iné projekty (ústavné a riešené v spolupráci s domácimi inštitúciami)

1. Projekty financované VEGA

Číslo projektu:

95/5305/471

Názov projektu:

Fuzzy množiny a neštandardné modely reálnych situácií
(Fuzzy Sets and Nonstandard Models of Real Situations)

Vedúci projektu:

Beloslav Riečan

Riešený:

od 10/95 do 12/98
Úspešný, financovaný VEGA.

Číslo projektu:

1/4034/97

Názov projektu:

Efektívne redukcie v reánej analýze a informatike
(Effective reductions in real analysis and theoretical Computer Science)

Vedúci projektu:

Peter Vojtáš

Riešený:

od 01/97 do 12/99
Úspešný, financovaný VEGA.

Číslo projektu:

2/1225/94

Názov projektu:

Kvalitatívne vlastnosti a bifurkácie diferenciálnych rovníc a dynamických systémov
(Qualitative Properties and Bifurcations of Differential Equations and Dynamical Systems)

Vedúci projektu:

Michal Fečkan

Riešený:

od 1/94 do 12/97
Úspešný, financovaný VEGA.

Číslo projektu:

2/1227/94

Názov projektu:

Teória čísel
(Number Theory)

Vedúci projektu:

Oto Strauch

Riešený:

od 01/94 do 12/97
Úspešný, financovaný VEGA.

Číslo projektu:

2/1228/94

Názov projektu:

Niektoré otázky funkcionálnej, harmonickej a stochastickej analýzy
(Questions of Functional, Harmonic and Stochastic Analysis)

Vedúci projektu:

Miloslav Duchoň

Riešený:

od 1/94 do 12/97
Úspešný, financovaný VEGA.

Číslo projektu:

2/4033/97

Názov projektu:

Matematické modely kvantových štruktúr
(Mathematical Models of Quantum Structures)

Vedúci projektu:

Silvia Pulmannová

Riešený:

od 01/97 do 12/99
Úspešný, financovaný VEGA.

Číslo projektu:

2/1230/94

Názov projektu:

Algebraické štruktúry s usporiadaním a konvergenciou
(Algebraic Structures With Ordering and Convergence)

Vedúci projektu:

Roman Frič

Riešený:

od 1/94 do 12/97
Úspešný, financovaný VEGA.

Číslo projektu:

2/1112/94

Názov projektu:

Analýza cieľov, rozsahu, metód a výsledku informatiky ako vedy a analýza jej vzťahov k iným vedám
(Analysis of Goals, Methods and Results of Theoretical Computer Science and Its Relationships to Other Sciences)

Vedúci projektu:

Jozef Gruska

Riešený:

od 1/95 do 12/97
Úspešný, financovaný VEGA.

Číslo projektu:

2/1190/94

Názov projektu:

Algoritmy pre paralelné počítačové systémy s masívnym paralelizmom
(Algorithms for Parallel Computational Systems)

Vedúci projektu:

Marián Vajteršic

Riešený:

od 1/94 do 12/97
Úspešný, financovaný VEGA.

Číslo projektu:

95/5305/277

Názov projektu:

Paralelné počítače a algoritmy
(Parallel Computers and Algorithms)

Vedúci projektu:

Juraj Hromkovič (Imrich Vrťo - výkonný riešiteľ)

Riešený:

od 11/95 do 10/99
Úspešný, financovaný VEGA.

5. Projekty financované zo zahraničia

STABLE: Study of Stability of Physical Systems Using Parallel Computers - Grant Európskej únie č. INCO-COP96-0237
Viacstranný projekt financovaný programom INCO-COPERNICUS Európskej únie.
Zodpovedný riešiteľ: Prof. Bernard Philippe (IRISA Rennes)
výkonný zodpovedný riešiteľ za KI MÚ SAV: Doc. RNDr. Marián Vajteršic, CSc.
Dátum začiatku/ukončenia riešenia projektu: 1.8.1996/31.7.1998.

LORA-TAIN: Loughborough Reconfigurable Array and Theoretical Aspects of Interconnection Networks
Dvojstranný projekt finacovaný British Council
Zodpovední riešitelia: Prof. Heiko Schröder a RNDr. Ondrej Sýkora, CSc.
Dátum začiatku/ukončenia riešenia projektu: 1.4.1996/31.3.1999.

ALTEC-KIT: Algorithms for Future Technologies - Keep In Touch
Projekt Európskej únie - INCO-COP96-0195 financovaný EÚ Zodpovedný riešiteľ: Prof. André Raspaud (Bordeaux)
výkonný zodpovedný riešiteľ za KI MÚ SAV: RNDr. Ondrej Sýkora, CSc.
Dátum začiatku/ukončenia riešenia projektu: 1.1.1997/31. 12. 1998.
Kapacita: 3 pracovníci - VŠ + 1 technická pracovníčka z Kabinetu informatiky.

6. Projekty riešené v spolupráci so zahraničím bez finančnej podpory

Robust and nonparametric methods for stochastic processes and time series.
Zodpovední riešitelia: RNDr. Miloslav Duchoň, DrSc., prof. Hallin Marc (Bruxelles)
Dátum začiatku/ukončenia riešenia projektu: 1.1.1997/31. 12. 1998.

Mesures dans les espaces vectoriels ordonnés et mesures floues.
Zodpovední riešitelia: RNDr. Miloslav Duchoň, DrSc., C. Debiéve (Bruxelles)
Dátum začiatku/ukončenia riešenia projektu: 1.1.1996/31. 12. 1998.

PACT: Programming Environments, Algorithms, Applications, Compilers and Tools for Parallel Computation. Workpackage WP.5: Parallel Numerics
Zodpovední riešitelia: Doc. RNDr. Marián Vajteršic, CSc., Prof. Zinterhof (Salzburg)
Dátum začiatku/ukončenia riešenia projektu: 1. 11. 1993/31. 12. 1997.

7. Iné projekty (ústavné a riešené v spolupráci s domácimi inštitúciami)

Model pre optimalizáciu prepravy zemného plynu tranzitným plynovodom
Zodpovedný riešiteľ: RNDr. M. Kuchta, PhD.
Dátum začiatku/ukončenia riešenia projektu: 1. 7. 1995/30. 4. 1997.

Systém vyhodnocovania dopravných prieskumov
Zodpovedný riešiteľ: RNDr. Karol Nemoga, CSc.
Dátum začiatku/ukončenia riešenia projektu: 1. 7. 1997/15. 12. 1997.