Projekty finansowane przez NCN

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

Ostatecznie spójna replikacja: Algorytmy i metody

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Paweł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

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

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

Aspekty prywatności wybranych systemów złożonych.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Piotr Syga

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

Nowe algorytmy i struktury dla procesorów GPU wykonujące masowe operacje na danych.

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Krzysztof Kaczmarski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Poszukiwanie fal grawitacyjnych z rotujących gwiazd neutronowych przy użyciu sprzętowych akceleratorów obliczeń

Konkurs: OPUS 4 , panel: ST9

Kierownik: dr hab. Michał Bejger

Centrum Astronomiczne im. Mikołaja Kopernika PAN

parametry modeli skończonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Eryk Kopczyński

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

Modele i algorytmy zarządzania zasobami współczesnych systemów informatycznych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Krzysztof Rządca

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Sterowanie współbieżnością i odporność na awarie dla rozproszonej pamięci transakcyjnej

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Paweł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Statystyczna analiza modeli kosmologicznych rozszerzonej grawitacji i modeli z polem skalarnym

Konkurs: PRELUDIUM 3 , panel: ST9

Kierownik: Michał Kamionka

Uniwersytet Wrocławski, Wydział Fizyki i Astronomii

Teoria zbiorów przybliżonych w hybrydowych systemach decyzyjnych dla przypadków interwałowych i niekompletnych danych we...

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Robert Nowicki

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Algorytmy dla problemu dopasowania wielu sekwencji oraz problemów pokrewnych

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Adam Gudyś

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

Obserwowalna fizyka z kwantowej czasoprzestrzeni

Konkurs: SONATA BIS 1 , panel: ST2

Kierownik: dr Tomasz Pawłowski

Uniwersytet Warszawski, Wydział Fizyki

Oszczędne pamięciowo algorytmy przetwarzania i analizy danych z sekwencjonowania genomów

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Sebastian Deorowicz

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

Współczesne oblicza ikonoklazmu. Analiza działań o charakterze ikonoklastycznym w Polsce (1989-2012).

Konkurs: PRELUDIUM 3 , panel: HS2

Kierownik: Łukasz Zaremba

Uniwersytet Warszawski, Wydział Polonistyki

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

Algorytmy parametryzowane w problemach grafowych oraz wyszukiwaniu wzorca permutacji.

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr Marek Cygan

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Informatyczne modele i metody w biologii komórkowej

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Marta Kasprzak

Politechnika Poznańska, Wydział Informatyki

NOWE METODY OBLICZEŃ POPRAWEK WYSOKIEGO RZĘDU W RAMACH KWANTOWEJ TEORII POLA DLA POTRZEB POMIARÓW W WIELKIM ZDERZACZU HA...

Konkurs: OPUS 2 , panel: ST2

Kierownik: prof. Stanisław Jadach

Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego PAN

Randomizowane algorytmy online.

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr Anna 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ł Gawrychowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Unifikacja modeli makro-ewolucyjnych i sieci filogenetycznych

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr hab. Paweł 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 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, Elektroniki i Telekomunikacji

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

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy przetwarzania sekwencji nukleotydowych i aminokwasowych

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Sebastian Deorowicz

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

W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów i grafó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