Projekty finansowane przez NCN

Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Nowoczesne narzędzia analizy sieci złożonych

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr Małgorzata Sulkowska

Politechnika Wrocławska

Optymalne i probabilistyczne uczenie operacji kwantowych

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Zbigniew Puchała

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki 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

Faktory von Neumanna ze zwartych grup kwantowych

Konkurs: OPUS 24 , panel: ST1

Kierownik: prof. Piotr Sołtan

Uniwersytet Warszawski, Wydział Fizyki

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

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Mazowiecki

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

Algebra liniowa w wymiarze skończenie-orbitowym

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Certyfikacja losowości z wykorzystaniem detektorōw o dowolnie niskiej efektywności

Konkurs: SONATINA 6 , panel: ST2

Kierownik: dr Anubhav Chaturvedi

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

Grafy kwantowe i ich symetrie

Konkurs: SONATA 17 , panel: ST1

Kierownik: dr Mateusz Wasilewski

Instytut Matematyczny Polskiej Akademii Nauk

Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej

Konkurs: SONATA 17 , panel: ST6

Kierownik: dr Tomáš Masařík

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanych

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Jarosław Grytczuk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Przyczynowość relatywistyczna a przetwarzanie informacji

Konkurs: MAESTRO 13 , panel: ST2

Kierownik: prof. Paweł Horodecki

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

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Zastosowanie metod informacji kwantowej w grach sygnalizacyjnych

Konkurs: PRELUDIUM 2 , panel: ST1

Kierownik: dr Piotr Frąckiewicz

Instytut Matematyczny PAN

Granice automatycznej analizy systemów współbieżnych

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Jan Derbisz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Obwody modularne - algorytmy i ograniczenia dolne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Piotr Kawałek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Obliczeniowe aspekty gier nieskończonych

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozwiązania kwantowego równania Yanga-Baxtera i stowarzyszone struktury algebraiczne: (pół)grupy, algebry łączne i skośn...

Konkurs: SONATA 16 , panel: ST1

Kierownik: dr Łukasz Kubat

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Grupy kwantowe, grafy i symetrie przez teorię reprezentacji

Konkurs: OPUS 20 (LAP) , panel: ST1

Kierownik: prof. Adam Skalski

Instytut Matematyczny Polskiej Akademii Nauk

Rozgrywany podział grafów: strategie i algorytmy

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Bartosz Walczak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Charakteryzacja treści informacyjnej struktur grafowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Krzysztof Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Symulacje układów fizycznych za pomocą technologii wyżarzania niedalekiej przyszłości

Konkurs: SONATA BIS 10 , panel: ST3

Kierownik: dr Bartłomiej Gardas

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Efektywne pamięciowo kodowanie problemów kombinatorycznych do kwantowych obliczeń wariacyjnych

Konkurs: PRELUDIUM 19 , panel: ST6

Kierownik: Adam Glos

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr Michał Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Certyfikacja losowości w układach kwantowych o dowolnym wymiarze

Konkurs: SONATINA 4 , panel: ST2

Kierownik: Jakub Borkała

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

Nieprzemienne przestrzenie uniwersalne dla grup oraz grup kwantowych

Konkurs: SONATINA 4 , panel: ST1

Kierownik: dr Mariusz Tobolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modele obliczeń rozszerzone o dane

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Marek Adamczyk

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody tworzenia, modelowania i analizy protokołów w intersieciach kwantowych

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr hab. Jarosław Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

Interdyscyplinarne zastosowania teorii macierzy przypadkowych

Konkurs: MAESTRO 1 , panel: ST1

Kierownik: prof. Maciej Nowak

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

Operatory Schrödingera i Kleina-Gordona

Konkurs: OPUS 18 , panel: ST1

Kierownik: prof. Jan Dereziński

Uniwersytet Warszawski, Wydział Fizyki

Analiza oraz dekompozycja części sterującej systemu cyber-fizycznego opisanego z zastosowaniem interpretowanej sieci Pet...

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr hab. Remigiusz Wiśniewski

Uniwersytet Zielonogórski

Matematyka obliczeniowa w mechanice kwantowej

Konkurs: SONATA BIS 9 , panel: ST1

Kierownik: dr hab. Karolina Kropielnicka

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

Zastosowanie grup warkoczowych w fizyce i informatyce (dla 2D układów hallowskich - wyjaśnienie struktury złożonych ferm...

Konkurs: MAESTRO 1 , panel: ST3

Kierownik: prof. Lucjan Jacak

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

Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych

Konkurs: MAESTRO 1 , panel: ST6

Kierownik: prof. Marek Kubale

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

Charakteryzacja i certyfikacja zasobów kwantowych

Konkurs: SONATA BIS 9 , panel: ST2

Kierownik: dr hab. Remigiusz Augusiak

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk