Znaleziono 19 projektów spełniających kryteria wyszukiwania:
Optyczna detekcja jednopunktowa oparta na teorii oszczędnego próbkowania
Konkurs: OPUS 8 , panel: ST7
Kierownik: dr hab. Rafał Kotyński
Uniwersytet Warszawski, Wydział Fizyki
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Damian Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metody teorii mnogości w topologii i teorii przestrzeni Banacha.
Konkurs: OPUS 6 , panel: ST1
Kierownik: prof. Grzegorz Plebanek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: MAESTRO 4 , panel: HS4
Kierownik: prof. Marek Okólski
Uniwersytet Warszawski, Ośrodek Badań nad Migracjami
Teoria ergodyczna i jej zastosowania w dynamice, arytmetyce i algebrze
Konkurs: SONATA BIS 2 , panel: ST1
Kierownik: dr hab. Dominik Kwietniak
Uniwersytet Jagielloński w Krakowie, Wydział Matematyki i Informatyki
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Piotr Koszmider
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: OPUS 25 , panel: ST2
Kierownik: dr hab. Marcin Piątek
Uniwersytet Szczeciński, Instytut Fizyki
Uogólnione markowskie modele decyzyjne i gry
Konkurs: OPUS 2 , panel: ST1
Kierownik: dr hab. Anna Jaśkiewicz
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Nadprzewodnictwo i magnetyzm w niklatach o nieskończonych płaszczyznach i w heterostrukturach
Konkurs: OPUS 22 , panel: ST3
Kierownik: prof. Andrzej Oleś
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Problemy Spełnialności Więzów: poza przypadek skończony
Konkurs: WEAVE-UNISONO , panel: ST6
Kierownik: dr hab. Marcin Kozik
Uniwersytet Jagielloński
Obliczeniowe aspekty gier nieskończonych
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Konkurs: OPUS 19 , panel: ST6
Kierownik: dr Michał Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Znormalizowane rozwiązania półliniowych zagadnień eliptycznych
Konkurs: PRELUDIUM 19 , panel: ST1
Kierownik: Jacopo Schino
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: OPUS 19 , panel: ST1
Kierownik: prof. Witold Marciszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Znaczenie, możliwość i nieskończona architektura języka
Konkurs: PRELUDIUM 17 , panel: HS1
Kierownik: Kamil Lemanek
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: OPUS 14 , panel: ST2
Kierownik: dr hab. Leszek Motyka
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Nieprzemienna probabilistyka - związki pomiędzy różnymi rodzajami niezależności
Konkurs: SONATA 12 , panel: ST1
Kierownik: dr Kamil Szpojankowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Aksjomatyzacje rozmaitości i quasirozmaitości
Konkurs: SONATA 1 , panel: ST1
Kierownik: dr Michał Stronkowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych