Projects funded by the NCN

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

The Nature of Intentionality

Call: OPUS 4 , Panel: HS1

Principal investigator: prof. Arkadiusz Chrudzimski

Uniwersytet Szczeciński, Wydział Humanistyczny

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

Evolutionary sources of the cooperative structuring of conversation. The role of nonverbal mechanisms.

Call: SONATA BIS 2 , Panel: HS2

Principal investigator: dr hab. Przemysław Żywiczyński

Uniwersytet Mikołaja Kopernika, Wydział Filologiczny

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

Information-theoretic abductive reasoning for context-based recommendation

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Andrzej Szwabe

Politechnika Poznańska, Wydział Elektryczny

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 Taraday

Uniwersytet Jagielloński, Wydział Filozoficzny

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

Consciousness, Action, Freedom - Descartes' Concept of Human Nature

Call: OPUS 4 , Panel: HS1

Principal investigator: dr hab. Przemysław Gut

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

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

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

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

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

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

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

Neuroethics and Thomas Aquinas. On the Utility of Medieval Philosophy in Contemporary Ethical Debates

Call: OPUS 3 , Panel: HS1

Principal investigator: dr Piotr Lichacz

Instytut Filozofii i Socjologii PAN

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

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

Call: SONATA 3 , Panel: ST6

Principal investigator: dr Bogusław Kluge

Międzynarodowy Instytut Biologii Molekularnej i Komórkowej

Bioindicative evaluation of aquatic plants in a modified riverbed using artificial neural networks

Call: PRELUDIUM 3 , Panel: NZ9

Principal investigator: dr Daniel Gebler

Uniwersytet Przyrodniczy w Poznaniu, Wydział Melioracji i Inżynierii Środowiska

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 Dobrzański

Politechnika Śląska, Wydział Mechaniczny Technologiczny

Evaluation of pharmacological activity of new, nonselective gamma-aminobutyric acid (GABA) transport inhibitors in some ...

Call: OPUS 3 , Panel: NZ7

Principal investigator: dr hab. Kinga Sałat

Uniwersytet Jagielloński - Collegium Medicum, Collegium Medicum, Wydział Farmaceutyczny