687 projects found matching your search criteria :
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Rafał Tomasz Łysiak
Politechnika Wrocławska, Wydział Elektroniki
GROSHEC - Toward processor for rough set methods
Call: OPUS 4 , Panel: ST6
Principal investigator: prof. Jarosław Stepaniuk
Politechnika Białostocka, Wydział Informatyki
Application of backward stochastic differential equations to reconstruction of digital images
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Dariusz Piotr Borkowski
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Matematyki i Informatyki
New data intensive algorithms and structures for GPU processors.
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Krzysztof Kaczmarski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Łukasz Tadeusz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Accurate and approximate algorithms for large-scale stochastic simulation
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Anna Wawrzyńczak-Szaban
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
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
Design and Analysis of Scalable Algorithms for Wireless Networks
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Energy-efficient Models and Algorithms for Future Generation Computing and Networking Systems
Call: MAESTRO 4 , Panel: ST6
Principal investigator: prof. Jan Węglarz
Politechnika Poznańska, Wydział Informatyki
Study of interaction and signal passing in complexes of GPCRs with arrestin
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Sławomir Hubert Filipek
Uniwersytet Warszawski, Wydział Chemii
Game theoretical approach to determining a crucial nodes in the networks.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Piotr Lech Szczepański
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Current trends in parameterized and exponential-time algorithms
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Łukasz Kowalik
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Computational algorithms for persistent homology of maps
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Grzegorz Michał Jabłoński
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Przemysław Ernest Spurek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Automatic reasoning about specifications in simple logics - decidability and complexity issues
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Gaze-dependent image synthesis
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Radosław Mantiuk
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 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 Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Multi-criteria methods for designing algorithms that learn combinatorial games strategies
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Wojciech Maria Jaśkowski
Politechnika Poznańska, Wydział Informatyki
Tractable Game-Theoretic Network Centrality Measures
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Tomasz Paweł Michalak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Formal approach to practical problems of information hiding
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Marek Dariusz Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Cryptanalysis of a family of Keccak hash functions
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Paweł Kacper Morawiecki
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Theoretical aspects of voting protocols
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Filip Tomasz Zagórski
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
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
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Pavel Sevastsyanau
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Application of ensemble algorithms for data stream mining
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Lena Anna Pietruczuk
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Marek Stanisław Wiewiórka
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Minimal Memory Clustering Paradigm
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
New and efficient methods for the flexible molecular docking of proteins.
Call: MAESTRO 6 , Panel: ST6
Principal investigator: prof. Andrzej Koliński
Uniwersytet Warszawski, Wydział Chemii
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Agnieszka Mykowiecka
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Semantic tensor networks for large data sets analysis
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Piotr Gawron
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Call: OPUS 9 , Panel: ST6
Principal investigator: prof. Robert Franciszek Schaefer
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
The Diffusion of Information in Temporal Social Networks
Call: SONATA 9 , Panel: ST6
Principal investigator: dr Radosław Witold Michalski
Politechnika Wrocławska
SOSnet: sparse modelling and prediction for high-dimensional data.
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Piotr Pokarowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Dariusz Piotr Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Tight Lower Bounds Under Strong Complexity Assumptions
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Arkadiusz Aleksander Socała
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Finding Applications for Logic with Partial Functions
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Jean Marie de Nivelle
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA BIS 5 , Panel: ST6
Principal investigator: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Reverse engineering of interacting signals in complex networks
Call: OPUS 10 , Panel: ST6
Principal investigator: prof. Janusz Andrzej Hołyst
Politechnika Warszawska, Wydział Fizyki
Programming Methods for Distributed Reconfigurable Systems.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Joanna Beata Kupis
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Theory of incomplete data analysis
Call: OPUS 10 , Panel: ST6
Principal investigator: prof. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Inferring genomic duplication events.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Jarosław Andrzej Paszek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic Structure Theory for Sparse Graphs
Call: POLONEZ 1 , Panel: ST6
Principal investigator: dr Dipl. Inform. Sebastian Siebertz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Paraconsistent Reasoning in Autonomous Systems Situated in Informationally-Complex Environments
Call: OPUS 10 , Panel: ST6
Principal investigator: prof. Barbara Maria Dunin-Kęplicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Analytical processing and mining of sequential data: models, algorithms, and data structures
Call: OPUS 10 , Panel: ST6
Principal investigator: prof. Tadeusz Morzy
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Models, methods and algorithms of computational network science
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Przemysław Ryszard Kazienko
Politechnika Wrocławska
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Bartosz Michał Kopczyński
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Spread of influence in multilayer networks
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Piotr Bródka
Politechnika Wrocławska
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Andrzej Polański
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Throughput maximization problems.
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki