Projects funded by the NCN

A new method for the fusion of quantitative and qualitative information using factor graph optimization for the simultan...

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Michał Nowicki

Politechnika Poznańska, Wydział Elektryczny

Stoping methods in analysis of chosen algorithms

Call: OPUS 9 , Panel: ST6

Principal investigator: prof. Michał Morayne

Politechnika Wrocławska

Development of the multiscale numerical model of nanoindentation test for evaluation of strength properties of nanolayer...

Call: SONATA 9 , Panel: ST8

Principal investigator: dr Konrad Perzyński

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

Effective, parallel strategies for finding clusters of approximate solutions to difficult inverse problems

Call: OPUS 9 , Panel: ST6

Principal investigator: prof. Robert Schaefer

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

Development of Models and Methods for Incorporating Knowledge to Support Vector Machines

Call: SONATA 9 , Panel: ST6

Principal investigator: dr Marcin Orchel

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

An intelligent hybrid system for planning and composition of Web services

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Wojciech Penczek

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

Dynamic properties of voltage source inverters with impedance networks, supplied from low DC voltage, taking into accoun...

Call: PRELUDIUM 9 , Panel: ST7

Principal investigator: Krzysztof Bernacki

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

Efficient Modeling and Optimization Techniques for Solving Computationally Expensive Engineering Design Problems

Call: OPUS 9 , Panel: ST6

Principal investigator: prof. Sławomir Kozieł

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

Metody integracji wieloskalowej informacji biologicznej w sztucznych systemach uczących się

Call: ETIUDA 3 , Panel: ST6

Principal investigator: Julian Zubek

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Methods of Ontology Alignment Utilizing Semantics and Valuations of Attributes.

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Marcin Pietranik

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

New approach to partial coherence single beam phase retrieval techniques

Call: PRELUDIUM 8 , Panel: ST8

Principal investigator: Juan Martinez-Carranza

Politechnika Warszawska, Wydział Mechatroniki

Strategies of teaching for classfiers operating with reaction-diffusion processes.

Call: OPUS 8 , Panel: ST4

Principal investigator: prof. Jerzy Górecki

Instytut Chemii Fizycznej PAN

Blind signatures and electronic identity documents

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Lucjan Hanzlik

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Methods for real-time object detection and tracking based on 3D map analysis and semi-supervised learning

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Bogdan Kwolek

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

Alternating directions parallel solver for isogeometric L2 projection

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Maciej Woźniak

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

Application of the Knowledge Based Systems for controlling of uncertainity in optimization of metal forming

Call: OPUS 8 , Panel: ST8

Principal investigator: dr Łukasz Rauch

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

Methods for design of the camera network topology aimed to re-identification and tracking objects on the basis of behavi...

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Karol Lisowski

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

Evaluation of hemodynamics significance of coronary stenosis by numerical modelling based on virtual cardiac stress test

Call: OPUS 8 , Panel: ST7

Principal investigator: dr hab. Marcin Kostur

Fundacja Rozwoju Kardiochirurgii im. prof. Zbigniewa Religi

Compression, logic, formal langauges: new approaches unifying different areas.

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Selected SMT-based model checking methods

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Agnieszka Zbrzezny

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

Development of the new integrated method for determining the characteristic of the technological strength of porous mate...

Call: OPUS 8 , 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

Weighted automata for quantitative properties

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Reasoning about programs in higher-order languages

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Hybrid method for modeling and optimization of polymerization processes

Call: OPUS 8 , Panel: ST5

Principal investigator: prof. Ryszard Szymański

Centrum Badań Molekularnych i Makromolekularnych Polskiej Akademii Nauk

Development of numerical methods for modeling and estimation of kidney perfusion using magnetic resonance imaging.

Call: OPUS 8 , Panel: ST7

Principal investigator: dr Artur Klepaczko

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

Semantic tensor networks for large data sets analysis

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Piotr Gawron

Instytut Informatyki Teoretycznej i Stosowanej PAN

Methods and tools using functional annotations in genes groups analysis in order to improve quality of clustering and de...

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Aleksandra Gruca

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

jaw

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Bogusław Cyganek

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

New methods of identity verification based on the dynamic features of a signature with use of selected artificial intell...

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Marcin Zalasiński

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Computational collective intelligence methods and their applications

Call: OPUS 1 , Panel: ST6

Principal investigator: dr Dariusz Barbucha

Akademia Morska w Gdyni, Wydział Przedsiębiorczości i Towaroznawstwa

Compositional distributional semantic models for identification, discrimination and disambiguation of senses in Polish t...

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Agnieszka Mykowiecka

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Logics for data analysis and verification

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Research on effect of temperature on calibration quality of structured light 3D scanners.

Call: PRELUDIUM 8 , Panel: ST7

Principal investigator: Marcin Adamczyk

Politechnika Warszawska, Wydział Mechatroniki

Numerical and structural invariants in algebra, logic and constraint satisfaction problems

Call: MAESTRO 6 , Panel: ST6

Principal investigator: prof. Paweł Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

New and efficient methods for the flexible molecular docking of proteins.

Call: MAESTRO 6 , Panel: ST6

Principal investigator: prof. Andrzej Koliński

Uniwersytet Warszawski, Wydział Chemii

Revisiting the approaches for isotope effects prediction in condensed phase

Call: SONATA BIS 4 , Panel: ST4

Principal investigator: dr hab. Agnieszka Dybała-Defratyka

Politechnika Łódzka, Wydział Chemiczny

Communication Problems in Wireless Sensor Networks

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Michał Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraic theory for CSP (tractability, approximation and optimization)

Call: OPUS 7 , Panel: ST6

Principal investigator: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Cryptography without trusted parties

Call: SONATA 7 , Panel: ST6

Principal investigator: dr Tomasz Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Multi-scale modelling of materials on modern computer architectures, based on virtual representations

Call: OPUS 7 , Panel: ST8

Principal investigator: prof. Maciej Pietrzyk

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

Foundations of Cryptocurrencies

Call: OPUS 7 , Panel: ST6

Principal investigator: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Development of machne learning methods with an application of determining of chemical compounds activitiy

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: dr Marek Śmieja

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

From nonuniform disk data to leakage-resilient authentication schemes

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Michał Zając

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Languages and Learning in General Game Playing

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Methods and algorithms of discovering novel phenomena in genomes and transcriptomes with the statistical analysis of nuc...

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Marek Wiewiórka

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Complexity of algorithms on compressed data

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Investigation of the influence of 2D and 3D input microstructures on simulations of recrystallization and grain growth p...

Call: PRELUDIUM 7 , Panel: ST8

Principal investigator: dr Mariusz Jędrychowski

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

Analysis of the selected problems of heat and fluid flow in finned tubes using meshless methods

Call: PRELUDIUM 7 , Panel: ST8

Principal investigator: Jakub Grabski

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