Projekty finansowane przez NCN

Metody geometryczne w informatyce kwantowej

Konkurs: FUGA 1 , panel: ST6

Kierownik: dr Zbigniew Puchała

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

Oksokompleksy renu(V) jako nowe katalizatory reakcji przeniesienia atomu tlenu i epoksydacji olefin.

Konkurs: PRELUDIUM 2 , panel: ST5

Kierownik: dr Mariusz Wolff

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

Nowe podejście do teoretycznego i eksperymentalnego badania punktu Bussinaro-Gallone

Konkurs: OPUS 2 , panel: ST2

Kierownik: prof. Adam Maj

Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego PAN

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ścisłe metody numeryczne dla równań cząstkowych dysypatywnych i równań zwyczajnych z opóźnionym argumentem

Konkurs: OPUS 2 , panel: ST1

Kierownik: prof. Piotr Zgliczyński

Wyższa Szkoła Biznesu - National-Louis University z siedzibą w Nowym Sączu, Wydział Nauk Społecznych i Informatyki

Teoretyczne badanie dynamiki spinowej solitonów elektronowych i dziurowych w nanourządzeniach półprzewodnikowych mającyc...

Konkurs: PRELUDIUM 2 , panel: ST3

Kierownik: dr Paweł Szumniak

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej

Precyzyjne obliczenia kwantowo-chemiczne dla lekkich układów atomowych i molekularnych

Konkurs: OPUS 1 , panel: ST4

Kierownik: dr Mariusz Puchalski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

Fluorescencyjne krajobrazy w połączeniu z metodami chemometrycznymi jako potencjalne narzędzie do wyznaczania całkowitej...

Konkurs: PRELUDIUM 2 , panel: ST4

Kierownik: Joanna Orzeł

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

Dualne funkcje B-sklejane: konstrukcja i zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: dr hab. Paweł Woźny

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Zrównoważona etenoliza odnawialnych olejów z nasion za pomocą nowatorskich katalizatorów na bazie rutenu

Konkurs: SONATA 19 , panel: ST4

Kierownik: dr Juan Martinez Lopez

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

Kolorowanie z list on-line

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Konkurs: PRELUDIUM 22 , panel: ST4

Kierownik: Paulina Rybicka

Uniwersytet Warszawski, Wydział Chemii

Nowoczesne narzędzia analizy sieci złożonych

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr Małgorzata Sulkowska

Politechnika Wrocławska

Właściwości fizykochemiczne i katalityczne heteropolikwasów modyfikowanych jonami miedzi. Obliczenia teoretyczne vs. eks...

Konkurs: OPUS 2 , panel: ST4

Kierownik: dr hab. Renata Tokarz-Sobieraj

Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera PAN

Odszyfrowanie "kodu siarczanowego" glikozaminoglikanów w celu zrozumienia ich funkcji w macierzy pozakomórkowej

Konkurs: OPUS 25 , panel: ST4

Kierownik: dr hab. Sergey Samsonov

Uniwersytet Gdański, Wydział Chemii

Struktura produktowa grafów

Konkurs: WEAVE-UNISONO , panel: ST6

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński

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

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i 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 Bartos

Uniwersytet Łódzki, Wydział Chemii

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

Nowatorskie, asymetryczne membrany anionowymienne do ogniw paliwowych

Konkurs: M-ERA.NET 3 Call 2022 , panel: ST4

Kierownik: prof. Artur Michalak

Uniwersytet Jagielloński

Densytale, ditopologia i podwójna drachmanizacja: nowe pojęcia i formalizmy w obliczeniach i analizie gęstości dwuelektr...

Konkurs: OPUS 24 , panel: ST4

Kierownik: prof. Jerzy Ciosłowski

Uniwersytet Szczeciński, Instytut Fizyki

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip 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

Zaawansowane metody modelowania numerycznego wspomagane narzędziami uczenia maszynowego do przewidywania adsorpcji wody ...

Konkurs: PRELUDIUM 21 , panel: ST4

Kierownik: Bartosz Mazur

Politechnika Wrocławska

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

Rozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanych

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Jarosław Grytczuk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

DATALOG w Problemie Spełnialności Więzów

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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 Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Jan Derbisz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Badanie relaksacji magnetycznych indukowanych przez oddziaływania spin-fonon w magnesach jednocząsteczkowych wbudowanych...

Konkurs: PRELUDIUM 20 , panel: ST4

Kierownik: Mikołaj Żychowicz

Uniwersytet Jagielloński, Wydział Chemii

Obwody modularne - algorytmy i ograniczenia dolne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Piotr Kawałek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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 Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Hydrożele usieciowane hierarchicznie: projektowanie teoretyczne i doświadczalne dla zastosowań biomedycznych.

Konkurs: OPUS 21 , panel: ST5

Kierownik: dr hab. Mariusz Barczak

Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Chemii

Zwięzłe przedstawienia

Konkurs: OPUS 2 , panel: ST1

Kierownik: prof. Przemysław Wojtaszczyk

Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

Nieadiabatyczna poprawka relatywistyczna w cząsteczkach dwuelektronowych

Konkurs: OPUS 21 , panel: ST4

Kierownik: prof. Jacek Komasa

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

Obliczeniowe aspekty gier nieskończonych

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozgrywany podział grafów: strategie i algorytmy

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Bartosz Walczak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Sprzężone badania eksperymentalne i teoretyczne mechanizmu aktywności katalitycznej enzymu RPE65 z wykorzystaniem modeli...

Konkurs: OPUS 20 , panel: ST4

Kierownik: dr hab. Adam Kubas

Instytut Chemii Fizycznej Polskiej Akademii Nauk

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Łamiące Regułę Hunda Cząsteczki jako Prekursory Nowych Materiałów Optoelektronicznych

Konkurs: OPUS 20 , panel: ST4

Kierownik: prof. Andrzej Sobolewski

Instytut Fizyki Polskiej Akademii Nauk