Projekty finansowane przez NCN

Kombinatoryczne i teorio-informacyjne aspekty komunikacji w systemach rozproszonych.

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marcin Kardas

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

Teoretyczne aspekty protokołów wyborczych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Filip Zagórski

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

Formalne podejście do praktycznych problemów ukrywaniu informacji

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Marek Klonowski

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

Analiza równania populacyjnego uwzględniającego strukturę wielkościową populacji i selektywną śmiertelność

Konkurs: PRELUDIUM 5 , panel: ST1

Kierownik: Jędrzej Jabłoński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy odpornej optymalizacji dyskretnej

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Adam Kasperski

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Tendera

Uniwersytet Opolski

Synchronizacja automatów i hipoteza Cerny'ego

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badanie polimorfizmu aktywnych substancji farmaceutycznych w odniesieniu do oceny ich reaktywności i trwałości chemiczne...

Konkurs: SONATA 5 , panel: NZ7

Kierownik: dr hab. Judyta Cielecka-Piontek

Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu, Wydział Farmaceutyczny

Problemy ciągłe: optymalność, złożoność, podatność

Konkurs: OPUS 5 , panel: ST1

Kierownik: prof. Leszek Plaskota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Hipoteza BDD/FC i okolice

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zderzenia molekuł wodoru z atomami gazów szlachetnych - obliczenia ab initio i porównanie z eksperymentem

Konkurs: PRELUDIUM 5 , panel: ST4

Kierownik: dr Piotr Wcisło

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

Nowe oblicza solwatochromizmu: Absorpcja dwukwantowa układów molekularnych i nanostruktur w fazie skondensowanej.

Konkurs: PRELUDIUM 5 , panel: ST4

Kierownik: dr Małgorzata Wielgus

Politechnika Wrocławska, Wydział Chemiczny

Nierówności wariacyjne dla problemów punktów stałych operatorów quasi-nieoddalających

Konkurs: ETIUDA 1 , panel: ST1

Kierownik: Rafał Zalas

Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

Badanie własności koalicji i zbiorów bezpiecznych w grafach rozumianych jako podzbiory wierzchołków spełniające określon...

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Katarzyna Jesse-Józefczyk

Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

Gry kwantowe: teoria i implementacja

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Jan Sładkowski

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

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Knapik

Instytut Podstaw Informatyki PAN

Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Bartosz Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Rzadkie i prawie-rzadkie reprezentacje w problemach spektroskopii NMR

Konkurs: SONATA BIS 2 , panel: ST4

Kierownik: dr hab. Krzysztof Kazimierczuk

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

Opracowanie i zastosowanie metod teoretycznych do opisu konfiguracji elektronowej 4f(N-1)5d oraz modelowania przejść f-d...

Konkurs: OPUS 4 , panel: ST4

Kierownik: dr hab. Mirosław Karbowiak

Uniwersytet Wrocławski, Wydział Chemii

Dokładne obliczenia kwantowochemiczne i dynamika ultrazimnych molekuł

Konkurs: OPUS 4 , panel: ST4

Kierownik: dr Dariusz Kędziera

Uniwersytet Mikołaja Kopernika, Wydział Chemii

Symulacje numeryczne dużych odkształceń plastycznych przy pomocy modeli plastycznego płynięcia

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: Piotr Minakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowe pojęcie skończoności w teorii obliczeń

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Teoretyczne modelowanie efektu rozpuszczalnika w cieczach jonowych: model jawnego rozpuszczalnika

Konkurs: OPUS 4 , panel: ST4

Kierownik: dr hab. Andrzej Eilmes

Uniwersytet Jagielloński, Wydział Chemii

Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modularna semantyka operacyjna: podejście bialgebraiczne

Konkurs: SONATA BIS 2 , panel: ST6

Kierownik: dr hab. Bartosz Klin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Teorioinformacyjne wnioskowanie abdukcyjne dla rekomendacji kontekstowej

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Andrzej Szwabe

Politechnika Poznańska, Wydział Elektryczny

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

parametry modeli skończonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Spolegliwość niejednorodnych zadań wielowymiarowych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Paweł Siedlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice rozstrzygalności w teorii automatów

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Badanie struktur wybranych grup związków organicznych z wykorzystaniem techniki mobilności jonów sprzężonej ze spektrome...

Konkurs: PRELUDIUM 4 , panel: ST4

Kierownik: dr Anna Troć

Instytut Chemii Organicznej PAN

Obliczenia rozproszone w sieciach dynamicznych

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Układy niegładkie w matematycznej teorii zagadnień kontaktowych mechaniki

Konkurs: MAESTRO 3 , panel: ST1

Kierownik: prof. Stanisław Migórski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

SOLWERY HYBRYDOWE O LINIOWEJ ZŁOŻONOśCI OBLICZENIOWEJ I PAMIĘCIOWEJ DLA ZADAŃ PROPAGACJI FAL ELEKTROMAGNETYCZNYCH NA MOD...

Konkurs: HARMONIA 3 , panel: ST1

Kierownik: dr hab. Maciej Paszyński

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

Analiza modeli strukturalnych dynamiki populacyjnej w przestrzeniach metrycznych

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Agnieszka Ulikowska

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Teoretyczne i praktyczne aspekty obliczania homologii wielkich zbiorów danych.

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Mateusz Juda

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Obraz oddziaływań molekularnych w układach zawierąjacych cząsteczki o właściwościach anestetycznych - od izolowanego mon...

Konkurs: OPUS 3 , panel: ST4

Kierownik: prof. Maria Rospenk

Uniwersytet Wrocławski, Wydział Chemii

Symulacja teoretyczna parametrów NMR metali ciężkich jako narzędzie badań strukturalnych

Konkurs: OPUS 1 , panel: ST4

Kierownik: dr hab. Magdalena Pecul-Kudelska

Uniwersytet Warszawski, Wydział Chemii

Otrzymywanie oraz właściwości makrostruktur heteroaromatycznych projektowanych do zastosowań w opto- i bioelektronice...

Konkurs: OPUS 3 , panel: ST5

Kierownik: dr hab. Joanna Cabaj

Politechnika Wrocławska, Wydział Chemiczny

Mechanizm regioselektywnego utleniania pochodnych cholesterolu przez nowy enzym molibdenowy, dehydrogenazę 25-OH sterolo...

Konkurs: SONATA 3 , panel: ST4

Kierownik: dr hab. Maciej Szaleniec

Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera PAN

Problemy odwrotne w nieliniowym zagadnieniu brzegowym

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Łukasz Płociniczak

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

Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne algorytmy równoległe rozwiązywania równań różniczkowych cząstkowych

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Maksymilian Dryja

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne ogólne metody liniowe dla równań różniczkowych zwyczajnych

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: dr Michał Braś

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

Metody odkrywania procesów biznesowych i rachunek procesów dla systemów zgodnych z stylem architektonicznym REST.

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Andrzej Stroiński

Politechnika Poznańska, Wydział Informatyki

Liczby Ramseya z udziałem grafu C_4

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Janusz Dybizbański

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki