Projects funded by the NCN

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

New directions in multiple criteria decision aiding based on holistic preference information

Call: SONATA 6 , Panel: ST6

Principal investigator: dr Miłosz Kadziński

Politechnika Poznańska, Wydział Informatyki

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

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Charged-Particle Recombination in Ionized Systems

Call: OPUS 5 , Panel: ST4

Principal investigator: dr hab. Mariusz Janusz Wójcik

Politechnika Łódzka, Wydział Chemiczny

Application of the theory of measure concentration in description of statistical properties of quantum systems

Call: PRELUDIUM 5 , Panel: ST1

Principal investigator: dr Michał Oszmaniec

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

Singular solutions of chemotaxis equations and hydro- and aerodynamics.

Call: SONATA 5 , Panel: ST1

Principal investigator: dr hab. Tomasz Cieślak

Instytut Matematyczny Polskiej Akademii Nauk

New methods of comprehensive analysis of concurrent computing systems

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Łukasz Mikulski

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Matematyki i Informatyki

Dynamic Networks Algorythmics

Call: OPUS 5 , Panel: ST6

Principal investigator: prof. Jacek Bronisław Cichoń

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

Methods for combining one-class classifiers

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Bartosz Marcin 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

Algorithm engineering for full-text indexes

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Szymon Piotr Grabowski

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

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

A parallel memetic algorithm for solving complex transportation problems.

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Jakub Robert Nalepa

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

Mathematical properties of solutions to model of bacterial colony formation

Call: PRELUDIUM 5 , Panel: ST1

Principal investigator: dr Rafał Celiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

New simultaneous localization and mapping method with RGB-D data for precise visual navigation of autonomous robots in c...

Call: OPUS 5 , Panel: ST7

Principal investigator: dr hab. Piotr Skrzypczyński

Politechnika Poznańska, Wydział Elektryczny

Application of differential Galois theory to integrability studies of nonlinear dynamical systems

Call: OPUS 5 , Panel: ST1

Principal investigator: dr hab. Maria Przybylska

Uniwersytet Zielonogórski, Wydział Fizyki i Astronomii

Consistent and scalable learning algorithms for structured output prediction

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Krzysztof Jerzy Dembczyński

Politechnika Poznańska, Wydział Informatyki

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

Statistical foundations in detection of modular structures in complex networks

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Jeremi Kazimierz Ochab

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

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

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

Tractable Game-Theoretic Network Centrality Measures

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Tomasz Paweł Michalak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Geometry of solutions to elliptic PDEs and systems of elliptic PDEs.

Call: SONATA 5 , Panel: ST1

Principal investigator: dr Tomasz Adamowicz

Instytut Matematyczny Polskiej Akademii Nauk

Novel Methods of Multimedia Content Distribution in the Next Generation Cellular Networks

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Arkadiusz Bogdan Biernacki

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

Novel active learning querying strategy for the machine learning models

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Wojciech Marian Czarnecki

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Frontiers of tractability for recursive queries

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analysis of partial differential equations with scaling parameter

Call: SONATA 5 , Panel: ST1

Principal investigator: dr Aneta Wróblewska-Kamińska

Instytut Matematyczny Polskiej Akademii Nauk

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

Machine learning methods for complex networks

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Przemysław Ryszard Kazienko

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Resource management in selfish and cooperative distributed systems

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Piotr Krzysztof Skowron

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Advanced techniques for three-dimensional mesh morphing based on structural mechanics techniques for parametric studies ...

Call: OPUS 5 , Panel: ST7

Principal investigator: dr Adam Mikołaj Lamęcki

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

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

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

Online algorithms for fundamental network problems

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Marcin Bieńkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Gaze-dependent image synthesis

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Radosław Mantiuk

Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki

Algorithms for robust discrete optimization

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Adam Andrzej Kasperski

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Inhomogeneous work hardening in multiphase and precipitation strengthened materials.

Call: PRELUDIUM 5 , Panel: ST8

Principal investigator: Paulina Justyna Lisiecka- Graca

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

Singularities and asymptotic profiles in nonlocal models

Call: OPUS 5 , Panel: ST1

Principal investigator: prof. Grzegorz Karch

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

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

Compression and data mining algorithms for genomic data and their implications for comparative genomics

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Andrzej Polański

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

The memory center

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Przemysław Ernest Spurek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Interactive Visual Text Analytics (IVTA): Development of novel user-driven text mining and visualization methods for lar...

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

Research on properties of alliances and secure sets seen as a subset of vertices which satisfies a certain conditions.

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Katarzyna Jesse-Józefczyk

Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

Development of algorithms for all relevant feature selevtion using machine learning methods

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Witold Remigiusz Rudnicki

Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

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

Evolutionary algorithm in global induction of model trees

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Marcin Czajkowski

Politechnika Białostocka, Wydział Informatyki

Compound data stream classification methods based on unsupervised and active learning

Call: OPUS 5 , Panel: ST6

Principal investigator: prof. Michał Wojciech Woźniak

Politechnika Wrocławska, Wydział Elektroniki

Selected Aspects of Scalability of Methods of Data Mining and Knowledge Discovery in Databases

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Dominik Antoni Ślęzak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki