Projects funded by the NCN

Investigation of vaporization and mixing processes during fuel injection at supercritical and flash boiling conditions

Call: OPUS 4 , Panel: ST8

Principal investigator: prof. Andrzej Teodorczyk

POLITECHNIKA WARSZAWSKA, Wydział Mechaniczny Energetyki i Lotnictwa, Instytut Techniki Cieplnej

Recommendation method RMV for partner and service selection in virtual organization breeding environments based on proce...

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: dr Zbigniew Paszkiewicz

Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

LP rounding approximation algorithms

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Bartosz Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ecological quality assessment of Polish lakes based on zooplankton comunity - scientific basis for the new assessment me...

Call: PRELUDIUM 4 , Panel: NZ9

Principal investigator: Agnieszka Ochocka

Instytut Ochrony Środowiska - Państwowy Instytut Badawczy

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

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

Analysis of selected viscous fluid flow problem by the combination of the Homotopy Analysis Methods with the Method of F...

Call: OPUS 4 , Panel: ST8

Principal investigator: prof. Jan Kołodziej

Politechnika Poznańska, Wydział Budowy Maszyn i Zarządzania

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

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

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

Elastic wave propagation in periodic structures

Call: OPUS 4 , Panel: ST8

Principal investigator: prof. Marek Krawczuk

Politechnika Gdańska, Wydział Elektrotechniki i Automatyki

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

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

Aerosol processing by clouds - development of a multifaceted object-oriented numerical simulation framework.

Call: HARMONIA 3 , Panel: ST10

Principal investigator: prof. Hanna Pawłowska

Uniwersytet Warszawski, Wydział Fizyki

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

The application of modern scientific methods and digital image analysis in documentation, investigation and conservation...

Call: SONATA BIS 1 , Panel: HS2

Principal investigator: dr Małgorzata Walczak

Akademia Sztuk Pięknych im. Jana Matejki w Krakowie, Wydział Konserwacji i Restauracji Dzieł Sztuki

Establishment of a novel scientific workshop enabling complex analysis of RNA degradome - elaboration of innovative meth...

Call: SONATA 3 , Panel: NZ2

Principal investigator: dr Paulina Jackowiak

Instytut Chemii Bioorganicznej PAN

Computational methods for identyfiing drug resistance associated mutations in bacterial strains

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: Michał Woźniak

Uniwersytet Warszawski

Hierarchy-type Problems for Automata on Infinite Words and Trees

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Innovative methods of nonlinear stochastic modeling of time series generated by complex systems - application to geophys...

Call: OPUS 3 , Panel: ST10

Principal investigator: prof. Zbigniew Czechowski

Instytut Geofizyki PAN

Business process discovery methods and process calculus for RESTful systems.

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: Andrzej Stroiński

Politechnika Poznańska, Wydział Informatyki

Ramsey numbers containing C_4

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: Janusz Dybizbański

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Static and dynamic finite element analysis of layered structures on elastic nonhomogeneous foundation

Call: OPUS 3 , Panel: ST6

Principal investigator: dr hab. Ryszard Buczkowski

Akademia Morska w Szczecinie, Wydział Inżynieryjno-Ekonomiczny Transportu

Nonlinear methods of noise reduction in color images and video sequences

Call: OPUS 3 , Panel: ST6

Principal investigator: dr hab. Bogdan Smołka

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

Models and methods of computer science in cell biology

Call: OPUS 3 , Panel: ST6

Principal investigator: dr hab. Marta Kasprzak

Politechnika Poznańska, Wydział Informatyki

Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody geometryczne w informatyce kwantowej

Call: FUGA 1 , Panel: ST6

Principal investigator: dr Zbigniew Puchała

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Multi-Physics, Multi-Objective, Multi-Adaptive Strategies for Solving Inverse Problems

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Robert Schaefer

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

The development of effective computational methods for analysis of optical properties of optically turbid media

Call: SONATA 2 , Panel: ST6

Principal investigator: dr Norbert Żołek

Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN

Rule-based query answering method for a relational database with the use of an ontology-based knowledge

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: dr Jarosław Bąk

Politechnika Poznańska, Wydział Elektryczny

Parallel algorithms for creation and simulation three-dimensional vascular network

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Krzysztof Psiuk-Maksymowicz

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

Methodology of semantic models building based on mobile robot's observations

Call: SONATA 2 , Panel: ST6

Principal investigator: dr Janusz Będkowski

Instytut Maszyn Matematycznych

Sudden Cardiac Death risk stratification based on functional assessment of autonomic nervous system with the use of Holt...

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Marek Kamiński

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

Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

New methods for the automatic synthesis and exploration of sequential data

Call: SONATA 2 , Panel: ST6

Principal investigator: dr Radosław Ziembiński

Politechnika Poznańska, Wydział Informatyki

Allocation of tasks in computer networks

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: dr Marcin Krzywkowski

POLITECHNIKA GDAŃSKA

Complex models in scheduling problems and methods of their solution

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Adam Janiak

Instytut Badań Systemowych PAN

New computer architectures and the finite element method

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Krzysztof Banaś

Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Fizyki, Matematyki i Informatyki

Z^2 codes: decidability and verification algorithms, defect effect, asymptotic density, tilings, weak codes

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Włodzimierz Moczurad

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Acceleration and compression of deep neural networks using low-rank approximation methods

Call: PRELUDIUM 22 , Panel: ST6

Principal investigator: Mateusz Gabor

Politechnika Wrocławska

Augmented orientations and effective constructions for Alon-Tarsi method

Call: OPUS 25 , Panel: ST6

Principal investigator: dr hab. Jakub Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki