Wyniki wyszukiwania
Znaleziono 295 projektów spełniających kryteria wyszukiwania:
-
201. COGRIMEN - metoda modelowania gruboziarnistego dużych układów biologicznych w ośrodkach ciągłych
Kierownik: prof. Sławomir Hubert Filipek
Uniwersytet Warszawski, Wydział Chemii
Konkurs: OPUS 8, panel: ST4
-
202. 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
-
203. 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
-
204. Automaty z wagami dla własności kwantytatywnych
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
205. 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
-
206. Logiki do przetwarzania danych i weryfikacji
Kierownik: dr Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
207. Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Kierownik: prof. Paweł Maria Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: MAESTRO 6, panel: ST6
-
208. Problemy komunikacyjne w bezprzewodowych sieciach sensorowych
Kierownik: Michał Andrzej Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 7, panel: ST6
-
209. 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
-
210. Kryptografia bez zaufanych stron
Kierownik: dr Tomasz Piotr Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 7, panel: ST6
-
211. Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Kierownik: prof. Damian Tadeusz Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
212. Formalne podstawy kryptowalut
Kierownik: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
213. Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki
Kierownik: Michał Paweł Zając
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 7, panel: ST6
-
214. Języki i Uczenie w General Game Playing
Kierownik: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 7, panel: ST6
-
215. Algorytmika problemów o zwartej reprezentacji
Kierownik: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
216. Konstruowanie specyfikacji i weryfikacja oprogramowania
Kierownik: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 6, panel: ST6
-
217. Przyrostowe uczenie się macierzy
Kierownik: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Konkurs: SONATA 6, panel: ST6
-
218. Wyzwania semistrukturalnych baz danych
Kierownik: dr Filip Marek Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 6, panel: ST6
-
219. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 6, panel: ST6
-
Kierownik: prof. Józef Adam Liwo
Uniwersytet Gdański, Wydział Chemii
Konkurs: HARMONIA 5, panel: ST4
-
221. 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
-
222. Formalne podejście do praktycznych problemów ukrywaniu informacji
Kierownik: dr hab. Marek Dariusz Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: OPUS 5, panel: ST6
-
223. Granice obliczalności dla zapytań rekurencyjnych
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 5, panel: ST6
-
224. 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
-
225. Algorytmy odpornej optymalizacji dyskretnej
Kierownik: dr hab. Adam Andrzej Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Konkurs: OPUS 5, panel: ST6
-
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Konkurs: OPUS 5, panel: ST6
-
227. Synchronizacja automatów i hipoteza Cerny'ego
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 5, panel: ST6
-
228. Hipoteza BDD/FC i okolice
Kierownik: Tomasz Mirosław Gogacz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 5, panel: ST6
-
229. Nowe metody parametrycznej weryfikacji modelowej
Kierownik: Michał Józef Knapik
Instytut Podstaw Informatyki PAN
Konkurs: PRELUDIUM 4, panel: ST6
-
230. 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
-
231. Modularna semantyka operacyjna: podejście bialgebraiczne
Kierownik: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 2, panel: ST6
-
232. Automatyzacja wnioskowania konstruktywnego
Kierownik: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 4, panel: ST6
-
233. parametry modeli skończonych
Kierownik: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
234. Granice rozstrzygalności w teorii automatów
Kierownik: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
235. 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
-
236. 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
-
238. 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
-
239. Wielowartościowa dynamika kombinatoryczna dla skończonych przestrzeni topologicznych.
Kierownik: Michał Stanisław Lipiński
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 15, panel: ST1
-
240. Podejście analityczne w dynamice konforemnej
Kierownik: prof. Grzegorz Świątek
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Konkurs: OPUS 15, panel: ST1
-
241. Rola wody solwatacyjnej w kształtowaniu aktywności białek z grupy przeciwdziałających zamarzaniu.
Kierownik: Joanna Grabowska
Politechnika Gdańska, Wydział Chemiczny
Konkurs: PRELUDIUM 14, panel: ST4
-
Kierownik: prof. Maciej Paszyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: HARMONIA 9, panel: ST1
-
243. Obliczeniowe aspekty własności (T)
Kierownik: dr Marek Stanisław Kaluba
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: SONATA 13, panel: ST1
-
Kierownik: prof. Henryk Woźniakowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 13, panel: ST1
-
245. Matematyczna analiza złożonych zagadnień kontaktowych w mechanice ciała stałego i płynów
Kierownik: dr Shengda Zeng
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 13, panel: ST1
-
246. Metody Cząstek w Biologii Matematycznej
Kierownik: dr hab. Karolina Kropielnicka
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: SONATA 12, panel: ST1
-
247. Dyfuzja białek w pobliżu modelowych błon biologicznych.
Kierownik: dr hab. Maciej Jan Długosz
Uniwersytet Warszawski, Wydział Fizyki
Konkurs: OPUS 12, panel: ST4
-
248. Nowoczesne Metodologie Numeryczne w Mechanice Kwantowej
Kierownik: dr Karolina Kropielnicka
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Konkurs: HARMONIA 8, panel: ST1
-
Kierownik: dr hab. Monika Piotrowska
Uniwersytet Warszawski
Konkurs: UNISONO, panel: ST1
-
250. Metody geometryczne i komputerowo wspierane dowody w dynamice równań różniczkowych cząstkowych
Kierownik: prof. Piotr Zgliczyński
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: MAESTRO 8, panel: ST1