Projekty finansowane przez NCN

Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?

Konkurs: OPUS 16 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Optymalizacja szkieletowych sieci optycznych z wykorzystaniem narzędzi modelowania i predykcji ruchu sieciowego

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Róża Joanna Goścień

Politechnika Wrocławska

Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Modelowanie odwrotne wspomagane metodami surogatowymi do szybkiego projektowania struktur mikrofalowych i antenowych

Konkurs: OPUS 16 , panel: ST7

Kierownik: dr Sławomir Kozieł

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

Program optymalności w problemach homomorfizmu grafów

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Paweł Rzążewski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Stochastyczna dynamika anomalna w obszarze nieprzetłumionym.

Konkurs: PRELUDIUM 16 , panel: ST2

Kierownik: Karol Piotr Capała

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

Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr Oskar Skibski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ku prostszym testom kwantowości

Konkurs: SHENG 1 , panel: ST2

Kierownik: dr hab. Marcin Pawłowski

Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Optymalizacja kombinatoryczna przez pryzmat trasy komiwojażera i skojarzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Katarzyna Ewa Paluch

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Połączenie metody Rosetta z gruboziarnistym modelem SURPASS w nowy wieloskalowy algorytm modelowania białek i ich komple...

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Dominik Gront

Uniwersytet Warszawski, Wydział Chemii

Dynamika i termodynamika skorelowanych układów z mieszanymi kwantowo-klasycznymi stopniami swobody - nowe metody oblicze...

Konkurs: OPUS 15 , panel: ST3

Kierownik: prof. Maciej Marcin Maśka

Politechnika Wrocławska

Stabiliność hydrodynamiczna oraz intensyfikacja mieszania laminarnego w kanale poprzecznie pofalowanym do przepływu

Konkurs: PRELUDIUM 15 , panel: ST8

Kierownik: Nikesh Nikesh

Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

Ukierunkowana przestrzennie analiza niepewności i wrażliwości dla geoinformacyjnych modeli wielokryterialnych

Konkurs: OPUS 15 , panel: ST10

Kierownik: prof. Piotr L. Jankowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych

Hamiltonowskie podejście do efektywnego modelowania wielkiej skali układów wieloczłonowych z tarciem oraz do obliczeń w ...

Konkurs: OPUS 15 , panel: ST8

Kierownik: prof. Janusz Frączek

Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

Pełnoskalowe obliczenia przepływów z powierzchniami międzyfazowymi przy użyciu masowo zrównoleglonej metody wygładzonej ...

Konkurs: PRELUDIUM 15 , panel: ST8

Kierownik: dr Adam Karol Kajzer

Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN

Teoretyczne badania własności fizycznych półprzewodników chalkopirytu do zastosowań w ogniwach słonecznych

Konkurs: PRELUDIUM 15 , panel: ST3

Kierownik: Myron Rudysh

Akademia im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

Dynamiczne algorytmy dla grafów skierowanych przy słabych założeniach dotyczących adwersarza.

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: dr Adam Karol Karczmarz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ukrywanie informacji i prywatność w systemach (głównie) rozproszonych

Konkurs: OPUS 15 , panel: ST6

Kierownik: prof. Marek Dariusz Klonowski

Politechnika Wrocławska

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyczne odkrywanie i wykorzystywanie wiedzy dziedzinowej do priorytetyzacji przeszukiwania w problemie automatyczne...

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Iwo Piotr Błądek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Bartosz Paweł Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problem Izomorfizmu Elekcji

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Stanisław Andrzej Szufa

Uniwersytet Jagielloński, Centrum Badań Ilościowych nad Polityką

Problem najbliższych sąsiadów bez fałszywie ujemnych wyników.

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: dr Piotr Wygocki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wielowartościowa dynamika kombinatoryczna dla skończonych przestrzeni topologicznych.

Konkurs: PRELUDIUM 15 , panel: ST1

Kierownik: Michał Stanisław Lipiński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Podejście analityczne w dynamice konforemnej

Konkurs: OPUS 15 , panel: ST1

Kierownik: prof. Grzegorz Świątek

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Konflikty z wieloma polami bitew i dyskretnymi zasobami

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Marcin Dziubiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody dopasowania obrazów medycznych ukierunkowane na problem brakujących danych

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Marek Michał Wodziński

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

Algorytmiczne wyzwania spektrometrii masowej.

Konkurs: OPUS 15 , panel: ST6

Kierownik: prof. Anna Barbara Gambin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowanie analizy dużych zbiorów danych do modelowania procesów w operacjach inteligentnej logistyki

Konkurs: UNISONO , panel: ST6

Kierownik: dr Paweł Karczmarek

Politechnika Lubelska

Rozwój metod doświadczalnych do wyznaczania parametrów mechanicznych błon lipidowych.

Konkurs: ETIUDA 6 , panel: NZ1

Kierownik: Dominik Drabik

Politechnika Wrocławska

Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Głębokie nauczanie w reprezentacji długich danych sekwencyjnych

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: dr Konrad Tomasz Żołna

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Programowanie dynamiczne z gwarancjami

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Karol Zbigniew Węgrzycki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne obliczenia w predykatywnej matematyce

Konkurs: SONATINA 2 , panel: ST6

Kierownik: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowanie symulacji molekularnych adsorpcji do modelowania przebiegu quasi-równowagowej termodesorpcji węglowodorów z...

Konkurs: ETIUDA 6 , panel: ST5

Kierownik: Andrzej Sławek

Uniwersytet Jagielloński, Wydział Chemii

Wykorzystanie uczenia maszynowego w informatyce kwantowej

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Mateusz Michał Ostaszewski

Instytut Informatyki Teoretycznej i Stosowanej PAN

Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: dr Adam Teodor Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

DALEX: Lokalne, brzegowe i globalne objaśnienia złożonych modeli uczenia maszyn

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr hab. Przemysław Biecek

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Wydajne algorytmy i warunkowe ograniczenia dolne dla problemów na drzewach

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: Bartłomiej Dudek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Randomizowane metody uczenia sztucznych sieci neuronowych

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr hab. Grzegorz Michał Dudek

Politechnika Częstochowska, Wydział Elektryczny

Automatyczna analiza systemów współbieżnych

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wykorzystanie operatorów ułamkowego rzędu do sterowania przeciążeniami sieci Internet.

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Jerzy Klamka

Instytut Informatyki Teoretycznej i Stosowanej PAN

Efektywne metody percepcji sceny w czasie rzeczywistym w oparciu o analizę danych wielomodalnych oraz nienadzorowane ucz...

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Bogdan Kwolek

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

Auksetyczność poprzez nanoinkluzje

Konkurs: OPUS 14 , panel: ST3

Kierownik: prof. Krzysztof Witold Wojciechowski

Instytut Fizyki Molekularnej PAN

Optymalizacja stężenia dwuwęglanów w płynie dializacyjnym podczas hemodializy z wykorzystaniem modelowania matematyczneg...

Konkurs: OPUS 14 , panel: ST7

Kierownik: prof. John Kenneth Leypoldt

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

Metody klasyfikacji obrazów dla danych niezbalansowanych

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: Michał Marek Koziarski

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

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

Konkurs: PRELUDIUM 14 , panel: ST7

Kierownik: dr Ewa Irena Bednarczyk

Politechnika Warszawska, Wydział Mechaniczny Technologiczny

Właściwości i reaktywność cząsteczek i kompleksów cząsteczkowych w warunkach częściowych ograniczeń przestrzennych...

Konkurs: OPUS 14 , panel: ST4

Kierownik: dr hab. Tatiana Danuta Korona

Uniwersytet Warszawski, Wydział Chemii

Koherentne Modele i Wydajne Algorytmy dla Duplikacji Genomowych

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr hab. Paweł Piotr Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki