Wyniki wyszukiwania
Znaleziono 1 512 projektów spełniających kryteria wyszukiwania:
-
151. Hipoteza BDD/FC i okolice
Kierownik: Tomasz Mirosław Gogacz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 5, panel: ST6
-
152. Nowe metody parametrycznej weryfikacji modelowej
Kierownik: Michał Józef Knapik
Instytut Podstaw Informatyki PAN
Konkurs: PRELUDIUM 4, panel: ST6
-
153. 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
-
154. 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
-
155. 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
-
156. Modularna semantyka operacyjna: podejście bialgebraiczne
Kierownik: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 2, panel: ST6
-
157. Automatyzacja wnioskowania konstruktywnego
Kierownik: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 4, panel: ST6
-
158. parametry modeli skończonych
Kierownik: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
159. Granice rozstrzygalności w teorii automatów
Kierownik: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
160. Obliczenia rozproszone w sieciach dynamicznych
Kierownik: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: HARMONIA 3, panel: ST6
-
161. 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
-
162. 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
-
164. 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
-
165. Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"
Kierownik: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 2, panel: ST6
-
166. Kolorowanie z list on-line
Kierownik: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA 2, panel: ST6
-
167. Procedury decyzyjne w weryfikacji
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 2, panel: ST6
-
168. Rozgrywany podział grafów: strategie i algorytmy
Kierownik: dr Bartosz Maria Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 2, panel: ST6
-
169. Wokół logik modalnych - rozstrzygalność i złożoność
Kierownik: Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 2, panel: ST6
-
170. Metody tworzenia, modelowania i analizy protokołów w intersieciach kwantowych
Kierownik: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: SONATA 2, panel: ST6
-
171. 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
-
172. Wydajne algorytmy parsowania dla języków o szyku swobodnym
Kierownik: Paweł Marek Skórzewski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 1, panel: ST6
-
173. Obliczenia bazujące na percepcji
Kierownik: dr Piotr Tomasz Wasilewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 1, panel: ST6
-
174. Uogólnienie entropii i wymiaru entropijnego oraz ich zastosowania
Kierownik: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 1, panel: ST6
-
175. Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.
Kierownik: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 1, panel: ST6
-
176. Gry kwantowe: teoria i implementacja
Kierownik: prof. Jan Antoni Sładkowski
UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii
Konkurs: OPUS 1, panel: ST6
-
177. Teorioinformacyjne wnioskowanie abdukcyjne dla rekomendacji kontekstowej
Kierownik: dr Andrzej Michał Szwabe
Politechnika Poznańska, Wydział Elektryczny
Konkurs: SONATA 1, panel: ST6
-
Kierownik: Mateusz Piotr Pyla
Uniwersytet Jagielloński
Konkurs: PRELUDIUM 24, panel: ST6
-
179. Przetwarzanie danych wysokowymiarowych za pomocą kompresji próbek i redukcji wymiarowości
Kierownik: dr Kunal Dutta
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 26, panel: ST6
-
180. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki PAN
Konkurs: OPUS 25, panel: HS1
-
181. Algorytmiczny Nullstellensatz
Kierownik: dr hab. Bartłomiej Emil Bosek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 18, panel: ST6
-
182. ComCrypt -- Wydajne i Bezpieczne Algorytmy do Jednoczesnej Kompresji i Szyfrowania
Kierownik: prof. Józef Pieprzyk
Instytut Podstaw Informatyki PAN
Konkurs: OPUS 16, panel: ST6
-
183. Ukrywanie informacji i prywatność w systemach (głównie) rozproszonych
Kierownik: prof. Marek Dariusz Klonowski
Politechnika Wrocławska
Konkurs: OPUS 15, panel: ST6
-
184. Strukturalna teoria posetów
Kierownik: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: UWERTURA 2, panel: ST1
-
185. Pseudoentropia.
Kierownik: Maciej Skórski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 9, panel: ST6
-
Kierownik: dr Tomasz Krawczyk
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 9, panel: ST6
-
187. Bezpieczne schematy podpisów domenowych i anonimowych poświadczeń dla kart mikroprocesorowych
Kierownik: prof. Mirosław Kutyłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: OPUS 8, panel: ST6
-
188. Podpisy grupowe ukrywające afiliację
Kierownik: Kamil Krzysztof Kluczniak
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: PRELUDIUM 8, panel: ST6
-
189. Semantyczne sieci tensorowe do analizy wielkich zbiorów danych
Kierownik: dr hab. Piotr Gawron
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: OPUS 8, panel: ST6
-
Kierownik: prof. Józef Pieprzyk
Instytut Podstaw Informatyki PAN
Konkurs: OPUS 8, panel: ST6
-
Kierownik: Wojciech Mariusz Wodo
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: PRELUDIUM 8, panel: ST6
-
192. Metody minimalizacji zaburzeń w algorytmach i protokołach opartych na błądzeniu kwantowym
Kierownik: Przemysław Wiesław Sadowski
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: PRELUDIUM 6, panel: ST6
-
193. Kwantowe sieci bayesowskie
Kierownik: Dariusz Łukasz Kurzyk
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: PRELUDIUM 6, panel: ST6
-
194. Schematy kryptograficzne a szybkozbieżne łańcuchy Markowa
Kierownik: dr Filip Tomasz Zagórski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: SONATA BIS 3, panel: ST1
-
195. Kryptoanaliza rodziny funkcji skrótu Keccak
Kierownik: dr Paweł Kacper Morawiecki
Instytut Podstaw Informatyki PAN
Konkurs: SONATA 5, panel: ST6
-
196. Przetwarzanie danych w sieciach ad hoc odporne na działanie adwersarza
Kierownik: prof. Mirosław Henryk Kutyłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: HARMONIA 4, panel: ST6
-
197. Algorytm identyfikacji probabilistycznych modeli grafowych dla wielosensorowych danych wejściowych
Kierownik: dr Michał Piotr Cholewa
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: PRELUDIUM 4, panel: ST6
-
Kierownik: dr hab. Krzysztof Walczak
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
Konkurs: OPUS 4, panel: ST6
-
199. 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
-
200. Aspekty prywatności wybranych systemów złożonych.
Kierownik: Piotr Syga
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: PRELUDIUM 4, panel: ST6