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

  1. Analiza ilościowych modeli obliczeniowych

    Konkurs: SONATA BIS 14 , panel: ST6

    Kierownik: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

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

    Konkurs: PRELUDIUM 23 , panel: ST6

    Kierownik: Michał Pawłowski

    IDEAS NCBR SP. Z O.O.

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

    Konkurs: PRELUDIUM 23 , panel: ST6

    Kierownik: Bartosz Bednarczyk

    Uniwersytet Wrocławski

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

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

    Konkurs: OPUS 27 , panel: ST6

    Kierownik: dr hab. Jan Otop

    Uniwersytet Wrocławski

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

    Konkurs: OPUS 26 , panel: ST6

    Kierownik: dr Paweł Gawrychowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  7. Struktury geometryczne tensorów

    Konkurs: SONATA BIS 13 , panel: ST1

    Kierownik: dr hab. Joachim Jelisiejew

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  8. Matematyka gazu Bosego - dynamika, korelacje i fluktuacje

    Konkurs: SONATA BIS 13 , panel: ST1

    Kierownik: dr hab. Marcin Marek Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  9. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

    Konkurs: OPUS 25 , panel: ST6

    Kierownik: dr Małgorzata Sulkowska

    Politechnika Wrocławska

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

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: prof. Tomasz Brzeziński

    Uniwersytet w Białymstoku

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

  13. Automation of the Problem of Unification in Description Logics

    Konkurs: POLONEZ BIS 3 , panel: ST6

    Kierownik: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

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

  15. Faktory von Neumanna ze zwartych grup kwantowych

    Konkurs: OPUS 24 , panel: ST1

    Kierownik: prof. Piotr Sołtan

    Uniwersytet Warszawski, Wydział Fizyki

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

  17. Modele obliczeniowe w formalnej weryfikacji

    Konkurs: SONATA BIS 12 , panel: ST6

    Kierownik: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Algebra liniowa w wymiarze skończenie-orbitowym

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  21. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Marta Piecyk

    Politechnika Warszawska

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

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

  24. Grafy kwantowe i ich symetrie

    Konkurs: SONATA 17 , panel: ST1

    Kierownik: dr Mateusz Piotr Wasilewski

    Instytut Matematyczny Polskiej Akademii Nauk

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

  26. Przyczynowość relatywistyczna a przetwarzanie informacji

    Konkurs: MAESTRO 13 , panel: ST2

    Kierownik: prof. Paweł Juliusz Horodecki

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

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

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

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

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  30. Obwody modularne - algorytmy i ograniczenia dolne

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  32. Obliczeniowe aspekty gier nieskończonych

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  34. Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Wnioskowanie ilościowe odporne na perturbacje

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

    Konkurs: OPUS 20 (LAP) , panel: ST1

    Kierownik: prof. Adam Grzegorz Skalski

    Instytut Matematyczny Polskiej Akademii Nauk

  38. Charakteryzacja treści informacyjnej struktur grafowych

    Konkurs: SONATA 16 , panel: ST6

    Kierownik: dr Krzysztof Szymon Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

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

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

  43. Nieprzemienne przestrzenie uniwersalne dla grup oraz grup kwantowych

    Konkurs: SONATINA 4 , panel: ST1

    Kierownik: dr Mariusz Tobolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. Modele obliczeń rozszerzone o dane

    Konkurs: OPUS 18 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  46. Portfele blockchainowe -- kryptograficzna teoria i zastosowania

    Konkurs: OPUS 18 , panel: ST6

    Kierownik: prof. Stefan Michał Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Operatory Schrödingera i Kleina-Gordona

    Konkurs: OPUS 18 , panel: ST1

    Kierownik: prof. Jan Dereziński

    Uniwersytet Warszawski, Wydział Fizyki

  48. 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 Grzegorz Wiśniewski

    Uniwersytet Zielonogórski

  49. Matematyka obliczeniowa w mechanice kwantowej

    Konkurs: SONATA BIS 9 , panel: ST1

    Kierownik: dr hab. Karolina Kropielnicka

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

  50. Charakteryzacja i certyfikacja zasobów kwantowych

    Konkurs: SONATA BIS 9 , panel: ST2

    Kierownik: dr hab. Remigiusz Michał Augusiak

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy