141 projects found matching your search criteria :
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
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
Aspects of grammar compression
Call: SONATA BIS 7 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Optimality program in graph homomorphism problems
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
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
Privacy aspects of selected complex systems.
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Piotr Syga
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
On quantum resources in quantum information theory.
Call: PRELUDIUM 4 , Panel: ST2
Principal investigator: Michał Studziński
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Relativistic Quantum Information
Call: SONATA BIS 2 , Panel: ST2
Principal investigator: dr hab. Andrzej Dragan
Uniwersytet Warszawski, Wydział Fizyki
Call: PRELUDIUM 5 , Panel: ST1
Principal investigator: dr Michał Oszmaniec
Centrum Fizyki Teoretycznej PAN
Languages and Learning in General Game Playing
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Foundations of Cryptocurrencies
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Communication Problems in Wireless Sensor Networks
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Biometric data in security systems with restricted resources - authentication and protection.
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Wojciech Wodo
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Stoping methods in analysis of chosen algorithms
Call: OPUS 9 , Panel: ST6
Principal investigator: prof. Michał Morayne
Politechnika Wrocławska
Algorithmic aspects of synchronization
Call: OPUS 9 , Panel: ST6
Principal investigator: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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
Algorithmic Structure Theory for Sparse Graphs
Call: POLONEZ 1 , Panel: ST6
Principal investigator: Dipl. Inform. Sebastian Siebertz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Separability problem in automata theory
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Wojciech Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Symmetries and entanglement in quantum circuits
Call: SONATA 16 , Panel: ST2
Principal investigator: dr hab. Michał Grzegorz Studziński
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Quantum open systems and thermodynamical resource theory
Call: OPUS 21 , Panel: ST2
Principal investigator: prof. Michał Andrzej Horodecki
Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych
A step towards practical teleportation protocols that do not require correction.
Call: PRELUDIUM 20 , Panel: ST2
Principal investigator: dr Piotr Kopszak
Uniwersytet Wrocławski, Wydział Fizyki i Astronomii
Holographic connections between quantum fields, information, and gravity
Call: SONATA BIS 11 , Panel: ST2
Principal investigator: dr Mario Rainer Flory
Uniwersytet Jagielloński, 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
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
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Mitigation of quantum computers errors in the pre-fault-tolerant era
Call: SONATA 18 , Panel: ST2
Principal investigator: dr Piotr Czarnik
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Automation of the Problem of Unification in Description Logics
Call: POLONEZ BIS 3 , Panel: ST6
Principal investigator: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Call: SONATA BIS 13 , Panel: ST2
Principal investigator: dr Jan Kołodyński
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Processing massive string data and beyond: algorithms and conditional lower bounds
Call: OPUS 26 , Panel: ST6
Principal investigator: dr Paweł Gawrychowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Beyond Worst-Case Analysis: Online Problems with Delays and Stochastic Arrival Times
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Michał Pawłowski
IDEAS NCBR SP. Z O.O.
Colorings, cliques, and independent sets in graph classes
Call: SONATA BIS 9 , Panel: ST6
Principal investigator: dr hab. Bartosz Maria Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Fundamental aspects of the quantum set of correlations
Call: SONATA 15 , Panel: ST2
Principal investigator: dr Jędrzej Kaniewski
Uniwersytet Warszawski, Wydział Fizyki
Call: DAINA 2 , Panel: ST2
Principal investigator: dr hab. Emilia Witkowska
Instytut Fizyki Polskiej Akademii Nauk
Computational aspects of infinite-duration games
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Paweł Czesław Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Self-testing from the perspective of nonclassicality.
Call: PRELUDIUM 20 , Panel: ST2
Principal investigator: Beata Katarzyna Zjawin
Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych
Call: PRELUDIUM 20 , Panel: ST2
Principal investigator: dr Marek Franciszek Winczewski
Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych
The information-entropy origins of chemical aromaticity: theory and applications
Call: SONATA BIS 11 , Panel: ST4
Principal investigator: dr Dariusz Wojciech Szczepanik
Uniwersytet Jagielloński, Wydział Chemii
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Dariusz Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji 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
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Marek Kurzyński
Politechnika Wrocławska, Wydział Elektroniki
Color image retrieval system based on the multichannel analysis of spatial information.
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Maria Łuszczkiewicz-Piątek
Uniwersytet Łódzki, Wydział Matematyki i Informatyki
Basic problems of quantum information theory and discrimination of quantum states and operations
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Andrzej Łuczak
Uniwersytet Łódzki, Wydział Matematyki i Informatyki
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
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
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
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Michał Fularz
Politechnika Poznańska, Wydział Elektryczny
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
The graph homomorphism problem in structurally restricted classes
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Marta Piecyk
Politechnika Warszawska