Projekty finansowane przez NCN

Nowe podejście do analizy uziarnienia osadów gruboziarnistych

Konkurs: PRELUDIUM 15 , panel: ST10

Kierownik: Małgorzata Frydrych

Uniwersytet Łódzki, Wydział Nauk Geograficznych

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyczne odkrywanie i wykorzystywanie wiedzy dziedzinowej do priorytetyzacji przeszukiwania w problemie automatyczne...

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Iwo Błądek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Bartosz Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zautomatyzowane podejmowanie decyzji a zakaz dyskryminacji na gruncie prawa europejskiego

Konkurs: PRELUDIUM 15 , panel: HS5

Kierownik: dr Joanna Mazur

Uniwersytet Warszawski, Wydział Prawa i Administracji

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

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

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

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

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

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Pamięć prospektywna w okresie dzieciństwa - przetwarzanie automatyczne a przetwarzanie strategiczne

Konkurs: PRELUDIUM 9 , panel: HS6

Kierownik: Elżbieta Ślusarczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Metody i algorytmy automatycznej kalibracji i kompensacji offsetu skali czasu w światłowodowych systemach dystrybucji cz...

Konkurs: OPUS 9 , panel: ST7

Kierownik: dr hab. Przemysław Krehlik

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

Automaty z wagami dla własności kwantytatywnych

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wykorzystanie automatów komórkowych do modelowania procesów przywództwa w organizacjach

Konkurs: OPUS 8 , panel: HS4

Kierownik: dr hab. Agnieszka Kowalska-Styczeń

Politechnika Śląska, Wydział Organizacji i Zarządzania

Skalowalne metaheurystyki dla automatycznej syntezy programów

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Krzysztof Krawiec

Politechnika Poznańska, Wydział Informatyki

Zastosowanie modeli generacyjnych i dyskryminacyjnych uczenia maszynowego do automatycznej korekty błędów gramatycznych...

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Roman Grundkiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Opracowanie i weryfikacja współbieżnego modelu RCAFE (losowych automatów komórkowych - elementów skończonych) uwzględnia...

Konkurs: SONATA BIS 4 , 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

Automatyczna analiza fonetycznej konwergencji w systemach technologii mowy

Konkurs: HARMONIA 6 , panel: HS2

Kierownik: prof. Grażyna Demenko

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Neofilologii

ARISTOTELES: Metodologia i algorytmy automatycznej aktualizacji ontologii w scenariuszach zadaniowych

Konkurs: SONATA 7 , panel: ST6

Kierownik: dr Agnieszka Ławrynowicz

Politechnika Poznańska, Wydział Informatyki

Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Damian Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Opracowanie algorytmów modelowania 3D zabudowy na podstawie chmur punktów pochodzących z gęstego dopasowania obrazów....

Konkurs: PRELUDIUM 7 , panel: ST10

Kierownik: Małgorzata Jarząbek-Rychard

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

Automatyczna klasyfikacja gwiazd zmiennych z wykorzystaniem hierarchicznych systemów uczących się

Konkurs: PRELUDIUM 7 , panel: ST9

Kierownik: Michał Pawlak

Uniwersytet Warszawski, Wydział Fizyki

Wieloskalowy model wzrostu nowotworu jako kluczowy element systemu do planowania optymalnej terapii antynowotworowej

Konkurs: HARMONIA 5 , panel: ST6

Kierownik: prof. Witold Dzwinel

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

Generacja nieliniowych dynamicznych kompaktowych modeli termicznych systemów elektronicznych i przyrządów półprzewodniko...

Konkurs: PRELUDIUM 5 , panel: ST7

Kierownik: Tomasz Torzewicz

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

Opracowanie narzędzia do automatycznej oceny kompleksów ligandów z receptorami serotoninowymi opartego o wykorzystanie m...

Konkurs: PRELUDIUM 5 , panel: NZ2

Kierownik: Sabina Podlewska

Instytut Farmakologii PAN

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

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Tendera

Uniwersytet Opolski

Synchronizacja automatów i hipoteza Cerny'ego

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki