Projekty finansowane przez NCN

Lingwistyka formalna w proteomice - modelowanie, analiza i porównywanie hipotez

Konkurs: SONATA 9 , panel: ST6

Kierownik: dr Witold Dyrka

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

Wymiar i reprezentacje częściowych porządków: złożoność obliczeniowa, ograniczenia i strukturalne własności

Konkurs: SONATA BIS 5 , panel: ST6

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Inżynieria odwrotna oddziałujących sygnałów w sieciach złożonych

Konkurs: OPUS 10 , panel: ST6

Kierownik: prof. Janusz Hołyst

Politechnika Warszawska, Wydział Fizyki

Algorithmic Structure Theory for Sparse Graphs

Konkurs: POLONEZ 1 , panel: ST6

Kierownik: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Implikacje rozmyte i ich wpływ na różnorodne metody wykorzystywane w systemach inteligentnych.

Konkurs: OPUS 10 , panel: ST6

Kierownik: dr hab. Michał Baczyński

Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Opracowanie nowych strategii dynamicznego zarządzania liczbą koewoluujących podpopulacji dla metod ewolucyjnych korzysta...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Michał Przewoźniczek

Politechnika Wrocławska

Algebraiczne niezmienniki dla Sieci Petriego z danymi.

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dzielenie przestrzeni etykiet w klasyfikacji wieloetykietowej z zastosowaniem metod eksploracji danych

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Piotr Szymański

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

Nowe algorytmy do oceny struktur klonalnych oraz do modelowania niejednorodnych ewolucji dla zastosowań w genomice nowot...

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Andrzej Polański

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

Konstrukcje zbiorów obrazów całkowych do szybkiej ekstrakcji cech i uczenia maszynowego w zadaniach detekcji

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Przemysław Klęsk

Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki

Bayesowska analiza podtypów raka pęcherza moczowego na podstawie wysokoprzepustowych danych

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Krzysztof Gogolewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice baz danych

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Szymon Toruńczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

MLGenSig (Machine Learning Genetic Signatures) Metody uczenia maszynowego w budowie zintegrowanych sygnatur genetycznych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Przemysław Biecek

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Rozszerzona rzeczywistość jako wsparcie treningu szermierki

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Filip Malawski

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

Modele matematyczne i morfologiczne w problemach analizy i rekonstrukcji zmian nowotworowych nerek.

Konkurs: OPUS 12 , panel: ST6

Kierownik: prof. Tomasz Markiewicz

Politechnika Warszawska, Wydział Elektryczny

Język programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z użyciem ManyDSL

Konkurs: PRELUDIUM 12 , panel: ST6

Kierownik: Piotr Danilewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algebraic Effects and Continuations

Konkurs: POLONEZ 3 , panel: ST6

Kierownik: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Struktury danych i algorytmy dynamiczne dla grafów planarnych.

Konkurs: ETIUDA 5 , panel: ST6

Kierownik: Adam Karczmarz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Synteza i analiza systemów cybernetyczno-fizycznych w środowisku obliczeń ziarnistych.

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Witold Pedrycz

Sieć Badawcza ŁUKASIEWICZ - Instytut Techniki i Aparatury Medycznej ITAM

Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali

Konkurs: OPUS 13 , panel: ST6

Kierownik: dr hab. Krzysztof Rządca

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody segmentacji obrazów integrujące analizę tekstur i modele deformowalne

Konkurs: PRELUDIUM 13 , panel: ST6

Kierownik: Daniel Reska

Politechnika Białostocka, Wydział Informatyki

Grafy dynamiczne; spójność, przepływy i kolorowanie.

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Anna Zych-Pawlewicz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozwój metod statystycznych i algorytmicznych stosowanych w spektroskopii mas

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Michał Startek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Uczenie maszynowe ze wzmocnieniem - współczesne wyzwania

Konkurs: SONATA BIS 7 , panel: ST6

Kierownik: dr Piotr Miłoś

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wokół optymalności algorytmów opartych o programowanie dynamiczne

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Koherentne Modele i Wydajne Algorytmy dla Duplikacji Genomowych

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr hab. Paweł Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wykorzystanie uczenia maszynowego w informatyce kwantowej

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Mateusz Ostaszewski

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Programowanie dynamiczne z gwarancjami

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Karol Węgrzycki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Telekomunikacyjne podejście do modelowania metabolizmu komórek

Konkurs: OPUS 17 , panel: ST6

Kierownik: prof. Tadeusz Wysocki

Uniwersytet Technologiczno-Przyrodniczy im. Jana i Jędrzeja Śniadeckich w Bydgoszczy, Wydział Telekomunikacji, Informatyki i Elektrotechniki

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Uznański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Przestrzenny model sieciowy zróżnicowania sekwencji i struktury genomu ludzkiego w skali populacyjnej

Konkurs: PRELUDIUM BIS 1 , panel: ST6

Kierownik: dr hab. Dariusz Plewczyński

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Narzędzia probabilistyczne do wysokowymiarowego wnioskowania geometrycznego i analizy danych topologicznych i sieci na d...

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Kunal Dutta

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Aplikacja metod uczenia głębokiego opartych o atencję do znajdowania nowych aktywnych związków chemicznych

Konkurs: PRELUDIUM 18 , panel: ST6

Kierownik: Łukasz Maziarka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Obliczeniowe aspekty geometrii nieeuklidesowych

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Opracowanie metod ewolucyjnych dedykowanych do optymalizacji wielokryterialnej i wielokryterialnej z dużą liczbą kryteri...

Konkurs: SONATA BIS 10 , panel: ST6

Kierownik: dr Michał Przewoźniczek

Politechnika Wrocławska

Modele filogenetyczne do analizy ewolucji komórek rakowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Jarosław Paszek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Obliczeniowe aspekty gier nieskończonych

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Głębokie samoorganizujące się grafy neuronowe

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nowy model probabilistyczny do identyfikacji typów komórek w danych transkryptomicznych otrzymanych w wyniku sekwencjono...

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Agnieszka Geras

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki