Wyniki wyszukiwania

1. Topologiczna teoria robotów: złożoność topologiczna K(G,1) przestrzeni i efektywnej złożoności topologicznej

Kierownik: Arturo Espinosa Baro

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

Konkurs: PRELUDIUM 21, panel: ST1

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

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

4. Miary złożoności strukturalnej dla teorii podstaw matematyki

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Konkurs: WEAVE-UNISONO, panel: HS1

5. Złożoność i podatnosc na wierność w teoriach holograficznych

Kierownik: dr Mario Rainer Flory

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Konkurs: SONATINA 1, panel: ST2

6. Złożoność i opisywalność borelowska w analizie: od wolności do polskości

Kierownik: dr hab. Tomasz Marcin Kania

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: SONATA BIS 13, panel: ST1

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

8. Kombinatoryczne i teorio-informacyjne aspekty komunikacji w systemach rozproszonych.

Kierownik: dr Marcin Kardas

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

Konkurs: PRELUDIUM 5, panel: ST6

9. Układy dynamiczne i złożoność opisowa

Kierownik: dr Felipe García-Ramos Aguilar

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: SONATA 18, panel: ST1

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

11. Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej

Kierownik: dr Tomáš Masařík

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 17, panel: ST6

12. Problemy separacji grafów z perspektywy złożoności parametryzowanej.

Kierownik: Paweł Komosa

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 10, panel: ST6

13. Przyswajanie złożoności językowej w nauczaniu/uczeniu się języków obcych

Kierownik: prof. Urszula Paprocka-Piotrowska

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Nauk Humanistycznych

Konkurs: HARMONIA 7, panel: HS2

14. Optymalność w złożoności parametryzowanej

Kierownik: dr Michał Paweł Pilipczuk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 6, panel: ST6

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

16. Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Kierownik: dr Adam Teodor Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: ETIUDA 6, panel: ST6

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

18. parametry modeli skończonych

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 4, panel: ST6

19. Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

20. Efektywne algorytmy dla NP-trudnych problemów w grafach planarnych

Kierownik: dr Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 19, panel: ST6

21. Nieskończoność we wnioskowaniu o danych i wiedzy

Kierownik: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 8, panel: ST6

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

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Konkurs: PRELUDIUM 1, panel: HS1

23. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Kierownik: Marta Piecyk

Politechnika Warszawska

Konkurs: PRELUDIUM 21, panel: ST6

24. W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów igrafów krawędziowych

Kierownik: Jana Masaříková

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 21, panel: ST6

25. Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Konkurs: PRELUDIUM 20, panel: ST6

26. Narzędzia probabilistyczne do wysokowymiarowego wnioskowania geometrycznego i analizy danych topologicznych i sieci na d…

Kierownik: dr Kunal Dutta

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 15, panel: ST6

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

28. Grafowe modelowanie procesów wyszukiwania

Kierownik: dr hab. Dariusz Piotr Dereniowski

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

Konkurs: OPUS 16, panel: ST6

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

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

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

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Konkurs: SONATA 13, panel: ST6

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

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

Konkurs: OPUS 13, panel: ST6

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

34. Algorytmiczne aspekty synchronizacji

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 9, panel: ST6

35. Dokładne ograniczenia dolne przy silnych założeniach złożonościowych.

Kierownik: Arkadiusz Aleksander Socała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 9, panel: ST6

36. Przeszukiwanie struktur grafowych

Kierownik: dr hab. Dariusz Piotr Dereniowski

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

Konkurs: OPUS 9, panel: ST6

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

38. Kwantowe przetwarzanie danych przy silnie ograniczonej pamięci i komunikacji

Kierownik: dr hab. Marcin Pawłowski

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Konkurs: SONATA BIS 4, panel: ST2

39. Algorytmika problemów o zwartej reprezentacji

Kierownik: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 7, panel: ST6

40. Aktualne trendy w algorytmach parametryzowanych i wykładniczych

Kierownik: dr hab. Łukasz Kowalik

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 5, panel: ST6

Wyszukiwarka projektów