Projekty finansowane przez NCN

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Zrozumienie egzaptacji tkankowo-specyficznych wzmacniaczy genów poprzez modelowanie zmian przestrzennej architektury chr...

Konkurs: PRELUDIUM BIS 4 , panel: ST6

Kierownik: prof. Anna Barbara Gambin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Grupy biautomatyczne i niedodatnio zakrzywione

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Motiejus Valiunas

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wewnętrzna ergodyczność i jednoznaczność stanów równowagi w układach dynamicznych

Konkurs: PRELUDIUM BIS 4 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Interpretowalne metody zrównoważonej sztucznej inteligencji tłumaczące decyzje w sposób intuicyjny

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Bartosz Michał Zieliński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konstrukcje rozmaitości hiperkählerowskich i kwaternionowych.

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Aleksandra Wiktoria Borówka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wymiar i Boolowski wymiar częściowych porządków

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problem parzystości dla automatów komórkowych.

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Anna Katarzyna Nenca

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

Problemy wariacyjne z osobliwościami pochodzące z fizyki matematycznej

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Bartosz Bieganowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rekonstrukcja nadrozdzielcza obrazów cyfrowych w środowisku niekontrolowanym wykorzystująca techniki uczenia samo-nadzor...

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Michał Jan Kawulok

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

Side Conditions and the Saturation of the Non-stationary Ideal

Konkurs: POLONEZ BIS 3 , panel: ST1

Kierownik: dr Rahman Mohammadpour

Instytut Matematyczny Polskiej Akademii Nauk

Faktory von Neumanna ze zwartych grup kwantowych

Konkurs: OPUS 24 , panel: ST1

Kierownik: prof. Piotr Mikołaj Sołtan

Uniwersytet Warszawski, Wydział Fizyki

Group actions, birational geometry and geometric structures

Konkurs: POLONEZ BIS 3 , panel: ST1

Kierownik: dr Noemie Cecile Combe

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Równoległe i dokładne algorytmy dla problemów ścieżkowych w grafach skierowanych

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Adam Karol Karczmarz

IDEAS NCBR Sp. z o.o.

Algorytmy i miary dla bezstronnych i wyjaśnialnych systemów decyzyjnych

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr hab. Dariusz Brzeziński

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Układy dynamiczne i złożoność opisowa

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Felipe García-Ramos Aguilar

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Zbieranie i kodowanie danych dotyczących decyzji sądowych

Konkurs: WEAVE-UNISONO , panel: ST6

Kierownik: dr hab. Tomasz Kajdanowicz

Politechnika Wrocławska

Postępy w rzeczywistej geometrii algebraicznej i analitycznej

Konkurs: OPUS 24 , panel: ST1

Kierownik: prof. Wojciech Janusz Kucharz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Ergodic theory meets combinatorial number theory

Konkurs: POLONEZ BIS 3 , panel: ST1

Kierownik: dr Borys Jerzy Kuca

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Zmierzając w stronę wolumetrycznych rekonstrukcji 3D dla filmów w czasie rzeczywistym

Konkurs: PRELUDIUM BIS 4 , panel: ST6

Kierownik: dr hab. Tomasz Trzciński

Politechnika Warszawska

Własności strukturalne grafów i hipergrafów

Konkurs: OPUS 24 , panel: ST1

Kierownik: prof. Tomasz Jan Łuczak

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

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Eliptyczne geometryczne zagadnienia wariacyjne

Konkurs: SONATA BIS 12 , panel: ST1

Kierownik: dr hab. Sławomir Grzegorz Kolasiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Strukturalne i algorytmiczne własności dziedzicznych klas grafów

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr hab. Marcin Łukasz Pilipczuk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Poszukiwanie optymalności w wariantach problemu indeksowania tekstu i zagadnieniach pokrewnych

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr hab. Jakub Jan Radoszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Oszacowania niezależne od wymiaru w analizie harmonicznej i poza nią

Konkurs: SONATA BIS 12 , panel: ST1

Kierownik: dr hab. Błażej Jan Wróbel

Instytut Matematyczny Polskiej Akademii Nauk

Optymalizacja metodami ciemno szarej skrzynki - rozwój nowej klasy wysoce skutecznych optymalizatorów ogólnego przeznacz...

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr hab. Michał Witold Przewoźniczek

Politechnika Wrocławska

Algorytmy przetwarzania sekwencji nukleotydowych i aminokwasowych

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Sebastian Tomasz Deorowicz

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

Kontrola i procesy rozprzestrzeniania w sieciach wielowarstwowych

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr hab. Piotr Bródka

Politechnika Wrocławska

Równania Schrödingera z operatorami całkowo-różniczkowymi: podejście probabilistyczne

Konkurs: OPUS 23 , panel: ST1

Kierownik: dr hab. Tomasz Klimsiak

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

Algebra liniowa w wymiarze skończenie-orbitowym

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Geometryczne własności ciągów homeomorfizmów Sobolewa oraz homeomorfizmów o ograniczonym wahaniu

Konkurs: PRELUDIUM 21 , panel: ST1

Kierownik: Zofia Grochulska

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów igrafów krawędziowych

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Jana Masaříková

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Grupy odwzorowań na rozmaitościach: aspekt dynamiczny i probabilistyczny.

Konkurs: OPUS 23 , panel: ST1

Kierownik: prof. Tomasz Jakub Szarek

Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej

Matematyka płynów

Konkurs: OPUS 23 , panel: ST1

Kierownik: prof. Piotr Bogusław Mucha

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Warunkowe obliczenia w głębokich sieciach neuronowych

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Sebastian Dariusz Jaszczur

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Yang-Baxter maps and their role in discrete nonlinear integrable systems theory.

Konkurs: POLONEZ BIS 2 , panel: ST1

Kierownik: dr Pavlos Kassotakis

Uniwersytet Warszawski, Wydział Fizyki

Wybrane aspekty matematycznego modelowania płynów wieloskładnikowych

Konkurs: PRELUDIUM 21 , panel: ST1

Kierownik: Maja Szlenk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Czy wszystkie reprezentacje ulegają katastroficznemu zapominaniu?

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Wojciech Masarczyk

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Poprawa własności interpretacji wyników głębokich sieci neuronowych w oparciu o części prototypiczne

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Dawid Damian Rymarczyk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Jak uczyć się szybciej: w kierunku lepszej adaptacji w procesie meta-uczenia.

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marcin Bartłomiej Sendera

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy spełnialności i równoważności dla skończonych algebr

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr Jacek Krzaczkowski

Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marta Piecyk

Politechnika Warszawska

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Selekcja modelu dla kolorowych Gaussowskich modeli grafowych - podejście Bayesowskie i częstościowe.

Konkurs: OPUS 23 , panel: ST1

Kierownik: dr hab. Bartosz Wojciech Kołodziejek

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Topologiczna teoria robotów: złożoność topologiczna K(G,1) przestrzeni i efektywnej złożoności topologicznej

Konkurs: PRELUDIUM 21 , panel: ST1

Kierownik: Arturo Espinosa Baro

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

Balancing priors and learning biases to improve Bayesian Neural Networks

Konkurs: POLONEZ BIS 2 , panel: ST6

Kierownik: dr Tomasz Kuśmierczyk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Dynamiczne sieci neuronowe dla wydajnego uczenia maszynowego

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr hab. Tomasz Trzciński

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych