Projekty finansowane przez NCN

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

Bezpieczne schematy podpisów domenowych i anonimowych poświadczeń dla kart mikroprocesorowych

Konkurs: OPUS 8 , panel: ST6

Kierownik: prof. Mirosław Kutyłowski

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

Podpisy grupowe ukrywające afiliację

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Kamil Kluczniak

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

Ślepe podpisy i elektroniczne dokumenty tożsamości

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Lucjan Hanzlik

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

Semantyczne sieci tensorowe do analizy wielkich zbiorów danych

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Piotr Gawron

Instytut Informatyki Teoretycznej i Stosowanej PAN

Wydajne i bezpieczne algorytmy szyfrowania z uwierzytelnianiem - nowe rozwiązania i zaawansowana kryptoanaliza

Konkurs: OPUS 8 , panel: ST6

Kierownik: prof. Józef Pieprzyk

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Dane biometryczne w systemach bezpieczeństwa z ograniczonymi zasobami - uwierzytelnianie i ich ochrona.

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Wojciech Wodo

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

Kryptografia bez zaufanych stron

Konkurs: SONATA 7 , panel: ST6

Kierownik: dr Tomasz Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Formalne podstawy kryptowalut

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Zając

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Uogólnienie entropii i wymiaru entropijnego oraz ich zastosowania

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Metody minimalizacji zaburzeń w algorytmach i protokołach opartych na błądzeniu kwantowym

Konkurs: PRELUDIUM 6 , panel: ST6

Kierownik: Przemysław Sadowski

Instytut Informatyki Teoretycznej i Stosowanej PAN

Kwantowe sieci bayesowskie

Konkurs: PRELUDIUM 6 , panel: ST6

Kierownik: Dariusz Kurzyk

Instytut Informatyki Teoretycznej i Stosowanej PAN

Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teoretyczne aspekty protokołów wyborczych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Filip Zagórski

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

Podstawy statystyczne metod wykrywania struktur modułowych w sieciach złożonych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Jeremi Ochab

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

Kryptoanaliza rodziny funkcji skrótu Keccak

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Paweł Morawiecki

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Formalne podejście do praktycznych problemów ukrywaniu informacji

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Marek Klonowski

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

Przetwarzanie danych w sieciach ad hoc odporne na działanie adwersarza

Konkurs: HARMONIA 4 , panel: ST6

Kierownik: prof. Mirosław Kutyłowski

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

Badanie własności koalicji i zbiorów bezpiecznych w grafach rozumianych jako podzbiory wierzchołków spełniające określon...

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Katarzyna Jesse-Józefczyk

Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

Gry kwantowe: teoria i implementacja

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Jan Sładkowski

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

Metody bezpiecznej dynamicznej kompozycji i eksploracji treści i usług VR/AR w rozproszonym środowisku z wykorzystaniem ...

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Krzysztof Walczak

Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

Aspekty prywatności wybranych systemów złożonych.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Piotr Syga

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

Teorioinformacyjne wnioskowanie abdukcyjne dla rekomendacji kontekstowej

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Andrzej Szwabe

Politechnika Poznańska, Wydział Elektryczny

Nowa generacja nanostruktur kwantowych o ultra wysokiej ruchliwości elektronów i unikalnych własnościach spinowych: od t...

Konkurs: MAESTRO 3 , panel: ST3

Kierownik: prof. Tomasz Wojtowicz

Instytut Fizyki PAN

Metody geometryczne w informatyce kwantowej

Konkurs: FUGA 1 , panel: ST6

Kierownik: dr Zbigniew Puchała

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

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Technologia i charakteryzacja ultracienkich warstw krzemu wytwarzanych metodą PECVD na potrzeby struktur nanoelektronicz...

Konkurs: OPUS 2 , panel: ST7

Kierownik: prof. Romuald Beck

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Kolorowanie z list on-line

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Izotopowo wzbogacany epitaksjalny azotek boru jako innowacyjna platforma technologii kwantowych opartych na defektach sp...

Konkurs: OPUS 24 , panel: ST5

Kierownik: prof. Andrzej Wysmołek

Uniwersytet Warszawski, Wydział Fizyki

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

Badania nad możliwością zastosowania metaliczno-organicznych falowodów w kalorymetrycznych przetwornikach wartości skute...

Konkurs: OPUS 24 , panel: ST7

Kierownik: prof. Marian Kampik

Politechnika Śląska, Wydział Elektryczny

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

Azotkowe diody elektroluminescencyjne emitujące pojedyncze fotony do zastosowań w technologiach kwantowych

Konkurs: OPUS 23 , panel: ST7

Kierownik: prof. Czesław Skierbiszewski

Instytut Wysokich Ciśnień Polskiej Akademii Nauk

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

Interacting networks of liquid light

Konkurs: POLONEZ BIS 2 , panel: ST3

Kierownik: dr Helgi Sigurdsson

Uniwersytet Warszawski, Wydział Fizyki

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

Analiza procesów termicznych i mechanizmów degradacji długofalowych laserów kaskadowych na zakres 10-16um. Optymalizacja...

Konkurs: SONATA BIS 11 , panel: ST7

Kierownik: dr Dorota Pierścińska

Sieć Badawcza ŁUKASIEWICZ - Instytut Mikroelektroniki i Fotoniki

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