Projekty finansowane przez NCN

Nowe metody automatycznego sprawdzania poprawności otwartych wieloagentowych systemów czasu rzeczywistego

Konkurs: OPUS 29 , panel: ST6

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

Akademia im. Jana Długosza w Częstochowie

Wkład do uruchomienia oraz obsługi trygera wysokiego poziomu w zmodernizowanym eksperymencie LHCb.

Konkurs: OPUS 16 , panel: ST2

Kierownik: dr hab. Tomasz Szumlak

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

Opracowanie sposobu organizacji obliczeń w heterogenicznych układach rekonfigurowalnych najnowszej generacji umożliwiają...

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Tomasz Kryjak

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Małgorzata Zbrzezny

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

Rozpoznawanie obiektów w obrazach o słabej jakości z wykorzystaniem połączonych metod klasyfikacji wzorców oraz algorytm...

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Bogusław Cyganek

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

Nowe algorytmy tworzenia dokładnych, nieliniowych, interpretowalnych i dostosowanych do działania w czasie rzeczywistym ...

Konkurs: OPUS 3 , panel: ST7

Kierownik: dr hab. Krzysztof Cpałka

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Badania nad jakością i bezpieczeństwem transmisji czasu rzeczywistego wspieranej systemem agentowym oraz reputacją

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Grzegorz Oryńczak

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Adaptacyjne neuronowe sterowanie napędem elektrycznym z połączeniem sprężystym

Konkurs: OPUS 1 , panel: ST7

Kierownik: prof. Teresa Orłowska-Kowalska

Politechnika Wrocławska, Wydział Elektryczny

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