Projekty finansowane przez NCN

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 wielostanowego komputera DNA poprzez zastosowanie wielu enzymów restrykcyjnych

Konkurs: OPUS 1 , panel: NZ2

Kierownik: dr hab. Tomasz Popławski

Uniwersytet Łódzki, Wydział Biologii i Ochrony Środowiska

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

Opracowanie trójwymiarowego modelu i oprogramowania opartego o frontalne automaty komórkowe do modelowania rozwoju mikro...

Konkurs: PRELUDIUM 1 , panel: ST8

Kierownik: dr Łukasz Łach

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

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

Konkurs: PRELUDIUM 7 , panel: ST9

Kierownik: Michał Pawlak

Uniwersytet Warszawski, Wydział Fizyki

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

Modelowanie dynamiki zachowań konsumentów na rynkach oligopolistycznych za pomocą automatów komórkowych

Konkurs: OPUS 1 , panel: HS4

Kierownik: dr Agnieszka Kowalska-Styczeń

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

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

Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Bożena Woźna-Szcześniak

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

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

Opracowanie modelu matematycznego do badań przemian fazowych w układach perytektycznych z wykorzystaniem metody automatu...

Konkurs: OPUS 1 , panel: ST8

Kierownik: dr hab. Andriy Burbelko

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Odlewnictwa

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

Zautomatyzowane systemy informacyjne dotyczące orzecznictwa sądowego. Analiza modelowa

Konkurs: PRELUDIUM 1 , panel: HS2

Kierownik: dr Honorata Zarębska

Uniwersytet Śląski w Katowicach, Wydział Filologiczny

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

Badania metod wyznaczania strategii pomiarowej podczas digitalizacji kształtu obiektów trójwymiarowych wraz z optymaliza...

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Maciej Karaszewski

Politechnika Warszawska, Wydział Mechatroniki

DISQUSS: Zdywersyfikowane podpowiedzi zapytań w wyszukiwaniu na zbiorach pół-ustrukturyzowanych

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr Marcin Sydow

Instytut Podstaw Informatyki PAN

Zagadnienia algebraiczno-kombinatoryczne dotyczące grup permutacji i półgrup transformacji

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Andrzej Kisielewicz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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 Sykurska-Derwojed

Uniwersytet Warszawski, Wydział Polonistyki

Automatyczne wykrywanie i korekcja błędów anotacyjnych w polskich korpusach językowych

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Łukasz Kobyliński

Instytut Podstaw Informatyki PAN

Rola emocji o genezie automatycznej i refleksyjnej w przetwarzaniu heurystycznym i systematycznym na różnych poziomach z...

Konkurs: SONATA 4 , panel: HS6

Kierownik: dr Kamil Imbir

Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych

Metody automatycznego programowania z wykorzystaniem podejść semantycznych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Tomasz Pawlak

Politechnika Poznańska, Wydział Informatyki

Automatyczne, wysokoprzepustowe modelowanie struktur przestrzennych RNA

Konkurs: MAESTRO 3 , panel: ST6

Kierownik: prof. Ryszard Adamiak

Politechnika Poznańska, Wydział Informatyki

Teoretyczne podstawy automatyzacji procesów projektowania elementów i zespołów maszyn z zastosowaniem sztucznej intelige...

Konkurs: OPUS 3 , panel: ST8

Kierownik: prof. Wojciech Kacalak

Politechnika Koszalińska, Wydział Mechaniczny

Automatyczne rozpoznawanie przedmiotów i wyrażeń opinii w tekstach w języku polskim

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Aleksander Wawer

Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

Konkurs: SONATA 3 , panel: ST1

Kierownik: dr Marcin Sabok

Instytut Matematyczny PAN

Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Opracowanie wieloskalowego modelu rekrystalizacji, zachodzącej w cienkich drutach z biozgodnych stopów Mg podczas ciągni...

Konkurs: OPUS 3 , panel: ST8

Kierownik: prof. Andriy Milenin

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

Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Innowacyjne metody nieliniowego stochastycznego modelowania szeregów czasowych generowanych przez układy złożone i ich z...

Konkurs: OPUS 3 , panel: ST10

Kierownik: prof. Zbigniew Czechowski

Instytut Geofizyki PAN

Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Opracowanie kompleksowego wieloskalowego modelu rozwoju mikrostruktury w warunkach odkształcenia na gorąco

Konkurs: HARMONIA 2 , panel: ST8

Kierownik: prof. Maciej Pietrzyk

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

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, Wydział Nauk Społecznych

Audiowizualne przetwarzanie mowy polskiej na potrzeby interfejsu człowiek-komputer

Konkurs: PRELUDIUM 2 , panel: ST7

Kierownik: Tomasz Jadczyk

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

Nowe metody służące do automatycznej syntezy i eksploracji danych sekwencyjnych

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Radosław Ziembiński

Politechnika Poznańska, Wydział Informatyki

Automatyzacja obliczeń w nisko-energetycznej anihilacji elektron-pozyton na hadrony

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Karol Kołodziej

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

Stężenia alergizującego pyłku w powietrzu atmosferycznym - nowe podejście oparte na modelowaniu i pomiarach

Konkurs: OPUS 26 , panel: ST10

Kierownik: dr hab. Małgorzata Werner

Uniwersytet Wrocławski, Wydział Nauk o Ziemi i Kształtowania Środowiska

Czy ogólna sztuczna inteligencja przyniesie koniec ludzkości czy "róg obfitości"? Modelowanie gospodarki w warunkach tec...

Konkurs: OPUS 26 , panel: HS4

Kierownik: prof. Jakub Growiec

Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych