141 projects found matching your search criteria :
Dynamic graphs; connectivity, flows and coloring.
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Anna Zych-Pawlewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Robust optimization algorithms for problems with uncertain data
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Maciej Drwal
Politechnika Wrocławska
Around optimality of dynamic programming algorithms
Call: PRELUDIUM 14 , Panel: ST6
Principal investigator: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Programowanie dynamiczne z gwarancjami
Call: ETIUDA 6 , Panel: ST6
Principal investigator: Karol Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Infinity in reasoning about data and knowledge
Call: SONATA BIS 8 , Panel: ST6
Principal investigator: dr hab. Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATINA 3 , Panel: ST3
Principal investigator: dr Kamil Czelej
Uniwersytet Warszawski, Wydział Fizyki
Compression, logic, formal langauges: new approaches unifying different areas.
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Development of Models and Methods for Incorporating Knowledge to Support Vector Machines
Call: SONATA 9 , Panel: ST6
Principal investigator: dr Marcin Orchel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Application of modern algorithmic methods for solving NP-hard clustering problems.
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Krzysztof Sornat
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
The topology of solution spaces of combinatorial problems
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Call: HARMONIA 6 , Panel: ST2
Principal investigator: dr hab. Wiesław Laskowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Three-dimensional Rydberg polaritonics in the quantum regime
Call: OPUS 27 , Panel: ST2
Principal investigator: dr hab. Michał Parniak-Niedojadło
Uniwersytet Warszawski
Synthesis via active learning: theory and applications
Call: OPUS 27 , Panel: ST6
Principal investigator: dr hab. Jan Otop
Uniwersytet Wrocławski
Call: OPUS 27 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski
Quantum games: theory and implementation
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Jan Sładkowski
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
Call: OPUS 1 , Panel: ST3
Principal investigator: prof. Arkadiusz Wójs
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Automatic generation of user's manual for web applications
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Bartosz Alchimowicz
Politechnika Poznańska, Wydział Informatyki
Application of quantum information methods to signaling games
Call: PRELUDIUM 2 , Panel: ST1
Principal investigator: dr Piotr Frąckiewicz
Instytut Matematyczny PAN
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Limits of decidability in automata theory
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: HARMONIA 4 , Panel: ST2
Principal investigator: dr Marcin Pawłowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Minimization of disturbance in quantum walk based algorithms and protocols.
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: Przemysław Sadowski
Instytut Informatyki Teoretycznej i Stosowanej PAN
Complexity of algorithms on compressed data
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa
Call: SONATA 10 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Instytut Informatyki
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Szymon Toruńczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The concept of information in noncommutative spacetimes
Call: SONATINA 1 , Panel: ST2
Principal investigator: dr Michał Eckstein
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Quantum State: Information, Free Choice, Randomness
Call: OPUS 23 , Panel: HS1
Principal investigator: prof. Tomasz Grzegorz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Structure and algorithms for graph classes defined by transduction-closed properties
Call: SONATA 18 , Panel: ST6
Principal investigator: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modern tools for complex network analysis
Call: OPUS 25 , Panel: ST6
Principal investigator: dr Małgorzata Sulkowska
Politechnika Wrocławska
Thermodynamics of Information Processing: From Theory to Applications
Call: SONATA 19 , Panel: ST2
Principal investigator: dr Patryk Lipka-Bartosik
Uniwersytet Warszawski, Wydział Fizyki
Analysis of the usage of machine learning in spatial audio processing
Call: OPUS 13 , Panel: ST7
Principal investigator: dr hab. Konrad Kowalczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym
Call: ETIUDA 6 , Panel: ST6
Principal investigator: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Deep Neural Architectures for Automated Theorem Proving
Call: PRELUDIUM 15 , Panel: ST6
Principal investigator: Bartosz Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Machine learning and automatic theorem proving
Call: OPUS 15 , Panel: ST6
Principal investigator: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic models of prediction: formal properties and philosophical implications
Call: OPUS 16 , Panel: HS1
Principal investigator: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Quantum Information in Quantum Field Theories and Holography: Dynamics and Complexity.
Call: SONATA BIS 9 , Panel: ST2
Principal investigator: dr hab. Paweł Piotr Caputa
Uniwersytet Warszawski, Wydział Fizyki
Characterization and certification of quantum resources
Call: SONATA BIS 9 , Panel: ST2
Principal investigator: dr hab. Remigiusz Michał Augusiak
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Non-equilibrium dynamics of quantum many-body systems near critical points.
Call: ETIUDA 8 , Panel: ST3
Principal investigator: dr Michał Lesław Białończyk
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Towards Estimation of Information Content for Graph Structures
Call: SONATA 16 , Panel: ST6
Principal investigator: dr Krzysztof Szymon Turowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki