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

Rozgrywany podział grafów: strategie i algorytmy

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Bartosz Walczak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Lingwistyczny warsztat do analizy i rozpoznawania mowy

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Bartosz Ziółko

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

Połączenie podejść dyskretnego i ciągłego w modelowaniu fragmentacji i powiązalności krajobrazu z wykorzystaniem teorii ...

Konkurs: SONATA 2 , panel: ST10

Kierownik: dr Katarzyna Ostapowicz

Uniwersytet Jagielloński, Wydział Biologii i Nauk o Ziemi

Metody tworzenia, modelowania i analizy protokołów w intersieciach kwantowych

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr hab. Jarosław Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

Uogólnienie entropii i wymiaru entropijnego oraz ich zastosowania

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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