Projects funded by the NCN

Mathematical modelling of processes which neutralize reactive oxygen species in different types of cells

Call: PRELUDIUM 18 , Panel: ST6

Principal investigator: Sylwia Ciesielska

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

Super-scalable urban traffic simulation

Call: PRELUDIUM BIS 1 , Panel: ST6

Principal investigator: dr hab. Wojciech Turek

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

Multiobjective Classifier Learning for Chosen Decision Tasks

Call: OPUS 18 , Panel: ST6

Principal investigator: prof. Michał Woźniak

Politechnika Wrocławska

Multiwinner Election Rules: Beyond Scoring Protocols

Call: OPUS 18 , Panel: ST6

Principal investigator: dr Piotr Skowron

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Parallelization of metaheuristics with desynchronization

Call: PRELUDIUM BIS 1 , Panel: ST6

Principal investigator: dr hab. Marek Kisiel-Dorohinicki

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

Combination of Molecular Simulation and Deep Learning for De Novo Drug Design

Call: PRELUDIUM 19 , Panel: ST6

Principal investigator: Tomasz Danel

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Machine learning, bio-modeling and medical image processing in prediction of metastases in lung cancer

Call: OPUS 19 , Panel: ST6

Principal investigator: prof. Andrzej Świerniak

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

Space-efficient encodings of combinatorial problems for variational quantum computing

Call: PRELUDIUM 19 , Panel: ST6

Principal investigator: Adam Glos

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

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

p { margin-bottom: 0.08in; }Scale-freeness and the small world phenomenon in information-flow graphs of geometrically em...

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: dr Jarosław Piersa

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Intelligent tasks scheduling computer system under interval uncertainty

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Marcin Siepak

POLITECHNIKA WROCŁAWSKA, Wydział Informatyki i Zarządzania

Generalisation of the entropy and entropy dimension and their applications

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

An intelligent hybrid system for planning and composition of Web services

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Wojciech Penczek

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

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

Programming Methods for Distributed Reconfigurable Systems.

Call: PRELUDIUM 10 , Panel: ST6

Principal investigator: Joanna Kupis

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

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

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

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

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

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

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

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

Algorithms for computer based analysis of laryngovideostroboscopic images for supporting the objective diagnosis of diso...

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Bartosz Kopczyński

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

Computational method of rhetorical analysis for textual data using graphs

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Lukasz Augustyniak

Politechnika Wrocławska

Resource management for scientific applications on highly-elastic cloud infrastructures

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Maciej Malawski

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

Credibility of Horizontal Gene Transfer Models

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Agnieszka Mykowiecka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Development of methods and algorithms for abnormal event detection for underwater object recognition and scene analysis

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Bogusław Cyganek

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

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Online learning algorithms for complex prediction problems

Call: SONATA BIS 6 , Panel: ST6

Principal investigator: dr Wojciech Kotłowski

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Development of bioinformatics models to analyze 3D RNA structures in torsion angle space

Call: PRELUDIUM 12 , Panel: ST6

Principal investigator: Tomasz Żok

Politechnika Poznańska, Wydział Informatyki

Strategic Social Network Analysis

Call: OPUS 12 , Panel: ST6

Principal investigator: dr Tomasz Michalak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

One Step From the Relational Model. A Couple of Database Theory Puzzles.

Call: OPUS 12 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Deep evolvable support vector machine architectures

Call: OPUS 13 , Panel: ST6

Principal investigator: dr hab. Michał Kawulok

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

Portable parallel programing for multi-/manycore architectures and self adaptable applications

Call: SONATA 13 , Panel: ST6

Principal investigator: dr hab. Łukasz Szustak

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

Methods of managing the evolution of ontologies and their alignments.

Call: SONATA 13 , Panel: ST6

Principal investigator: dr Marcin Pietranik

Politechnika Wrocławska

Robust optimization algorithms for problems with uncertain data

Call: SONATA 13 , Panel: ST6

Principal investigator: dr Maciej Drwal

Politechnika Wrocławska

Deep learning for long sequential data representation

Call: PRELUDIUM 14 , Panel: ST6

Principal investigator: dr Konrad Żołna

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Quantitative specifications: learning, algorithms and applications

Call: OPUS 14 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Process-aware Analytics Support based on Conceptual Models for Event Logs

Call: UNISONO , Panel: ST6

Principal investigator: prof. Grzegorz Nalepa

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Call: ETIUDA 6 , Panel: ST6

Principal investigator: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

The Use of Big Data Analytics for Process Modelling in Smart Logistics Operations

Call: UNISONO , Panel: ST6

Principal investigator: dr Paweł Karczmarek

Politechnika Lubelska, Wydział Elektrotechniki i Informatyki

Algorithmic challenges of mass spectrometry.

Call: OPUS 15 , Panel: ST6

Principal investigator: prof. Anna Gambin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Medical image registration methods focused on the problem of missing data

Call: PRELUDIUM 15 , Panel: ST6

Principal investigator: Marek Wodziński

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Conflicts with multiple battlefields and discrete resources

Call: OPUS 15 , Panel: ST6

Principal investigator: dr hab. Marcin Dziubiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automated Discovery and Exploitation of Domain Knowledge for Prioritizing Search in the Problem of Automatic Program Syn...

Call: PRELUDIUM 15 , Panel: ST6

Principal investigator: Iwo Błądek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Machine learning and automatic theorem proving

Call: OPUS 15 , Panel: ST6

Principal investigator: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Computational collective intelligence methods and their applications

Call: OPUS 1 , Panel: ST6

Principal investigator: dr Dariusz Barbucha

Akademia Morska w Gdyni, Wydział Przedsiębiorczości i Towaroznawstwa

New methods of identity verification based on the dynamic features of a signature with use of selected artificial intell...

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Marcin Zalasiński

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

Efficient parsing algorithms for free word order languages

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Paweł Skórzewski

Uniwersytet im. Adama Mickiewicza, Wydział Matematyki i Informatyki

Development of methodology for multiscale computing on heterogeneous hardware architectures

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Łukasz Rauch

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