367 projects found matching your search criteria :
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
Challenges in semistructural data management
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Decision making in the control of flows in global supply chains of high-tech products.
Call: OPUS 6 , Panel: ST8
Principal investigator: prof. Tadeusz Sawik
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Michał Matuszak
Uniwersytet Mikołaja Kopernika, 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
Call: PRELUDIUM 6 , Panel: ST8
Principal investigator: Joanna Szyndler
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Call: OPUS 6 , Panel: ST8
Principal investigator: dr hab. Anna Trusek-Hołownia
Politechnika Wrocławska, Wydział Chemiczny
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
Optimal design of composite materials and structures subjected to fatigue loading conditions
Call: OPUS 5 , Panel: ST8
Principal investigator: prof. Aleksander Muc
Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Mechaniczny
Interdisciplinarity in research with reference to scientific performance of individual researchers
Call: SONATA 5 , Panel: HS4
Principal investigator: dr Izabela Kijeńska-Dąbrowska
Ośrodek Przetwarzania Informacji - Państwowy Instytut Badawczy
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
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
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Łukasz Faber
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Theoretical aspects of voting protocols
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Filip Zagórski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Statistical foundations in detection of modular structures in complex networks
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Jeremi Ochab
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
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
Call: OPUS 5 , Panel: ST8
Principal investigator: dr hab. Romuald Mosdorf
Politechnika Białostocka, Wydział Mechaniczny
Novel Methods of Multimedia Content Distribution in the Next Generation Cellular Networks
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Arkadiusz Biernacki
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Frontiers of tractability for recursive queries
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Jan Bazan
Uniwersytet Rzeszowski, Wydział Matematyczno-Przyrodniczy
Machine learning methods for complex networks
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Przemysław Kazienko
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Multi-criteria methods for designing algorithms that learn combinatorial games strategies
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Wojciech Jaśkowski
Politechnika Poznańska, Wydział Informatyki
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithms for robust discrete optimization
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Adam Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Automatic reasoning about specifications in simple logics - decidability and complexity issues
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Lidia Tendera
Uniwersytet Opolski
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
Call: OPUS 5 , Panel: ST6
Principal investigator: prof. Witold Dzwinel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Development of algorithms for all relevant feature selevtion using machine learning methods
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Witold Rudnicki
Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego
Compound data stream classification methods based on unsupervised and active learning
Call: OPUS 5 , Panel: ST6
Principal investigator: prof. Michał Woźniak
Politechnika Wrocławska, Wydział Elektroniki
Call: OPUS 5 , Panel: NZ7
Principal investigator: prof. Jarosław Sławiński
Gdański Uniwersytet Medyczny, Wydział Farmaceutyczny z Oddziałem Medycyny Laboratoryjnej
Selected Aspects of Scalability of Methods of Data Mining and Knowledge Discovery in Databases
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Dominik Ślęzak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
Call: ETIUDA 1 , Panel: ST7
Principal investigator: Adam Dziekoński
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Joanna Polańska
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Zbigniew Paszkiewicz
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
Autonomous self-adaptive metaheuristic methods in dynamically changing environments
Call: OPUS 4 , Panel: ST6
Principal investigator: prof. Jacek Mańdziuk
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
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
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Maciej Karaszewski
Politechnika Warszawska, Wydział Mechatroniki
FLexible, overconstrained multibody system modelling using sequential and parrallel methods
Call: OPUS 4 , Panel: ST8
Principal investigator: prof. Janusz Frączek
Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa
Call: OPUS 4 , Panel: ST8
Principal investigator: prof. Andrzej Teodorczyk
POLITECHNIKA WARSZAWSKA, Wydział Mechaniczny Energetyki i Lotnictwa, Instytut Techniki Cieplnej
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 4 , Panel: NZ9
Principal investigator: Agnieszka Ochocka
Instytut Ochrony Środowiska - Państwowy Instytut Badawczy
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