334 projects found matching your search criteria :
Decision procedures in verification
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Graph sharing games: strategies and algorithms
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Bartosz Maria Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Ergodic and spectral properties of dynamical systems on surfaces and related topics
Call: OPUS 2 , Panel: ST1
Principal investigator: prof. Mariusz Tomasz Lemańczyk
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Call: OPUS 2 , Panel: ST8
Principal investigator: dr hab. Damian Bernard Słota
Politechnika Śląska, Wydział Matematyki Stosowanej
Methods of development, modelling and analysis of quantum internetworking protocols
Call: SONATA 2 , Panel: ST6
Principal investigator: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej PAN
Russian-Sino Relationships 1991-2011
Call: PRELUDIUM 1 , Panel: HS5
Principal investigator: Michał Tomasz Lubina
Uniwersytet Jagielloński, Wydział Studiów Międzynarodowych i Politycznych
Call: PRELUDIUM 1 , Panel: ST1
Principal investigator: dr Jan Burczak
Instytut Matematyczny Polskiej Akademii Nauk
Call: OPUS 1 , Panel: ST8
Principal investigator: dr Zbigniew Karol Brytan
Politechnika Śląska, Wydział Mechaniczny Technologiczny
Call: SONATA 1 , Panel: ST8
Principal investigator: dr Krzysztof Franciszek Tajduś
Instytut Mechaniki Górotworu PAN
Deductive systems and decidability problem for hybrid logics
Call: PRELUDIUM 1 , Panel: HS1
Principal investigator: dr Michał Ksawery Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: OPUS 1 , Panel: ST3
Principal investigator: prof. Arkadiusz Kazimierz Wójs
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: SONATA 1 , Panel: ST8
Principal investigator: dr Marek Jan Góral
Politechnika Rzeszowska im. Ignacego Łukasiewicza, Uczelniane Laboratorium Badań Materiałów Dla Przemysłu Lotniczego
Call: PRELUDIUM 1 , Panel: ST8
Principal investigator: Łukasz Blacha
Politechnika Opolska, Wydział Mechaniczny
European Alternative Investment Markets Corporate Governance
Call: SONATA 1 , Panel: HS4
Principal investigator: dr Dominika Magdalena Fijałkowska
Uniwersytet Ekonomiczny we Wrocławiu, Wydział Nauk Ekonomicznych
Concepts of Agonistic Democracy
Call: PRELUDIUM 1 , Panel: HS5
Principal investigator: Filip Biały
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa
Call: SONATA 1 , Panel: HS6
Principal investigator: dr Agnieszka Kloskowska-Dudzińska
Instytut Studiów Politycznych Polskiej Akademii Nauk
Call: OPUS 1 , Panel: NZ9
Principal investigator: prof. Małgorzata Wiesława Nogala-Kałucka
Uniwersytet Przyrodniczy w Poznaniu, Wydział Nauk o Żywności i Żywieniu
Symmetries and universality in mesoscopic systems III.
Call: HARMONIA 1 , Panel: ST2
Principal investigator: prof. Marek Marcin Kuś
Centrum Fizyki Teoretycznej PAN
Theory of wideband direct-coupled resonator filters
Call: PRELUDIUM 1 , Panel: ST7
Principal investigator: Mateusz Sebastian Żukociński
Politechnika Warszawska
Call: SONATA 1 , Panel: ST1
Principal investigator: dr Bartosz Kosma Kwaśniewski
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Computational collective intelligence methods and their applications
Call: OPUS 1 , Panel: ST6
Principal investigator: dr Dariusz Wojciech Barbucha
Akademia Morska w Gdyni, Wydział Przedsiębiorczości i Towaroznawstwa
Call: OPUS 1 , Panel: HS6
Principal investigator: prof. Tadeusz Marek
Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej; Instytut Psychologii Stosowanej
Political constitutionalism in the constitutional theory and practice of the Anglo-Saxon countries
Call: SONATA 1 , Panel: HS5
Principal investigator: dr Tomasz Wieciech
Uniwersytet Jagielloński, Wydział Studiów Międzynarodowych i Politycznych
Generalisation of the entropy and entropy dimension and their applications
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA 1 , Panel: NZ4
Principal investigator: dr Wacław Tworzydło
Uniwersytet Jagielloński, Wydział Biologii i Nauk o Ziemi
Efficient algorithms and representations in formal languages and automata theory.
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Polański
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Quantum games: theory and implementation
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Jan Antoni Sładkowski
UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii
Call: OPUS 1 , Panel: ST7
Principal investigator: prof. Michał Mrozowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Theory and applications of repetitive processes and multidimensional (nD) systems
Call: OPUS 1 , Panel: ST7
Principal investigator: prof. Krzysztof Marek Gałkowski
Uniwersytet Zielonogórski, Wydział Elektrotechniki, Informatyki i Telekomunikacji
Call: SONATA 1 , Panel: ST7
Principal investigator: dr hab. Sławomir Gruszczyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: PRELUDIUM 1 , Panel: ST7
Principal investigator: Władysław Józef Magiera
Politechnika Wrocławska, Wydział Elektroniki
Call: SONATA 1 , Panel: HS1
Principal investigator: dr Robert Trypuz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Call: OPUS 1 , Panel: ST8
Principal investigator: dr Grzegorz Dzido
Politechnika Śląska, Wydział Chemiczny