68 projects found matching your search criteria :
Concurrency control and fault tolerance for distributed software transactional memory
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 19 , Panel: HS3
Principal investigator: dr Patryk Wasiak
Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
Call: SONATA 16 , Panel: NZ9
Principal investigator: dr Magdalena Julia Szymańska
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
Optimal-transport based algorithms for Mass Spectrometry and NMR
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Anna Barbara Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 22 (LAP) , Panel: ST5
Principal investigator: dr hab. Wojciech Andrzej Sławiński
Uniwersytet Warszawski, Wydział Chemii
Call: OPUS 22 , Panel: HS2
Principal investigator: dr hab. Andrzej Dębski
Uniwersytet Wrocławski, Centrum Studiów Niemieckich i Europejskich im. Willy Brandta
Call: OPUS 13 , Panel: ST7
Principal investigator: prof. Michał Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Around optimality of dynamic programming algorithms
Call: PRELUDIUM 14 , Panel: ST6
Principal investigator: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 9 , Panel: ST7
Principal investigator: prof. Michał Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Models and algorithms for some discrete-continuous project scheduling problems
Call: OPUS 6 , Panel: ST6
Principal investigator: dr hab. Grzegorz Waligóra
Politechnika Poznańska, Wydział Informatyki
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Synthesis via active learning: theory and applications
Call: OPUS 27 , Panel: ST6
Principal investigator: dr hab. Jan Otop
Uniwersytet Wrocławski
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Scalable metaheuristics for automated program synthesis
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 13 , Panel: NZ7
Principal investigator: prof. Grażyna Jasieńska
Uniwersytet Jagielloński – Collegium Medicum, Collegium Medicum, Wydział Nauk o Zdrowiu
Source-code-representations for machine-learning-based identification of defective code fragments
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Mirosław Ochodek
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Call: OPUS 23 , Panel: NZ4
Principal investigator: prof. Małgorzata Filip
Instytut Farmakologii im. Jerzego Maja Polskiej Akademii Nauk
Portable parallel programing for multi-/manycore architectures and self adaptable applications
Call: SONATA 13 , Panel: ST6
Principal investigator: dr hab. Łukasz Szustak
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki