Wyniki wyszukiwania
Znaleziono 17 projektów spełniających kryteria wyszukiwania:
-
1. Prawnoautorska ochrona programów komputerowych w Unii Europejskiej po trzech dekadach
Kierownik: dr Bohdan Tadeusz Widła
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Konkurs: SONATA 19, panel: HS5
-
Kierownik: dr Patryk Wasiak
Instytut Historii im. Tadeusza Manteuffla PAN
Konkurs: OPUS 19, panel: HS3
-
3. Ochrona programów komputerowych w prawie własności intelektualnej Unii Europejskiej
Kierownik: dr Karolina Ewa Sztobryn
Uniwersytet Łódzki
Konkurs: PRELUDIUM 1, panel: HS5
-
Kierownik: prof. Aleksandr Linkov
Politechnika Rzeszowska im. Ignacego Łukasiewicza, Wydział Matematyki i Fizyki Stosowanej
Konkurs: OPUS 10, panel: ST8
-
5. Skalowalne metaheurystyki dla automatycznej syntezy programów
Kierownik: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Konkurs: OPUS 8, panel: ST6
-
6. Metody wnioskowania o programach w językach wyższego rzędu
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 8, panel: ST6
-
7. Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych
Kierownik: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: OPUS 17, panel: ST6
-
8. Program optymalności w problemach homomorfizmu grafów
Kierownik: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Konkurs: SONATA 14, panel: ST6
-
Kierownik: dr hab. Łukasz Szustak
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Konkurs: SONATA 13, panel: ST6
-
10. Wydajne obliczenia kwantowe wyższego rzędu
Kierownik: dr hab. Michał Grzegorz Studziński
Uniwersytet Gdański
Konkurs: SONATA BIS 14, panel: ST2
-
11. Automatyczna synteza modeli programowania matematycznego dla procesów biznesowych
Kierownik: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Konkurs: SONATA 12, panel: ST6
-
12. Nowe paradygmaty obliczeniowe dla konstrukcji wyjaśniających modeli systemów złożonych
Kierownik: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Konkurs: OPUS 1, panel: ST6
-
13. Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 17, panel: ST6
-
14. Wokół optymalności algorytmów opartych o programowanie dynamiczne
Kierownik: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 14, panel: ST6
-
15. Obliczeniowe aspekty własności (T)
Kierownik: dr Marek Stanisław Kaluba
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: SONATA 13, panel: ST1
-
16. Modele i algorytmy dla pewnej klasy dyskretno-ciągłych problemów rozdziału zasobów
Kierownik: dr hab. Grzegorz Waligóra
Politechnika Poznańska, Wydział Informatyki
Konkurs: OPUS 6, panel: ST6
-
17. Algorytmy dokładne i przybliżone symulacji stochastycznej wielowymiarowej
Kierownik: dr Anna Wawrzyńczak-Szaban
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
Konkurs: SONATA 4, panel: ST6