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 147 projektów spełniających kryteria wyszukiwania:

  1. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

    Konkurs: OPUS 28 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

  2. 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 Polskiej Akademii Nauk

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

    Konkurs: OPUS 28 , panel: ST6

    Kierownik: dr hab. Paweł Parys

    Uniwersytet Warszawski

  4. Analiza ilościowych modeli obliczeniowych

    Konkurs: SONATA BIS 14 , panel: ST6

    Kierownik: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

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

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

    Konkurs: PRELUDIUM 23 , panel: ST6

    Kierownik: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

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

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

    Konkurs: OPUS 27 , panel: ST6

    Kierownik: dr hab. Jan Otop

    Uniwersytet Wrocławski

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

  10. Struktury geometryczne tensorów

    Konkurs: SONATA BIS 13 , panel: ST1

    Kierownik: dr hab. Joachim Jelisiejew

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Matematyka gazu Bosego - dynamika, korelacje i fluktuacje

    Konkurs: SONATA BIS 13 , panel: ST1

    Kierownik: dr hab. Marcin Marek Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  12. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

    Konkurs: OPUS 25 , panel: ST6

    Kierownik: dr Małgorzata Sulkowska

    Politechnika Wrocławska

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

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: prof. Tomasz Brzeziński

    Uniwersytet w Białymstoku

  15. Optymalne i probabilistyczne uczenie operacji kwantowych

    Konkurs: OPUS 24 , panel: ST6

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

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

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

  18. Faktory von Neumanna ze zwartych grup kwantowych

    Konkurs: OPUS 24 , panel: ST1

    Kierownik: prof. Piotr Mikołaj Sołtan

    Uniwersytet Warszawski, Wydział Fizyki

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

  20. Modele obliczeniowe w formalnej weryfikacji

    Konkurs: SONATA BIS 12 , panel: ST6

    Kierownik: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Algebra liniowa w wymiarze skończenie-orbitowym

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  24. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Marta Piecyk

    Politechnika Warszawska

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

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

  27. Grafy kwantowe i ich symetrie

    Konkurs: SONATA 17 , panel: ST1

    Kierownik: dr Mateusz Piotr Wasilewski

    Instytut Matematyczny Polskiej Akademii Nauk

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

  29. Przyczynowość relatywistyczna a przetwarzanie informacji

    Konkurs: MAESTRO 13 , panel: ST2

    Kierownik: prof. Paweł Juliusz Horodecki

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

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

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

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

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  33. Obwody modularne - algorytmy i ograniczenia dolne

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  35. Obliczeniowe aspekty gier nieskończonych

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  37. Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. Wnioskowanie ilościowe odporne na perturbacje

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

    Konkurs: OPUS 20 (LAP) , panel: ST1

    Kierownik: prof. Adam Grzegorz Skalski

    Instytut Matematyczny Polskiej Akademii Nauk

  41. Charakteryzacja treści informacyjnej struktur grafowych

    Konkurs: SONATA 16 , panel: ST6

    Kierownik: dr Krzysztof Szymon Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  42. 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 Polskiej Akademii Nauk

  43. 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 Polskiej Akademii Nauk

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

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

    Konkurs: SONATINA 4 , panel: ST2

    Kierownik: dr Jakub Jan Borkała

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

  46. Nieprzemienne przestrzenie uniwersalne dla grup oraz grup kwantowych

    Konkurs: SONATINA 4 , panel: ST1

    Kierownik: dr Mariusz Tobolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  47. Modele obliczeń rozszerzone o dane

    Konkurs: OPUS 18 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Konkurs: SONATA 15 , panel: ST6

    Kierownik: dr Marek Piotr Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  49. Portfele blockchainowe -- kryptograficzna teoria i zastosowania

    Konkurs: OPUS 18 , panel: ST6

    Kierownik: prof. Stefan Michał Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Operatory Schrödingera i Kleina-Gordona

    Konkurs: OPUS 18 , panel: ST1

    Kierownik: prof. Jan Dereziński

    Uniwersytet Warszawski, Wydział Fizyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy