Projekty finansowane przez NCN

Niskowymiarowe nanoarchitektury dla emisji światła i konwersji światła w energię elektryczną

Konkurs: OPUS 20 (LAP) , panel: ST4

Kierownik: dr Silvio Osella

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

Efektywne pamięciowo kodowanie problemów kombinatorycznych do kwantowych obliczeń wariacyjnych

Konkurs: PRELUDIUM 19 , panel: ST6

Kierownik: Adam Glos

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr Michał Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Badania dynamiką molekularną ab initio wpływu oddziaływań międzycząsteczkowych na indukowaną mechaniczną siłą rozciągają...

Konkurs: OPUS 19 , panel: ST4

Kierownik: dr Przemysław Dopieralski

Uniwersytet Wrocławski, Wydział Chemii

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Podstawienie fluorem – nowy algorytm zwiększania aktywności biologicznej

Konkurs: PRELUDIUM 18 , panel: NZ7

Kierownik: Wojciech Pietruś

Instytut Farmakologii im. Jerzego Maja Polskiej Akademii Nauk

Modele obliczeń rozszerzone o dane

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Marek Adamczyk

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody tworzenia, modelowania i analizy protokołów w intersieciach kwantowych

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr hab. Jarosław Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

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

Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych

Konkurs: MAESTRO 1 , panel: ST6

Kierownik: prof. Marek Kubale

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

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

Konkurs: SONATA BIS 9 , panel: ST6

Kierownik: dr hab. Bartosz 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 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 Górnicka

Politechnika Gdańska

Efekty izotopowe wiązania do enzymu jako nowe, unikalne narzędzie badania oddziaływań receptor - ligand

Konkurs: MAESTRO 1 , panel: ST4

Kierownik: prof. Piotr Paneth

POLITECHNIKA ŁÓDZKA

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

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

Dyskretyzacje układów dynamicznych zachowujące całki ruchu

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Jan Cieśliński

Uniwersytet w Białymstoku, Wydział Fizyki

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