195 projects found matching your search criteria :
Robust optimization algorithms for problems with uncertain data
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Maciej Drwal
Politechnika Wrocławska
Dynamic graphs; connectivity, flows and coloring.
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Anna Zych-Pawlewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Mobile robot navigation using semantic information
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Barbara Siemiątkowska
Politechnika Warszawska, Wydział Mechatroniki
Aspects of grammar compression
Call: SONATA BIS 7 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Efficiency, robustness and security of distributed systems with more realistic adversarial models.
Call: OPUS 13 , Panel: ST6
Principal investigator: prof. Marek Klonowski
Politechnika Wrocławska
Multimodal biometric system for contactless persons identification
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Wojciech Sankowski
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Władysław Homenda
Instytut Badań Systemowych PAN
Discrete optimization problems under uncertainty - models and algorithms
Call: OPUS 13 , Panel: ST6
Principal investigator: prof. Paweł Zieliński
Politechnika Wrocławska
Classical problems in the theory of finite automata: new approaches, variants, and applications
Call: OPUS 13 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Design of Distributed Algorithms in Highly Congested Networks
Call: OPUS 13 , Panel: ST6
Principal investigator: prof. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
The Impact of Intranet Portals on Knowledge Management Advancements in Service Organizations
Call: HARMONIA 1 , Panel: HS4
Principal investigator: dr hab. Marcin Sikorski
POLITECHNIKA GDAŃSKA, Wydział Zarządzania i Ekonomii
Algebraic Effects and Continuations
Call: POLONEZ 3 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
One Step From the Relational Model. A Couple of Database Theory Puzzles.
Call: OPUS 12 , Panel: ST6
Principal investigator: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 12 , Panel: ST6
Principal investigator: dr hab. Mikołaj Morzy
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Properties of generic quantum communication channels
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Zbigniew Puchała
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Online learning algorithms for complex prediction problems
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
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
Symbolic computations on first-order definable objects
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic and Axiomatic Analysis of Committee Scoring Rules
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Szymon Toruńczyk
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
A quest for new computer logics
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Quantitative aspects of computational complexity in lambda calculus
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: dr Maciej Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Efficient parsing algorithms for free word order languages
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Paweł Skórzewski
Uniwersytet im. Adama Mickiewicza, Wydział Matematyki i Informatyki
Efficient algorithms for weak forms of non-determinism
Call: SONATA 11 , Panel: ST6
Principal investigator: dr hab. Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The topology of solution spaces of combinatorial problems
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Approximation algorithms under data uncertainty
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Piotr Wasilewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algebraic invariants of Data Petri Nets.
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
Call: FUGA 5 , Panel: ST3
Principal investigator: dr Jarosław Pawłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Graph separation problems from the perspective of parameterized complexity.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Paweł Komosa
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa
Call: SONATA 10 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Instytut 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
Call: SONATA BIS 5 , Panel: ST6
Principal investigator: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Optimality, universality and controllability in quantum computation theory
Call: SONATA BIS 5 , Panel: ST1
Principal investigator: dr Adam Sawicki
Centrum Fizyki Teoretycznej PAN
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
Immune and efficient protocols for distributed systems of constrained devices
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Marek Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Algorithmic aspects of synchronization
Call: OPUS 9 , Panel: ST6
Principal investigator: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Dariusz Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Maciej Skórski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Application of modern algorithmic methods for solving NP-hard clustering problems.
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Krzysztof Sornat
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Entropic uncertainty relations and quantum cryptography
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Zbigniew Puchała
Instytut Informatyki Teoretycznej i Stosowanej PAN
Stoping methods in analysis of chosen algorithms
Call: OPUS 9 , Panel: ST6
Principal investigator: prof. Michał Morayne
Politechnika Wrocławska