135 projects found matching your search criteria :
Satsifiability and equivalence problems for finite algebras
Call: OPUS 23 , Panel: ST6
Principal investigator: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
The graph homomorphism problem in structurally restricted classes
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Marta Piecyk
Politechnika Warszawska
Representation of dynamic 3D scenes using the Atomic Shapes Network model
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Przemysław Głomb
INSTYTUT INFORMATYKI TEORETYCZNEJ I STOSOWANEJ PAN
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
Quantum State: Information, Free Choice, Randomness
Call: OPUS 23 , Panel: HS1
Principal investigator: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Quantum effects in many-body light-matter non-equilibrium systems
Call: POLONEZ BIS 1 , Panel: ST2
Principal investigator: dr Tomasz Wasak
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Fair Problems and Diverse Solutions in Parameterized Complexity
Call: SONATA 17 , Panel: ST6
Principal investigator: dr Tomáš Masařík
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Application of quantum information methods to signaling games
Call: PRELUDIUM 2 , Panel: ST1
Principal investigator: dr Piotr Frąckiewicz
Instytut Matematyczny PAN
Holographic connections between quantum fields, information, and gravity
Call: SONATA BIS 11 , Panel: ST2
Principal investigator: dr Mario Flory
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
The information-entropy origins of chemical aromaticity: theory and applications
Call: SONATA BIS 11 , Panel: ST4
Principal investigator: dr Dariusz Szczepanik
Uniwersytet Jagielloński, Wydział Chemii
A step towards practical teleportation protocols that do not require correction.
Call: PRELUDIUM 20 , Panel: ST2
Principal investigator: Piotr Kopszak
Uniwersytet Wrocławski, Wydział Fizyki i Astronomii
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 open systems and thermodynamical resource theory
Call: OPUS 21 , Panel: ST2
Principal investigator: prof. Michał Horodecki
Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych
Call: PRELUDIUM 20 , Panel: ST2
Principal investigator: Marek Winczewski
Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Michał Fularz
Politechnika Poznańska, Wydział Elektryczny
Modular circuits - algorithms and lower bounds
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Piotr Kawałek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Self-testing from the perspective of nonclassicality.
Call: PRELUDIUM 20 , Panel: ST2
Principal investigator: Beata Zjawin
Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych
Computational aspects of infinite-duration games
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Leveraging Randomization: From Scheduling to AdWords
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Automatic generation of user's manual for web applications
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Bartosz Alchimowicz
Politechnika Poznańska, Wydział Informatyki
Towards Estimation of Information Content for Graph Structures
Call: SONATA 16 , Panel: ST6
Principal investigator: dr Krzysztof Turowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Symmetries and entanglement in quantum circuits
Call: SONATA 16 , Panel: ST2
Principal investigator: dr Michał Studziński
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: DAINA 2 , Panel: ST2
Principal investigator: dr hab. Emilia Witkowska
Instytut Fizyki Polskiej Akademii Nauk
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
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
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
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
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
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
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
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
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
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