Projects funded by the NCN

Decision support with use of interactive granular computing

Call: OPUS 3 , Panel: ST6

Principal investigator: dr Marcin Szczuka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Hierarchy-type Problems for Automata on Infinite Words and Trees

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modelling stress-induced transposon activity

Call: HARMONIA 3 , Panel: ST6

Principal investigator: prof. Anna Gambin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Models and algorithms for managing resources of modern computing systems

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Krzysztof Rządca

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Image and multichannel EEG coding using adaptive prediction of polyphase components

Call: SONATA 4 , Panel: ST6

Principal investigator: dr hab. Marek Parfieniuk

Politechnika Białostocka, Wydział Informatyki

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modular operational semantics: a bialgebraic approach

Call: SONATA BIS 2 , Panel: ST6

Principal investigator: dr hab. Bartosz Klin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Iris recognition in different environmental conditions

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: dr Krzysztof Misztal

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

DISQUSS: Diversified Suggestions for Queries on Semi-structured Data Sets

Call: OPUS 4 , Panel: ST6

Principal investigator: dr Marcin Sydow

Instytut Podstaw Informatyki PAN

Autonomous self-adaptive metaheuristic methods in dynamically changing environments

Call: OPUS 4 , Panel: ST6

Principal investigator: prof. Jacek Mańdziuk

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Game theoretical approach to determining a crucial nodes in the networks.

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Piotr Szczepański

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

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

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Witold Rudnicki

Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

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

Frontiers of automatic verification: new methods of analysis of infinite-state systems

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Novel active learning querying strategy for the machine learning models

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Wojciech Czarnecki

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Tractable Game-Theoretic Network Centrality Measures

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Tomasz Michalak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Theoretical aspects of voting protocols

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Filip Zagórski

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

Consistent and scalable learning algorithms for structured output prediction

Call: SONATA 5 , Panel: ST6

Principal investigator: dr Krzysztof Dembczyński

Politechnika Poznańska, Wydział Informatyki

A parallel memetic algorithm for solving complex transportation problems.

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Jakub Nalepa

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

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

Methods for combining one-class classifiers

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Bartosz Krawczyk

Politechnika Wrocławska, Wydział Elektroniki

Graphs within graphs: from well-quasi-orders to algorithms

Call: PRELUDIUM 6 , Panel: ST6

Principal investigator: dr Jean-Florent Raymond

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Online learning of matrices

Call: SONATA 6 , Panel: ST6

Principal investigator: dr Wojciech Kotłowski

Politechnika Poznańska, Wydział Informatyki

Application of ensemble algorithms for data stream mining

Call: PRELUDIUM 6 , Panel: ST6

Principal investigator: dr Lena Pietruczuk

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

Intelligent nonlinear systems with shallow and deep architectures

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Bogdan Wilamowski

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

Minimization of disturbance in quantum walk based algorithms and protocols.

Call: PRELUDIUM 6 , Panel: ST6

Principal investigator: Przemysław Sadowski

Instytut Informatyki Teoretycznej i Stosowanej PAN

Metody wyboru klasyfikatorów jednoklasowych na potrzeby klasyfikacji kombinowanej

Call: ETIUDA 2 , Panel: ST6

Principal investigator: Bartosz Krawczyk

Politechnika Wrocławska, Wydział Elektroniki

Decidability issues for automata on infinite structures

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Damian Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

ARISTOTELES: Methodology and algorithms for Automatic RevISion of onTOlogies in TAsk basEd scEnarioS

Call: SONATA 7 , Panel: ST6

Principal investigator: dr Agnieszka Ławrynowicz

Politechnika Poznańska, Wydział Informatyki

Maximizing informative content of low quality OCT scans for modern computer-aided diagnostic procedures (Project CADOCT)

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Agnieszka Stankiewicz

Politechnika Poznańska, Wydział Informatyki

Heuristic Discovery of Underlying Objectives for Test-based Problems.

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Paweł Liskowski

Politechnika Poznańska, Wydział Informatyki

Methods for real-time object detection and tracking based on 3D map analysis and semi-supervised learning

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

Secure domain signature and anonymous credential schemes for smart cards

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Mirosław Kutyłowski

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

Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Control system of bioprosthetic hand based on advanced analysis of biosignals and feedback from the prosthesis sensors

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Marek Kurzyński

Politechnika Wrocławska, Wydział Elektroniki

Color image retrieval system based on the multichannel analysis of spatial information.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Maria Łuszczkiewicz-Piątek

Uniwersytet Łódzki, Wydział Matematyki i Informatyki

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

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Dominik Ślęzak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Methods of Ontology Alignment Utilizing Semantics and Valuations of Attributes.

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Marcin Pietranik

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

Development and analysis of Random Forest generalisations

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Miron Kursa

Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

Knowledge discovery from relational databases by granular computing

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Piotr Hońko

Politechnika Białostocka, Wydział Informatyki

Automatic hp adaptive algorithms for processing of MRI scan data

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Marcin Sieniek

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

Methods and algorithms for organization of computations in the class of anelastic numerical models for geophysical flows...

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Roman Wyrzykowski

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

New methods for the automatic synthesis and exploration of sequential data

Call: SONATA 2 , Panel: ST6

Principal investigator: dr Radosław Ziembiński

Politechnika Poznańska, Wydział Informatyki

Parallel algorithms for creation and simulation three-dimensional vascular network

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Krzysztof Psiuk-Maksymowicz

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

Rule-based query answering method for a relational database with the use of an ontology-based knowledge

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: dr Jarosław Bąk

Politechnika Poznańska, Wydział Elektryczny

The development of effective computational methods for analysis of optical properties of optically turbid media

Call: SONATA 2 , Panel: ST6

Principal investigator: dr Norbert Żołek

Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN

Multi-Physics, Multi-Objective, Multi-Adaptive Strategies for Solving Inverse Problems

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Robert Schaefer

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

Sparse and discrete representations in latent spaces

Call: SONATA 16 , Panel: ST6

Principal investigator: dr Łukasz Struski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Generative models development for fast simulation in ALICE CERN

Call: PRELUDIUM BIS 2 , Panel: ST6

Principal investigator: prof. Przemysław Rokita

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych