135 projects found matching your search criteria :
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
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
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Lorenzo Clemente
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
Dynamic graphs; connectivity, flows and coloring.
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Anna Zych-Pawlewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Aspects of grammar compression
Call: SONATA BIS 7 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Efficiency, robustness and security of distributed systems with more realistic adversarial models.
Call: OPUS 13 , Panel: ST6
Principal investigator: prof. Marek Klonowski
Politechnika Wrocławska
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Władysław Homenda
Instytut Badań Systemowych PAN
Discrete optimization problems under uncertainty - models and algorithms
Call: OPUS 13 , Panel: ST6
Principal investigator: prof. Paweł Zieliński
Politechnika Wrocławska
Classical problems in the theory of finite automata: new approaches, variants, and applications
Call: OPUS 13 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Design of Distributed Algorithms in Highly Congested Networks
Call: OPUS 13 , Panel: ST6
Principal investigator: prof. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Complexity and fidelity susceptibility in holography
Call: SONATINA 1 , Panel: ST2
Principal investigator: dr Mario Flory
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
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
One Step From the Relational Model. A Couple of Database Theory Puzzles.
Call: OPUS 12 , Panel: ST6
Principal investigator: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 12 , Panel: ST6
Principal investigator: dr hab. Mikołaj Morzy
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Online learning algorithms for complex prediction problems
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Quantitative properties for higher-order recursion schemes
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Szymon Toruńczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Separability problem in automata theory
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Wojciech Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The topology of solution spaces of combinatorial problems
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Approximation algorithms under data uncertainty
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Research on fusion of tensor and soft computing methods for pattern recognition.
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Bogusław Cyganek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Graph separation problems from the perspective of parameterized complexity.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Paweł Komosa
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
Algorithmic Structure Theory for Sparse Graphs
Call: POLONEZ 1 , Panel: ST6
Principal investigator: Dipl. Inform. Sebastian Siebertz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA BIS 5 , Panel: ST6
Principal investigator: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
New electron correlation methods for heavy-element chemistry
Call: SONATA BIS 5 , Panel: ST4
Principal investigator: dr hab. Katharina Boguslawski
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Finding Applications for Logic with Partial Functions
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Jean de Nivelle
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Immune and efficient protocols for distributed systems of constrained devices
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Marek Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Algorithmic aspects of synchronization
Call: OPUS 9 , Panel: ST6
Principal investigator: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Dariusz Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
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
Stoping methods in analysis of chosen algorithms
Call: OPUS 9 , Panel: ST6
Principal investigator: prof. Michał Morayne
Politechnika Wrocławska