Projekty finansowane przez NCN

Na granicy niemożliwego w klasycznej teorii automatów

Konkurs: OPUS 28 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Synteza poprzez aktywne uczenie się: teoria i zastosowania

Konkurs: OPUS 27 , panel: ST6

Kierownik: dr hab. Jan Otop

Uniwersytet Wrocławski

Tłumaczenie ustne wspomagane sztuczną inteligencją: Wpływ funkcji automatycznego rozpoznawania mowy na pracę tłumaczy sy...

Konkurs: PRELUDIUM 22 , panel: HS2

Kierownik: Paulina Justyna Rozkrut

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Problem parzystości dla automatów komórkowych.

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Anna Katarzyna Nenca

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Kontrola systemów automatycznego decydowania stosowanych w postępowaniu administracyjnym

Konkurs: PRELUDIUM 21 , panel: HS5

Kierownik: Igor Antoni Gontarz

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

O różnych własnościach specjalnych funkcji blokowo addytywnych

Konkurs: PRELUDIUM 19 , panel: ST1

Kierownik: dr Bartosz Grzegorz Sobolewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

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

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

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

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 rozstrzygalności w teorii automatów

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyczna analiza fleksyjna tekstów polskich z lat 1830-1918 z uwzględnieniem zmian w odmianie i pisowni

Konkurs: OPUS 4 , panel: HS2

Kierownik: dr hab. Magdalena Anna Sykurska-Derwojed

Uniwersytet Warszawski, Wydział Polonistyki

Analityczne relacje równoważności i działania grup polskich

Konkurs: SONATA 3 , panel: ST1

Kierownik: dr Marcin Sabok

Instytut Matematyczny Polskiej Akademii Nauk

Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

Konkurs: MAESTRO 2 , panel: HS1

Kierownik: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki