Projects funded by the NCN

Prospective memory in childhood - automatic versus strategic processes

Call: PRELUDIUM 9 , Panel: HS6

Principal investigator: Elżbieta Ślusarczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Multidimensional (nD) systems applications to the analysis and control of temporal and spatially-temporal dynamical syst...

Call: OPUS 9 , Panel: ST7

Principal investigator: prof. Krzysztof Gałkowski

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

Methods and algorithms for automatic calibration and offset cancellation in fiber-optic distribution of atomic timescale...

Call: OPUS 9 , Panel: ST7

Principal investigator: dr hab. Przemysław Krehlik

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

Adaptive neuro-control of the electrical drives with elastic couplings

Call: OPUS 1 , Panel: ST7

Principal investigator: prof. Teresa Orłowska-Kowalska

Politechnika Wrocławska, Wydział Elektryczny

Novel 5 level cascaded converter with predictive controller powered from a single dc source.

Call: PRELUDIUM 8 , Panel: ST7

Principal investigator: Paweł Wiatr

Instytut Elektrotechniki

Faults diagnosis of transistors in a vector controlled rectifier utilized in an induction motor drive.

Call: PRELUDIUM 8 , Panel: ST7

Principal investigator: dr Piotr Sobański

Politechnika Wrocławska, Wydział Elektryczny

Weighted automata for quantitative properties

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Artificial neural networks for robust fault diagnosis and control of non-linear systems.

Call: PRELUDIUM 8 , Panel: ST7

Principal investigator: dr Marcel Luzar

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

Using cellular automata to model leadership in organization

Call: OPUS 8 , Panel: HS4

Principal investigator: dr hab. Agnieszka Kowalska-Styczeń

Politechnika Śląska, Wydział Organizacji i Zarządzania

Scalable metaheuristics for automated program synthesis

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Krzysztof Krawiec

Politechnika Poznańska, Wydział Informatyki

Application of generative and discriminative machine-learning models to automated grammatical error correction

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Roman Grundkiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Construction of multi-state DNA computer working with more than one restriction enzymes

Call: OPUS 1 , Panel: NZ2

Principal investigator: dr hab. Tomasz Popławski

Uniwersytet Łódzki, Wydział Biologii i Ochrony Środowiska

Modeling of fractional variable order systems with altering in time method of changing order

Call: OPUS 8 , Panel: ST7

Principal investigator: dr hab. Dominik Sierociuk

Politechnika Warszawska, Wydział Elektryczny

Improving control performance through learning over repetitions

Call: OPUS 8 , Panel: ST7

Principal investigator: dr hab. Wojciech Paszke

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

Development and validation of concurent random cellular automata - finite element (RCAFE) model with virtual microstruct...

Call: SONATA BIS 4 , Panel: ST8

Principal investigator: dr hab. Łukasz Madej

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

Automatic analysis of phonetic convergence in speech technology systems

Call: HARMONIA 6 , Panel: HS2

Principal investigator: prof. Grażyna Demenko

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Neofilologii

ARISTOTELES: Methodology and algorithms for Automatic RevISion of onTOlogies in TAsk basEd scEnarioS

Call: SONATA 7 , Panel: ST6

Principal investigator: dr Agnieszka Ławrynowicz

Politechnika Poznańska, Wydział Informatyki

Descriptor nonlinear and linear systems of fractional orders

Call: OPUS 7 , Panel: ST7

Principal investigator: prof. Tadeusz Kaczorek

Politechnika Białostocka, Wydział Elektryczny

Decidability issues for automata on infinite structures

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Damian Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Development of algorithms for 3D buildings modeling using point clouds from dense image matching.

Call: PRELUDIUM 7 , Panel: ST10

Principal investigator: Małgorzata Jarząbek-Rychard

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

Development of three-dimensional model and software based on frontal cellular automata for modeling microstructure evolu...

Call: PRELUDIUM 1 , Panel: ST8

Principal investigator: dr Łukasz Łach

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

Automatic classification of variable stars with hierarchical machine learning

Call: PRELUDIUM 7 , Panel: ST9

Principal investigator: Michał Pawlak

Uniwersytet Warszawski, Wydział Fizyki

Efficient algorithms and representations in formal languages and automata theory.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Hybrid fault-tolerant control for non-linear systems with analytical and soft computing methods.

Call: OPUS 6 , Panel: ST7

Principal investigator: prof. Józef Korbicz

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

Modeling of consumer behavior dynamics in oligopoly markets by cellular automata

Call: OPUS 1 , Panel: HS4

Principal investigator: dr Agnieszka Kowalska-Styczeń

Politechnika Śląska, Wydział Organizacji i Zarządzania

Decision making in the control of flows in global supply chains of high-tech products.

Call: OPUS 6 , Panel: ST8

Principal investigator: prof. Tadeusz Sawik

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

Multi-scale model of tumor dynamics as a key component of the system for optimal anti-cancer therapy

Call: HARMONIA 5 , Panel: ST6

Principal investigator: prof. Witold Dzwinel

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

Development and implementation of model checking methods for real-time and multi-agent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bożena Woźna-Szcześniak

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Design and application of noniteger order subsystems in control systems

Call: SONATA 5 , Panel: ST7

Principal investigator: dr Jerzy Baranowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Generation of non-linear dynamic compact thermal models of electronic systems and semiconductor devices based on knowled...

Call: PRELUDIUM 5 , Panel: ST7

Principal investigator: Tomasz Torzewicz

Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

Control, estimation and diagnostic algorithms for electrical drives with multiphase induction motors and voltage inverte...

Call: OPUS 5 , Panel: ST7

Principal investigator: dr hab. Jarosław Guziński

Politechnika Gdańska, Wydział Elektrotechniki i Automatyki

Development of a tool for automatic evaluation of complexes of ligands with serotonin receptors based on the application...

Call: PRELUDIUM 5 , Panel: NZ2

Principal investigator: Sabina Podlewska

Instytut Farmakologii PAN

Development of the mathematical model for the phase transformation research of the peritectic systems on the base of cel...

Call: OPUS 1 , Panel: ST8

Principal investigator: dr hab. Andriy Burbelko

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

Frontiers of automatic verification: new methods of analysis of infinite-state systems

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automated information systems of case-law. Model analysis

Call: PRELUDIUM 1 , Panel: HS2

Principal investigator: dr Honorata Zarębska

Uniwersytet Śląski w Katowicach, Wydział Filologiczny

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

Synchronization of automata and the Cerny conjecture

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Advancement of Jacobian robot motion planning algorithms

Call: OPUS 5 , Panel: ST7

Principal investigator: prof. Krzysztof Tchoń

Politechnika Wrocławska, Wydział Elektroniki

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 Karaszewski

Politechnika Warszawska, Wydział Mechatroniki

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

Call: OPUS 4 , Panel: ST6

Principal investigator: dr Marcin Sydow

Instytut Podstaw Informatyki PAN

Active reduction of device acoustic noise by controlling vibration of the device casing

Call: OPUS 4 , Panel: ST7

Principal investigator: prof. Marek Pawełczyk

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

Synthesis of adaptive control methods for an underactuated dynamically stable mobile robot (ballbot type)

Call: PRELUDIUM 4 , Panel: ST7

Principal investigator: Łukasz Wiśniewski

Centrum Badań Kosmicznych PAN

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

Fixed-points methods in controllability of nonlinear systems.

Call: OPUS 4 , Panel: ST7

Principal investigator: prof. Jerzy Klamka

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

Problems in algebraic combinatorics concerning permutation groups and transformation semigroups

Call: OPUS 4 , Panel: ST1

Principal investigator: prof. Andrzej Kisielewicz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorithms for process control using computer vision systems

Call: OPUS 4 , Panel: ST7

Principal investigator: prof. Ewaryst Rafajłowicz

Politechnika Wrocławska, Wydział Elektroniki

Characteristic exponents of discrete linear inclusions.

Call: PRELUDIUM 4 , Panel: ST7

Principal investigator: dr Michał Niezabitowski

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

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Novel model predictive control algorithm with sensorless flux and speed estimator of induction machine.

Call: PRELUDIUM 4 , Panel: ST7

Principal investigator: Dariusz Stando

Instytut Elektrotechniki

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki