Projekty finansowane przez NCN

Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Stefan Michał Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Nowe standardy precyzyjnych obliczeń dla przejść rotacyjno-wibracyjnych w cząsteczce wodoru oraz lekkich jonach molekula...

Konkurs: SONATA BIS 9 , panel: ST4

Kierownik: dr hab. Mariusz Puchalski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

Kolorowania, kliki i zbiory niezależne w klasach grafów

Konkurs: SONATA BIS 9 , panel: ST6

Kierownik: dr hab. Bartosz Maria Walczak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr hab. Jarosław Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Nadprzewodnictwo w związkach Lavesa na bazie metali ziem alkalicznych

Konkurs: PRELUDIUM 17 , panel: ST5

Kierownik: Karolina Anna Górnicka

Politechnika Gdańska

Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Konkurs: OPUS 17 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efekty algebraiczne: kompozycja i koindukcja

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Podstawy teoretyczne selekcji cech w celu uodpornienia modeli prognostycznych na częściowe braki w danych

Konkurs: PRELUDIUM 16 , panel: ST6

Kierownik: Marek Grzegorowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Struktura energetyczna i własności spektroskopowe jonów 3d3 (Cr3+, Mn4+) w matrycach krystalicznych w warunkach ekstrema...

Konkurs: OPUS 16 , panel: ST4

Kierownik: prof. Mikhail Brik

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?

Konkurs: OPUS 16 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Lidia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Silnie ukierunkowane fotoprzełączanie w układach molekularnych: pochodzenie, kontrola i zastosowania zjawiska

Konkurs: SONATA 14 , panel: ST4

Kierownik: dr Joanna Jankowska

Uniwersytet Warszawski, Wydział Chemii

Program optymalności w problemach homomorfizmu grafów

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Paweł Rzążewski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

CoopCat: rozwój koncepcji i metod teoretycznych w celu zrozumienia efektów kooperatywnych w katalizie chemicznej

Konkurs: SONATA BIS 8 , panel: ST4

Kierownik: dr hab. Adam Kubas

Instytut Chemii Fizycznej Polskiej Akademii Nauk

Teoretyczne badania własności fizycznych półprzewodników chalkopirytu do zastosowań w ogniwach słonecznych

Konkurs: PRELUDIUM 15 , panel: ST3

Kierownik: Myron Rudysh

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Implementacja i zastosowanie metody Hylleraasa-CI w dokładnych obliczeniach atomów i molekuł dwuatomowych

Konkurs: PRELUDIUM 15 , panel: ST4

Kierownik: Tymon Kilich

Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Bartosz Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wielowartościowa dynamika kombinatoryczna dla skończonych przestrzeni topologicznych.

Konkurs: PRELUDIUM 15 , panel: ST1

Kierownik: Michał Lipiński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Podejście analityczne w dynamice konforemnej

Konkurs: OPUS 15 , panel: ST1

Kierownik: prof. Grzegorz Świątek

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Programowanie dynamiczne z gwarancjami

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Karol Węgrzycki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne obliczenia w predykatywnej matematyce

Konkurs: SONATINA 2 , panel: ST6

Kierownik: dr Michał Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Mapowanie gruboziarnistych modeli kwasów nukleinowych z pola NARES-2P do reprezentacji pełnoatomowej

Konkurs: PRELUDIUM 14 , panel: ST4

Kierownik: Łukasz Golon

Uniwersytet Gdański, Wydział Chemii

Wydajne algorytmy i warunkowe ograniczenia dolne dla problemów na drzewach

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: Bartłomiej Dudek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automatyczna analiza systemów współbieżnych

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Mechanizm i dynamika reakcji fotochromowej 3H-naftopiranów badane czasowo-rozdzielczą spektroskopią oscylacyjną i elektr...

Konkurs: OPUS 14 , panel: ST4

Kierownik: prof. Gotard Burdziński

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

Właściwości i reaktywność cząsteczek i kompleksów cząsteczkowych w warunkach częściowych ograniczeń przestrzennych...

Konkurs: OPUS 14 , panel: ST4

Kierownik: dr hab. Tatiana Korona

Uniwersytet Warszawski, Wydział Chemii

W kierunku lepszego zrozumienia widm NIR

Konkurs: OPUS 14 , panel: ST4

Kierownik: prof. Mirosław Czarnecki

Uniwersytet Wrocławski, Wydział Chemii

Rola wody solwatacyjnej w kształtowaniu aktywności białek z grupy przeciwdziałających zamarzaniu.

Konkurs: PRELUDIUM 14 , panel: ST4

Kierownik: Joanna Grabowska

Politechnika Gdańska, Wydział Chemiczny

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wokół optymalności algorytmów opartych o programowanie dynamiczne

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

W kierunku dokładnej predykcji energetyki stanów spinowych dla kompleksów metali przejściowych w obliczeniach kwantowo-c...

Konkurs: SONATA 13 , panel: ST4

Kierownik: dr hab. Mariusz Radoń

Uniwersytet Jagielloński, Wydział Chemii

Defekty i pułapkowanie nośników ładunku w luminoforach Lu2O3:Ln,M wykazujących długotrwałą poświatę lub trwale magazynuj...

Konkurs: SONATA 13 , panel: ST3

Kierownik: dr Andrii Shyichuk

Uniwersytet Wrocławski, Wydział Chemii

Zrozumieć rekursję

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Lorenzo Clemente

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Grafy dynamiczne; spójność, przepływy i kolorowanie.

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Anna Zych-Pawlewicz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Lingua receptiva czy lingua franca? Praktyki językowe na pograniczu polsko-czeskim w obliczu dominacji angielszczyzny (u...

Konkurs: SONATA BIS 7 , panel: HS2

Kierownik: dr hab. Magdalena Steciąg

Uniwersytet Zielonogórski, Wydział Humanistyczny

Zintegrowane podejście do modelowania struktury i dynamiki białek z wykorzystaniem gruboziarnistego pola siłowego UNRES ...

Konkurs: HARMONIA 9 , panel: ST4

Kierownik: dr hab. Cezary Czaplewski

Uniwersytet Gdański, Wydział Chemii

Nowy paradygmat obliczeniowy IzoGeometrycznej metody Minimalizacji Reziduum (iGRM) i jego zastosowanie do rozwiązywania ...

Konkurs: HARMONIA 9 , panel: ST1

Kierownik: prof. Maciej Paszyński

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

Obliczeniowe aspekty własności (T)

Konkurs: SONATA 13 , panel: ST1

Kierownik: dr Marek Kaluba

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Wybrane zagadnienia kompresji gramatykowej

Konkurs: SONATA BIS 7 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Charakterystyka oddziaływań pomiędzy, zatopionymi w Bałtyku, bojowymi środkami trującymi a wodą za pomocą badań eksperym...

Konkurs: OPUS 13 , panel: ST4

Kierownik: dr hab. Paweł Rodziewicz

Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Nauk Ścisłych i Przyrodniczych

Wydajność, odporność i bezpieczeństwo systemów rozproszonych dla bardziej realistycznych modeli adwersarzy.

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Marek Klonowski

Politechnika Wrocławska

Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska