68 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
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
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
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
Cryptography without trusted parties
Call: SONATA 7 , Panel: ST6
Principal investigator: dr Tomasz Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
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
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
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
New methods in parametric model checking
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Michał Knapik
Instytut Podstaw Informatyki PAN
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Krzysztof Walczak
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
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
Privacy aspects of selected complex systems.
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Piotr Syga
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Business process discovery methods and process calculus for RESTful systems.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Andrzej Stroiński
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
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
Modern tools for complex network analysis
Call: OPUS 25 , Panel: ST6
Principal investigator: dr Małgorzata Sulkowska
Politechnika Wrocławska
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
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
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
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
Modular circuits - algorithms and lower bounds
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Piotr Kawałek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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
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
Call: OPUS 18 , Panel: ST6
Principal investigator: dr hab. Remigiusz Wiśniewski
Uniwersytet Zielonogórski
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
Optimality program in graph homomorphism problems
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Information hidding and privacy in (mainly) distributed systems
Call: OPUS 15 , Panel: ST6
Principal investigator: prof. Marek Klonowski
Politechnika Wrocławska
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
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
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