Wyniki wyszukiwania
Znaleziono 928 projektów spełniających kryteria wyszukiwania:
-
51. Problemy spełnialności i równoważności dla skończonych algebr
Kierownik: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
Konkurs: OPUS 23, panel: ST6
-
52. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach
Kierownik: Marta Piecyk
Politechnika Warszawska
Konkurs: PRELUDIUM 21, panel: ST6
-
53. Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.
Kierownik: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 23, panel: ST6
-
54. 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
-
55. 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
-
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
-
57. Granice automatycznej analizy systemów współbieżnych
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 21, panel: ST6
-
58. H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne
Kierownik: Jan Kazimierz Derbisz
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 20, panel: ST6
-
59. Obwody modularne - algorytmy i ograniczenia dolne
Kierownik: Piotr Kawałek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 20, panel: ST6
-
Kierownik: dr hab. Emanuel Grzegorz Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 21, panel: ST6
-
61. Obliczeniowe aspekty gier nieskończonych
Kierownik: dr hab. Paweł Czesław Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 21, panel: ST6
-
62. 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
-
63. Efektywne wykorzystanie randomizacji: od szeregowania do AdWords
Kierownik: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 20, panel: ST6
-
64. Wnioskowanie ilościowe odporne na perturbacje
Kierownik: dr Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 20, panel: ST6
-
65. Charakteryzacja treści informacyjnej struktur grafowych
Kierownik: dr Krzysztof Szymon Turowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA 16, panel: ST6
-
66. Efektywne pamięciowo kodowanie problemów kombinatorycznych do kwantowych obliczeń wariacyjnych
Kierownik: dr Adam Piotr Glos
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: PRELUDIUM 19, panel: ST6
-
67. 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
-
68. Modele obliczeń rozszerzone o dane
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 18, panel: ST6
-
69. Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne
Kierownik: dr Marek Piotr Adamczyk
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 15, panel: ST6
-
Kierownik: dr hab. Remigiusz Grzegorz Wiśniewski
Uniwersytet Zielonogórski
Konkurs: OPUS 18, panel: ST6
-
71. Kolorowania, kliki i zbiory niezależne w klasach grafów
Kierownik: dr hab. Bartosz Maria Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 9, panel: ST6
-
72. 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
-
73. 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
-
74. Efekty algebraiczne: kompozycja i koindukcja
Kierownik: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 14, panel: ST6
-
75. Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 16, panel: ST6
-
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Konkurs: OPUS 16, panel: ST6
-
77. 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
-
78. 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
-
79. Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Kierownik: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 15, panel: ST6
-
80. Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Kierownik: Bartosz Paweł Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 15, panel: ST6
-
81. Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.
Kierownik: Krzysztof Sornat
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: ETIUDA 6, panel: ST6
-
82. Programowanie dynamiczne z gwarancjami
Kierownik: Karol Zbigniew Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: ETIUDA 6, panel: ST6
-
83. 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
-
84. Wydajne algorytmy i warunkowe ograniczenia dolne dla problemów na drzewach
Kierownik: Bartłomiej Dudek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 14, panel: ST6
-
85. Automatyczna analiza systemów współbieżnych
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 14, panel: ST6
-
86. Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 14, panel: ST6
-
87. 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
-
Kierownik: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 13, panel: ST6
-
89. Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi
Kierownik: dr Maciej Drwal
Politechnika Wrocławska
Konkurs: SONATA 13, panel: ST6
-
90. Grafy dynamiczne; spójność, przepływy i kolorowanie.
Kierownik: dr Anna Zych-Pawlewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 13, panel: ST6
-
91. Wybrane zagadnienia kompresji gramatykowej
Kierownik: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 7, panel: ST6
-
92. Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy
Kierownik: prof. Paweł Zieliński
Politechnika Wrocławska
Konkurs: OPUS 13, panel: ST6
-
93. Projektowanie algorytmów rozproszonych dla silnie obciążonych sieci
Kierownik: prof. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 13, panel: ST6
-
94. Algebraic Effects and Continuations
Kierownik: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: POLONEZ 3, panel: ST6
-
95. Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
Kierownik: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 12, panel: ST6
-
96. Jeden krok od modelu relacyjnego. Kilka podstawowych zagadek baz danych.
Kierownik: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 12, panel: ST6
-
97. Entropia w sieciach złożonych
Kierownik: dr hab. Mikołaj Aleksander Morzy
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Konkurs: OPUS 12, panel: ST6
-
98. Algorytmy uczenia przyrostowego dla złożonych problemów predykcyjnych
Kierownik: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Konkurs: SONATA BIS 6, panel: ST6
-
99. Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 6, panel: ST6
-
100. 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