Projekty finansowane przez NCN

Automatyczna analiza systemów współbieżnych

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Mechanistyczne wyjaśnienie generowania (i odstępstw od) uniwersalnej krzywej rozkładu prawdopodobieństwa czasu powrotu t...

Konkurs: OPUS 14 , panel: ST10

Kierownik: dr hab. Mariusz Białecki

Instytut Geofizyki Polskiej Akademii Nauk

Automatyczne projektowanie oraz efektywna optymalizacja wymiarów geometrycznych i topologii anten zminiaturyzowanych

Konkurs: OPUS 14 , panel: ST7

Kierownik: dr Sławomir Kozieł

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

Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zrozumieć rekursję

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Lorenzo Clemente

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

Konkurs: SONATA BIS 7 , panel: HS1

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

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

Zaawansowane metody optymalizacji zautomatyzowanych procesów cyklicznych

Konkurs: OPUS 13 , panel: ST7

Kierownik: dr hab. Wojciech Bożejko

Politechnika Wrocławska

Automatyzacja identyfikacji osuwisk z zastosowaniem danych lotniczego skaningu laserowego, klasyfikacji obiektowej i ucz...

Konkurs: PRELUDIUM 13 , panel: ST10

Kierownik: dr Kamila Pawłuszek-Filipiak

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

Konkurs: OPUS 13 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Mapy poznawcze z informacją niedoskonałą jako narzędzie automatycznego rozumienia danych. Koncepcje, metody, zastosowani...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Władysław Homenda

Instytut Badań Systemowych PAN

Zautomatyzowany system wieloparametrowej oceny stanu ogólnego pacjenta z pogłębioną analizą funkcji układu oddechowego i...

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Andrzej Napieralski

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

Metody i narzędzia lingwistyki korpusowej w badaniach bibliografii polskich wydawnictw zwartych z lat 1997-2017.

Konkurs: OPUS 12 , panel: HS2

Kierownik: prof. Adam Pawłowski

Uniwersytet Wrocławski, Wydział Filologiczny

Arytmetyczne własności układów dynamicznych w dodatniej charakterystyce.

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr Jakub Byszewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Neuronalne podłoże świadomości - automatyczna klasyfikacja stanu świadomości przy użyciu metod BCI.

Konkurs: PRELUDIUM 12 , panel: HS6

Kierownik: Marcin Koculak

Uniwersytet Jagielloński, Wydział Filozoficzny

Automatyczna synteza modeli programowania matematycznego dla procesów biznesowych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Tomasz Pawlak

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Własności ilościowe dla schematów rekurencyjnych wyższego rzędu

Konkurs: SONATA BIS 6 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody wnioskowania gramatycznego w klasyfikacji białek amyloidowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Olgierd Unold

Politechnika Wrocławska

Algebraiczna struktura obiektów kombinatorycznych

Konkurs: OPUS 11 , panel: ST1

Kierownik: prof. Andrzej Kisielewicz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Samokontrola czynności sterowanych impulsami. Rola procesów automatycznych i refleksyjnych w procesie zwiększania efekty...

Konkurs: SONATA 1 , panel: HS6

Kierownik: dr Jacek Buczny

SWPS Uniwersytet Humanistycznospołeczny w Warszawie

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zautomatyzowane dźwiękowe leczenie nowotworów

Konkurs: OPUS 11 , panel: ST8

Kierownik: dr hab. Tamara Kujawska

Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk

Ocena możliwości wykorzystania nowoczesnych architektur sprzętowych w modelowaniu mechanizmów rozwoju mikrostruktury z w...

Konkurs: PRELUDIUM 11 , panel: ST8

Kierownik: Mateusz Sitko

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

Wydajne algorytmy dla słabych form niedeterminizmu

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr hab. Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Badania i modelowanie dyfuzyjnych przemian fazowych za pomocą opracowanego modelu hybrydowego opartego o metody automató...

Konkurs: SONATA 11 , panel: ST8

Kierownik: dr Łukasz Łach

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

Symulacje numeryczne morfologii warstw pasywnych na powierzchniach elektrod metalicznych.

Konkurs: OPUS 10 , panel: ST4

Kierownik: dr hab. Janusz Stafiej

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych

Metody automatycznej syntezy szybkich filtrów cyfrowych o stałych współczynnikach wykorzystujących resztowy system liczb...

Konkurs: OPUS 1 , panel: ST7

Kierownik: dr hab. Janusz Biernat

Politechnika Wrocławska, Wydział Elektroniki

Narzędzia bioinformatyczne do automatycznej identyfikacji obszarów guza i jego heterogeniczności na bazie profili metabo...

Konkurs: OPUS 10 , panel: ST6

Kierownik: prof. Joanna Polańska

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

Modele i metody matematyczne w opisie wzrostu i leczenia nowotworów.

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr hab. Marek Bodnar

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody automatycznej syntezy optymalnych komórek kompaktowych dla potrzeb projektowania zminiaturyzowanych układów mikro...

Konkurs: PRELUDIUM 10 , panel: ST7

Kierownik: Piotr Kurgan

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

Wieloskalowe modelowanie ewolucji mikrostruktury w trakcie odkształcenia z wykorzystaniem kompleksowego środowiska progr...

Konkurs: SONATA 1 , panel: ST8

Kierownik: dr hab. Łukasz Madej

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

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki