258 projects found matching your search criteria :
Linguistic workshop for speech analysis and recognition
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Bartosz Ziółko
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
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
Certification of randomness in quantum systems of arbitrary dimension
Call: SONATINA 4 , Panel: ST2
Principal investigator: Jakub Borkała
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Non-equilibrium dynamics of quantum many-body systems near critical points.
Call: ETIUDA 8 , Panel: ST3
Principal investigator: Michał Białończyk
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Novel approach to decoherence and information transfer studies in open quantum systems
Call: OPUS 18 , Panel: ST2
Principal investigator: dr hab. Jarosław Korbicz
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
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
Data-enriched models of computation
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Combinatorial optimization under uncertainty: matroids,matchings and submodular functions
Call: SONATA 15 , Panel: ST6
Principal investigator: dr Marek Adamczyk
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 18 , Panel: ST2
Principal investigator: Filip Sośnicki
Uniwersytet Warszawski, Wydział Fizyki
Blockchain wallets -- cryptographic theory and applications
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
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
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
Deep Neural Architectures for Automated Theorem Proving
Call: PRELUDIUM 15 , Panel: ST6
Principal investigator: Bartosz Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
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
Call: OPUS 1 , Panel: ST3
Principal investigator: prof. Arkadiusz Wójs
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Wykorzystanie uczenia maszynowego w informatyce kwantowej
Call: ETIUDA 6 , Panel: ST6
Principal investigator: Mateusz Ostaszewski
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Call: OPUS 1 , Panel: ST7
Principal investigator: dr hab. Jerzy Litniewski
Instytut Podstawowych Problemów Techniki PAN
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
Automatic analysis of concurrent systems
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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