68 projects found matching your search criteria :
Motor programming in the process of orienting attention
Call: PRELUDIUM 11 , Panel: HS6
Principal investigator: Jakub Paszulewicz
Uniwersytet Jagielloński
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
Call: OPUS 16 , Panel: NZ4
Principal investigator: prof. Monika Kaczmarek
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
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
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
Networks: a Multidisciplinary Approach
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Krzysztof Apt
UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI
Modeling and optimization of space division multiplexing (SDM) elastic optical networks
Call: OPUS 11 , Panel: ST7
Principal investigator: dr hab. Mirosław Klinkowski
Instytut Łączności - Państwowy Instytut Badawczy
Call: SONATA 17 , Panel: NZ9
Principal investigator: dr Anna Maria Ogrodowczyk
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
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
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
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
Call: PRELUDIUM 18 , Panel: NZ9
Principal investigator: Julia Matuszewska
Uniwersytet Przyrodniczy w Poznaniu, Wydział Nauk o Żywności i Żywieniu
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
Probabilistic entropy in engineering computations
Call: OPUS 21 , Panel: ST8
Principal investigator: prof. Marcin Marek Kamiński
Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska
Algebraic spectral gaps in group cohomology
Call: SONATINA 6 , Panel: ST1
Principal investigator: dr Piotr Mizerka
Instytut Matematyczny Polskiej Akademii Nauk
Heuristic Discovery of Underlying Objectives for Test-based Problems.
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Paweł Liskowski
Politechnika Poznańska, Wydział Informatyki
Programming Methods for Distributed Reconfigurable Systems.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Joanna Kupis
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
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
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
Algebraic Effects and Continuations
Call: POLONEZ 3 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Computational aspects of property (T)
Call: SONATA 13 , Panel: ST1
Principal investigator: dr Marek Kaluba
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
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
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
Call: HARMONIA 3 , Panel: ST10
Principal investigator: prof. Hanna Pawłowska
Uniwersytet Warszawski, Wydział Fizyki
Methods of automatic programming involving semantic approaches
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki
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
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
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
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
Call: OPUS 8 , Panel: NZ8
Principal investigator: dr Maciej Ejsmond
Uniwersytet Jagielloński, Wydział Biologii
Call: SONATA 11 , Panel: NZ9
Principal investigator: dr Joanna Mikołajczyk-Stecyna
Uniwersytet Przyrodniczy w Poznaniu, Wydział Nauk o Żywności i Żywieniu
Maternal obesity and epigenetic programming: from gametogenesis to early embryo development
Call: OPUS 12 , Panel: NZ4
Principal investigator: dr Antonio Galvao
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
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 27 , Panel: NZ2
Principal investigator: prof. Carsten Carlberg
Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk
Mathematical Optimization in Quantum Information
Call: SONATA BIS 14 , Panel: ST2
Principal investigator: dr Felix Huber
Uniwersytet Gdański
Efficient higher-order quantum computations
Call: SONATA BIS 14 , Panel: ST2
Principal investigator: dr hab. Michał Studziński
Uniwersytet Gdański
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
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
Allocation of tasks in computer networks
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Marcin Krzywkowski
POLITECHNIKA GDAŃSKA
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
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
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
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
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
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
Call: SONATA 1 , Panel: HS1
Principal investigator: dr Robert Trypuz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 1 , Panel: ST7
Principal investigator: prof. Michał Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
An intelligent hybrid system for planning and composition of Web services
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Wojciech Penczek
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych