141 projects found matching your search criteria :
Quantum resource theories: from theoretical tool to practical applications
Call: SONATA BIS 12 , Panel: ST2
Principal investigator: dr hab. Alexander Streltsov
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Call: OPUS 12 , Panel: ST6
Principal investigator: dr hab. Mikołaj Morzy
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
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
Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.
Call: ETIUDA 6 , Panel: ST6
Principal investigator: Krzysztof Sornat
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
Adversary immune data processing algorithms for ad hoc systems
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Mirosław Kutyłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Formal approach to practical problems of information hiding
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Marek Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
New methods of comprehensive analysis of concurrent computing systems
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Łukasz Mikulski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Algebraic theory for CSP (tractability, approximation and optimization)
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Quantum information processing with severely limited memory and communication
Call: SONATA BIS 4 , Panel: ST2
Principal investigator: dr hab. Marcin Pawłowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Numerical and structural invariants in algebra, logic and constraint satisfaction problems
Call: MAESTRO 6 , Panel: ST6
Principal investigator: prof. Paweł Idziak
Uniwersytet Jagielloński, 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
Call: SONATA BIS 5 , Panel: ST6
Principal investigator: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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
Approximation algorithms under data uncertainty
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
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
Modular circuits - algorithms and lower bounds
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Piotr Kawałek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
First Order Logic and Beyond. Some Puzzles in Database Theory.
Call: OPUS 23 , Panel: ST6
Principal investigator: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Beyond quantum gravity – principles, structures and phenomena
Call: SONATA BIS 13 , Panel: ST2
Principal investigator: dr Michał Jerzy Eckstein
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Efficient higher-order quantum computations
Call: SONATA BIS 14 , Panel: ST2
Principal investigator: dr hab. Michał Studziński
Uniwersytet Gdański
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Marcin Zalasiński
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: SONATA BIS 1 , Panel: ST2
Principal investigator: dr hab. Wiesław Laskowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Discrete optimization problems under uncertainty - models and algorithms
Call: OPUS 13 , Panel: ST6
Principal investigator: prof. Paweł Zieliński
Politechnika Wrocławska
Effective computations in predicative mathematics
Call: SONATINA 2 , Panel: ST6
Principal investigator: dr Michał Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Information hidding and privacy in (mainly) distributed systems
Call: OPUS 15 , Panel: ST6
Principal investigator: prof. Marek Klonowski
Politechnika Wrocławska
Algebraic effects: composition and coinduction
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
The BDD/FC Conjecture and beyond
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Tomasz Gogacz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Synchronization of automata and the Cerny conjecture
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Combinatorial and information theory aspects of communication in distributed systems.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marcin Kardas
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Optimal generalized quantum measurements and their applications
Call: PRELUDIUM BIS 1 , Panel: ST2
Principal investigator: prof. Karol Wojciech Życzkowski
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
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: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Władysław Homenda
Instytut Badań Systemowych PAN
The usage of social network sites in local contexts. Comparative study.
Call: PRELUDIUM 1 , Panel: HS3
Principal investigator: dr Piotr Cichocki
Uniwersytet Warszawski, Wydział Historyczny
New methods for the automatic synthesis and exploration of sequential data
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Radosław Ziembiński
Politechnika Poznańska, Wydział Informatyki
Macroscopic quantum states of light: theoretical and experimental investigation of their properties
Call: HARMONIA 2 , Panel: ST2
Principal investigator: dr hab. Magdalena Stobińska
Instytut Fizyki Polskiej Akademii Nauk
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Łukasz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
A new notion of finiteness in computation theory
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 17 , Panel: ST6
Principal investigator: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Blockchain wallets -- cryptographic theory and applications
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Stefan Michał Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efficient sets of gates and shallow quantum circuits
Call: OPUS 19 , Panel: ST2
Principal investigator: dr hab. Adam Sawicki
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Leveraging Randomization: From Scheduling to AdWords
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Generalizations of the graph coloring problem in graphs with forbidden structures
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Karolina Okrasa
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Quantum effects in many-body light-matter non-equilibrium systems
Call: POLONEZ BIS 1 , Panel: ST2
Principal investigator: dr Tomasz Ryszard Wasak
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
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
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
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