Projekty finansowane przez NCN

DATALOG w Problemie Spełnialności Więzów

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Andrzej Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowoczesne architektury komputerowe i metoda elementów skończonych

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Krzysztof Banaś

Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Fizyki, Matematyki 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

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

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

Nowe metody dystrybucji treści multimedialnych w sieciach komórkowych następnej generacji

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Arkadiusz Biernacki

Politechnika Śląska, Wydział Automatyki, Elektroniki 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

Metody kolektywnej inteligencji obliczeniowej i ich wybrane zastosowania

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr Dariusz Barbucha

Akademia Morska w Gdyni, Wydział Przedsiębiorczości i Towaroznawstwa

Nowe metody weryfikacji tożsamości na podstawie dynamicznych cech podpisu odręcznego z wykorzystaniem wybranych metod sz...

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Marcin Zalasiński

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

Wydajne algorytmy parsowania dla języków o szyku swobodnym

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Paweł Skórzewski

Uniwersytet im. Adama Mickiewicza, Wydział Matematyki i Informatyki

Opracowanie metodyki obliczeń wieloskalowych z wykorzystaniem heterogenicznych architektur sprzętowych

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Łukasz Rauch

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

Rozpoznawanie obrazów akustycznych w monitoringu środowiska i technice

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Maciej Kłaczyński

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

MEtody i NArzędzia Inżynierii Dokumentu przyszłości (MENAID)

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Bogdan Wiszniewski

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Innowacyjne metody wyszukiwania i indeksowania danych multimedialnych z wykorzystaniem technik inteligencji obliczeniowe...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Marcin Korytkowski

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

Automatyczne generowanie instrukcji obsługi dla aplikacji internetowych

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Bartosz Alchimowicz

Politechnika Poznańska, Wydział Informatyki

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Eksploracja strumieni danych ze zmienną definicją klas

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Dariusz Brzeziński

Politechnika Poznańska, Wydział Informatyki

Metoda ujednoliconej wymiany reguł na poziomie semantycznym w systemach z bazą wiedzy. (SaMURaI)

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Krzysztof Kaczor

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

BIOEMERGE: Emergentne właściwości procesów ewolucyjno-rozwojowych. Symulacyjne podejście do evo-devo

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Borys Wróbel

Uniwersytet im. Adama Mickiewicza, Wydział Biologii

Automatyzacja obliczeń w nisko-energetycznej anihilacji elektron-pozyton na hadrony

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Karol Kołodziej

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

Stratyfikacja ryzyka nagłego zgonu sercowego w oparciu o ocenę funkcji autonomicznego układu nerwowego metodami Holterow...

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Marek Kamiński

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

Metodyka tworzenia modeli semantycznych na podstawie obserwacji robota mobilnego

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Janusz Będkowski

Instytut Maszyn Matematycznych

Informatyczne modele i metody w biologii komórkowej

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Marta Kasprzak

Politechnika Poznańska, Wydział Informatyki

Modelowanie współpracy agentów z wykorzystaniem logiki wielowartościowej i równoległego przetwarzania informacji

Konkurs: OPUS 3 , panel: ST6

Kierownik: prof. Adam Borkowski

Instytut Podstawowych Problemów Techniki PAN

Kognitywne Hierarchiczne Aktywne Podziały

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr Arkadiusz Tomczyk

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

Wielopoziomowe populacyjne algorytmy rozwiązywania jedno- i wielokryterialnych problemów optymalizacji globalnej

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Ewa Gajda-Zagórska

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

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

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

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

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

Metody automatycznego programowania z wykorzystaniem podejść semantycznych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Tomasz Pawlak

Politechnika Poznańska, Wydział Informatyki

parametry modeli skończonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Eryk Kopczyński

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

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

Ostatecznie spójna replikacja: Algorytmy i metody

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Paweł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Akceleracja przetwarzania zdarzeniowych danych wizyjnych z wykorzystaniem heterogenicznych, reprogramowalnych układów ob...

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Marcin Kowalczyk

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Spersonalizowane wnioskowanie w przetwarzaniu języka naturalnego

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Przemysław Kazienko

Politechnika Wrocławska

Hipersieci w metodach głębokiego metauczenia

Konkurs: OPUS 22 , panel: ST6

Kierownik: dr Przemysław Spurek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Generatywne modele przepływowe w zastosowaniu do modelowania niepewności w zadaniach uczenia maszynowego

Konkurs: OPUS 22 , panel: ST6

Kierownik: dr hab. Maciej Zięba

Politechnika Wrocławska

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

Badanie możliwości i ograniczeń zastosowania sieci Petriego do modelowania i analizy złożonych systemów biologicznych na...

Konkurs: OPUS 4 , panel: ST6

Kierownik: prof. Piotr Formanowicz

Instytut Chemii Bioorganicznej PAN

Konstrukcja i analiza skalowalnych algorytmów dla sieci bezprzewodowych

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Energooszczędne modele i algorytmy dla systemów i sieci komputerowych przyszłych generacji

Konkurs: MAESTRO 4 , panel: ST6

Kierownik: prof. Jan Węglarz

Politechnika Poznańska, Wydział Informatyki

Algorytmy ewolucyjne w globalnej indukcji drzew modelowych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marcin Czajkowski

Politechnika Białostocka, Wydział Informatyki

Interaktywna wizualna analiza tekstu (IVTA): Rozwój nowych metod interaktywnej eksploracji tekstu i wizualizacji dużych ...

Konkurs: OPUS 5 , panel: ST6

Kierownik: prof. Witold Dzwinel

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

Algorytmy odpornej optymalizacji dyskretnej

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Adam Kasperski

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Wielokryterialne metody w projektowaniu algorytmów uczących się strategii gier kombinatorycznych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Wojciech Jaśkowski

Politechnika Poznańska, Wydział Informatyki

Kryptoanaliza rodziny funkcji skrótu Keccak

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Paweł Morawiecki

Instytut Podstaw Informatyki Polskiej Akademii Nauk