Projekty finansowane przez NCN

Problemy separacji grafów z perspektywy złożoności parametryzowanej.

Konkurs: PRELUDIUM 10 , panel: ST6

Kierownik: Paweł Komosa

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modelowanie oddziaływań w międzycząsteczkowych kompleksach chiralnych

Konkurs: OPUS 10 , panel: ST4

Kierownik: dr hab. Tatiana Danuta Korona

Uniwersytet Warszawski, Wydział Chemii

Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Metody geometryczne i ścisła numeryka w dynamice układów hamiltonowskich

Konkurs: OPUS 10 , panel: ST1

Kierownik: prof. Piotr Zgliczyński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modelowanie numeryczne lodu morskiego metodami elementów dyskretnych - rozwój podstaw teoretycznych i metod numerycznych...

Konkurs: OPUS 10 , panel: ST10

Kierownik: dr hab. Agnieszka Herman

Uniwersytet Gdański, Wydział Oceanografii i Geografii

Konkurs: POLONEZ 1 , panel: ST6

Kierownik: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wymiar i reprezentacje częściowych porządków: złożoność obliczeniowa, ograniczenia i strukturalne własności

Konkurs: SONATA BIS 5 , panel: ST6

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Optymalność, uniwersalność i sterowalność w teorii obliczeń kwantowych

Konkurs: SONATA BIS 5 , panel: ST1

Kierownik: dr Adam Sawicki

Centrum Fizyki Teoretycznej PAN

Zastosowania logiki z funcjami częściowymi

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Jean Marie de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Odporne i efektywne protokoły dla systemów rozproszonych ograniczonych urządzeń

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Marek Dariusz Klonowski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Algorytmy globalnego dokowania białek oparte na gruboziarnistym modelu UNRES

Konkurs: PRELUDIUM 9 , panel: ST4

Kierownik: dr Paweł Krupa

Uniwersytet Gdański, Wydział Chemii

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Przeszukiwanie struktur grafowych

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Dariusz Piotr Dereniowski

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

Zastosowanie nowoczesnych metod algorytmicznych w rozwiązywaniu NP-trudnych problemów klastrowania.

Konkurs: PRELUDIUM 9 , panel: ST6

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozszerzenie parametryzacji pola siłowego OPLS-AA na wybrane cząsteczki fosfolipidów w oparciu o obliczenia kwantowo-mec...

Konkurs: SONATA 9 , panel: ST4

Kierownik: dr Anna Wójcik-Augustyn

Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii

Nieliniowe równanie dyfuzji anomalnej. Istnienie, jednoznaczność, asymptotyka oraz metody numeryczne

Konkurs: SONATA 9 , panel: ST1

Kierownik: dr Łukasz Stefan Płociniczak

Politechnika Wrocławska, Wydział Matematyki

Mechanizm reakcji transferu metylu katalizowany przez metylotransferazy zawierające pochodne witaminy B12

Konkurs: OPUS 9 , panel: ST4

Kierownik: dr Pawel Michal Kozlowski

Gdański Uniwersytet Medyczny, Wydział Farmaceutyczny z Oddziałem Medycyny Laboratoryjnej

Entropowe relacje nieoznaczoności w zastosowaniu do kryptografii kwantowej

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Zbigniew Włodzimierz Puchała

Instytut Informatyki Teoretycznej i Stosowanej PAN

Nowe eksploracje wiązań w dwuatomowych molekułach van der Waalsa: wysokorozdzielcza spektroskopia rotacyjna a zaawansowa...

Konkurs: OPUS 9 , panel: ST4

Kierownik: prof. Jarosław Stanisław Koperski

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

Metody stopingowe w analizie wybranych algorytmów

Konkurs: OPUS 9 , panel: ST6

Kierownik: prof. Michał Aleksander Morayne

Politechnika Wrocławska

Mechanizmy naprawdze DNA: od gruboziarnistego do pełnoatomowego opisu

Konkurs: SONATA 9 , panel: ST4

Kierownik: dr Adam Kazimierz Sieradzan

Uniwersytet Gdański, Wydział Chemii

Klastery żelazowo-siarkowe jako naturalne przełączniki: konsekwencje unikalnej koordynacji atomu żelaza na poziomie mole...

Konkurs: SONATA 9 , panel: ST4

Kierownik: dr Adam Maciej Kubas

Instytut Chemii Fizycznej Polskiej Akademii Nauk

Opracowanie modeli i metod włączania wiedzy do maszyn wektorów wspierających

Konkurs: SONATA 9 , panel: ST6

Kierownik: dr Marcin Orchel

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

Teoretyczne i doświadczalne badanie wpływu energii formowania i temperatury na skład fazowy i własności stopów wysokiej ...

Konkurs: OPUS 9 , panel: ST3

Kierownik: dr hab. Jakub Cieślak

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

Projektowanie nowych dodatków formującym SEI - od modelów kwantowych do układów rzeczywistych.

Konkurs: PRELUDIUM 9 , panel: ST4

Kierownik: Piotr Jankowski

Politechnika Warszawska, Wydział Chemiczny

Strategie uczenia klasyfikatorów chemicznych opartych o procesy reakcja-dyfuzja.

Konkurs: OPUS 8 , panel: ST4

Kierownik: prof. Jerzy Górecki

Instytut Chemii Fizycznej Polskiej Akademii Nauk

Obliczenia wysokiej precyzji poziomów energii w układach berylopodobnych

Konkurs: OPUS 8 , panel: ST4

Kierownik: dr Mariusz Puchalski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

Ślepe podpisy i elektroniczne dokumenty tożsamości

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Lucjan Piotr Hanzlik

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

COGRIMEN - metoda modelowania gruboziarnistego dużych układów biologicznych w ośrodkach ciągłych

Konkurs: OPUS 8 , panel: ST4

Kierownik: prof. Sławomir Hubert Filipek

Uniwersytet Warszawski, Wydział Chemii

Efekty sprzężenia ruchu jąder i elektronów w dwuatomowych cząsteczkach wieloelektronowych - obliczenia na poziomie teori...

Konkurs: OPUS 8 , panel: ST4

Kierownik: prof. Bogumił Stanisław Jeziorski

Uniwersytet Warszawski, Wydział Chemii

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Małgorzata Zbrzezny

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

Automaty z wagami dla własności kwantytatywnych

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody wnioskowania o programach w językach wyższego rzędu

Konkurs: OPUS 8 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modelowanie kształtów linii widmowych słabo oddziałujących kompleksów o znaczeniu atmosferycznym

Konkurs: OPUS 8 , panel: ST4

Kierownik: dr Hubert Cybulski

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Logiki do przetwarzania danych i weryfikacji

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efekty relatywistyczne w teoretycznych badaniach parametrów widm NMR

Konkurs: OPUS 8 , panel: ST4

Kierownik: dr hab. Magdalena Pecul-Kudelska

Uniwersytet Warszawski, Wydział Chemii

Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Konkurs: MAESTRO 6 , panel: ST6

Kierownik: prof. Paweł Maria Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Teoretyczne i spektroskopowe badania fotochemii supramolekularnych fotokatalizatorów służących do wytwarzania wodoru jak...

Konkurs: HARMONIA 6 , panel: ST4

Kierownik: dr hab. Julien Guthmuller

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

Obliczeniowa dynamika topologiczna

Konkurs: MAESTRO 6 , panel: ST1

Kierownik: prof. Marian Mrozek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Nowe perspektywy w przewidywaniu efektów izotopowych w fazie skondensowanej

Konkurs: SONATA BIS 4 , panel: ST4

Kierownik: dr hab. Agnieszka Joanna Dybała-Defratyka

Politechnika Łódzka, Wydział Chemiczny

Problemy komunikacyjne w bezprzewodowych sieciach sensorowych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Andrzej Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kryptografia bez zaufanych stron

Konkurs: SONATA 7 , panel: ST6

Kierownik: dr Tomasz Piotr Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza modeli termo-lepko-elastycznych

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: dr Filip Zdzisław Klawe

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Damian Tadeusz Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Formalne podstawy kryptowalut

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Regularyzacja rzadka w Relaksometrii NMR

Konkurs: PRELUDIUM 7 , panel: ST4

Kierownik: Mateusz Urbańczyk

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

Nowy poziom dokładności obliczeń nieadiabatycznych dla cząsteczki wodoru z użyciem funkcji Kołosa-Wolniewicza

Konkurs: OPUS 7 , panel: ST4

Kierownik: prof. Jacek Komasa

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Paweł Zając

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki