Projekty finansowane przez NCN

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Bartosz Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Głębokie przetwarzanie danych strukturalnych

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr Marek Śmieja

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Nowe trendy w algorytmach tekstowych

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr hab. Jakub Radoszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowa, oparta na danych metoda opisu geometrii sceny do lokalizacji agenta

Konkurs: PRELUDIUM 16 , panel: ST6

Kierownik: Jan Wietrzykowski

Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki

ComCrypt -- Wydajne i Bezpieczne Algorytmy do Jednoczesnej Kompresji i Szyfrowania

Konkurs: OPUS 16 , panel: ST6

Kierownik: prof. Józef Pieprzyk

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Algorytmy grafowe w różnych modelach obliczeń rozproszonych i równoległych.

Konkurs: ETIUDA 7 , panel: ST6

Kierownik: Krzysztof Nowicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy i modele statystyczne służące do przewidywania schematów fragmentacji cząsteczek podczas dysocjacji indukowane...

Konkurs: PRELUDIUM 17 , panel: ST6

Kierownik: Grzegorz Skoraczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne algorytmy rozproszone z ograniczoną pamięcią, energią dla modeli dynamicznych.

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Dominik Pająk

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

Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr hab. Jarosław Miszczak

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Modelowanie matematyczne procesów neutralizacji reaktywnych form tlenu w różnych typach komórek

Konkurs: PRELUDIUM 18 , panel: ST6

Kierownik: Sylwia Ciesielska

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

Analiza oraz dekompozycja części sterującej systemu cyber-fizycznego opisanego z zastosowaniem interpretowanej sieci Pet...

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr hab. Remigiusz Wiśniewski

Uniwersytet Zielonogórski

Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Połączenie symulacji molekularnej i uczenia głębokiego w projektowaniu leków de novo

Konkurs: PRELUDIUM 19 , panel: ST6

Kierownik: Tomasz Danel

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

LCRPlatform: nowe algorytmy i metody identyfikacji, kategoryzacji oraz adnotacji regionów białkowych o niskiej złożonośc...

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr hab. Marcin Grynberg

Instytut Biochemii i Biofizyki Polskiej Akademii Nauk

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

System sterowania bioprotezą dłoni oparty na zaawansowanej analizie biosygnałów i sprzężeniu zwrotnym z układu sensorycz...

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Marek Kurzyński

Politechnika Wrocławska, Wydział Elektroniki

Wyszukiwanie barwnych obrazów cyfrowych w multimedialnych bazach danych w oparciu o wielokanałowe modele przestrzennego ...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Maria Łuszczkiewicz-Piątek

Uniwersytet Łódzki, Wydział Matematyki i Informatyki

Wybrane Aspekty Skalowalności Metod Eksploracji Danych i Odkrywania Wiedzy w Bazach Danych

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Dominik Ślęzak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody odwzorowywania ontologii uwzględniające semantykę i wartościowanie atrybutów

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Marcin Pietranik

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

Rozwój i analiza uogólnień metody lasu losowego

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Miron Kursa

Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

Wydobywanie wiedzy z relacyjnych baz danych za pomocą obliczeń granularnych

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Piotr Hońko

Politechnika Białostocka, Wydział Informatyki

Automatyczne algorytmy hp adaptacyjne do przetwarzania danych tomograficznych

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Marcin Sieniek

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

Metody i algorytmy organizacji obliczeń w klasie anelastycznych modeli numerycznych dla przepływów geofizycznych na nowo...

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Roman Wyrzykowski

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

Nowe metody służące do automatycznej syntezy i eksploracji danych sekwencyjnych

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Radosław Ziembiński

Politechnika Poznańska, Wydział Informatyki

Algorytmy równoległego tworzenia i symulacji modeli trójwymiarowej sieci naczyniowej

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Krzysztof Psiuk-Maksymowicz

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

Regułowa metoda realizacji zapytań do relacyjnych baz danych z wykorzystaniem ontologicznej bazy wiedzy

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Jarosław Bąk

Politechnika Poznańska, Wydział Elektryczny

Opracowanie efektywnych metod obliczeniowych do analizy właściwości optycznych ośrodków optycznie mętnych

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Norbert Żołek

Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN

Wielo-modelowe, wielo-kryterialne i wielo-adaptacyjne strategie rozwiązywania zadań odwrotnych

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Robert Schaefer

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

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

Modelowanie aktywności transpozonów indukowanej stresem

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: prof. Anna Gambin

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

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

Granice rozstrzygalności w teorii automatów

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modularna semantyka operacyjna: podejście bialgebraiczne

Konkurs: SONATA BIS 2 , panel: ST6

Kierownik: dr hab. Bartosz Klin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Identyfikacja osób na podstawie tęczówki oka w zmiennych warunkach środowiskowych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Krzysztof Misztal

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

DISQUSS: Zdywersyfikowane podpowiedzi zapytań w wyszukiwaniu na zbiorach pół-ustrukturyzowanych

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr Marcin Sydow

Instytut Podstaw Informatyki PAN

Autonomiczne, samoadaptujące się metody metaheurystyczne w środowiskach dynamicznych

Konkurs: OPUS 4 , panel: ST6

Kierownik: prof. Jacek Mańdziuk

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Teoriogrowe podejście do wykrywania kluczowych wierzchołków w sieciach.

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Piotr Szczepański

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Rozwój algorytmów identyfikacji wszystkich ważnych zmiennych z użyciem metod uczenia maszynowego

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Witold Rudnicki

Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

Synchronizacja automatów i hipoteza Cerny'ego

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowa strategia wyboru zapytań w aktywnym uczeniu modeli maszynowych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Wojciech Czarnecki

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Przyjazne obliczeniowo miary centralności oparte na teorii gier

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Tomasz Michalak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Teoretyczne aspekty protokołów wyborczych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Filip Zagórski

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

Statystycznie spójne i skalowalne algorytmy uczące dla klasyfikacji strukturalnej

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Krzysztof Dembczyński

Politechnika Poznańska, Wydział Informatyki

Równoległy algorytm memetyczny dla rozwiązywania złożonych problemów transportowych.

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Jakub Nalepa

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