Projects funded by the NCN

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

Call: OPUS 4 , Panel: ST6

Principal investigator: dr Marcin Sydow

Instytut Podstaw Informatyki PAN

Detection and Recognition of Nonverbal Indicators of Deception

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Bogdan 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 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 PAN

Methods and algorithms of the quantitative morphometry in the computerized analysis of microscopic images of the cancers...

Call: OPUS 4 , Panel: ST7

Principal investigator: dr hab. Tomasz Markiewicz

Politechnika Warszawska, Wydział Elektryczny

LP rounding approximation algorithms

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Bartosz 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 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 Stankiewicz

Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

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

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ł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Computational complexity of some connectivity problems

Call: SONATA 4 , Panel: ST6

Principal investigator: dr hab. Marcin 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 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 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 PAN

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

Knowledge retrieval from very large geospatial databases

Call: OPUS 4 , Panel: ST6

Principal investigator: dr Jarosław 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 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 Borkowski

Uniwersytet Mikołaja Kopernika, 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ł 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 Kobyliński

Instytut Podstaw Informatyki PAN

Ontology of metaphysics

Call: OPUS 4 , Panel: HS1

Principal investigator: dr hab. Paweł Garbacz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

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

Methods of automatic programming involving semantic approaches

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: dr Tomasz 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 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ł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

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

Call: MAESTRO 3 , Panel: ST6

Principal investigator: prof. Ryszard 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ł Ł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 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 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 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 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 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ł 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