Wyniki wyszukiwania
Znaleziono 928 projektów spełniających kryteria wyszukiwania:
-
101. Granice baz danych
Kierownik: dr Szymon Abram Toruńczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
102. Problem separacji w teorii automatów
Kierownik: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
103. 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
-
104. 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
-
105. Topologia przestrzeni rozwiązań problemów kombinatorycznych
Kierownik: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 11, panel: ST6
-
106. Algorytmy aproksymacyjne w obliczu niepełnej informacji
Kierownik: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 11, panel: ST6
-
107. 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
-
109. 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
-
111. 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
-
112. 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
-
113. Algorytmiczne aspekty synchronizacji
Kierownik: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 9, panel: ST6
-
114. 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
-
115. Metody stopingowe w analizie wybranych algorytmów
Kierownik: prof. Michał Aleksander Morayne
Politechnika Wrocławska
Konkurs: OPUS 9, panel: ST6
-
116. 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
-
117. 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
-
118. 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
-
119. Automaty z wagami dla własności kwantytatywnych
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
120. 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
-
121. Logiki do przetwarzania danych i weryfikacji
Kierownik: dr Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
122. Problemy komunikacyjne w bezprzewodowych sieciach sensorowych
Kierownik: Michał Andrzej Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 7, panel: ST6
-
123. 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
-
124. Języki i Uczenie w General Game Playing
Kierownik: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 7, panel: ST6
-
125. Algorytmika problemów o zwartej reprezentacji
Kierownik: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
126. Konstruowanie specyfikacji i weryfikacja oprogramowania
Kierownik: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 6, panel: ST6
-
127. Przyrostowe uczenie się macierzy
Kierownik: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Konkurs: SONATA 6, panel: ST6
-
128. Wyzwania semistrukturalnych baz danych
Kierownik: dr Filip Marek Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 6, panel: ST6
-
129. 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
-
130. 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
-
131. Granice obliczalności dla zapytań rekurencyjnych
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 5, panel: ST6
-
132. 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
-
133. Algorytmy odpornej optymalizacji dyskretnej
Kierownik: dr hab. Adam Andrzej Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Konkurs: OPUS 5, panel: ST6
-
134. Hipoteza BDD/FC i okolice
Kierownik: Tomasz Mirosław Gogacz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 5, panel: ST6
-
135. Nowe metody parametrycznej weryfikacji modelowej
Kierownik: Michał Józef Knapik
Instytut Podstaw Informatyki PAN
Konkurs: PRELUDIUM 4, panel: ST6
-
136. Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych
Kierownik: Bartosz Michał Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 4, panel: ST6
-
137. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 4, panel: ST6
-
138. Nowe pojęcie skończoności w teorii obliczeń
Kierownik: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 4, panel: ST6
-
139. Modularna semantyka operacyjna: podejście bialgebraiczne
Kierownik: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 2, panel: ST6
-
140. Automatyzacja wnioskowania konstruktywnego
Kierownik: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 4, panel: ST6
-
141. parametry modeli skończonych
Kierownik: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
142. Granice rozstrzygalności w teorii automatów
Kierownik: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
143. Obliczenia rozproszone w sieciach dynamicznych
Kierownik: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: HARMONIA 3, panel: ST6
-
144. Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 3, panel: ST6
-
145. 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
-
Kierownik: Andrzej Marek Stroiński
Politechnika Poznańska, Wydział Informatyki
Konkurs: PRELUDIUM 3, panel: ST6
-
147. Liczby Ramseya z udziałem grafu C_4
Kierownik: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Konkurs: PRELUDIUM 3, panel: ST6
-
148. Strukturalna teoria posetów
Kierownik: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: UWERTURA 2, panel: ST1
-
149. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki PAN
Konkurs: OPUS 25, panel: HS1
-
150. Interdyscyplinarne zastosowania teorii macierzy przypadkowych
Kierownik: prof. Maciej Andrzej Nowak
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Konkurs: MAESTRO 1, panel: ST1