7 projects found matching your search criteria :
Decision Problems for Logics with Weak Forms of Recursion
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Bartosz Bednarczyk
Uniwersytet Wrocławski
Algebraic techniques for parallelising algorithms
Call: OPUS 17 , Panel: ST6
Principal investigator: dr Przemysław Konstanty Uznański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 17 , Panel: ST6
Principal investigator: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Robust optimization algorithms for problems with uncertain data
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Maciej Drwal
Politechnika Wrocławska
Infinity in reasoning about data and knowledge
Call: SONATA BIS 8 , Panel: ST6
Principal investigator: dr hab. Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Complexity of algorithms on compressed data
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Scheduling in data gathering networks
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Joanna Berlińska
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki