Projects funded by the NCN

Detection and Recognition of Nonverbal Indicators of Deception

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Bogdan Józef Smołka

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

Stochastic characteristics of single-server queues with limited access to the server

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Wojciech Michał Kempa

Politechnika Śląska, Wydział Matematyki Stosowanej

Design and Analysis of Scalable Algorithms for Wireless Networks

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Study of the capabilities and limits of the use of Petri nets for modeling and analysis of complex biological systems on...

Call: OPUS 4 , Panel: ST6

Principal investigator: prof. Piotr Formanowicz

Instytut Chemii Bioorganicznej Polskiej Akademii Nauk

LP rounding approximation algorithms

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Bartosz Michał Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Development of artificial intelligence techniques in advanced control and diagnosis methods in case of the industrial pr...

Call: PRELUDIUM 4 , Panel: ST7

Principal investigator: dr Andrzej Patryk Czajkowski

Uniwersytet Zielonogórski, Wydział Informatyki, Elektrotechniki i Automatyki

Estimation of temporally consistent dtereoscopic depth maps

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: dr Olgierd Jerzy Stankiewicz

Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

Iris recognition in different environmental conditions

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: dr Krzysztof Paweł Misztal

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

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

Eventually consistent replication: Algorithms and methods

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Paweł Tomasz Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Computational complexity of some connectivity problems

Call: SONATA 4 , Panel: ST6

Principal investigator: dr hab. Marcin Jakub Kamiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Adaptive and isogeometric parallel strategies for efficient accurate solution of difficult non-stationary problems

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Maciej Paszyński

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

Accurate and approximate algorithms for large-scale stochastic simulation

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Anna Wawrzyńczak-Szaban

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

Models, languages and systems for reliable and scalable distributed computing

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Jacek Andrzej Sroka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

A new notion of finiteness in computation theory

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Privacy aspects of selected complex systems.

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Piotr Syga

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

Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Łukasz Tadeusz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

The rejection issue in pattern recognition: concepts, methods, analyses

Call: OPUS 4 , Panel: ST6

Principal investigator: prof. Witold Pedrycz

Instytut Badań Systemowych Polskiej Akademii Nauk

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

New data intensive algorithms and structures for GPU processors.

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Krzysztof Kaczmarski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

The dynamic analysis of intelligent, electromechanical drive systems of machines and vehicles

Call: PRELUDIUM 4 , Panel: ST8

Principal investigator: Maciej Michajłow

Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk

Memory background of fluid intelligence: the role of information maintenance in primary memory and resistance to interfe...

Call: PRELUDIUM 4 , Panel: HS6

Principal investigator: Maciej Marcin Taraday

Uniwersytet Jagielloński, Wydział Filozoficzny

Knowledge retrieval from very large geospatial databases

Call: OPUS 4 , Panel: ST6

Principal investigator: dr Jarosław Daniel Jasiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

parameters of finite models

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Application of backward stochastic differential equations to reconstruction of digital images

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Dariusz Piotr Borkowski

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

Tools, algorithms and models in the study of common evolution of species, genes and proteins

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Paweł Piotr Górecki

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

Automatic detection and correction of annotation errors in Polish language corpora

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: dr Łukasz Maciej Kobyliński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Models and algorithms for managing resources of modern computing systems

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Krzysztof Michał Rządca

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Methods of automatic programming involving semantic approaches

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: dr Tomasz Paweł Pawlak

Politechnika Poznańska, Wydział Informatyki

GROSHEC - Toward processor for rough set methods

Call: OPUS 4 , Panel: ST6

Principal investigator: prof. Jarosław Stepaniuk

Politechnika Białostocka, Wydział Informatyki

Distributed Computing in Dynamic Networks

Call: HARMONIA 3 , Panel: ST6

Principal investigator: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modelling stress-induced transposon activity

Call: HARMONIA 3 , Panel: ST6

Principal investigator: prof. Anna Barbara Gambin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Concurrency control and fault tolerance for distributed software transactional memory

Call: HARMONIA 3 , Panel: ST6

Principal investigator: dr hab. Paweł Tomasz Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Automated, high-throughput modeling of RNA three-dimensional structures

Call: MAESTRO 3 , Panel: ST6

Principal investigator: prof. Ryszard Walenty Adamiak

Politechnika Poznańska, Wydział Informatyki

Intelligent management system for mobile telecomunication networks; development and implementation of classifiers ensemb...

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: Rafał Tomasz Łysiak

Politechnika Wrocławska, Wydział Elektroniki

Theoretical fundamentals of automation of design processes of machine elements and assemblies using artificial intellige...

Call: OPUS 3 , Panel: ST8

Principal investigator: prof. Wojciech Kacalak

Politechnika Koszalińska, Wydział Mechaniczny

Automated recognition of opinion targets and expressions in Polish texts

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Aleksander Marek Wawer

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Simulation and bisimulation for context-free and pushdown systems

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Theoretical and practical homology computation for big data sets.

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Mateusz Grzegorz Juda

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

The intelligent UBMSS class systems supporting the enterprise management processes

Call: OPUS 3 , Panel: HS4

Principal investigator: dr Lidia Dominika Ogiela

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania

Recommending virtual teams for complex tasks requiring open collaboration

Call: OPUS 3 , Panel: ST6

Principal investigator: dr hab. Adam Wierzbicki

Polsko-Japońska Akademia Technik Komputerowych

The rough set theory in a hybrid decision systems for cases of interval and incomplete input data

Call: OPUS 3 , Panel: ST6

Principal investigator: dr hab. Robert Konrad Nowicki

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

Mathematical and computational models of cell cycle regulation and spatial paracrine regulation in biological cells, imp...

Call: OPUS 3 , Panel: ST6

Principal investigator: dr hab. Krzysztof Andrzej Fujarewicz

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

Computational methods for identyfiing drug resistance associated mutations in bacterial strains

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: Michał Jan Woźniak

Uniwersytet Warszawski

New methods to create accurate, nonlinear, interpretable and suitable for operation in real-time models of dynamic syste...

Call: OPUS 3 , Panel: ST7

Principal investigator: dr hab. Krzysztof Cpałka

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

Identification of post-transcriptional modifications in RNA sequences through mass spectrometry

Call: SONATA 3 , Panel: ST6

Principal investigator: dr Bogusław Aleksander Kluge

Międzynarodowy Instytut Biologii Molekularnej i Komórkowej w Warszawie

Structural foundation of counteracting cracking by increase of the cold plastic strain energy margin of the newly develo...

Call: OPUS 3 , Panel: ST8

Principal investigator: prof. Leszek Adam Dobrzański

Politechnika Śląska, Wydział Mechaniczny Technologiczny