Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 153 projektów spełniających kryteria wyszukiwania:

  1. Przełącznik kwantowy z ciągłą kontrolą: od podstaw fizyki do zalet w informatyce kwantowej

    Konkurs: SONATINA 9 , panel: ST2

    Kierownik: Jorge Ignacio Escandón Monardes

    Uniwersytet Gdański

  2. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

    Konkurs: OPUS 28 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  3. Rozwój katalizy splątania: Podstawy i zastosowania w informatyce kwantowej

    Konkurs: OPUS 28 , panel: ST2

    Kierownik: dr hab. Alexander Streltsov

    Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

  4. Na granicy niemożliwego w klasycznej teorii automatów

    Konkurs: OPUS 28 , panel: ST6

    Kierownik: dr hab. Paweł Parys

    Uniwersytet Warszawski

  5. Analiza ilościowych modeli obliczeniowych

    Konkurs: SONATA BIS 14 , panel: ST6

    Kierownik: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  6. Wykraczając poza analizę najgorszego przypadku: problemy online z opóźnieniami i stochastycznymi czasami przyjścia

    Konkurs: PRELUDIUM 23 , panel: ST6

    Kierownik: Michał Łukasz Pawłowski

    IDEAS NCBR Sp. z o.o.

  7. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

    Konkurs: PRELUDIUM 23 , panel: ST6

    Kierownik: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  8. Rozwijanie Teorii Sieci Petriego: Głębsze zrozumienie Klasycznych Problemów i Ich Zastosowania w Procesach Przepływów Ro...

    Konkurs: OPUS 27 , panel: ST6

    Kierownik: dr Piotr Hofman

    Uniwersytet Warszawski

  9. Synteza poprzez aktywne uczenie się: teoria i zastosowania

    Konkurs: OPUS 27 , panel: ST6

    Kierownik: dr hab. Jan Otop

    Uniwersytet Wrocławski

  10. Przetwarzanie olbrzymich danych tekstowych i ich uogólnień: algorytmy i warunkowe ograniczenia dolne

    Konkurs: OPUS 26 , panel: ST6

    Kierownik: dr Paweł Maciej Gawrychowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  11. Struktury geometryczne tensorów

    Konkurs: SONATA BIS 13 , panel: ST1

    Kierownik: dr hab. Joachim Jelisiejew

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  12. Matematyka gazu Bosego - dynamika, korelacje i fluktuacje

    Konkurs: SONATA BIS 13 , panel: ST1

    Kierownik: dr hab. Marcin Marek Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  13. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  14. Nowoczesne narzędzia analizy sieci złożonych

    Konkurs: OPUS 25 , panel: ST6

    Kierownik: dr Małgorzata Sulkowska

    Politechnika Wrocławska

  15. Struktura produktowa grafów

    Konkurs: WEAVE-UNISONO , panel: ST6

    Kierownik: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  16. Kwantowa geometryczna teoria reprezentacji i rozwłóknienia nieprzemienne

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: prof. Tomasz Kazimierz Brzeziński

    Uniwersytet w Białymstoku, Wydział Matematyki

  17. Optymalne i probabilistyczne uczenie operacji kwantowych

    Konkurs: OPUS 24 , panel: ST6

    Kierownik: dr hab. Zbigniew Włodzimierz Puchała

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  18. 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

  19. 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

  20. Faktory von Neumanna ze zwartych grup kwantowych

    Konkurs: OPUS 24 , panel: ST1

    Kierownik: prof. Piotr Mikołaj Sołtan

    Uniwersytet Warszawski, Wydział Fizyki

  21. 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

  22. Modele obliczeniowe w formalnej weryfikacji

    Konkurs: SONATA BIS 12 , panel: ST6

    Kierownik: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  24. Algebra liniowa w wymiarze skończenie-orbitowym

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  25. 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

  26. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Marta Piecyk

    Politechnika Warszawska

  27. 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

  28. 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

  29. Grafy kwantowe i ich symetrie

    Konkurs: SONATA 17 , panel: ST1

    Kierownik: dr Mateusz Piotr Wasilewski

    Instytut Matematyczny Polskiej Akademii Nauk

  30. 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

  31. Kwantowe fotoniczne sieci memrystorowe

    Konkurs: Quant-ERA II Call 2021 , panel: ST2

    Kierownik: dr hab. Magdalena Stobińska

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  32. Obliczenia kwantowe i chaos z dysypacją

    Konkurs: Quant-ERA II Call 2021 , panel: ST2

    Kierownik: prof. Karol Wojciech Życzkowski

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

  33. Weryfikacja technologii, zastosowań i układów kwantowych

    Konkurs: Quant-ERA II Call 2021 , panel: ST2

    Kierownik: dr hab. Remigiusz Michał Augusiak

    Centrum Fizyki Teoretycznej PAN

  34. Przyczynowość relatywistyczna a przetwarzanie informacji

    Konkurs: MAESTRO 13 , panel: ST2

    Kierownik: prof. Paweł Juliusz Horodecki

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

  35. Problemy Spełnialności Więzów: poza przypadek skończony

    Konkurs: WEAVE-UNISONO , panel: ST6

    Kierownik: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  36. Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  39. Obwody modularne - algorytmy i ograniczenia dolne

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  40. 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 Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. Obliczeniowe aspekty gier nieskończonych

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  42. 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

  43. Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. Wnioskowanie ilościowe odporne na perturbacje

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  45. 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 Paweł Kubat

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  46. Grupy kwantowe, grafy i symetrie przez teorię reprezentacji

    Konkurs: OPUS 20 (LAP) , panel: ST1

    Kierownik: prof. Adam Grzegorz Skalski

    Instytut Matematyczny Polskiej Akademii Nauk

  47. Charakteryzacja treści informacyjnej struktur grafowych

    Konkurs: SONATA 16 , panel: ST6

    Kierownik: dr Krzysztof Szymon Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

    Konkurs: SONATA BIS 10 , panel: ST3

    Kierownik: dr Bartłomiej Jerzy Gardas

    Instytut Informatyki Teoretycznej i Stosowanej PAN

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

    Konkurs: PRELUDIUM 19 , panel: ST6

    Kierownik: dr Adam Piotr Glos

    Instytut Informatyki Teoretycznej i Stosowanej PAN

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

    Konkurs: OPUS 19 , panel: ST6

    Kierownik: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy