Wyniki wyszukiwania

1. Teoretyczne aspekty protokołów wyborczych

Kierownik: dr Filip Tomasz Zagórski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Konkurs: SONATA 5, panel: ST6

2. Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Kierownik: Łukasz Tadeusz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 4, panel: ST6

3. Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Kierownik: prof. Stefan Michał Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 18, panel: ST6

4. Metody geometryczne w informatyce kwantowej

Kierownik: dr Zbigniew Włodzimierz Puchała

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Konkurs: FUGA 1, panel: ST6

5. Podstawy teoretyczne selekcji cech w celu uodpornienia modeli prognostycznych na częściowe braki w danych

Kierownik: Marek Kosma Grzegorowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 16, panel: ST6

6. Teoretyczne i praktyczne aspekty obliczania homologii wielkich zbiorów danych.

Kierownik: dr Mateusz Grzegorz Juda

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 3, panel: ST6

7. Struktura produktowa grafów

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: WEAVE-UNISONO, panel: ST6

8. Wybór modelu dla danych wielowymiarowych za pomocą metody SLOPE - własności teoretyczne i zastosowania.

Kierownik: dr hab. Małgorzata Bogdan

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 12, panel: ST1

9. Zmodyfikowane wersje Bayesowskiego Kryterium Informacyjnego w rzadkiej liniowej regresji -- własności teoretyczne i zast…

Kierownik: Piotr Szulc

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Konkurs: PRELUDIUM 3, panel: ST1

10. 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

11. Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas…

Kierownik: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Konkurs: SONATA 1, panel: ST6

12. W poszukiwaniu nowych logik komputerowych

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 11, panel: ST6

13. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 5, panel: ST6

14. Struktury geometryczne tensorów

Kierownik: dr hab. Joachim Jelisiejew

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 13, panel: ST1

15. Czy przewaga kwantowa jest możliwa w niedalekiej przyszłości? Badanie oparte na czasie wykonania algorytmów

Kierownik: dr hab. Łukasz Piotr Pawela

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: SONATA BIS 15, panel: ST6

16. Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

17. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

18. Poprawa hybrydowej optymalizacji klasyczno-kwantowej za pomocą technik uczenia maszynowego

Kierownik: Justyna Jolanta Zawalska

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

Konkurs: PRELUDIUM 24, panel: ST6

19. Nowe metody automatycznego sprawdzania poprawności otwartych wieloagentowych systemów czasu rzeczywistego

Kierownik: dr hab. Bożena Woźna-Szcześniak

Akademia im. Jana Długosza w Częstochowie

Konkurs: OPUS 29, panel: ST6

20. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Konkurs: OPUS 28, panel: ST6

21. Na granicy niemożliwego w klasycznej teorii automatów

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Konkurs: OPUS 28, panel: ST6

22. Analiza ilościowych modeli obliczeniowych

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Konkurs: SONATA BIS 14, panel: ST6

23. Wykraczając poza analizę najgorszego przypadku: problemy online z opóźnieniami i stochastycznymi czasami przyjścia

Kierownik: Michał Łukasz Pawłowski

IDEAS NCBR Sp. z o.o.

Konkurs: PRELUDIUM 23, panel: ST6

24. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Konkurs: PRELUDIUM 23, panel: ST6

25. Rozwijanie Teorii Sieci Petriego: Głębsze zrozumienie Klasycznych Problemów i Ich Zastosowania w Procesach Przepływów Ro…

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski

Konkurs: OPUS 27, panel: ST6

26. Synteza poprzez aktywne uczenie się: teoria i zastosowania

Kierownik: dr hab. Jan Otop

Uniwersytet Wrocławski

Konkurs: OPUS 27, panel: ST6

27. Przetwarzanie olbrzymich danych tekstowych i ich uogólnień: algorytmy i warunkowe ograniczenia dolne

Kierownik: dr Paweł Maciej Gawrychowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 26, panel: ST6

28. Nowoczesne narzędzia analizy sieci złożonych

Kierownik: dr Małgorzata Sulkowska

Politechnika Wrocławska

Konkurs: OPUS 25, panel: ST6

29. Optymalne i probabilistyczne uczenie operacji kwantowych

Kierownik: dr hab. Zbigniew Włodzimierz Puchała

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: OPUS 24, panel: ST6

30. Efektywne obliczenia w predykatywnej matematyce

Kierownik: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATINA 2, panel: ST6

31. Wydajność, odporność i bezpieczeństwo systemów rozproszonych dla bardziej realistycznych modeli adwersarzy.

Kierownik: prof. Marek Dariusz Klonowski

Politechnika Wrocławska

Konkurs: OPUS 13, panel: ST6

32. 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

33. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 11, panel: ST6

34. Algebraiczne niezmienniki dla Sieci Petriego z danymi.

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 11, panel: ST6

35. Przeszukiwanie struktur grafowych

Kierownik: dr hab. Dariusz Piotr Dereniowski

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Konkurs: OPUS 9, panel: ST6

36. Ś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

37. 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

38. Kryptografia bez zaufanych stron

Kierownik: dr Tomasz Piotr Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 7, panel: ST6

39. 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

40. Formalne podstawy kryptowalut

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 7, panel: ST6

41. 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

42. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 6, panel: ST6

43. 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

44. Synchronizacja automatów i hipoteza Cerny'ego

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 5, panel: ST6

45. Automation of the Problem of Unification in Description Logics

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Konkurs: POLONEZ BIS 3, panel: ST6

46. Wymiar i Boolowski wymiar częściowych porządków

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 24, panel: ST6

47. Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 18, panel: ST6

48. Modele obliczeniowe w formalnej weryfikacji

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 12, panel: ST6

49. Skończenie stanowe obliczenia wielomianowe

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: MAESTRO 14, panel: ST6

50. Algebra liniowa w wymiarze skończenie-orbitowym

Kierownik: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 21, panel: ST6

Wyszukiwarka projektów