Projekty finansowane przez NCN

Automatyzacja projektowania i optymalizacja układów wysokich częstotliwości za pomocą metod uczenia maszynowego

Konkurs: OPUS 28 , panel: ST7

Kierownik: dr hab. Anna Pietrenko-Dąbrowska

Politechnika Gdańska

Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

Konkurs: OPUS 28 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Na granicy niemożliwego w klasycznej teorii automatów

Konkurs: OPUS 28 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Wysokowydajny, trójwymiarowy model ewolucji mikrostruktury oparty na GPU i neuronowych automatach komórkowych zorientowa...

Konkurs: OPUS 28 , panel: ST8

Kierownik: prof. Łukasz Karol Madej

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

Selektywna degradacja białek sterowana autofagią jako potencjalna strategia terapeutyczna w leczeniu schorzeń o podłożu ...

Konkurs: OPUS 28 , panel: NZ7

Kierownik: dr hab. Monika Emilia Marcinkowska

Uniwersytet Jagielloński

Adaptacyjne zrównoleglenie pełnopolowych modeli ewolucji mikrostruktury materiałów metalicznych dedykowane dla rozległyc...

Konkurs: SONATA 20 , panel: ST8

Kierownik: dr Mateusz Sitko

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

Ekspozycja na automatyzację a inwestycje w kapitał ludzki w krajach Unii Europejskiej

Konkurs: PRELUDIUM 23 , panel: HS4

Kierownik: Satia Rożynek

Uniwersytet Warszawski

Hybrydowy model pękania cienkich warstw TiN oparty na koncepcji cyfrowej reprezentacji materiału odwzorowującej lokalne ...

Konkurs: OPUS 27 , panel: ST8

Kierownik: dr Konrad Perzyński

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

Wpływ sztucznej inteligencji na wymiar sprawiedliwości a zasada skutecznej ochrony sądowej w świetle prawa Unii Europejs...

Konkurs: PRELUDIUM 23 , panel: HS5

Kierownik: Aleksandra Maria Wisławska

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie

Synteza poprzez aktywne uczenie się: teoria i zastosowania

Konkurs: OPUS 27 , panel: ST6

Kierownik: dr hab. Jan Otop

Uniwersytet Wrocławski

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 Marek Growiec

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

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

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

Automatyczne projektowanie układów antenowych za pomocą metod sztucznej inteligencji i uczenia maszynowego

Konkurs: OPUS 24 , panel: ST7

Kierownik: prof. Sławomir Kozieł

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

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zjawisko pochłaniania i wypychania nanocząstek przez interfejs ciało stałe-ciecz: model automatu komórkowego do symulacj...

Konkurs: OPUS 22 , panel: ST8

Kierownik: dr hab. Wojciech Olgierd Maziarz

Instytut Metalurgii i Inżynierii Materiałowej im. Aleksandra Krupkowskiego Polskiej Akademii Nauk

Automatyzacja polityk społecznych - infrastruktury algorytmiczne na rzecz dobrobytu w Europie

Konkurs: CHIST-ERA2020 , panel: HS5

Kierownik: dr Karolina Sztandar-Sztanderska

Uniwersytet Warszawski

Autonomiczne odkrywanie, rozwój i optymalizacja reakcji organokatalitycznych z wykorzystaniem inteligentnych robotów che...

Konkurs: SONATA 17 , panel: ST4

Kierownik: dr Jarosław Marek Granda

Instytut Chemii Organicznej Polskiej Akademii Nauk

Wpływ automatyzacji na nierówności płacowe w Europie

Konkurs: PRELUDIUM 20 , panel: HS4

Kierownik: Karol Rafał Madoń

Fundacja Naukowa Instytut Badań Strukturalnych

Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Specjalizacja technologiczna a dywergencja produktywności w erze digitalizacji, automatyzacji i sztucznej inteligencji

Konkurs: OPUS 19 , panel: HS4

Kierownik: dr hab. Aleksandra Barbara Parteka

Politechnika Gdańska

Modele obliczeń rozszerzone o dane

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Opracowanie kompleksowego modelu rekrystalizacji dynamicznej z wykorzystaniem hybrydowego algorytmu losowych automatów k...

Konkurs: OPUS 18 , panel: ST8

Kierownik: prof. Łukasz Karol Madej

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

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

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

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 Polskiej Akademii Nauk

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

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

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

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

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

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

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

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

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

Synchronizacja automatów i hipoteza Cerny'ego

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki