Wyniki wyszukiwania
Znaleziono 1 512 projektów spełniających kryteria wyszukiwania:
-
101. 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
-
102. 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
-
103. Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 14, panel: ST6
-
104. 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
-
105. Zrozumieć rekursję
Kierownik: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 13, panel: ST6
-
106. Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi
Kierownik: dr Maciej Drwal
Politechnika Wrocławska
Konkurs: SONATA 13, panel: ST6
-
107. 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
-
108. Wybrane zagadnienia kompresji gramatykowej
Kierownik: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 7, panel: ST6
-
109. Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy
Kierownik: prof. Paweł Zieliński
Politechnika Wrocławska
Konkurs: OPUS 13, panel: ST6
-
110. 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
-
111. Algebraic Effects and Continuations
Kierownik: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: POLONEZ 3, panel: ST6
-
112. 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
-
113. 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
-
114. 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
-
115. 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
-
116. 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
-
117. 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
-
118. Granice baz danych
Kierownik: dr Szymon Abram Toruńczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
119. Problem separacji w teorii automatów
Kierownik: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
120. 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
-
121. Wydajne algorytmy dla słabych form niedeterminizmu
Kierownik: dr hab. Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
122. Topologia przestrzeni rozwiązań problemów kombinatorycznych
Kierownik: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 11, panel: ST6
-
123. Algorytmy aproksymacyjne w obliczu niepełnej informacji
Kierownik: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 11, panel: ST6
-
124. 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
-
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Instytut Informatyki
Konkurs: SONATA 10, panel: ST6
-
126. Algorithmic Structure Theory for Sparse Graphs
Kierownik: Dipl. Inform. Sebastian Siebertz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: POLONEZ 1, panel: ST6
-
Kierownik: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 5, panel: ST6
-
128. Zastosowania logiki z funcjami częściowymi
Kierownik: dr hab. Jean Marie de Nivelle
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 9, panel: ST6
-
129. Odporne i efektywne protokoły dla systemów rozproszonych ograniczonych urządzeń
Kierownik: dr hab. Marek Dariusz Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: OPUS 9, panel: ST6
-
130. Algorytmiczne aspekty synchronizacji
Kierownik: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 9, panel: ST6
-
131. 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
-
132. Metody stopingowe w analizie wybranych algorytmów
Kierownik: prof. Michał Aleksander Morayne
Politechnika Wrocławska
Konkurs: OPUS 9, panel: ST6
-
133. Opracowanie modeli i metod włączania wiedzy do maszyn wektorów wspierających
Kierownik: dr Marcin Orchel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: SONATA 9, panel: ST6
-
134. Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.
Kierownik: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 8, panel: ST6
-
135. Wybrane metody weryfikacji modelowej wykorzystujące testery SMT
Kierownik: Agnieszka Małgorzata Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Konkurs: PRELUDIUM 8, panel: ST6
-
136. Automaty z wagami dla własności kwantytatywnych
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
137. 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
-
138. Logiki do przetwarzania danych i weryfikacji
Kierownik: dr Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
139. Problemy komunikacyjne w bezprzewodowych sieciach sensorowych
Kierownik: Michał Andrzej Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 7, panel: ST6
-
140. 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
-
141. Języki i Uczenie w General Game Playing
Kierownik: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 7, panel: ST6
-
142. Algorytmika problemów o zwartej reprezentacji
Kierownik: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
143. Konstruowanie specyfikacji i weryfikacja oprogramowania
Kierownik: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 6, panel: ST6
-
144. Przyrostowe uczenie się macierzy
Kierownik: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Konkurs: SONATA 6, panel: ST6
-
145. Wyzwania semistrukturalnych baz danych
Kierownik: dr Filip Marek Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 6, panel: ST6
-
146. Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych
Kierownik: dr Łukasz Mikulski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Konkurs: SONATA 5, panel: ST6
-
147. 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
-
148. Granice obliczalności dla zapytań rekurencyjnych
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 5, panel: ST6
-
149. Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Kierownik: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 5, panel: ST6
-
150. Algorytmy odpornej optymalizacji dyskretnej
Kierownik: dr hab. Adam Andrzej Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Konkurs: OPUS 5, panel: ST6