135 projects found matching your search criteria :
Development of Models and Methods for Incorporating Knowledge to Support Vector Machines
Call: SONATA 9 , Panel: ST6
Principal investigator: dr Marcin Orchel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Compression, logic, formal langauges: new approaches unifying different areas.
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Marcin Zalasiński
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej 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
Numerical and structural invariants in algebra, logic and constraint satisfaction problems
Call: MAESTRO 6 , Panel: ST6
Principal investigator: prof. Paweł Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Quantum information processing with severely limited memory and communication
Call: SONATA BIS 4 , Panel: ST2
Principal investigator: dr hab. Marcin Pawłowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: HARMONIA 6 , Panel: ST2
Principal investigator: dr hab. Wiesław Laskowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Communication Problems in Wireless Sensor Networks
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algebraic theory for CSP (tractability, approximation and optimization)
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Marcin Kozik
Uniwersytet Jagielloński, 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
Languages and Learning in General Game Playing
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Complexity of algorithms on compressed data
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Minimization of disturbance in quantum walk based algorithms and protocols.
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: Przemysław Sadowski
Instytut Informatyki Teoretycznej i Stosowanej PAN
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 5 , Panel: ST1
Principal investigator: dr Michał Oszmaniec
Centrum Fizyki Teoretycznej PAN
New methods of comprehensive analysis of concurrent computing systems
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Łukasz Mikulski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Combinatorial and information theory aspects of communication in distributed systems.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marcin Kardas
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
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
Formal approach to practical problems of information hiding
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Marek Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Synchronization of automata and the Cerny conjecture
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Quantum games: theory and implementation
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Jan Sładkowski
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
The BDD/FC Conjecture and beyond
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Tomasz Gogacz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Marek Kurzyński
Politechnika Wrocławska, Wydział Elektroniki
Adversary immune data processing algorithms for ad hoc systems
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Mirosław Kutyłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: HARMONIA 4 , Panel: ST2
Principal investigator: dr Marcin Pawłowski
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
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
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
A new notion of finiteness in computation theory
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Privacy aspects of selected complex systems.
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Piotr Syga
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Łukasz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Limits of decidability in automata theory
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA BIS 1 , Panel: ST2
Principal investigator: dr hab. Wiesław Laskowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Macroscopic quantum states of light: theoretical and experimental investigation of their properties
Call: HARMONIA 2 , Panel: ST2
Principal investigator: dr hab. Magdalena Stobińska
Instytut Fizyki Polskiej Akademii Nauk
New methods for the automatic synthesis and exploration of sequential data
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Radosław Ziembiński
Politechnika Poznańska, Wydział Informatyki
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
Call: SONATA BIS 13 , Panel: ST2
Principal investigator: dr Jan Kołodyński
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Beyond quantum gravity – principles, structures and phenomena
Call: SONATA BIS 13 , Panel: ST2
Principal investigator: dr Michał Eckstein
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Modern tools for complex network analysis
Call: OPUS 25 , Panel: ST6
Principal investigator: dr Małgorzata Sulkowska
Politechnika Wrocławska
Automation of the Problem of Unification in Description Logics
Call: POLONEZ BIS 3 , Panel: ST6
Principal investigator: dr hab. Barbara Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
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
Structure and algorithms for graph classes defined by transduction-closed properties
Call: SONATA 18 , Panel: ST6
Principal investigator: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Quantum resource theories: from theoretical tool to practical applications
Call: SONATA BIS 12 , Panel: ST2
Principal investigator: dr hab. Alexander Streltsov
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego