Projekty finansowane przez NCN

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

Konkurs: OPUS 29 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

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

Konkurs: OPUS 29 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

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

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

Układy kropek kwantowych fazy krystalicznej w polach elektrycznych i magnetycznych: od fundamentalnej fizyki do dostraja...

Konkurs: OPUS 29 , panel: ST3

Kierownik: prof. Michał Stanisław Zieliński

Uniwersytet Mikołaja Kopernika

Superparaelektryczność w miękkiej materii do zastosowań w fotonice i wysokopojemnościowych kondensatorach

Konkurs: OPUS 29 , panel: ST5

Kierownik: dr Mateusz Andrzej Mrukiewicz

Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego

Obliczenia wielopętlowe w efektywnych kwantowych teoriach pola

Konkurs: OPUS 28 , panel: ST2

Kierownik: prof. Mikołaj Krzysztof Misiak

Uniwersytet Warszawski

Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

Konkurs: OPUS 28 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Teoretyczna spektroskopia wysokiej dokładności dla elektronowych stanów wzbudzonych i zjonizowanych z powłoki rdzenia...

Konkurs: OPUS 28 , panel: ST4

Kierownik: dr Wojciech Skomorowski

Uniwersytet Warszawski

Na granicy niemożliwego w klasycznej teorii automatów

Konkurs: OPUS 28 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Biosensory SERS/DEP wykorzystujące aptamery do analizy proteomicznej pęcherzyków zewnątrzkomórkowych guzów gruczołów śli...

Konkurs: OPUS 28 , panel: ST4

Kierownik: prof. Agnieszka Edyta Michota-Kamińska

Instytut Chemii Fizycznej Polskiej Akademii Nauk

Przemiany Strukturalne na Ścieżkach Chemicznej Stabilizacji w Interkalowanych Perowskitach Hybrydowych [STARSHIP]

Konkurs: SONATA BIS 14 , panel: ST3

Kierownik: dr hab. Kacper Drużbicki

Centrum Badań Molekularnych i Makromolekularnych PAN

Wydajne obliczenia kwantowe wyższego rzędu

Konkurs: SONATA BIS 14 , panel: ST2

Kierownik: dr hab. Michał Grzegorz Studziński

Uniwersytet Gdański

Analiza ilościowych modeli obliczeniowych

Konkurs: SONATA BIS 14 , panel: ST6

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

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.

Kwantowe ciecze spinowe i inne nietrywialne nieskowymiarowe struktury spinowe

Konkurs: OPUS 27 , panel: ST3

Kierownik: prof. Maciej Marcin Maśka

Politechnika Wrocławska

Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

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

Synteza poprzez aktywne uczenie się: teoria i zastosowania

Konkurs: OPUS 27 , panel: ST6

Kierownik: dr hab. Jan Otop

Uniwersytet Wrocławski

Optyczne czujniki kwantowe wykorzystujące interferometry polarytonowo ekscytonowe.

Konkurs: SONATINA 8 , panel: ST3

Kierownik: dr Andrzej Opala

Uniwersytet Warszawski

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

Termodynamika Przetwarzania Informacji: Od Teorii do Zastosowań

Konkurs: SONATA 19 , panel: ST2

Kierownik: dr Patryk Jan Lipka-Bartosik

Uniwersytet Jagielloński

MATTS-PDB Utworzenie nowego banku Multipolowych Typów Atomowych z obliczeń Teoretycznych i klastrowania Statystycznego (...

Konkurs: PRELUDIUM 22 , panel: ST4

Kierownik: Paulina Maria Rybicka

Uniwersytet Warszawski, Wydział Chemii

Obrazowanie i obliczenia w ośrodkach rozpraszających za pomocą wielopikselowych detektorów pojedynczych fotonów.

Konkurs: PRELUDIUM 22 , panel: ST7

Kierownik: Adrian Artur Makowski

Uniwersytet Warszawski, Wydział Fizyki

Nowoczesne narzędzia analizy sieci złożonych

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr Małgorzata Sulkowska

Politechnika Wrocławska

Unifikacja i optymalizacja kwantowych zasobów

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

Kierownik: dr John Harry Selby

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

Struktura produktowa grafów

Konkurs: WEAVE-UNISONO , panel: ST6

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Chemoczujniki z polimerami wdrukowanymi molekularnie do oznaczania przeciwwirusowych substancji czynnych leków w płynach...

Konkurs: OPUS 25 , panel: NZ7

Kierownik: dr Krzysztof Robert Noworyta

Instytut Chemii Fizycznej Polskiej Akademii Nauk

CHIRALNE KOMPLEKSY RENU i RODU O DZIAŁANIU PRZECIWNOWOTWOROWYM IPRZECIWBAKTERYJNYM: SYNTEZA, AKTYWNOŚĆ, WŁAŚCIWOŚCI FIZY...

Konkurs: OPUS 24 , panel: NZ7

Kierownik: prof. Jan Czesław Dobrowolski

Narodowy Instytut Leków

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

Perowskitowo-ciekłokrystaliczne mikrownęki optyczne dla zastosowań fotonicznych

Konkurs: OPUS 24 , panel: ST3

Kierownik: dr hab. Barbara Julia Piętka

Uniwersytet Warszawski, Wydział Fizyki

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

Wtrysk spinowy do dużych wielopierścieniowych węglowodorów aromatycznych - konstruowanie stabilnych rodników [1,2,4]tria...

Konkurs: SONATA 18 , panel: ST4

Kierownik: dr Paulina Anna Bartos

Uniwersytet Łódzki, Wydział Chemii

Mitigacja błędów komputerów kwantowych

Konkurs: SONATA 18 , panel: ST2

Kierownik: dr Piotr Jan Czarnik

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

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

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

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

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

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

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

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

Zaprzężenie otoczenia dla topologicznych obliczeń kwantowych

Konkurs: OPUS 21 , panel: ST3

Kierownik: dr Mircea Teodor Trif

Instytut Fizyki PAN

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 Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Jan Kazimierz Derbisz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki