765 projects found matching your search criteria :
Decidability issues for automata on infinite structures
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Damian Niwiński
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
Minimal Memory Clustering Paradigm
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Generalisation of the entropy and entropy dimension and their applications
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: dr Marek Śmieja
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Linguistic descriptors in face recognition
Call: SONATA 7 , Panel: ST6
Principal investigator: dr Paweł Karczmarek
Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Matematyki, Informatyki i Architektury Krajobrazu
From nonuniform disk data to leakage-resilient authentication schemes
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Zając
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
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Marek Wiewiórka
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Complexity of algorithms on compressed data
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Networks: a Multidisciplinary Approach
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Krzysztof Apt
UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI
Metody wyboru klasyfikatorów jednoklasowych na potrzeby klasyfikacji kombinowanej
Call: ETIUDA 2 , Panel: ST6
Principal investigator: Bartosz Krawczyk
Politechnika Wrocławska, Wydział Elektroniki
Semantyczne modelowanie interaktywnych treści 3D
Call: ETIUDA 2 , Panel: ST6
Principal investigator: Jakub Flotyński
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
Efficient algorithms and representations in formal languages and automata theory.
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Novel Methods of Impulsive Noise Reduction in Astronomical Images
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Adam Popowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: Ewa Matczyńska
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Intelligent tasks scheduling computer system under interval uncertainty
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Marcin Siepak
POLITECHNIKA WROCŁAWSKA, Wydział Informatyki i Zarządzania
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Patryk Orzechowski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Jarosław Piersa
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
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
Efficient algorithms for finding optiml tours of a traveling salesman and related problems
Call: OPUS 6 , Panel: ST6
Principal investigator: dr Katarzyna Paluch
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: Dariusz Kurzyk
Instytut Informatyki Teoretycznej i Stosowanej PAN
Call: OPUS 6 , Panel: ST6
Principal investigator: dr hab. Andrzej Jaszkiewicz
Politechnika Poznańska, Wydział Informatyki
Intelligent nonlinear systems with shallow and deep architectures
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Bogdan Wilamowski
Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie
Learning classifiers from imbalanced and evolving data
Call: OPUS 6 , Panel: ST6
Principal investigator: dr hab. Jerzy Stefanowski
Politechnika Poznańska, Wydział Informatyki
Application of ensemble algorithms for data stream mining
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Lena Pietruczuk
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Pavel Sevastsyanau
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Development of knowledge retrieval methods for Linked Data
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: Jędrzej Potoniec
Politechnika Poznańska, Wydział Informatyki
Optimality in parameterized complexity
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Michał Pilipczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Challenges in semistructural data management
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Graphs within graphs: from well-quasi-orders to algorithms
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Jean-Florent Raymond
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Energy-Aware and Computationally-Intelligent Cooperative Wireless Networks: EcoNets
Call: OPUS 6 , Panel: ST7
Principal investigator: prof. Hanna Bogucka
Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Michał Matuszak
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Models and algorithms for some discrete-continuous project scheduling problems
Call: OPUS 6 , Panel: ST6
Principal investigator: dr hab. Grzegorz Waligóra
Politechnika Poznańska, Wydział Informatyki
On new techniques for matching and flow problems
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Bartłomiej Bosek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Asymptotic methods in lambda calculus and combinatory logic
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
New directions in multiple criteria decision aiding based on holistic preference information
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Miłosz Kadziński
Politechnika Poznańska, Wydział Informatyki
Multi-scale model of tumor dynamics as a key component of the system for optimal anti-cancer therapy
Call: HARMONIA 5 , Panel: ST6
Principal investigator: prof. Witold Dzwinel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Development and implementation of model checking methods for real-time and multi-agent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Bożena Woźna-Szcześniak
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
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
Call: OPUS 5 , Panel: ST6
Principal investigator: prof. Jacek Cichoń
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Methods for combining one-class classifiers
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Bartosz Krawczyk
Politechnika Wrocławska, Wydział Elektroniki
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
Algorithm engineering for full-text indexes
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Szymon Grabowski
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Modelling of man - environment relations of Poznań Lakeland lake landscape.
Call: PRELUDIUM 5 , Panel: HS4
Principal investigator: Piotr Dzieszko
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Łukasz Faber
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
A parallel memetic algorithm for solving complex transportation problems.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Jakub Nalepa
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: SONATA 5 , Panel: NZ1
Principal investigator: dr Radosław Pilarski
Instytut Chemii Bioorganicznej PAN