Projekty finansowane przez NCN

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

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

Ocena zasobów kapitału społecznego polskich regionów z zastosowaniem metod ekonomii eksperymentalnej

Konkurs: OPUS 4 , panel: HS5

Kierownik: dr Urszula Markowska-Przybyła

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii, Zarządzania i Turystyki

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

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

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

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

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

Efektywne harmonogramowanie zadań w cyklicznych systemach wytwarzania

Konkurs: OPUS 3 , panel: ST7

Kierownik: dr hab. Wojciech Bożejko

Politechnika Wrocławska, Wydział Elektroniki

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

Sprawiedliwy podział dóbr niepodzielnych w warunkach niepełnej informacji

Konkurs: OPUS 26 , panel: HS4

Kierownik: dr hab. Marcin Anholcer

Uniwersytet Ekonomiczny w Poznaniu, Instytut Informatyki i Ekonomii Ilościowej

Ewolucja zachowań podmiotów gospodarczych w warunkach ograniczonej racjonalności

Konkurs: OPUS 26 , panel: HS4

Kierownik: dr Fryderyk Falniowski

Uniwersytet Ekonomiczny w Krakowie, Kolegium Ekonomii, Finansów i Prawa

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

Czy śluzowce mogą nam pomóc złagodzić napięcia kosmologiczne?

Konkurs: OPUS 26 , panel: ST9

Kierownik: dr hab. Vincenzo Salzano

Uniwersytet Szczeciński, Instytut Fizyki

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

Czarny czy niebieski TiO2 do generowania zielonego wodoru - gra kolorów?

Konkurs: OPUS 26 , panel: ST8

Kierownik: prof. Marta Radecka

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Materiałowej i Ceramiki

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

Doświadczanie gier wideo w przekładzie: model recepcyjny

Konkurs: SONATA BIS 13 , panel: HS2

Kierownik: dr hab. Mikołaj Deckert

Uniwersytet Łódzki, Wydział Filologiczny

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

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

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.

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

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

Gra w ogony: Zrozumienie roli przetwarzania 3'-końca długich niekodujących RNA podczas rozwoju danio pręgowanego

Konkurs: PRELUDIUM 21 , panel: NZ2

Kierownik: Monika Kwiatkowska

Instytut Chemii Bioorganicznej Polskiej Akademii Nauk

Uogólnione markowskie modele decyzyjne i gry

Konkurs: OPUS 2 , panel: ST1

Kierownik: dr hab. Anna Jaśkiewicz

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

Mapowanie growej biopolityki: paradygmaty immunologiczne w grach cyfrowych

Konkurs: OPUS 22 , panel: HS2

Kierownik: dr hab. Michał Kłosiński

Uniwersytet Śląski w Katowicach, Wydział Humanistyczny

Informacja zwrotna jako interwencja publiczna. Analiza porównawcza polityk przeciwdziałających marnowaniu żywności i tes...

Konkurs: OPUS 22 , panel: HS5

Kierownik: dr hab. Karol Olejniczak

SWPS Uniwersytet Humanistycznospołeczny z siedzibą w Warszawie

Język na ekranie w grach wideo: perspektywa recepcji przekładu

Konkurs: PRELUDIUM BIS 3 , panel: HS2

Kierownik: dr hab. Mikołaj Deckert

Uniwersytet Łódzki, Wydział Filologiczny

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

Wpływ gier komputerowych zawierających przemoc na nieświadome wrogie myśli i agresję u więźniów i osób niekaranych...

Konkurs: PRELUDIUM BIS 3 , panel: HS6

Kierownik: dr hab. Joanna Rajchert

Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej