Projects funded by the NCN

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

The BDD/FC Conjecture and beyond

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Discovery of process models and their changes from data supported by domain knowledge and application of developed metho...

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Jan Bazan

Uniwersytet Rzeszowski, Wydział Matematyczno-Przyrodniczy

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

Hybrid model of the early detection of internal diseases based on the paradigm of interacting particles and multi-agent ...

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Łukasz Faber

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

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

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

Optimality in parameterized complexity

Call: SONATA 6 , Panel: ST6

Principal investigator: dr Michał Pilipczuk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Learning classifiers from imbalanced and evolving data

Call: OPUS 6 , Panel: ST6

Principal investigator: dr hab. Jerzy Stefanowski

Politechnika Poznańska, Wydział Informatyki

A novel approach to de novo genome assembly problem based on UCT search strategy (Upper Confidence Bound applied to Tree...

Call: PRELUDIUM 6 , Panel: ST6

Principal investigator: Ewa Matczyńska

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Languages and Learning in General Game Playing

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Jakub Kowalski

Uniwersytet Wrocławski, 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

Foundations of Cryptocurrencies

Call: OPUS 7 , Panel: ST6

Principal investigator: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efficient planar graph algorithms

Call: OPUS 7 , Panel: ST6

Principal investigator: dr hab. Piotr Sankowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Scalable metaheuristics for automated program synthesis

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Krzysztof Krawiec

Politechnika Poznańska, Wydział Informatyki

Methods for design of the camera network topology aimed to re-identification and tracking objects on the basis of behavi...

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Karol Lisowski

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Blind signatures and electronic identity documents

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Lucjan Hanzlik

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Affiliation hiding group signatures

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Kamil Kluczniak

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Metody integracji wieloskalowej informacji biologicznej w sztucznych systemach uczących się

Call: ETIUDA 3 , Panel: ST6

Principal investigator: Julian Zubek

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Efficient Modeling and Optimization Techniques for Solving Computationally Expensive Engineering Design Problems

Call: OPUS 9 , Panel: ST6

Principal investigator: prof. Sławomir Kozieł

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Extraction of low-dimensional latent factors from nonnegatively constrained big data

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Rafał Zdunek

Politechnika Wrocławska

Effective, parallel strategies for finding clusters of approximate solutions to difficult inverse problems

Call: OPUS 9 , Panel: ST6

Principal investigator: prof. Robert Schaefer

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

A new method for the fusion of quantitative and qualitative information using factor graph optimization for the simultan...

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Michał Nowicki

Politechnika Poznańska, Wydział Elektryczny

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

A new approach for effective training of complex inteligent systems

Call: OPUS 9 , Panel: ST6

Principal investigator: prof. Bogdan Wilamowski

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Informatyki Stosowanej

Tractable dialogues in multi-agent systems.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Alina Powała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Tight Lower Bounds Under Strong Complexity Assumptions

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Arkadiusz Socała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modelling of fragmentation of biomolecules induced by electron transfer in mass spectrometry

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Mateusz Łącki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorithmic aspects of synchronization

Call: OPUS 9 , Panel: ST6

Principal investigator: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modeling and management of correlation between performance and energy consumption in parallel computing platforms

Call: SONATA 9 , Panel: ST6

Principal investigator: dr Krzysztof Rojek

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Finding Applications for Logic with Partial Functions

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Jean de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorithmic fundamentals of supply chain networks

Call: SONATA BIS 5 , Panel: ST6

Principal investigator: dr hab. Jarosław Byrka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Methods for supervised and unsupervised classification of metagenomic DNA fragments extracted from various environmental...

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Jolanta Kawulok

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Bioinformatyczne metody modelowania i weryfikacji hipotezy Świata RNA.

Call: ETIUDA 4 , Panel: ST6

Principal investigator: Natalia Szóstak

Politechnika Poznańska, Wydział Informatyki

Approximation algorithms under data uncertainty

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Spread of influence in multilayer networks

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Piotr Bródka

Politechnika Wrocławska

Efficient algorithms for weak forms of non-determinism

Call: SONATA 11 , Panel: ST6

Principal investigator: dr hab. Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Quantitative aspects of computational complexity in lambda calculus

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

A quest for new computer logics

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Throughput maximization problems.

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Development of universal data representation models to improve the quality of machine learning techniqes with an exampla...

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Magdalena Wiercioch

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

The development of machine learning methods for big data quality monitoring and its interactive visualisation in the fra...

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Tomasz Trzciński

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

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

Automatic synthesis of mathematical programming models for business processes

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Tomasz Pawlak

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

Novelty numerical algorithm for solving ordinary fractional order differential equations by applying orthogonal collocat...

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Dariusz Brzeziński

Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

Robust methods of mixed noise reduction in color digital images

Call: OPUS 13 , Panel: ST6

Principal investigator: prof. Bogdan Smołka

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Efficient extreme classification algorithms based on reduction to structured prediction problems

Call: PRELUDIUM 13 , Panel: ST6

Principal investigator: Kalina Kobus

Politechnika Poznańska, Wydział Informatyki