Projekty finansowane przez NCN

Obliczenia wielopętlowe w efektywnych kwantowych teoriach pola

Konkurs: OPUS 28 , panel: ST2

Kierownik: prof. Mikołaj Krzysztof Misiak

Uniwersytet Warszawski

Na granicy niemożliwego w klasycznej teorii automatów

Konkurs: OPUS 28 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Przemiany Strukturalne na Ścieżkach Chemicznej Stabilizacji w Interkalowanych Perowskitach Hybrydowych [STARSHIP]

Konkurs: SONATA BIS 14 , panel: ST3

Kierownik: dr hab. Kacper Drużbicki

Centrum Badań Molekularnych i Makromolekularnych Polskiej Akademii Nauk

Wydajne obliczenia kwantowe wyższego rzędu

Konkurs: SONATA BIS 14 , panel: ST2

Kierownik: dr hab. Michał Grzegorz Studziński

Uniwersytet Gdański

Od grafów gęstych do rzadkich i z powrotem

Konkurs: SONATA BIS 14 , panel: ST6

Kierownik: dr Paweł Rzążewski

Politechnika Warszawska

Wykraczając poza analizę najgorszego przypadku: problemy online z opóźnieniami i stochastycznymi czasami przyjścia

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Michał Łukasz Pawłowski

IDEAS NCBR Sp. z o.o.

Grafy przecięć prostych obiektów geometrycznych - struktura i algorytmy

Konkurs: OPUS 27 , panel: ST6

Kierownik: dr hab. Tomasz Krawczyk

Politechnika Warszawska

Rozwijanie Teorii Sieci Petriego: Głębsze zrozumienie Klasycznych Problemów i Ich Zastosowania w Procesach Przepływów Ro...

Konkurs: OPUS 27 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski

Synteza poprzez aktywne uczenie się: teoria i zastosowania

Konkurs: OPUS 27 , panel: ST6

Kierownik: dr hab. Jan Otop

Uniwersytet Wrocławski

Randomizowane algorytmy online.

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr Anna Katarzyna Zych-Pawlewicz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Przetwarzanie olbrzymich danych tekstowych i ich uogólnień: algorytmy i warunkowe ograniczenia dolne

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr Paweł Maciej Gawrychowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Termodynamika Przetwarzania Informacji: Od Teorii do Zastosowań

Konkurs: SONATA 19 , panel: ST2

Kierownik: dr Patryk Jan Lipka-Bartosik

Uniwersytet Jagielloński

Unifikacja modeli makro-ewolucyjnych i sieci filogenetycznych

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr hab. Paweł Piotr Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Przetwarzanie danych wysokowymiarowych za pomocą kompresji próbek i redukcji wymiarowości

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr Kunal Dutta

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne algorytmy dla NP-trudnych problemów w grafach planarnych

Konkurs: SONATA 19 , panel: ST6

Kierownik: dr Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Łączenie kropek: analiza centralności z perspektywy teorii gier i teorii wyboru społecznego

Konkurs: SONATA BIS 13 , panel: ST6

Kierownik: dr Oskar Skibski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zygmunt Ziembiński - nieznane oblicze naukowe socjologa prawa.

Konkurs: PRELUDIUM 22 , panel: HS5

Kierownik: Patryk Wojciech Kupis

Uniwersytet Szczeciński, Instytut Nauk Prawnych

Algorytmy efektywnego wyznaczania maksymalnego indukowanego acyklicznego podgrafu w grafach skierowanych

Konkurs: PRELUDIUM 22 , panel: ST6

Kierownik: Sylwester Swat

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Agnostyczne domenowo połączenia metaheurystyk optymalizacji globalnej

Konkurs: OPUS 25 , panel: ST6

Kierownik: prof. Jacek Mańdziuk

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

Rozszerzone orientacje i efektywne konstrukcje dla metody Alon-Tarsi

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr hab. Jakub Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Nowoczesne narzędzia analizy sieci złożonych

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr Małgorzata Sulkowska

Politechnika Wrocławska

Struktura produktowa grafów

Konkurs: WEAVE-UNISONO , panel: ST6

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński

Moc rozgałęzień i uczenia problemów szeregowania zadań oraz pakowania kubełków online

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Martin Böhm

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Testowanie nowych teorii poprzez precyzyjne obliczenia własności cząstki Higgsa

Konkurs: SONATA 18 , panel: ST2

Kierownik: dr Wojciech Kotlarski

Narodowe Centrum Badań Jądrowych

Problem parzystości dla automatów komórkowych.

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Anna Katarzyna Nenca

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

Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Równoległe i dokładne algorytmy dla problemów ścieżkowych w grafach skierowanych

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Adam Karol Karczmarz

IDEAS NCBR Sp. z o.o.

Densytale, ditopologia i podwójna drachmanizacja: nowe pojęcia i formalizmy w obliczeniach i analizie gęstości dwuelektr...

Konkurs: OPUS 24 , panel: ST4

Kierownik: prof. Jerzy Ryszard Ciosłowski

Uniwersytet Szczeciński, Instytut Fizyki

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Strukturalne i algorytmiczne własności dziedzicznych klas grafów

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr hab. Marcin Łukasz Pilipczuk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Poszukiwanie optymalności w wariantach problemu indeksowania tekstu i zagadnieniach pokrewnych

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr hab. Jakub Jan Radoszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy przetwarzania sekwencji nukleotydowych i aminokwasowych

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Sebastian Tomasz Deorowicz

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

W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów igrafów krawędziowych

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Jana Masaříková

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy spełnialności i równoważności dla skończonych algebr

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr Jacek Krzaczkowski

Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marta Piecyk

Politechnika Warszawska

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy online dla problemów konfiguracyjnych

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr hab. Marcin Bieńkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Proporcjonalny Budżet Partycypacyjny

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Grzegorz Pierczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej

Konkurs: SONATA 17 , panel: ST6

Kierownik: dr Tomáš Masařík

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Obwody modularne - algorytmy i ograniczenia dolne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Piotr Kawałek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Hydrożele usieciowane hierarchicznie: projektowanie teoretyczne i doświadczalne dla zastosowań biomedycznych.

Konkurs: OPUS 21 , panel: ST5

Kierownik: dr hab. Mariusz Barczak

Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Chemii

Obliczeniowe aspekty gier nieskończonych

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wydajne algorytmy rozproszone i równoległe dla dużych i dynamicznych danych

Konkurs: OPUS 20 , panel: ST6

Kierownik: prof. Tomasz Arkadiusz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy dla projektowania połączeń w warunkach niepewności

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr hab. Jarosław Byrka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modele filogenetyczne do analizy ewolucji komórek rakowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Jarosław Andrzej Paszek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Charakteryzacja treści informacyjnej struktur grafowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Krzysztof Szymon Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Testowanie nowych teorii i precyzyjne obliczenia w fizyce zapachu i kosmologii

Konkurs: OPUS 19 , panel: ST2

Kierownik: prof. Mikołaj Krzysztof Misiak

Uniwersytet Warszawski, Wydział Fizyki

Efektywne zestawy bramek kwantowych i płytkie obwody kwantowe

Konkurs: OPUS 19 , panel: ST2

Kierownik: dr hab. Adam Sawicki

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk