53 projects found matching your search criteria :
Call: OPUS 9 , Panel: ST7
Principal investigator: prof. Michał Paweł 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ł Marcin Liskowski
Politechnika Poznańska, Wydział Informatyki
Networks: a Multidisciplinary Approach
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Krzysztof Rafał 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
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
Call: OPUS 1 , Panel: ST7
Principal investigator: prof. Michał Paweł Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Michał Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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 Polskiej Akademii Nauk
Methods of automatic programming involving semantic approaches
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Tomasz Paweł Pawlak
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
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
Efficient higher-order quantum computations
Call: SONATA BIS 14 , Panel: ST2
Principal investigator: dr hab. Michał Grzegorz Studziński
Uniwersytet Gdański
Mathematical Optimization in Quantum Information
Call: SONATA BIS 14 , Panel: ST2
Principal investigator: dr Felix Huber
Uniwersytet Gdański
Call: OPUS 27 , Panel: NZ2
Principal investigator: prof. Carsten Johannes Carlberg
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
Synthesis via active learning: theory and applications
Call: OPUS 27 , Panel: ST6
Principal investigator: dr hab. Jan Otop
Uniwersytet Wrocławski
New problems and algorithms for Mathematical Programming model Mining (MathProM)
Call: SONATA BIS 13 , Panel: ST6
Principal investigator: dr hab. Tomasz Paweł Pawlak
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
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 Maria 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
Call: SONATA 17 , Panel: NZ9
Principal investigator: dr hab. Aleksandra Dunisławska
Uniwersytet Technologiczno-Przyrodniczy im. Jana i Jędrzeja Śniadeckich w Bydgoszczy, 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: SONATA 17 , Panel: NZ9
Principal investigator: dr Anna Maria Ogrodowczyk
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: SONATA 16 , Panel: NZ9
Principal investigator: dr Magdalena Julia 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ł Nauk o Żywności i Żywieniu
Combinatorial optimization under uncertainty: matroids,matchings and submodular functions
Call: SONATA 15 , Panel: ST6
Principal investigator: dr Marek Piotr 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 Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 16 , Panel: NZ4
Principal investigator: prof. Monika Marzena 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
Computational aspects of property (T)
Call: SONATA 13 , Panel: ST1
Principal investigator: dr Marek Stanisław Kaluba
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
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
Call: OPUS 13 , Panel: ST7
Principal investigator: prof. Michał Paweł Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Call: OPUS 13 , Panel: NZ7
Principal investigator: prof. Grażyna Jasieńska
Uniwersytet Jagielloński- Collegium Medicum, Collegium Medicum
New Computational Paradigms for Explanatory Modelling of Complex Systems
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Algebraic Effects and Continuations
Call: POLONEZ 3 , Panel: ST6
Principal investigator: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Programming language for a hierarchical, parallel machine using ManyDSL
Call: PRELUDIUM 12 , Panel: ST6
Principal investigator: Piotr Danilewski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Maternal obesity and epigenetic programming: from gametogenesis to early embryo development
Call: OPUS 12 , Panel: NZ4
Principal investigator: dr Antonio Miguel Galvao
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
Automatic synthesis of mathematical programming models for business processes
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Motor programming in the process of orienting attention
Call: PRELUDIUM 11 , Panel: HS6
Principal investigator: Jakub Paszulewicz
Uniwersytet Jagielloński