Wyniki wyszukiwania

1. Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 7, panel: ST6

2. Złożoność obliczeniowa problemów spójności w grafach

Kierownik: dr hab. Marcin Jakub Kamiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 4, panel: ST6

3. Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Kierownik: dr Maciej Maria Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 11, panel: ST6

4. Wymiar i reprezentacje częściowych porządków: złożoność obliczeniowa, ograniczenia i strukturalne własności

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: SONATA BIS 5, panel: ST6

5. Efektywna numerycznie wielokryterialna optymalizacja modeli struktur antenowych o dużej złożoności obliczeniowej

Kierownik: prof. Sławomir Marcin Kozieł

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Konkurs: OPUS 6, panel: ST7

6. SOLWERY HYBRYDOWE O LINIOWEJ ZŁOŻONOśCI OBLICZENIOWEJ I PAMIĘCIOWEJ DLA ZADAŃ PROPAGACJI FAL ELEKTROMAGNETYCZNYCH NA MOD…

Kierownik: dr hab. Maciej Paszyński

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Konkurs: HARMONIA 3, panel: ST1

7. Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym…

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Konkurs: SONATA BIS 7, panel: HS1

8. Analiza ilościowych modeli obliczeniowych

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Konkurs: SONATA BIS 14, panel: ST6

9. Modele obliczeniowe w formalnej weryfikacji

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 12, panel: ST6

10. Metody analizy podobieństwa regionów o niskiej złożoności

Kierownik: dr Patryk Paweł Jarnot

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Konkurs: PRELUDIUM 20, panel: ST6

11. Kwantowa Informacja w Kwantowych Teoriach Pola i Holografii: Dynamika i Złożoność.

Kierownik: dr hab. Paweł Piotr Caputa

Uniwersytet Warszawski, Wydział Fizyki

Konkurs: SONATA BIS 9, panel: ST2

12. Efektywne energetycznie i inteligentne obliczeniowo sieci bezprzewodowe z kooperacją węzłów: EcoNets

Kierownik: prof. Hanna Bogucka

Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

Konkurs: OPUS 6, panel: ST7

13. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 5, panel: ST6

14. Problemy ciągłe: optymalność, złożoność, podatność

Kierownik: prof. Leszek Plaskota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 5, panel: ST1

15. Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

Kierownik: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: OPUS 6, panel: HS1

16. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Kierownik: Marta Piecyk

Politechnika Warszawska

Konkurs: PRELUDIUM 21, panel: ST6

17. DATALOG w Problemie Spełnialności Więzów

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 1, panel: ST6

18. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

19. Problemy Spełnialności Więzów: poza przypadek skończony

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: WEAVE-UNISONO, panel: ST6

20. Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Kierownik: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 19, panel: ST6

21. 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

22. Algebraiczne techniki zrównoleglania algorytmów

Kierownik: dr Przemysław Konstanty Uznański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 17, panel: ST6

23. Grafowe modelowanie procesów wyszukiwania

Kierownik: dr hab. Dariusz Piotr Dereniowski

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Konkurs: OPUS 16, panel: ST6

24. 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

25. 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

26. Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Konkurs: SONATA 13, panel: ST6

27. Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

Konkurs: OPUS 13, panel: ST6

28. Nowe wyzwania dla IBC

Kierownik: prof. Henryk Woźniakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 13, panel: ST1

29. Hybrydyzacja fragmentów logiki Halperna-Shohama

Kierownik: Przemysław Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: PRELUDIUM 12, panel: HS1

30. Szeregowanie zadań w sieciach zbierających dane

Kierownik: dr Joanna Berlińska

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Konkurs: SONATA 12, panel: ST6

31. Algorytmiczna i aksjomatyczna analiza systemów punktowania komitetów

Kierownik: dr hab. Piotr Faliszewski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Konkurs: OPUS 11, panel: ST6

32. W poszukiwaniu nowych logik komputerowych

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 11, panel: ST6

33. Przeszukiwanie struktur grafowych

Kierownik: dr hab. Dariusz Piotr Dereniowski

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Konkurs: OPUS 9, panel: ST6

34. Zastosowanie nowoczesnych metod algorytmicznych w rozwiązywaniu NP-trudnych problemów klastrowania.

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 9, panel: ST6

35. Algorytmy odpornej optymalizacji dyskretnej

Kierownik: dr hab. Adam Andrzej Kasperski

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Konkurs: OPUS 5, panel: ST6

36. Spolegliwość niejednorodnych zadań wielowymiarowych

Kierownik: dr Paweł Siedlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 4, panel: ST1

37. Algorytmiczne aspekty wyborów w parlamentach

Kierownik: dr hab. Piotr Faliszewski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Konkurs: HARMONIA 3, panel: ST1

38. Złożone modele w problemach szeregowania zadań i metody ich rozwiązania

Kierownik: prof. Adam Antoni Janiak

Instytut Badań Systemowych PAN

Konkurs: OPUS 2, panel: ST6

39. Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych

Kierownik: prof. Marek Kubale

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Konkurs: MAESTRO 1, panel: ST6

40. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Konkurs: PRELUDIUM 1, panel: HS1

41. Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas…

Kierownik: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Konkurs: SONATA 1, panel: ST6

Wyszukiwarka projektów