Projects funded by the NCN

Grammatical inference methods in classification of amyloidogenic proteins

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Olgierd Unold

Politechnika Wrocławska

Efficient similarity search in high dimensional spaces

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Karol Węgrzycki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorithms for multiple alignment of genomes. Sequence alignment in a context of phylogenetic reconstruction.

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Adam Gudyś

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

Reputation and trust building in computer communication systems under virtual anonymity and blind service provider selec...

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Jerzy Konorski

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

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

Algorithmic and Axiomatic Analysis of Committee Scoring Rules

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Piotr Faliszewski

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

Limits of Databases

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Szymon Toruńczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Identification of mathematical model coefficients of bound water diffusion in wood

Call: HARMONIA 1 , Panel: NZ9

Principal investigator: prof. Wiesław Olek

Uniwersytet Przyrodniczy w Poznaniu, Wydział Technologii Drewna

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

Comparative research on commonality in liquidity on the Central and Eastern European stock markets

Call: OPUS 11 , Panel: HS4

Principal investigator: dr hab. Joanna Olbryś

Politechnika Białostocka, Wydział Informatyki

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Throughput maximization problems.

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

A quest for new computer logics

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Multilevel algorithms for complex system identification

Call: OPUS 11 , Panel: ST7

Principal investigator: dr hab. Grzegorz Mzyk

Politechnika Wrocławska

Quantitative aspects of computational complexity in lambda calculus

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

New algorithms for estimating clonal structures and for modeling heterogenous evolution for applications in cancer genom...

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Andrzej Polański

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

Efficient algorithms for weak forms of non-determinism

Call: SONATA 11 , Panel: ST6

Principal investigator: dr hab. Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

The topology of solution spaces of combinatorial problems

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Marcin Wrochna

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Control algorithmization for state- and input-constrained driftless nonholonomic systems in the context of complex motio...

Call: OPUS 11 , Panel: ST7

Principal investigator: dr hab. Maciej Michałek

Politechnika Poznańska, Wydział Informatyki

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

Effective parallel algorithms for solving partial differential equations

Call: OPUS 11 , Panel: ST1

Principal investigator: dr hab. Leszek Marcinkowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modeling and optimization of space division multiplexing (SDM) elastic optical networks

Call: OPUS 11 , Panel: ST7

Principal investigator: dr hab. Mirosław Klinkowski

Instytut Łączności - Państwowy Instytut Badawczy

Random greedy algorithms for hypergraph coloring.

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Jakub Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Approximation algorithms under data uncertainty

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Developing of effective mechanisms for robot perception using motivated learning and self-organizing associative memory

Call: OPUS 11 , Panel: ST7

Principal investigator: prof. Janusz Starzyk

Wyższa Szkoła Informatyki i Zarządzania z siedzibą w Rzeszowie, Wydział Informatyki Stosowanej

Algebraic invariants of Data Petri Nets.

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Soft computing algorithms for adaptive vibration control

Call: SONATA 11 , Panel: ST8

Principal investigator: dr Ziemowit Dworakowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Mechanicznej i Robotyki

Models, methods and algorithms of computational network science

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Przemysław Kazienko

Politechnika Wrocławska

Anticipating human motion intention in human-robot interaction for elderly and autistic children.

Call: PRELUDIUM 11 , Panel: ST7

Principal investigator: Vibekananda Dutta

Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

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

Metody fuzji danych ilościowych i jakościowych wykorzystujące optymalizację grafu ograniczeń w problemie jednoczesnej sa...

Call: ETIUDA 4 , Panel: ST7

Principal investigator: Michał Nowicki

Politechnika Poznańska, Wydział Elektryczny

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

METHODOLOGY OF ROBOT CONTROL SYSTEMS SPECIFICATION UTILIZING THE ACTIVE VISION PARADIGM FOR OBJECTS IDENTIFICATION

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: Tomasz Kornuta

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

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

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

Research on fusion of tensor and soft computing methods for pattern recognition.

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bogusław Cyganek

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

Developing new strategies of dynamic controlling the number of evolving subpopulations in co-evolutionary optimization

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Michał Przewoźniczek

Politechnika Wrocławska

Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

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

Computational Analysis of Applied Weighted Voting Games

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Oskar Skibski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Methods for supervised and unsupervised classification of metagenomic DNA fragments extracted from various environmental...

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Jolanta Kawulok

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

Memetic algorithms for the excited ligand diffusion in condensed biological matter

Call: PRELUDIUM 10 , Panel: ST3

Principal investigator: Jakub Rydzewski

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Algorithmic Structure Theory for Sparse Graphs

Call: POLONEZ 1 , Panel: ST6

Principal investigator: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Multimodal perception system for compliant ground negotiation with a six-legged walking robot.

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: dr Krzysztof Walas

Politechnika Poznańska, Wydział Elektryczny

Advanced methods for optimization of optical networks with spatial flexibility

Call: OPUS 10 , Panel: ST7

Principal investigator: dr hab. Krzysztof Walkowiak

Politechnika Wrocławska, Wydział Elektroniki

Column generation technique for optimization problem in survivable elastic optical networks

Call: PRELUDIUM 10 , Panel: ST6

Principal investigator: Róża Goścień

Politechnika Wrocławska, Wydział Elektroniki

Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

Call: SONATA BIS 5 , Panel: ST6

Principal investigator: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algorithmic fundamentals of supply chain networks

Call: SONATA BIS 5 , Panel: ST6

Principal investigator: dr hab. Jarosław Byrka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Hiding in Social Networks

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: dr Marcin Waniek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Finding Applications for Logic with Partial Functions

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Jean de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki