Projekty finansowane przez NCN

Jak teoretyzować o umyśle: podejście metanauki poznawczej

Konkurs: OPUS 29 , panel: HS1

Kierownik: dr hab. Marcin Tomasz Miłkowski

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Rola NANOS3 w modulowaniu procesów genetycznych we wczesnych etapach rozwoju ludzkich komórek gametogenicznych oraz znac...

Konkurs: OPUS 22 , panel: NZ3

Kierownik: dr hab. Kamila Magdalena Kusz-Zamelczyk

Instytut Genetyki Człowieka PAN

Metody teoriomnogościowe w dynamice i teorii liczb

Konkurs: SONATA BIS 9 , panel: ST1

Kierownik: dr hab. William Andrew Mance

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Dynamika z punktu widzenia pojedynczych orbit: quasi-kryształy, miary niezmiennicze, złożoność

Konkurs: OPUS 15 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Mechanizmy regulacyjne w powtarzalnej specyfikacji wzoru nerwowego w rozwoju rdzenia kręgowego

Konkurs: SONATA 13 , panel: NZ2

Kierownik: dr Marcin Zagórski

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

Metodyka projektowania sterowników systemów robotycznych oparta na formalnej specyfikacji

Konkurs: PRELUDIUM 13 , panel: ST7

Kierownik: Maksym Figat

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Ergodyczne i topologiczne własności układów dynamicznych z uogólnioną specyfikacją

Konkurs: PRELUDIUM 10 , panel: ST1

Kierownik: dr Martha Łącka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Ekonometryczne modelowanie cen energii eletrycznej przy znacznym udziale źródeł odnawialnych. Analiza porównawcza specyf...

Konkurs: PRELUDIUM 5 , panel: HS4

Kierownik: dr Łukasz Teofil Gątarek

Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny

Specyfikacja neuronów wzgórza u morfantów lef1 i tcf7l2 danio pręgowanego (Danio rerio)

Konkurs: PRELUDIUM 5 , panel: NZ3

Kierownik: Nikola Sylwia Brożko

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

METODYKA SPECYFIKACJI UKŁADÓW STEROWANIA ROBOTÓW WYKORZYSTUJĄCYCH PARADYGMAT AKTYWNEJ WIZJI DO IDENTYFIKACJI OBIEKTÓW...

Konkurs: PRELUDIUM 1 , panel: ST7

Kierownik: Tomasz Michał Kornuta

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Projektowanie i specyfikacja układów sterowania systemami wielorobotowymi

Konkurs: PRELUDIUM 1 , panel: ST7

Kierownik: Piotr Trojanek

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych