Projekty finansowane przez NCN

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

Równoległe strategie adaptacyjne i izogeometryczne do efektywnego dokładnego rozwiązywania trudnych problemów niestacjon...

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Maciej Paszyński

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

Algorytmy dokładne i przybliżone symulacji stochastycznej wielowymiarowej

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Anna Wawrzyńczak-Szaban

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Jacek Sroka

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

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

Zagadnienie odrzucania w problemie rozpoznawania wzorca: koncepcje, metody, analizy

Konkurs: OPUS 4 , panel: ST6

Kierownik: prof. Witold Pedrycz

Instytut Badań Systemowych PAN

Modularna semantyka operacyjna: podejście bialgebraiczne

Konkurs: SONATA BIS 2 , panel: ST6

Kierownik: dr hab. Bartosz Klin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Pozyskiwanie wiedzy z bardzo dużych geoprzestrzennych baz danych

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr Jarosław Jasiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych

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

Granice rozstrzygalności w teorii automatów

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowanie stochastycznych równań różniczkowych wstecz do rekonstrukcji obrazów cyfrowych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Dariusz Borkowski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Narzędzia, algorytmy i modele w badaniu wspólnej ewolucji gatunków, genów i białek.

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Paweł Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Kodowanie obrazów i wielokanałowych zapisów EEG z użyciem adaptacyjnej predykcji komponentów polifazowych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr hab. Marek Parfieniuk

Politechnika Białostocka, Wydział Informatyki

Automatyczne wykrywanie i korekcja błędów anotacyjnych w polskich korpusach językowych

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Łukasz Kobyliński

Instytut Podstaw Informatyki PAN

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

Metody automatycznego programowania z wykorzystaniem podejść semantycznych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Tomasz Pawlak

Politechnika Poznańska, Wydział Informatyki

GROSHEC - W kierunku procesora metod zbiorów przybliżonych

Konkurs: OPUS 4 , panel: ST6

Kierownik: prof. Jarosław Stepaniuk

Politechnika Białostocka, Wydział Informatyki

Obliczenia rozproszone w sieciach dynamicznych

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modelowanie aktywności transpozonów indukowanej stresem

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: prof. Anna Gambin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Automatyczne, wysokoprzepustowe modelowanie struktur przestrzennych RNA

Konkurs: MAESTRO 3 , panel: ST6

Kierownik: prof. Ryszard Adamiak

Politechnika Poznańska, Wydział Informatyki

Inteligentny system zarządzania siecią telekomunikacji mobilnej; opracowanie i implementacja algorytmów selekcji zespołu...

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Rafał Łysiak

Politechnika Wrocławska, Wydział Elektroniki

Automatyczne rozpoznawanie przedmiotów i wyrażeń opinii w tekstach w języku polskim

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Aleksander Wawer

Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

Mechanizmy rekomendacji wirtualnych zespołów dla realizacji złożonych zadań wymagających otwartej współpracy

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Adam Wierzbicki

Polsko-Japońska Akademia Technik Komputerowych

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

Matematyczne i obliczeniowe modele regulacji cyklu komórkowego i przestrzennej parakrynnej regulacji w komórkach biologi...

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Krzysztof Fujarewicz

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

Metody obliczeniowe do detekcji mutacji związanych z opornością na antybiotyki w szczepach bakteryjnych

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Michał Woźniak

Uniwersytet Warszawski

Identyfikacja modyfikacji potranskrypcyjnych RNA za pomocą spektrometrii mas

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr Bogusław Kluge

Międzynarodowy Instytut Biologii Molekularnej i Komórkowej

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

Ścisła numeryka oraz dowody wspierane komputerowo dla dysypatywnych równań różniczkowych cząstkowych.

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Jacek Cyranka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Bezplikowa architektura rozproszonych systemów informatycznych dużej skali

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Bartosz Kryza

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

Problemy skalowalności i adaptacyjności w metodyce typu "Data Farming"

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Dariusz Król

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

Wspomaganie podejmowania decyzji z wykorzystaniem interakcyjnych obliczeń granularnych

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr Marcin Szczuka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Synteza widoków wirtualnych: przygotowanie danych wejściowych i algorytmy syntezy.

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Krzysztof Wegner

Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

Zastosowanie algorytmów opartych na rachunku różniczkowym niecałkowitego rzędu do wyznaczania ścieżki ruchu platformy mo...

Konkurs: OPUS 3 , panel: ST6

Kierownik: prof. Dominik Sankowski

Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

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

SocSenSys: Systemy sprzężenia społecznego oparte o osobiste sieci sensorowe

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr Konrad Iwanicki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ewolucyjne algorytmy kształtowania zachowania w uczeniu się ze wzmocnieniem.

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Marcin Szubert

Politechnika Poznańska, Wydział Informatyki

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

Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Projektowanie i weryfikacja algorytmów sterowania w sieciowych układach regulacji

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr hab. Przemysław Ignaciuk

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej