16 projects found matching your search criteria :
Call: OPUS 8 , Panel: ST7
Principal investigator: dr hab. Daoud Iskander
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Asymptotic methods in lambda calculus and combinatory logic
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 5 , Panel: NZ2
Principal investigator: dr hab. Alicja Węgrzyn
Uniwersytet Gdański, Wydział Biologii
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Łukasz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 2 , Panel: HS4
Principal investigator: dr Tomasz Ząbkowski
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Wydział Zastosowań Informatyki i Matematyki, Katedra Informatyki
Call: OPUS 24 , Panel: ST8
Principal investigator: dr hab. Maciej Radzieński
Instytut Maszyn Przepływowych im. Roberta Szewalskiego Polskiej Akademii Nauk
Health monitoring of ADditively manufactured structurES (HADES)
Call: OPUS 18 , Panel: ST8
Principal investigator: dr hab. Paweł Malinowski
Instytut Maszyn Przepływowych im. Roberta Szewalskiego Polskiej Akademii Nauk
Ultracold atoms in many-level systems
Call: OPUS 18 , Panel: ST2
Principal investigator: dr Mateusz Łącki
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?
Call: OPUS 16 , Panel: ST6
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 15 , Panel: ST10
Principal investigator: Magdalena Gus-Stolarczyk
Uniwersytet Jagielloński, Wydział Geografii i Geologii
Call: OPUS 15 , Panel: ST8
Principal investigator: dr hab. Paweł Kudela
Instytut Maszyn Przepływowych im. Roberta Szewalskiego Polskiej Akademii Nauk
Call: PRELUDIUM 12 , Panel: ST8
Principal investigator: Shirsendu Sikdar
Instytut Maszyn Przepływowych im. Roberta Szewalskiego Polskiej Akademii Nauk
Band gap engineering in Ge via nonequilibrium processing
Call: OPUS 12 , Panel: ST7
Principal investigator: dr hab. Jerzy Żuk
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
Call: OPUS 11 , Panel: NZ4
Principal investigator: prof. Ryszard Rzepecki
Uniwersytet Wrocławski, Wydział Biotechnologii
Quantitative aspects of computational complexity in lambda calculus
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: dr Maciej Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 10 , Panel: ST8
Principal investigator: dr hab. Magdalena Rucka
Politechnika Gdańska, Wydział Inżynierii Lądowej i Środowiska