253 projects found matching your search criteria :
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
Mobile robot navigation using semantic information
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Barbara Siemiątkowska
Politechnika Warszawska, Wydział Mechatroniki
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
Multimodal biometric system for contactless persons identification
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Wojciech Sankowski
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Władysław Homenda
Instytut Badań Systemowych PAN
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
Quantum information processing with contextuality
Call: PRELUDIUM 12 , Panel: ST2
Principal investigator: Debashis Saha
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Algebraic Effects and Continuations
Call: POLONEZ 3 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki 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
Spins Qubits in Artificial Molecules
Call: BEETHOVEN 2 , Panel: ST3
Principal investigator: prof. Paweł Machnikowski
Politechnika Wrocławska
Robust self-testing of quantum systems and device-independent uncertainty relations
Call: POLONEZ 3 , Panel: ST2
Principal investigator: dr Jędrzej Kaniewski
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Quantum information in domain of time (QuanTime)
Call: PRELUDIUM 12 , Panel: ST2
Principal investigator: Karolina Sędziak-Kacprowicz
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: OPUS 12 , Panel: ST6
Principal investigator: dr hab. Mikołaj Morzy
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Miniaturized Integrated Optical Devices for Experiments on light and plasmonic Quanta
Call: SONATA 12 , Panel: ST2
Principal investigator: dr Piotr Kolenderski
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Quantum correlations - from few to many particles
Call: BEETHOVEN 2 , Panel: ST2
Principal investigator: dr hab. Wiesław Laskowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Properties of generic quantum communication channels
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Zbigniew Puchała
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
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
Symbolic computations on first-order definable objects
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic and Axiomatic Analysis of Committee Scoring Rules
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Szymon Toruńczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Role of quantum coherence in quantum technology
Call: POLONEZ 2 , Panel: ST2
Principal investigator: dr Alexander Streltsov
Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej
Separability problem in automata theory
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Wojciech Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
A quest for new computer logics
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Quantitative aspects of computational complexity in lambda calculus
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: dr Maciej Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Efficient algorithms for weak forms of non-determinism
Call: SONATA 11 , Panel: ST6
Principal investigator: dr hab. Michał Skrzypczak
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
Algebraic invariants of Data Petri Nets.
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efficient parsing algorithms for free word order languages
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Paweł Skórzewski
Uniwersytet im. Adama Mickiewicza, Wydział Matematyki i Informatyki
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Piotr Wasilewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
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
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
Quantum information approach to selected aspects of foundations of physics
Call: OPUS 9 , Panel: ST2
Principal investigator: prof. Michał Horodecki
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Dariusz Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Maciej Skórski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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