687 projects found matching your search criteria :
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
Semantic comparison of quantitative datasets
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Hanna Ćwiek-Kupczyńska
Instytut Genetyki Roślin Polskiej Akademii Nauk
Efficient distributed algorithms with constrained memory, energy in dynamic models.
Call: OPUS 17 , Panel: ST6
Principal investigator: dr Dominik Sławomir Pająk
Politechnika Wrocławska
Call: OPUS 18 , Panel: ST6
Principal investigator: dr hab. Remigiusz Grzegorz Wiśniewski
Uniwersytet Zielonogórski
Multiwinner Election Rules: Beyond Scoring Protocols
Call: OPUS 18 , Panel: ST6
Principal investigator: dr Piotr Krzysztof Skowron
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Combinatorial optimization under uncertainty: matroids,matchings and submodular functions
Call: SONATA 15 , Panel: ST6
Principal investigator: dr Marek Piotr Adamczyk
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Reinforcement learning revisited
Call: PRELUDIUM BIS 1 , Panel: ST6
Principal investigator: dr hab. Piotr Rafał Miłoś
Instytut Matematyczny Polskiej Akademii Nauk
Socio-cognitive inspirations in classic metaheuristics
Call: PRELUDIUM BIS 1 , Panel: ST6
Principal investigator: dr hab. Aleksander Byrski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki
Lifelong Machine Learning on Data Stream
Call: CEUS-UNISONO , Panel: ST6
Principal investigator: prof. Michał Wojciech Woźniak
Politechnika Wrocławska
Combination of Molecular Simulation and Deep Learning for De Novo Drug Design
Call: PRELUDIUM 19 , Panel: ST6
Principal investigator: dr Tomasz Jakub Danel
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
eXplainable Predictive Maintenance
Call: CEUS-UNISONO , Panel: ST6
Principal investigator: prof. Grzegorz Nalepa
Uniwersytet Jagielloński
Partnership for Advanced Computing (HPC) in Europe.
Call: HARMONIA 1 , Panel: ST6
Principal investigator: dr Norbert Meyer
Instytut Chemii Bioorganicznej Polskiej Akademii Nauk
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatic detection and correction of annotation errors in Polish language corpora
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Łukasz Maciej Kobyliński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Tools, algorithms and models in the study of common evolution of species, genes and proteins
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Paweł Piotr Górecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Multiaspect text document categorization
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Sławomir Piotr Zadrożny
Instytut Badań Systemowych Polskiej Akademii Nauk
Quantum games: theory and implementation
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Jan Antoni Sładkowski
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Polański
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Algebraic theory for CSP (tractability, approximation and optimization)
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Heuristic Discovery of Underlying Objectives for Test-based Problems.
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Paweł Marcin Liskowski
Politechnika Poznańska, Wydział Informatyki
Scalable metaheuristics for automated program synthesis
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Bogdan Kwolek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Dariusz Michał Plewczyński
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Analiza i zastosowanie kwantowego wyszukiwania przestrzennego
Call: ETIUDA 7 , Panel: ST6
Principal investigator: Adam Piotr Glos
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Analogue Intelligent Chip for Short and Middle Range Radar Signal Processing
Call: CHIST-ERA2018 , Panel: ST6
Principal investigator: prof. Krzysztof Ślot
Politechnika Łódzka
Abstract Machines for Programming Languages: Investigations in Formal Interderivations
Call: OPUS 17 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
ngSim: New challenges in simulation of low-power wireless devices
Call: OPUS 17 , Panel: ST6
Principal investigator: dr hab. Konrad Stanisław Iwanicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Relative dependencies analysis in the exploration of multi-omics data
Call: OPUS 17 , Panel: ST6
Principal investigator: dr Marcin Czajkowski
Politechnika Białostocka, Wydział Informatyki
Genome assembly algorithms for genetic disorders diagnosis
Call: PRELUDIUM 17 , Panel: ST6
Principal investigator: Barbara Agnieszka Poszewiecka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Texture analysis and recognition for computer-aided diagnostics of skin lesions digital images
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Leszek Andrzej Nowak
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Exploration of rule knowledge bases
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Agnieszka Justyna Nowak-Brzezińska
Uniwersytet Śląski w Katowicach, Wydział Informatyki i Nauki o Materiałach
Methodology of semantic models building based on mobile robot's observations
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Janusz Będkowski
Instytut Maszyn Matematycznych
Modeling cooperation of agents by multivalued logics and parallel processing
Call: OPUS 3 , Panel: ST6
Principal investigator: prof. Adam Borkowski
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Virtual views synthesis: preparation of input data and synthesis algorithms.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Krzysztof Jan Wegner
Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji
File-less architecture of large scale distributed information systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Bartosz Andrzej Kryza
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Krzysztof Andrzej Fujarewicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
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