248 projects found matching your search criteria :
Blockchain wallets -- cryptographic theory and applications
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Methods of development, modelling and analysis of quantum internetworking protocols
Call: SONATA 2 , Panel: ST6
Principal investigator: dr hab. Jarosław Miszczak
Instytut Informatyki Teoretycznej i Stosowanej PAN
Fundamental aspects of the quantum set of correlations
Call: SONATA 15 , Panel: ST2
Principal investigator: dr Jędrzej Kaniewski
Uniwersytet Warszawski, Wydział Fizyki
Optimal generalized quantum measurements and their applications
Call: PRELUDIUM BIS 1 , Panel: ST2
Principal investigator: prof. Karol Życzkowski
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Diamond-based fundamental research on light-matter interaction with single photons
Call: PRELUDIUM 18 , Panel: ST2
Principal investigator: Maria Gieysztor
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: OPUS 18 , Panel: ST6
Principal investigator: dr hab. Remigiusz Wiśniewski
Uniwersytet Zielonogórski
Fundamental problems and implementations of dissipative quantum engineering
Call: MAESTRO 11 , Panel: ST2
Principal investigator: prof. Adam Miranowicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki
Nondemolition quantum-state tomography and spin-interaction detection
Call: SONATA BIS 9 , Panel: ST2
Principal investigator: dr hab. Szymon Pustelny
Uniwersytet Jagielloński
Employing multiphoton quantum interference for selected quantum information processing tasks
Call: SONATA BIS 9 , Panel: ST2
Principal investigator: dr hab. Magdalena Stobińska
Uniwersytet Warszawski, Wydział Fizyki
Characterization and certification of quantum resources
Call: SONATA BIS 9 , Panel: ST2
Principal investigator: dr hab. Remigiusz Augusiak
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Colorings, cliques, and independent sets in graph classes
Call: SONATA BIS 9 , Panel: ST6
Principal investigator: dr hab. Bartosz Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Quantum Information in Quantum Field Theories and Holography: Dynamics and Complexity.
Call: SONATA BIS 9 , Panel: ST2
Principal investigator: dr Paweł Caputa
Uniwersytet Warszawski, Wydział Fizyki
Call: OPUS 17 , Panel: ST6
Principal investigator: dr hab. Jarosław Miszczak
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
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: SONATINA 3 , Panel: ST3
Principal investigator: dr Kamil Czelej
Uniwersytet Warszawski, Wydział Fizyki
Call: ETIUDA 7 , Panel: ST2
Principal investigator: Krzysztof Giergiel
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Application-ready superresolution in space and frequency
Call: UNISONO , Panel: ST2
Principal investigator: dr hab. Łukasz Rudnicki
Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych
Quantum information and communication with high-dimensional encoding
Call: UNISONO , Panel: ST2
Principal investigator: dr Michał Karpiński
Uniwersytet Warszawski, Wydział Fizyki
Continuously Monitored Quantum Sensors: Smart Tools and Applications
Call: UNISONO , Panel: ST2
Principal investigator: dr Jan Kołodyński
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Algebraic effects: composition and coinduction
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
ComCrypt -- Efficient and Secure Algorithms for Joint Compression and Encryption
Call: OPUS 16 , Panel: ST6
Principal investigator: prof. Józef Pieprzyk
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?
Call: OPUS 16 , Panel: ST6
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 16 , Panel: ST6
Principal investigator: dr hab. Lidia Tendera
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Optimality program in graph homomorphism problems
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
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
Information hidding and privacy in (mainly) distributed systems
Call: OPUS 15 , Panel: ST6
Principal investigator: prof. Marek Klonowski
Politechnika Wrocławska
Machine learning and automatic theorem proving
Call: OPUS 15 , Panel: ST6
Principal investigator: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Methods and tools of future document engineering - MENAID
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Bogdan Wiszniewski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji 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
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
Programowanie dynamiczne z gwarancjami
Call: ETIUDA 6 , Panel: ST6
Principal investigator: Karol Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Effective computations in predicative mathematics
Call: SONATINA 2 , Panel: ST6
Principal investigator: dr Michał Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Wykorzystanie uczenia maszynowego w informatyce kwantowej
Call: ETIUDA 6 , Panel: ST6
Principal investigator: Mateusz Ostaszewski
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
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
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
Automatic analysis of concurrent systems
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 1 , Panel: ST3
Principal investigator: prof. Arkadiusz Wójs
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: OPUS 1 , Panel: ST7
Principal investigator: dr hab. Jerzy Litniewski
Instytut Podstawowych Problemów Techniki PAN
Quantitative specifications: learning, algorithms and applications
Call: OPUS 14 , Panel: ST6
Principal investigator: dr Jan Otop
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
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