Search results
17 projects found matching your search criteria:
-
1. Copyright protection of computer programs in the European Union after three decades
Principal investigator: dr Bohdan Tadeusz Widła
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Call: SONATA 19, Panel: HS5
-
Principal investigator: dr Patryk Wasiak
Instytut Historii im. Tadeusza Manteuffla PAN
Call: OPUS 19, Panel: HS3
-
3. The protection of computer programs in intellectual property law in the European Union
Principal investigator: dr Karolina Ewa Sztobryn
Uniwersytet Łódzki
Call: PRELUDIUM 1, Panel: HS5
-
Principal investigator: prof. Aleksandr Linkov
Politechnika Rzeszowska im. Ignacego Łukasiewicza, Wydział Matematyki i Fizyki Stosowanej
Call: OPUS 10, Panel: ST8
-
5. Scalable metaheuristics for automated program synthesis
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 8, Panel: ST6
-
6. Reasoning about programs in higher-order languages
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 8, Panel: ST6
-
Principal investigator: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej PAN
Call: OPUS 17, Panel: ST6
-
8. Optimality program in graph homomorphism problems
Principal investigator: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Call: SONATA 14, Panel: ST6
-
9. Portable parallel programing for multi-/manycore architectures and self adaptable applications
Principal investigator: dr hab. Łukasz Szustak
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: SONATA 13, Panel: ST6
-
10. Efficient higher-order quantum computations
Principal investigator: dr hab. Michał Grzegorz Studziński
Uniwersytet Gdański
Call: SONATA BIS 14, Panel: ST2
-
11. Automatic synthesis of mathematical programming models for business processes
Principal investigator: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Call: SONATA 12, Panel: ST6
-
12. New Computational Paradigms for Explanatory Modelling of Complex Systems
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 1, Panel: ST6
-
13. Abstract Machines for Programming Languages: Investigations in Formal Interderivations
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 17, Panel: ST6
-
14. Around optimality of dynamic programming algorithms
Principal investigator: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 14, Panel: ST6
-
15. Computational aspects of property (T)
Principal investigator: dr Marek Stanisław Kaluba
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Call: SONATA 13, Panel: ST1
-
16. Models and algorithms for some discrete-continuous project scheduling problems
Principal investigator: dr hab. Grzegorz Waligóra
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 6, Panel: ST6
-
17. Accurate and approximate algorithms for large-scale stochastic simulation
Principal investigator: dr Anna Wawrzyńczak-Szaban
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
Call: SONATA 4, Panel: ST6