Wyniki wyszukiwania

1. Informatyka afektywna: głębokie uczenie w rozpoznawaniu emocji z sygnałów fizjologicznych

Kierownik: prof. Przemysław Ryszard Kazienko

Politechnika Wrocławska

Konkurs: OPUS 19, panel: ST6

2. Podstawy informatyki i inżynierii kwantowej

Kierownik: dr Adam Rutkowski

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Konkurs: FUGA 1, panel: ST2

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

4. Wykorzystanie uczenia maszynowego w informatyce kwantowej

Kierownik: Mateusz Michał Ostaszewski

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: ETIUDA 6, panel: ST6

5. Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Kierownik: prof. Stefan Michał Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 18, panel: ST6

6. Informatycy w centrach outsourcingu usług dla biznesu w Polsce. Socjologiczne studium doświadczenia pracy

Kierownik: dr Szymon Pilch

Uniwersytet Wrocławski, Wydział Nauk Społecznych

Konkurs: PRELUDIUM 20, panel: HS6

7. Zastosowanie grup warkoczowych w fizyce i informatyce (dla 2D układów hallowskich - wyjaśnienie struktury złożonych ferm…

Kierownik: prof. Lucjan Jacak

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

Konkurs: MAESTRO 1, panel: ST3

8. Przełącznik kwantowy z ciągłą kontrolą: od podstaw fizyki do zalet w informatyce kwantowej

Kierownik: Jorge Ignacio Escandón Monardes

Uniwersytet Gdański

Konkurs: SONATINA 9, panel: ST2

9. Rozwój katalizy splątania: Podstawy i zastosowania w informatyce kwantowej

Kierownik: dr hab. Alexander Streltsov

Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

Konkurs: OPUS 28, panel: ST2

10. Między informatyką kwantową a termodynamiką: o dozwolonych termodynamicznych przejściach stan-stan na poziomie kwantowym…

Kierownik: Piotr Maciej Ćwikliński

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Konkurs: PRELUDIUM 9, panel: ST2

11. Struktura produktowa grafów

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: WEAVE-UNISONO, panel: ST6

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

13. Własności typowych kwantowych kanałów komunikacyjnych

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

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: SONATA BIS 6, panel: ST6

14. Synteza i analiza systemów cybernetyczno-fizycznych w środowisku obliczeń ziarnistych.

Kierownik: prof. Witold Pedrycz

Sieć Badawcza ŁUKASIEWICZ - Instytut Techniki i Aparatury Medycznej ITAM

Konkurs: OPUS 13, panel: ST6

15. Certyfikacja losowości z wykorzystaniem detektorōw o dowolnie niskiej efektywności

Kierownik: dr Anubhav Chaturvedi

Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej

Konkurs: SONATINA 6, panel: ST2

16. Certyfikacja losowości w układach kwantowych o dowolnym wymiarze

Kierownik: dr Jakub Jan Borkała

Centrum Fizyki Teoretycznej PAN

Konkurs: SONATINA 4, panel: ST2

17. Jakościowe i ilościowe badanie losowości wyników pomiarów w mechanice kwantowej

Kierownik: dr Marcin Pawłowski

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Konkurs: HARMONIA 4, panel: ST2

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

19. Wpływ składu i szybkości chłodzenia na właściwości mechaniczne szkieł metalicznych o wysokiej entropii

Kierownik: dr Silvia Bonfanti

Narodowe Centrum Badań Jądrowych

Konkurs: SONATA BIS 13, panel: ST3

20. Analiza obrazów radiologicznych metodami uczenia maszynowego w wybranych problemach klinicznych.

Kierownik: Michał Klimont

Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu

Konkurs: ETIUDA 8, panel: NZ5

21. Rola nauk ścisłych w kształtowaniu się polskiej literatury SF

Kierownik: Szymon Piotr Kukulak

Uniwersytet Jagielloński, Wydział Polonistyki

Konkurs: PRELUDIUM 6, panel: HS2

22. Wykorzystanie technologii semantycznych w monitoringu wiarygodności informacji pozyskiwanej z Internetu

Kierownik: Kinga Bożena Kajfosz

Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji

Konkurs: PRELUDIUM 1, panel: HS4

23. Lokalne konteksty korzystania z serwisów społecznościowych. Studium porównawcze.

Kierownik: dr Piotr Cichocki

Uniwersytet Warszawski, Wydział Historyczny

Konkurs: PRELUDIUM 1, panel: HS3

24. W poszukiwaniu nowych logik komputerowych

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 11, panel: ST6

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

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

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

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

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

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

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

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

31. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Konkurs: OPUS 28, panel: ST6

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

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Konkurs: OPUS 28, panel: ST6

33. Analiza ilościowych modeli obliczeniowych

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Konkurs: SONATA BIS 14, panel: ST6

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

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

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Konkurs: PRELUDIUM 23, panel: ST6

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

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

Kierownik: dr hab. Jan Otop

Uniwersytet Wrocławski

Konkurs: OPUS 27, panel: ST6

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

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

Kierownik: dr Małgorzata Sulkowska

Politechnika Wrocławska

Konkurs: OPUS 25, panel: ST6

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

41. Efektywne obliczenia w predykatywnej matematyce

Kierownik: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATINA 2, panel: ST6

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

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

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

45. Algebraiczne niezmienniki dla Sieci Petriego z danymi.

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 11, panel: ST6

46. Przeszukiwanie struktur grafowych

Kierownik: dr hab. Dariusz Piotr Dereniowski

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

Konkurs: OPUS 9, panel: ST6

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

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

49. Kryptografia bez zaufanych stron

Kierownik: dr Tomasz Piotr Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 7, panel: ST6

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

Wyszukiwarka projektów