64 projects found matching your search criteria :
Call: OPUS 9 , Panel: ST7
Principal investigator: prof. Michał Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Scalable metaheuristics for automated program synthesis
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 8 , Panel: NZ8
Principal investigator: dr Maciej Ejsmond
Uniwersytet Jagielloński, Wydział Biologii
Heuristic Discovery of Underlying Objectives for Test-based Problems.
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Paweł Liskowski
Politechnika Poznańska, Wydział Informatyki
Networks: a Multidisciplinary Approach
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Krzysztof Apt
UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI
Interactive approach to dynamic decision making processes
Call: OPUS 6 , Panel: HS4
Principal investigator: prof. Tadeusz Trzaskalik
Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji
Biomarkers of fetal programming and female health and fertility
Call: PRELUDIUM 6 , Panel: NZ7
Principal investigator: Magdalena Klimek
Uniwersytet Jagielloński Collegium Medicum, Collegium Medicum, Wydział Nauk o Zdrowiu
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Decision making in the control of flows in global supply chains of high-tech products.
Call: OPUS 6 , Panel: ST8
Principal investigator: prof. Tadeusz Sawik
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania
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
Sequential Monte Carlo methods - modifications and applications to stochastic processes
Call: SONATA 6 , Panel: HS4
Principal investigator: dr Katarzyna Brzozowska-Rup
Politechnika Świętokrzyska, Wydział Zarządzania i Modelowania Komputerowego
Development and implementation of model checking methods for real-time and multi-agent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Bożena Woźna-Szcześniak
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Call: OPUS 1 , Panel: ST7
Principal investigator: prof. Michał Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 1 , Panel: HS1
Principal investigator: dr Robert Trypuz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Accurate and approximate algorithms for large-scale stochastic simulation
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Anna Wawrzyńczak-Szaban
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
Models, languages and systems for reliable and scalable distributed computing
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Jacek Sroka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Search for gravitational waves from rotating neutron stars using hardware accelerators
Call: OPUS 4 , Panel: ST9
Principal investigator: dr hab. Michał Bejger
Centrum Astronomiczne im. Mikołaja Kopernika PAN
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Methods of automatic programming involving semantic approaches
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki
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: HARMONIA 3 , Panel: ST10
Principal investigator: prof. Hanna Pawłowska
Uniwersytet Warszawski, Wydział Fizyki
Experimental and simulation studies of advanced control of biotechnological processes stimulation
Call: OPUS 3 , Panel: ST7
Principal investigator: prof. Mieczysław Metzger
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Allocation of tasks in computer networks
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Marcin Krzywkowski
POLITECHNIKA GDAŃSKA
Development of rule-based query languages applied in intelligent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
New problems and algorithms for Mathematical Programming model Mining (MathProM)
Call: SONATA BIS 13 , Panel: ST6
Principal investigator: dr hab. Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Włodzimierz Moczurad
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA BIS 12 , Panel: NZ7
Principal investigator: dr hab. Monika Słupecka-Ziemilska
Instytut Medycyny Doświadczalnej i Klinicznej im. Mirosława Mossakowskiego Polskiej Akademii Nauk
Call: OPUS 23 , Panel: NZ4
Principal investigator: prof. Małgorzata Filip
Instytut Farmakologii im. Jerzego Maja Polskiej Akademii Nauk
Algebraic spectral gaps in group cohomology
Call: SONATINA 6 , Panel: ST1
Principal investigator: dr Piotr Mizerka
Instytut Matematyczny Polskiej Akademii Nauk
Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Krzysztof Kaczor
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Call: SONATA 17 , Panel: NZ9
Principal investigator: dr hab. Aleksandra Dunisławska
Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich, Wydział Hodowli i Biologii Zwierząt
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 22 (LAP) , Panel: ST5
Principal investigator: dr hab. Wojciech Sławiński
Uniwersytet Warszawski, Wydział Chemii
Call: SONATA 17 , Panel: NZ9
Principal investigator: dr Anna Ogrodowczyk
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
Probabilistic entropy in engineering computations
Call: OPUS 21 , Panel: ST8
Principal investigator: prof. Marcin Kamiński
Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska
Optimal-transport based algorithms for Mass Spectrometry and NMR
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Anna Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Source-code-representations for machine-learning-based identification of defective code fragments
Call: OPUS 21 , Panel: ST6
Principal investigator: dr Mirosław Ochodek
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Call: SONATA 16 , Panel: NZ9
Principal investigator: dr Magdalena Szymańska
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
Non-parametric approaches for the performance measurement of units with complex internal structure
Call: OPUS 19 , Panel: HS4
Principal investigator: dr Dimitrios-Georgios Sotiros
Politechnika Wrocławska
Call: OPUS 19 , Panel: HS3
Principal investigator: dr Patryk Wasiak
Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
Call: PRELUDIUM 18 , Panel: NZ9
Principal investigator: Julia Matuszewska
Uniwersytet Przyrodniczy w Poznaniu, Wydział Medycyny Weterynaryjnej i Nauk o Zwierzętach
Combinatorial optimization under uncertainty: matroids,matchings and submodular functions
Call: SONATA 15 , Panel: ST6
Principal investigator: dr Marek Adamczyk
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Abstract Machines for Programming Languages: Investigations in Formal Interderivations
Call: OPUS 17 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algebraic effects: composition and coinduction
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 16 , Panel: NZ4
Principal investigator: prof. Monika Kaczmarek
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
Efficient algorithms and conditional lower bounds for problems on trees
Call: PRELUDIUM 14 , Panel: ST6
Principal investigator: Bartłomiej Dudek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Around optimality of dynamic programming algorithms
Call: PRELUDIUM 14 , Panel: ST6
Principal investigator: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki