Projects funded by the NCN

Random greedy algorithms for hypergraph coloring.

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Jakub Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Approximation algorithms under data uncertainty

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Additional information in data clustering and related areas

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Marek Śmieja

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Perception Based Computing

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Piotr Wasilewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Fast isogeometric finite element method solver as a key component in supermodeling of cancer proliferation

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Maciej Paszyński

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

Algebraic invariants of Data Petri Nets.

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Models, methods and algorithms of computational network science

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Przemysław Kazienko

Politechnika Wrocławska

Application of Hesitant Fuzzy Sets to classification of uncertain data

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: dr Patryk Żywica

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Semantyczne modelowanie kontekstowych środowisk wzbogaconej rzeczywistości.

Call: ETIUDA 4 , Panel: ST6

Principal investigator: Dariusz Rumiński

Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

Research on fusion of tensor and soft computing methods for pattern recognition.

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bogusław Cyganek

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

Bioinformatyczne metody modelowania i weryfikacji hipotezy Świata RNA.

Call: ETIUDA 4 , Panel: ST6

Principal investigator: Natalia Szóstak

Politechnika Poznańska, Wydział Informatyki

Algorithms And Methods For Next-Generation Crowdsourcing Platforms

Call: OPUS 10 , Panel: ST6

Principal investigator: dr hab. Adam Wierzbicki

Polsko-Japońska Akademia Technik Komputerowych, Wydział Informatyki

Graph separation problems from the perspective of parameterized complexity.

Call: PRELUDIUM 10 , Panel: ST6

Principal investigator: Paweł Komosa

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

Multiscale modeling of ceramide induced nerve cells apoptosis

Call: PRELUDIUM 10 , Panel: ST6

Principal investigator: Weronika Wronowska

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 Dunin-Kęplicz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Developing new strategies of dynamic controlling the number of evolving subpopulations in co-evolutionary optimization

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Michał Przewoźniczek

Politechnika Wrocławska

Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Computational Genomics: Problems, Algorithms and Models

Call: OPUS 10 , Panel: ST6

Principal investigator: dr hab. Paweł Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Computational Analysis of Applied Weighted Voting Games

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Oskar Skibski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.

Call: OPUS 10 , Panel: ST6

Principal investigator: dr hab. Michał Baczyński

Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

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

Clustering algorithm, which use generalized Gaussian distribution and non-normal distributions

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Przemysław Spurek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Classification methods of imbalance data for multi-class classsification task

Call: OPUS 10 , Panel: ST6

Principal investigator: prof. Michał Woźniak

Politechnika Wrocławska, Wydział Elektroniki

Algorithmic Structure Theory for Sparse Graphs

Call: POLONEZ 1 , Panel: ST6

Principal investigator: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Inferring genomic duplication events.

Call: PRELUDIUM 10 , Panel: ST6

Principal investigator: Jarosław Paszek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Detectors and descriptors of the key points based on the topological information

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Bartosz Zieliński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Theory of incomplete data analysis

Call: OPUS 10 , Panel: ST6

Principal investigator: prof. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Programming Methods for Distributed Reconfigurable Systems.

Call: PRELUDIUM 10 , Panel: ST6

Principal investigator: Joanna Kupis

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

Bioinformatics tools for automated detection of tumor and its heterogeneity based on cancer metabolome profiling with im...

Call: OPUS 10 , Panel: ST6

Principal investigator: prof. Joanna Polańska

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

Column generation technique for optimization problem in survivable elastic optical networks

Call: PRELUDIUM 10 , Panel: ST6

Principal investigator: Róża Goścień

Politechnika Wrocławska, Wydział Elektroniki

Reverse engineering of interacting signals in complex networks

Call: OPUS 10 , Panel: ST6

Principal investigator: prof. Janusz Hołyst

Politechnika Warszawska, Wydział Fizyki

Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

Call: SONATA BIS 5 , Panel: ST6

Principal investigator: dr Piotr Micek

Uniwersytet Jagielloński, 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

Substructural Connectivity Fingerprint and Extreme Entropy Machines: A New Method of Compound Representation and Analysi...

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Krzysztof Rataj

Instytut Farmakologii PAN

Hiding in Social Networks

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: dr Marcin Waniek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Immune and efficient protocols for distributed systems of constrained devices

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Marek Klonowski

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

Formal linguistics for proteomics - modeling, analysis and hypotheses testing

Call: SONATA 9 , Panel: ST6

Principal investigator: dr Witold Dyrka

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

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

Algorithmic aspects of synchronization

Call: OPUS 9 , Panel: ST6

Principal investigator: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Compression and analysis of genomic data

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Sebastian Deorowicz

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

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

Tight Lower Bounds Under Strong Complexity Assumptions

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Arkadiusz Socała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Searching graph structures

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Dariusz Dereniowski

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

Energy-aware computer system for HPC computing

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Ewa Niewiadomska-Szynkiewicz

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Pseudoentropy.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Maciej Skórski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Application of modern algorithmic methods for solving NP-hard clustering problems.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Michał Wrona

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

Tractable dialogues in multi-agent systems.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Alina Powała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki