Projects funded by the NCN

New methods in parametric model checking

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Michał Józef Knapik

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Methods of secure dynamic composition and exploration of VR/AR content and services in distributed environment based on ...

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Krzysztof Walczak

Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

Modeling efficiency, reliability and power consumption of multilevel parallel HPC systems using CPUs and GPUs

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Paweł Czarnul

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

Research on methods used for determination of measurement strategy during digitalization of shape of three dimensional o...

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Maciej Tomasz Karaszewski

Politechnika Warszawska, Wydział Mechatroniki

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

Call: OPUS 4 , Panel: ST6

Principal investigator: dr Marcin Rafał Sydow

Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

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

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

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

Formation of local farmers-breeders societies in the 4th and first half of the 3rd millennium BC - creation and developm...

Call: PRELUDIUM 3 , Panel: HS3

Principal investigator: Ewa Kamila Dreczko

Uniwersytet Wrocławski, Wydział Nauk Historycznych i Pedagogicznych

An Experimental Study of Public Participation in Planning Decision Making Using Web-based Geographic Information System

Call: OPUS 3 , Panel: HS4

Principal investigator: prof. Piotr Jankowski

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

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

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