Projekty finansowane przez NCN

DATALOG w Problemie Spełnialności Więzów

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozgrywany podział grafów: strategie i algorytmy

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Bartosz Walczak

Uniwersytet Jagielloński, 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

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

Silnie oddziałujące i ciasno związane układy kwantowe: nowy zestaw narzędzi dla technologii kwantowych

Konkurs: OPUS 19 , panel: ST2

Kierownik: dr Krzysztof Jachymski

Uniwersytet Warszawski, Wydział Fizyki

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

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

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

Ultradokładna spektroskopia prostych molekuł dla badań podstawowych – kriogeniczny spektrometr bazujący na wnęce optyczn...

Konkurs: OPUS 18 , panel: ST2

Kierownik: dr hab. Piotr Wcisło

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Ciekłokrystaliczne, chiralne nanomateriały dla giętkich technologii fotonicznych

Konkurs: OPUS 18 , panel: ST5

Kierownik: dr hab. Wiktor Lewandowski

Uniwersytet Warszawski, Wydział Chemii

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

Kolorowania, kliki i zbiory niezależne w klasach grafów

Konkurs: SONATA BIS 9 , panel: ST6

Kierownik: dr hab. Bartosz Walczak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr hab. Jarosław Miszczak

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Konkurs: OPUS 17 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Analiza i zastosowanie kwantowego wyszukiwania przestrzennego

Konkurs: ETIUDA 7 , panel: ST6

Kierownik: Adam Glos

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

ComCrypt -- Wydajne i Bezpieczne Algorytmy do Jednoczesnej Kompresji i Szyfrowania

Konkurs: OPUS 16 , panel: ST6

Kierownik: prof. Józef Pieprzyk

Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

Konkurs: OPUS 15 , panel: ST6

Kierownik: prof. Marek Klonowski

Politechnika Wrocławska

Wykorzystanie uczenia maszynowego w informatyce kwantowej

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Mateusz Ostaszewski

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

W kierunku kwantowych technologii w temperaturze pokojowej

Konkurs: UNISONO , panel: ST2

Kierownik: prof. Bolesław Kozankiewicz

Instytut Fizyki Polskiej Akademii Nauk

Technologie Kwantowe w teorii z cechowaniem na sieciach

Konkurs: UNISONO , panel: ST2

Kierownik: prof. Jakub Zakrzewski

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

Paramagnetyczne nanografeny dla badań podstawowych oraz nowych technologii

Konkurs: OPUS 13 , panel: ST5

Kierownik: prof. Piotr Kaszyński

Uniwersytet Łódzki, Wydział Chemii

Wydajność, odporność i bezpieczeństwo systemów rozproszonych dla bardziej realistycznych modeli adwersarzy.

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Marek Klonowski

Politechnika Wrocławska

Własności typowych kwantowych kanałów komunikacyjnych

Konkurs: SONATA BIS 6 , panel: ST6

Kierownik: dr hab. Zbigniew Puchała

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Role of quantum coherence in quantum technology

Konkurs: POLONEZ 2 , panel: ST2

Kierownik: dr Alexander Streltsov

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

Wydajne algorytmy parsowania dla języków o szyku swobodnym

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Paweł Skórzewski

Uniwersytet im. Adama Mickiewicza, Wydział Matematyki i Informatyki

Obliczenia bazujące na percepcji

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Piotr Wasilewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Badania nad technologią wzrostu struktur laserów kaskadowych InGaAs/AlGaAs/GaAs

Konkurs: PRELUDIUM 9 , panel: ST7

Kierownik: dr Piotr Gutowski

Instytut Technologii Elektronowej

Pseudoentropia.

Konkurs: PRELUDIUM 9 , panel: ST6

Kierownik: Maciej Skórski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Michał Wrona

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

Entropowe relacje nieoznaczoności w zastosowaniu do kryptografii kwantowej

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Zbigniew Puchała

Instytut Informatyki Teoretycznej i Stosowanej PAN