Change language

Wyszukiwarka projektów

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 102 projekty spełniających kryteria wyszukiwania:

  1. 51. Modele obliczeniowe w formalnej weryfikacji

    Kierownik: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA BIS 12, panel: ST6

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

  3. 53. Alien rule: Unveiling the mechanisms used by invasive ants to adapt to current and future environmental conditions

    Kierownik: dr Iago Sanmartín-Villar

    Muzeum i Instytut Zoologii PAN

    Konkurs: POLONEZ BIS 1, panel: NZ8

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

  5. 55. Koncepcja struktur kluczowych: wielopoziomowe znaczenie gniazd ptaków jako dowód na istnienie krytycznych komponentów ek…

    Kierownik: dr hab. Michał Adam Ciach

    Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

    Konkurs: OPUS 21, panel: NZ8

  6. 56. Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

    Kierownik: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Konkurs: PRELUDIUM 20, panel: ST6

  7. 57. Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

    Kierownik: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: OPUS 21, panel: ST6

  8. 58. Promując porządek w okresie zawirowań

    Kierownik: prof. Emilian Kavalski

    Uniwersytet Jagielloński

    Konkurs: Profesura Gościnna NAWA 2020, panel: HS5

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

  10. 60. Układy dynamiczne Cantora i ich klasyfikacja

    Kierownik: dr Olena Karpel

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

    Konkurs: SONATA 15, panel: ST1

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

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

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

  14. 64. Grafowe modelowanie procesów wyszukiwania

    Kierownik: dr hab. Dariusz Piotr Dereniowski

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

    Konkurs: OPUS 16, panel: ST6

  15. 65. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze…

    Kierownik: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

    Konkurs: OPUS 16, panel: ST6

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

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

  18. 68. Zaawansowane zarządzanie humanistyczne jako pole badań masowych zjawisk technospołecznych

    Kierownik: dr hab. Rafał Jan Maciąg

    Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej

    Konkurs: OPUS 15, panel: HS1

  19. 69. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

    Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 14, panel: ST1

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

  21. 71. Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

    Kierownik: dr Maciej Drwal

    Politechnika Wrocławska

    Konkurs: SONATA 13, panel: ST6

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

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

    Kierownik: prof. Paweł Zieliński

    Politechnika Wrocławska

    Konkurs: OPUS 13, panel: ST6

  24. 74. Nowe wyzwania dla IBC

    Kierownik: prof. Henryk Woźniakowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 13, panel: ST1

  25. 75. Hybrydyzacja fragmentów logiki Halperna-Shohama

    Kierownik: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Konkurs: PRELUDIUM 12, panel: HS1

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

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

  28. 78. W poszukiwaniu nowych logik komputerowych

    Kierownik: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: OPUS 11, panel: ST6

  29. 79. NIEZMIENNIKI I METODY TOPOLOGII STOSOWANEJ

    Kierownik: prof. Wacław Bolesław Marzantowicz

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

    Konkurs: OPUS 10, panel: ST1

  30. 80. Algorytmiczne aspekty synchronizacji

    Kierownik: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: OPUS 9, panel: ST6

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

  32. 82. Przeszukiwanie struktur grafowych

    Kierownik: dr hab. Dariusz Piotr Dereniowski

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

    Konkurs: OPUS 9, panel: ST6

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

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

  35. 85. Algorytmika problemów o zwartej reprezentacji

    Kierownik: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 7, panel: ST6

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

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

  38. 88. Morfizmy i przekątne "wymarzonych przestrzeni Mori'ego", filogenetyka oraz zastosowania pierścieni Coxa

    Kierownik: dr hab. Jarosław Buczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA 6, panel: ST1

  39. 89. Geometria Dużej Skali

    Kierownik: dr Piotr Wojciech Nowak

    Instytut Matematyczny Polskiej Akademii Nauk

    Konkurs: SONATA BIS 3, panel: ST1

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

  41. 91. Granice obliczalności dla zapytań rekurencyjnych

    Kierownik: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: PRELUDIUM 5, panel: ST6

  42. 92. Algorytmy odpornej optymalizacji dyskretnej

    Kierownik: dr hab. Adam Andrzej Kasperski

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

    Konkurs: OPUS 5, panel: ST6

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

  44. 94. parametry modeli skończonych

    Kierownik: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA 4, panel: ST6

  45. 95. Spolegliwość niejednorodnych zadań wielowymiarowych

    Kierownik: dr Paweł Siedlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: PRELUDIUM 4, panel: ST1

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

  47. 97. Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach

    Kierownik: dr Michał Paweł Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: PRELUDIUM 3, panel: ST6

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

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

  50. 100. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

    Kierownik: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Konkurs: PRELUDIUM 1, panel: HS1

Projekt graficzny i wykonanie: Jakub Piotrowski