535 projects found matching your search criteria :
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
Call: PRELUDIUM 12 , Panel: ST6
Principal investigator: dr Michał Tomczyk
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
RNApolis - methods and algorithms to model and analyse the RNA structure
Call: OPUS 12 , Panel: ST6
Principal investigator: dr hab. Marta Szachniuk
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Computer modeling of phenomena in macromelcular systems using Analyzer of Real Complex Systems
Call: OPUS 13 , Panel: ST5
Principal investigator: dr hab. Andrzej Sikorski
Uniwersytet Warszawski, Wydział Chemii
Optimization methods for allocation of large-scale computational resources
Call: OPUS 13 , Panel: ST6
Principal investigator: dr hab. Krzysztof Rządca
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Advanced optimization methods of automated cyclic processes
Call: OPUS 13 , Panel: ST7
Principal investigator: dr hab. Wojciech Bożejko
Politechnika Wrocławska
Using depth data for perspective correction of RGB descriptors
Call: PRELUDIUM 13 , Panel: ST6
Principal investigator: Maciej Stefańczyk
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Image segmentation methods integrating texture analysis and deformable models
Call: PRELUDIUM 13 , Panel: ST6
Principal investigator: Daniel Reska
Politechnika Białostocka, Wydział Informatyki
Aspects of grammar compression
Call: SONATA BIS 7 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Analysis of adaptive control system for electroactive polymers
Call: SONATA 13 , Panel: ST7
Principal investigator: dr hab. Jakub Bernat
Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Development of algorithmic and statistical methods in mass spectrometry
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Michał Startek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Imbalanced data stream classification algorithms
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Michał Woźniak
Politechnika Wrocławska
Call: PRELUDIUM 14 , Panel: ST8
Principal investigator: dr Monika Zielińska
Politechnika Gdańska, Wydział Architektury
Consistent Models and Efficient Algorithms for Genomic Duplications
Call: OPUS 14 , Panel: ST6
Principal investigator: dr hab. Paweł Górecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic challenges of mass spectrometry.
Call: OPUS 15 , Panel: ST6
Principal investigator: prof. Anna Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Micro-scale actuators based on photo-responsive polymers
Call: OPUS 15 , Panel: ST7
Principal investigator: dr hab. Piotr Wasylczyk
Uniwersytet Warszawski, Wydział Fizyki
Digital processing algorithms in X-ray detection systems.
Call: PRELUDIUM 15 , Panel: ST7
Principal investigator: Aleksandra Krzyżanowska
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Combinatorial optimization through the lens of the traveling salesman route and matchings
Call: OPUS 15 , Panel: ST6
Principal investigator: dr hab. Katarzyna Paluch
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Optimality program in graph homomorphism problems
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Call: OPUS 16 , Panel: ST7
Principal investigator: dr hab. Mirosław Klinkowski
Instytut Łączności - Państwowy Instytut Badawczy
Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?
Call: OPUS 16 , Panel: ST6
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA 14 , Panel: ST6
Principal investigator: dr hab. Jakub Radoszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Graph modeling of search processes
Call: OPUS 16 , Panel: ST6
Principal investigator: dr hab. Dariusz Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Prediction of hosts from metagenomic viral sequences using alignment-free algorithms
Call: SONATA 14 , Panel: NZ2
Principal investigator: dr Andrzej Zieleziński
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii
Analiza i zastosowanie kwantowego wyszukiwania przestrzennego
Call: ETIUDA 7 , Panel: ST6
Principal investigator: Adam Glos
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Algorytmy grafowe w różnych modelach obliczeń rozproszonych i równoległych.
Call: ETIUDA 7 , Panel: ST6
Principal investigator: Krzysztof Nowicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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, Wydział Podstawowych Problemów Techniki
Modern artificial intelligence algorithms in the analysis of geotechnical data
Call: SONATA 2 , Panel: ST8
Principal investigator: dr hab. Piotr Bilski
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Wydział Zastosowań Informatyki i Matematyki
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Ewa Gajda-Zagórska
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Virtual views synthesis: preparation of input data and synthesis algorithms.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Krzysztof Wegner
Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji
Simulation and bisimulation for context-free and pushdown systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Search for gravitational waves from rotating neutron stars using hardware accelerators
Call: OPUS 4 , Panel: ST9
Principal investigator: dr hab. Michał Bejger
Centrum Astronomiczne im. Mikołaja Kopernika PAN
Privacy aspects of selected complex systems.
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Piotr Syga
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
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
Call: OPUS 4 , Panel: ST7
Principal investigator: dr Adam Styk
Politechnika Warszawska, Wydział Mechatroniki
Call: PRELUDIUM 4 , Panel: ST7
Principal investigator: dr Piotr Bigaj
Przemysłowy Instytut Automatyki i Pomiarów PIAP
Regularization algorithms for the processing of NMR spectra of metabolite mixtures
Call: HARMONIA 4 , Panel: ST4
Principal investigator: dr Krzysztof Kazimierczuk
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Algorithms for robust discrete optimization
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Adam Kasperski
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
Resource management in selfish and cooperative distributed systems
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Piotr Skowron
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Tractable Game-Theoretic Network Centrality Measures
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Tomasz Michalak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
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
Optimality in parameterized complexity
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Michał Pilipczuk
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
Languages and Learning in General Game Playing
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 7 , Panel: ST1
Principal investigator: dr hab. Jakub Przybyło
AKADEMIA GÓRNICZO-HUTNICZA IM. STANISŁAWA STASZICA W KRAKOWIE, Wydział Matematyki Stosowanej
Foundations of Cryptocurrencies
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki