Projekty finansowane przez NCN

Fundamentalne problemy i implementacje dyssypatywnej inżynierii kwantowej

Konkurs: MAESTRO 11 , panel: ST2

Kierownik: prof. Adam Jacek Miranowicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

Arytmetyczne własności specjalnych ciągów liczbowych, wielomianów i ułamków łańcuchowych

Konkurs: SONATA BIS 9 , panel: ST1

Kierownik: dr hab. Maciej Ulas

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Zastosowanie hybrydowych systemów sztucznej inteligencji w automatycznych modelach wyceny (AVM) na ograniczonych rynkach...

Konkurs: OPUS 17 , panel: HS4

Kierownik: dr hab. Małgorzata Beata Renigier-Biłozor

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geoinżynierii

Big data, algorytmy i sztuczna inteligencja w ściganiu przestępstw w UE

Konkurs: OPUS 17 , panel: HS5

Kierownik: dr Martyna Agnieszka Kusak

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Prawa i Administracji

Rola ruchów ciała w rozwoju uwagi wzrokowej u niemowląt - badanie z wykorzystaniem automatycznych metod pomiarów ruchu i...

Konkurs: SONATINA 3 , panel: HS6

Kierownik: dr David López Pérez

Instytut Psychologii PAN

Opracowanie platformy obliczeniowej opartej o metodę kratowego równania Boltzmanna do modelowania zaawansowanych technol...

Konkurs: OPUS 16 , panel: ST8

Kierownik: prof. Dmytro Svyetlichnyy

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

Geometria i topologia grup Artina

Konkurs: BEETHOVEN 3 , panel: ST1

Kierownik: dr Damian Osajda

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

Nowe podejście do analizy uziarnienia osadów gruboziarnistych

Konkurs: PRELUDIUM 15 , panel: ST10

Kierownik: Małgorzata Agata 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 Piotr Błądek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Bartosz Paweł 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 Urszula Mazur

Uniwersytet Warszawski, Wydział Prawa i Administracji

Automatyczna analiza systemów współbieżnych

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Sławomir Grzegorz 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 Jacek Białecki

Instytut Geofizyki PAN

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 Dariusz 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 Teresa 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 Tomasz 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 Jan 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 Błażej 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 Ryszard Unold

Politechnika Wrocławska

Algebraiczna struktura obiektów kombinatorycznych

Konkurs: OPUS 11 , panel: ST1

Kierownik: prof. Andrzej Marian 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 Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Karol 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 Polska Akademia 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ł Paweł 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 Rafał Ł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 Wojciech 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 Paweł 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 Kalina Ś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 Jakub 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 Maria 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 Tadeusz Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki