Wyniki wyszukiwania
Znaleziono 295 projektów spełniających kryteria wyszukiwania:
-
151. Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Kierownik: Bartosz Paweł Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 15, panel: ST6
-
152. 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
-
153. Programowanie dynamiczne z gwarancjami
Kierownik: Karol Zbigniew Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: ETIUDA 6, panel: ST6
-
154. 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
-
155. Mapowanie gruboziarnistych modeli kwasów nukleinowych z pola NARES-2P do reprezentacji pełnoatomowej
Kierownik: Łukasz Golon
Uniwersytet Gdański, Wydział Chemii
Konkurs: PRELUDIUM 14, panel: ST4
-
156. 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
-
157. 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
-
Kierownik: dr hab. Tatiana Danuta Korona
Uniwersytet Warszawski, Wydział Chemii
Konkurs: OPUS 14, panel: ST4
-
159. Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 14, panel: ST6
-
160. 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
-
161. Zrozumieć rekursję
Kierownik: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 13, panel: ST6
-
162. 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
-
Kierownik: dr hab. Cezary Ryszard Czaplewski
Uniwersytet Gdański, Wydział Chemii
Konkurs: HARMONIA 9, panel: ST4
-
164. Wybrane zagadnienia kompresji gramatykowej
Kierownik: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 7, panel: ST6
-
Kierownik: prof. Marek Dariusz Klonowski
Politechnika Wrocławska
Konkurs: OPUS 13, panel: ST6
-
166. Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy
Kierownik: prof. Paweł Zieliński
Politechnika Wrocławska
Konkurs: OPUS 13, panel: ST6
-
167. Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 13, panel: ST6
-
168. 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
-
169. Algebraic Effects and Continuations
Kierownik: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: POLONEZ 3, panel: ST6
-
170. 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
-
171. 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
-
172. 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
-
173. 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
-
174. 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
-
175. 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
-
176. Granice baz danych
Kierownik: dr Szymon Abram Toruńczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
177. Problem separacji w teorii automatów
Kierownik: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
178. W poszukiwaniu nowych logik komputerowych
Kierownik: dr hab. Emanuel Grzegorz Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 11, panel: ST6
-
179. 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
-
180. 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
-
181. Topologia przestrzeni rozwiązań problemów kombinatorycznych
Kierownik: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 11, panel: ST6
-
182. Algorytmy aproksymacyjne w obliczu niepełnej informacji
Kierownik: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 11, panel: ST6
-
183. Algebraiczne niezmienniki dla Sieci Petriego z danymi.
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
184. Modelowanie gruboziarniste kationów wapniowych, sodowych, magnezowych i potasowych z białkami
Kierownik: dr Agnieszka Gabriela Lipska
Uniwersytet Gdański, Wydział Chemii
Konkurs: PRELUDIUM 11, panel: ST4
-
185. 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
-
186. Modelowanie oddziaływań w międzycząsteczkowych kompleksach chiralnych
Kierownik: dr hab. Tatiana Danuta Korona
Uniwersytet Warszawski, Wydział Chemii
Konkurs: OPUS 10, panel: ST4
-
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Instytut Informatyki
Konkurs: SONATA 10, panel: ST6
-
188. 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
-
190. 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
-
191. 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
-
192. Algorytmiczne aspekty synchronizacji
Kierownik: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 9, panel: ST6
-
193. Przeszukiwanie struktur grafowych
Kierownik: dr hab. Dariusz Piotr Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: OPUS 9, panel: ST6
-
194. 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
-
195. Entropowe relacje nieoznaczoności w zastosowaniu do kryptografii kwantowej
Kierownik: dr hab. Zbigniew Włodzimierz Puchała
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: OPUS 9, panel: ST6
-
196. Metody stopingowe w analizie wybranych algorytmów
Kierownik: prof. Michał Aleksander Morayne
Politechnika Wrocławska
Konkurs: OPUS 9, panel: ST6
-
197. Mechanizmy naprawdze DNA: od gruboziarnistego do pełnoatomowego opisu
Kierownik: dr Adam Kazimierz Sieradzan
Uniwersytet Gdański, Wydział Chemii
Konkurs: SONATA 9, panel: ST4
-
198. 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
-
199. Strategie uczenia klasyfikatorów chemicznych opartych o procesy reakcja-dyfuzja.
Kierownik: prof. Jerzy Górecki
Instytut Chemii Fizycznej Polskiej Akademii Nauk
Konkurs: OPUS 8, panel: ST4
-
200. Ślepe podpisy i elektroniczne dokumenty tożsamości
Kierownik: Lucjan Piotr Hanzlik
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: PRELUDIUM 8, panel: ST6