415 projects found matching your search criteria :
Quantitative properties for higher-order recursion schemes
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Consequences of exotic spin interactions in strongly correlated electron systems
Call: OPUS 12 , Panel: ST3
Principal investigator: prof. Andrzej Oleś
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Robust self-testing of quantum systems and device-independent uncertainty relations
Call: POLONEZ 3 , Panel: ST2
Principal investigator: dr Jędrzej Kaniewski
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 13 , Panel: ST8
Principal investigator: Łukasz Janus
Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Inżynierii i Technologii Chemicznej
Aspects of grammar compression
Call: SONATA BIS 7 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Nonequilibrium phenomena and dynamics in nanoscale systems
Call: OPUS 14 , Panel: ST3
Principal investigator: dr hab. Ireneusz Weymann
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki
Majorana fermions in transport through correlated nanoscale systems
Call: OPUS 15 , Panel: ST3
Principal investigator: dr hab. Ireneusz Weymann
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki
Call: OPUS 15 , Panel: ST3
Principal investigator: prof. Józef Spałek
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Generalized Pauli channels in the evolution of open quantum systems
Call: PRELUDIUM 16 , Panel: ST2
Principal investigator: dr Katarzyna Siudzińska
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Optimality program in graph homomorphism problems
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
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
Structure of random permutations and the interchange process
Call: SONATINA 3 , Panel: ST1
Principal investigator: dr Michał Kotowski
Instytut Matematyczny Polskiej Akademii Nauk
Quantum neural network based on a quantum channels
Call: PRELUDIUM 2 , Panel: ST2
Principal investigator: Marek Smaczyński
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: MAESTRO 2 , Panel: ST3
Principal investigator: prof. Józef Spałek
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Electronic transport, spin and charge dynamics in nanostructures
Call: OPUS 3 , Panel: ST3
Principal investigator: prof. Bogdan Bułka
Instytut Fizyki Molekularnej PAN
Call: OPUS 3 , Panel: ST7
Principal investigator: dr Tomasz Słupiński
Uniwersytet Warszawski, Wydział Fizyki
Differential equations, geometry and physics
Call: OPUS 3 , Panel: ST1
Principal investigator: prof. Henryk Żołądek
Uniwersytet Warszawski, Wydział Matematyki Informatyki i Mechaniki
Call: OPUS 3 , Panel: ST4
Principal investigator: prof. Maria Rospenk
Uniwersytet Wrocławski, Wydział Chemii
Simulation and bisimulation for context-free and pushdown systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: HARMONIA 3 , Panel: ST3
Principal investigator: prof. Vitalii Dugaev
Politechnika Rzeszowska im. Ignacego Łukasiewicza, Wydział Matematyki i Fizyki Stosowanej
Privacy aspects of selected complex systems.
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Piotr Syga
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Ground states near a quantum critical point
Call: OPUS 5 , Panel: ST3
Principal investigator: dr hab. Bogdan Damski
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Algorithms for robust discrete optimization
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Adam Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Electron and Cooper pair tunneling in quantum structures of ferromagnetic insulator (Ga,Mn)N
Call: OPUS 5 , Panel: ST3
Principal investigator: prof. Maciej Sawicki
Instytut Fizyki PAN
Early Universe from fundamental interactions
Call: OPUS 5 , Panel: ST2
Principal investigator: dr hab. Andrzej Borowiec
Uniwersytet Wrocławski, Wydział Fizyki i Astronomii
Call: PRELUDIUM 5 , Panel: ST1
Principal investigator: dr Michał Oszmaniec
Centrum Fizyki Teoretycznej PAN
Call: SONATA BIS 3 , Panel: ST2
Principal investigator: dr Krzysztof Kutak
Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego Polskiej Akademii Nauk
Call: HARMONIA 5 , Panel: ST3
Principal investigator: dr hab. Grzegorz Sęk
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 6 , Panel: ST1
Principal investigator: dr Sylwia Kondej
Uniwersytet Zielonogórski, Wydział Fizyki i Astronomii
Call: FUGA 3 , Panel: ST7
Principal investigator: dr Konrad Kowalczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Languages and Learning in General Game Playing
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 7 , Panel: ST7
Principal investigator: dr hab. Henryk Teisseyre
Instytut Fizyki PAN
Foundations of Cryptocurrencies
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Cryptography without trusted parties
Call: SONATA 7 , Panel: ST6
Principal investigator: dr Tomasz Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Superconductivity and correlations in nanodevices and bulk materials
Call: OPUS 7 , Panel: ST3
Principal investigator: prof. Tadeusz Domański
Uniwersytet Marii Curie-Skłodowskiej, Wydział Matematyki, Fizyki i Informatyki
Communication Problems in Wireless Sensor Networks
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Biometric data in security systems with restricted resources - authentication and protection.
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Wojciech Wodo
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: OPUS 8 , Panel: ST2
Principal investigator: prof. Jakub Rembieliński
Uniwersytet Łódzki, Wydział Fizyki i Informatyki Stosowanej
Weighted automata for quantitative properties
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Blind signatures and electronic identity documents
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Lucjan Hanzlik
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Secure domain signature and anonymous credential schemes for smart cards
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Mirosław Kutyłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: PRELUDIUM 8 , Panel: ST7
Principal investigator: Aleksander Maryński
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Stoping methods in analysis of chosen algorithms
Call: OPUS 9 , Panel: ST6
Principal investigator: prof. Michał Morayne
Politechnika Wrocławska
Call: OPUS 9 , Panel: ST7
Principal investigator: prof. Maciej Bugajski
Sieć Badawcza ŁUKASIEWICZ - Instytut Technologii Elektronowej
Non-Markovian quantum dynamics
Call: OPUS 9 , Panel: ST2
Principal investigator: prof. Dariusz Chruściński
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Algorithmic aspects of synchronization
Call: OPUS 9 , Panel: ST6
Principal investigator: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki