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

  1. Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

    Konkurs: OPUS 29 , panel: ST6

    Kierownik: dr hab. Barbara Morawska

    Uniwersytet Opolski

  2. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

    Konkurs: OPUS 29 , panel: ST6

    Kierownik: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

  3. Poprawa hybrydowej optymalizacji klasyczno-kwantowej za pomocą technik uczenia maszynowego

    Konkurs: PRELUDIUM 24 , panel: ST6

    Kierownik: Justyna Jolanta Zawalska

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

  4. Nowe metody automatycznego sprawdzania poprawności otwartych wieloagentowych systemów czasu rzeczywistego

    Konkurs: OPUS 29 , panel: ST6

    Kierownik: dr hab. Bożena Woźna-Szcześniak

    Akademia im. Jana Długosza w Częstochowie

  5. Kwantowe grupy, topologia i algebry I

    Konkurs: OPUS 29 , panel: ST1

    Kierownik: prof. Adam Grzegorz Skalski

    Instytut Matematyczny Polskiej Akademii Nauk

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

  7. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

    Konkurs: OPUS 28 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

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

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

    Konkurs: OPUS 28 , panel: ST6

    Kierownik: dr hab. Paweł Parys

    Uniwersytet Warszawski

  10. Analiza ilościowych modeli obliczeniowych

    Konkurs: SONATA BIS 14 , panel: ST6

    Kierownik: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

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

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

    Konkurs: PRELUDIUM 23 , panel: ST6

    Kierownik: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

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

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

    Konkurs: OPUS 27 , panel: ST6

    Kierownik: dr hab. Jan Otop

    Uniwersytet Wrocławski

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

  16. Struktury geometryczne tensorów

    Konkurs: SONATA BIS 13 , panel: ST1

    Kierownik: dr hab. Joachim Jelisiejew

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. Matematyka gazu Bosego - dynamika, korelacje i fluktuacje

    Konkurs: SONATA BIS 13 , panel: ST1

    Kierownik: dr hab. Marcin Marek Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  18. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

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

    Konkurs: OPUS 25 , panel: ST6

    Kierownik: dr Małgorzata Sulkowska

    Politechnika Wrocławska

  20. Struktura produktowa grafów

    Konkurs: WEAVE-UNISONO , panel: ST6

    Kierownik: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

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

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

  25. Faktory von Neumanna ze zwartych grup kwantowych

    Konkurs: OPUS 24 , panel: ST1

    Kierownik: prof. Piotr Mikołaj Sołtan

    Uniwersytet Warszawski, Wydział Fizyki

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

  27. Modele obliczeniowe w formalnej weryfikacji

    Konkurs: SONATA BIS 12 , panel: ST6

    Kierownik: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  29. Algebra liniowa w wymiarze skończenie-orbitowym

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  31. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Marta Piecyk

    Politechnika Warszawska

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

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

  34. Grafy kwantowe i ich symetrie

    Konkurs: SONATA 17 , panel: ST1

    Kierownik: dr Mateusz Piotr Wasilewski

    Instytut Matematyczny Polskiej Akademii Nauk

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

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

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

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

  39. Przyczynowość relatywistyczna a przetwarzanie informacji

    Konkurs: MAESTRO 13 , panel: ST2

    Kierownik: prof. Paweł Juliusz Horodecki

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

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

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

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

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

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  44. Obwody modularne - algorytmy i ograniczenia dolne

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  46. Obliczeniowe aspekty gier nieskończonych

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  48. Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  49. Wnioskowanie ilościowe odporne na perturbacje

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy