Projekty finansowane przez NCN

Analiza ilościowych modeli obliczeniowych

Konkurs: SONATA BIS 14 , panel: ST6

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marta Piecyk

Politechnika Warszawska

Problemy Spełnialności Więzów: poza przypadek skończony

Konkurs: WEAVE-UNISONO , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński

Metody analizy podobieństwa regionów o niskiej złożoności

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: dr Patryk Paweł Jarnot

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

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

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kwantowa Informacja w Kwantowych Teoriach Pola i Holografii: Dynamika i Złożoność.

Konkurs: SONATA BIS 9 , panel: ST2

Kierownik: dr hab. Paweł Piotr Caputa

Uniwersytet Warszawski, Wydział Fizyki

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

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Konstanty Uznański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Grafowe modelowanie procesów wyszukiwania

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Dariusz Dereniowski

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

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

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

Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

Konkurs: SONATA BIS 7 , panel: HS1

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

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

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

Nowe wyzwania dla IBC

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Henryk Woźniakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Hybrydyzacja fragmentów logiki Halperna-Shohama

Konkurs: PRELUDIUM 12 , panel: HS1

Kierownik: Przemysław Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Szeregowanie zadań w sieciach zbierających dane

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Joanna Berlińska

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

Algorytmiczna i aksjomatyczna analiza systemów punktowania komitetów

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Piotr Faliszewski

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

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Przeszukiwanie struktur grafowych

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Dariusz 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

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

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Działania grup skończonych na rozmaitościach, metody i zastosowania topologii współzmienniczej w kontekście twierdzeń ty...

Konkurs: FUGA 3 , panel: ST1

Kierownik: dr Zbigniew Błaszczyk

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

Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

Konkurs: OPUS 6 , panel: HS1

Kierownik: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Efektywne energetycznie i inteligentne obliczeniowo sieci bezprzewodowe z kooperacją węzłów: EcoNets

Konkurs: OPUS 6 , panel: ST7

Kierownik: prof. Hanna Bogucka

Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

Efektywna numerycznie wielokryterialna optymalizacja modeli struktur antenowych o dużej złożoności obliczeniowej

Konkurs: OPUS 6 , panel: ST7

Kierownik: prof. Sławomir Kozieł

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

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

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

Złożoność obliczeniowa problemów spójności w grafach

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr hab. Marcin Kamiń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

Algorytmiczne aspekty wyborów w parlamentach

Konkurs: HARMONIA 3 , panel: ST1

Kierownik: dr hab. Piotr Faliszewski

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

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

Złożone modele w problemach szeregowania zadań i metody ich rozwiązania

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Adam Janiak

Instytut Badań Systemowych PAN

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

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Michał Wrona

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

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