Projekty finansowane przez NCN

Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

Konkurs: OPUS 28 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Nowe problemy i algorytmy dla eksploracji modeli programowania matematycznego (MathProM)

Konkurs: SONATA BIS 13 , panel: ST6

Kierownik: dr hab. Tomasz Paweł Pawlak

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Nowy model bio-mechaniczny wzrostu osteofitów podczas oseoartrozy.

Konkurs: PRELUDIUM 14 , panel: ST7

Kierownik: dr Ewa Irena Bednarczyk

Politechnika Warszawska, Wydział Mechaniczny Technologiczny

Matematyczna analiza złożonych zagadnień kontaktowych w mechanice ciała stałego i płynów

Konkurs: PRELUDIUM 13 , panel: ST1

Kierownik: dr Shengda Zeng

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modele matematyczne i morfologiczne w problemach analizy i rekonstrukcji zmian nowotworowych nerek.

Konkurs: OPUS 12 , panel: ST6

Kierownik: prof. Tomasz Piotr Markiewicz

Politechnika Warszawska, Wydział Elektryczny

Automatyczna synteza modeli programowania matematycznego dla procesów biznesowych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Tomasz Pawlak

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Konkurs: MAESTRO 6 , panel: ST6

Kierownik: prof. Paweł Maria Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Analiza modeli termo-lepko-elastycznych

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: dr Filip Zdzisław Klawe

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Mechanizm rozszczepienia tkanki kostnej kości piętowej w urazach o nieokreślonej sile.

Konkurs: PRELUDIUM 5 , panel: ST7

Kierownik: Aleksandra Urszula Melińska

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

Algorytm identyfikacji probabilistycznych modeli grafowych dla wielosensorowych danych wejściowych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Michał Piotr Cholewa

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Symulacje numeryczne dużych odkształceń plastycznych przy pomocy modeli plastycznego płynięcia

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: Piotr Minakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

SOLWERY HYBRYDOWE O LINIOWEJ ZŁOŻONOśCI OBLICZENIOWEJ I PAMIĘCIOWEJ DLA ZADAŃ PROPAGACJI FAL ELEKTROMAGNETYCZNYCH NA MOD...

Konkurs: HARMONIA 3 , panel: ST1

Kierownik: dr hab. Maciej Paszyński

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

Analiza modeli strukturalnych dynamiki populacyjnej w przestrzeniach metrycznych

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Agnieszka Patrycja Ulikowska

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Matematyczne i obliczeniowe modele regulacji cyklu komórkowego i przestrzennej parakrynnej regulacji w komórkach biologi...

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Krzysztof Andrzej Fujarewicz

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

Algorytmy równoległego tworzenia i symulacji modeli trójwymiarowej sieci naczyniowej

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Krzysztof Psiuk-Maksymowicz

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

Zaawansowany model matematyczny ogniwa paliwowego MCFC do badań strukturalnych i optymalizacyjnych układów energetycznyc...

Konkurs: OPUS 1 , panel: ST8

Kierownik: prof. Andrzej Miller

Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

Stochastyczny System Prognozowania Powodzi (na przykładzie odcinka Wisły od Zawichostu do Warszawy)

Konkurs: OPUS 1 , panel: ST10

Kierownik: prof. Renata Julita Romanowicz

Instytut Geofizyki Polskiej Akademii Nauk

Bezskalowaść i fenomen małego świata w grafach przepływu informacji w geometrycznych sieciach neuronowych

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Jarosław Piersa

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Matematyki i Informatyki