Wyniki wyszukiwania

1. Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

Kierownik: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: OPUS 6, panel: HS1

2. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Konkurs: OPUS 25, panel: HS1

3. Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym…

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Konkurs: SONATA BIS 7, panel: HS1

4. Optymalność, uniwersalność i sterowalność w teorii obliczeń kwantowych

Kierownik: dr Adam Sawicki

Centrum Fizyki Teoretycznej PAN

Konkurs: SONATA BIS 5, panel: ST1

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

6. Rozwinięcie teorii, metod numerycznych i opracowanie programów komputerowych do modelowania szczelinowania hydrauliczneg…

Kierownik: prof. Aleksandr Linkov

Politechnika Rzeszowska im. Ignacego Łukasiewicza, Wydział Matematyki i Fizyki Stosowanej

Konkurs: OPUS 10, panel: ST8

7. Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali

Kierownik: dr hab. Krzysztof Michał Rządca

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 13, panel: ST6

8. Miary złożoności strukturalnej dla teorii podstaw matematyki

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Konkurs: WEAVE-UNISONO, panel: HS1

9. Termodynamika Przetwarzania Informacji: Od Teorii do Zastosowań

Kierownik: dr Patryk Jan Lipka-Bartosik

Uniwersytet Jagielloński

Konkurs: SONATA 19, panel: ST2

10. Skończenie stanowe obliczenia wielomianowe

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: MAESTRO 14, panel: ST6

11. Matematyka obliczeniowa w mechanice kwantowej

Kierownik: dr hab. Karolina Kropielnicka

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

Konkurs: SONATA BIS 9, panel: ST1

12. Kwantowa Informacja w Kwantowych Teoriach Pola i Holografii: Dynamika i Złożoność.

Kierownik: dr hab. Paweł Piotr Caputa

Uniwersytet Warszawski, Wydział Fizyki

Konkurs: SONATA BIS 9, panel: ST2

13. Dalej niż teoria portfelowa Markowitza - wspomaganie decyzyjne sterowane preferencjami człowieka dla nawigacji na fronci…

Kierownik: prof. Ignacy Stanisław Kaliszewski vel Kieliszewski

Instytut Badań Systemowych PAN

Konkurs: OPUS 13, panel: HS4

14. Budowa reputacji i zaufania w systemach teleinformatycznych w warunkach wirtualnej anonimowości i ślepego wyboru dostawc…

Kierownik: dr hab. Jerzy Konorski

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

Konkurs: OPUS 11, panel: ST6

15. Algorithmic Structure Theory for Sparse Graphs

Kierownik: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: POLONEZ 1, panel: ST6

16. Ujednolicona teoria koreferencji w języku polskim i jej korpusowa weryfikacja

Kierownik: dr Maciej Ogrodniczuk

Instytut Podstaw Informatyki PAN

Konkurs: OPUS 8, panel: HS2

17. Algorytmy sterowania produkcją z użyciem systemów wizyjnych

Kierownik: prof. Ewaryst Rafajłowicz

Politechnika Wrocławska, Wydział Elektroniki

Konkurs: OPUS 4, panel: ST7

18. Algorytmiczna teoria sprawności pamięci roboczej na przykładzie przetwarzania kwantyfikatorów w języku naturalnym

Kierownik: dr hab. Marcin Zajenkowski

Uniwersytet Warszawski

Konkurs: SONATA 1, panel: HS6

19. Wydajne obliczenia kwantowe wyższego rzędu

Kierownik: dr hab. Michał Grzegorz Studziński

Uniwersytet Gdański

Konkurs: SONATA BIS 14, panel: ST2

20. Wydajne modele obliczeniowe do screeningu 5-tej generacji organicznych cząsteczek emitujących światło

Kierownik: Daria Renata Drwal

Politechnika Łódzka

Konkurs: PRELUDIUM 23, panel: ST4

21. Projektowanie obliczeniowe materiałów magnetycznych na podstawie sieci metaloorganicznych

Kierownik: dr hab. Mihails Arhangelskis

Uniwersytet Warszawski, Wydział Chemii

Konkurs: PRELUDIUM BIS 4, panel: ST5

22. Densytale, ditopologia i podwójna drachmanizacja: nowe pojęcia i formalizmy w obliczeniach i analizie gęstości dwuelektr…

Kierownik: prof. Jerzy Ryszard Ciosłowski

Uniwersytet Szczeciński, Instytut Fizyki

Konkurs: OPUS 24, panel: ST4

23. Wieloskalowy model korozji prętów zbrojeniowych w oparciu o teorię stężonych elektrolitów uwzględniający trójwymiarową h…

Kierownik: prof. Robert Józef Filipek

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Materiałowej i Ceramiki

Konkurs: OPUS 19, panel: ST8

24. Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Kierownik: prof. Stefan Michał Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 18, panel: ST6

25. Efektywne obliczenia w predykatywnej matematyce

Kierownik: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATINA 2, panel: ST6

26. Metoda obliczeniowa do opisu oddziaływań międzycząsteczkowych w stanie wzbudzonym.

Kierownik: dr Ewa Maria Pastorczak

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Konkurs: SONATA 13, panel: ST4

27. Obliczeniowa dynamika topologiczna

Kierownik: prof. Marian Mrozek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: MAESTRO 6, panel: ST1

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

29. Współpraca z Uniwersytetem w Tuluzie w zakresie Analizy Zespolonej

Kierownik: prof. Włodzimierz Robert Zwonek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: HARMONIA 4, panel: ST1

30. O kwantowych zasobach w kwantowej teorii informacji.

Kierownik: Michał Grzegorz Studziński

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

Konkurs: PRELUDIUM 4, panel: ST2

31. Opracowanie nowej wariacyjnej metody obliczeniowej dla wzbudzeń elektronowych wykorzystującej krótkozasięgowe funkcjonał…

Kierownik: dr hab. Katarzyna Pernal

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Konkurs: OPUS 3, panel: ST4

32. Komputerowe rozumienie obrazów medycznych przez integrację akwizycji sygnałów, reprezentacji informacji i modeli wiedzy.

Kierownik: prof. Artur Jerzy Przelaskowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Konkurs: OPUS 2, panel: ST7

33. Efektywne zestawy bramek kwantowych i płytkie obwody kwantowe

Kierownik: dr hab. Adam Sawicki

Centrum Fizyki Teoretycznej PAN

Konkurs: OPUS 19, panel: ST2

34. Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Konkurs: OPUS 16, panel: HS1

35. Absorpcja wielofotonowa - rozwój protokołów symulacji

Kierownik: dr hab. Robert Zaleśny

Politechnika Wrocławska

Konkurs: SONATA BIS 8, panel: ST4

36. Badanie mechanizmów spontanicznego łamania symetrii chiralnej w materiałach ciekłokrystalicznych

Kierownik: prof. Lech Waldemar Longa

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

Konkurs: OPUS 6, panel: ST3

37. Rozwój oraz synteza nowoczesnych metod modelowania niepewności w rozwiązaniu wielokryterialnych problemów decyzyjnych

Kierownik: prof. Pavel Sevastsyanau

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Konkurs: OPUS 6, panel: ST6

38. Kombinatoryczne powiązania między topologią i dynamiką

Kierownik: prof. Marian Mrozek

Uniwersytet Jagielloński

Konkurs: OPUS 29, panel: ST1

39. Aktywne w zakresie NIR wielowarstwowe powłoki na stopach tytanu do dezynfekcji superpatogenów

Kierownik: dr hab. Vignesh Kumaravel

Politechnika Łódzka

Konkurs: OPUS 28 (LAP), panel: ST11

40. Struktura produktowa grafów

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: WEAVE-UNISONO, panel: ST6

41. Proporcjonalny Budżet Partycypacyjny

Kierownik: Grzegorz Pierczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 21, panel: ST6

42. Nierównowagowa dynamika układów kwantowych w pobliżu punktów krytycznych

Kierownik: dr Michał Lesław Białończyk

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

Konkurs: ETIUDA 8, panel: ST3

43. Badania kwantowej geometrii czasoprzestrzeni

Kierownik: dr hab. Andrzej Görlich

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

Konkurs: OPUS 17, panel: ST2

44. Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 17, panel: ST6

45. Analiza topologii drzewa naczyniowego nerki

Kierownik: Katarzyna Maria Heryan

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Konkurs: PRELUDIUM 11, panel: ST7

46. Badania procesów rekombinacji cząstek naładowanych w układach poddanych jonizacji

Kierownik: dr hab. Mariusz Janusz Wójcik

Politechnika Łódzka, Wydział Chemiczny

Konkurs: OPUS 5, panel: ST4

47. Wpływ niejednorodności przestrzennych na stany elektronowe i zjawiska transportowe w nanostrukturach węglowych

Kierownik: dr hab. Tomasz Kostyrko

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

Konkurs: OPUS 4, panel: ST3

48. Samowzbudne struktury koherentne w przepływach o jednorodnej i niejednorodnej gęstości

Kierownik: prof. Andrzej Bogusławski

Politechnika Częstochowska

Konkurs: OPUS 2, panel: ST8

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

50. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Konkurs: PRELUDIUM 1, panel: HS1

Wyszukiwarka projektów