|
|
dr hab. Agnieszka Bołtuć
- metoda Parametrycznych Układów Równań Całkowych
- metody obliczeniowe w modelowaniu inżynierskim
- metaheurystyki optymalizacyjne
- krzywe i powierzchnie parametryczne
dr hab. Anna Gomolińska, prof. UwB
- sztuczna inteligencja (reprezentacja wiedzy, teoria zbiorów przybliżonych, zastosowania logiki w AI)
dr hab. Artur Korniłowicz, prof. UwB
- komputerowo wspomagana formalizacja matematyki
- interaktywne dowodzenie twierdzeń
- zastosowanie systemu Mizar do praktycznej weryfikacji poprawności dowodów matematycznych
dr hab. inż. Marek Parfieniuk, prof. UwB
- kompresja, przechowywanie i przesyłanie danych, formaty plików, protokoły sieciowe
- analiza i przetwarzanie obrazów i sygnałów (mowa, dźwięk, biomedyczne, inne)
- statystyczna eksploracyjna analiza danych, "big data"
- algorytmy i struktury danych, optymalizacja implementacji programowych i sprzętowych
- architektura systemów mikroprocesorowych, procesory, koprocesory, układy cyfrowe, układy programowalne FPGA
dr hab. Witold Rudnicki, prof. UwB
- uczenie maszynowe
- zastosowanie uczenia maszynowego w analizie danych
- analiza danych biomedycznych
- bioinformatyka
- programowanie GPU/CUDA
dr hab. Ewa Schmeidel, prof. UwB
- analiza modeli dyskretnych
- analiza modeli ciągłych
- analiza fourierowska
- rachunek operatorowy
- optymalizacja
prof. dr hab. Eugeniusz Zieniuk
- metoda Parametrycznych Układów Równań Całkowych
- metody obliczeniowe w zagadnieniach inżynierskich
- przedziałowe modelowanie zagadnień brzegowych analizy i syntezy
- krzywe i płaty powierzchni w modelowaniu zagadnień
mgr Jarosław Bondaruk
- systemy elektronicznego obiegu dokumentów
- systemy rejestracji czasu pracy oraz planu pracy
- aplikacje sieciowe w szczególności oparte na klasycznej architekturze klient-serwer lub SPA
- cyfryzacja i automatyzacja procesów biznesowych
- technologie serwerowe oraz klienckie
dr Agnieszka Golińska
- analiza sygnałów i obrazów biomedycznych
- uczenie maszynowe w analizie danych biomedycznych
dr Jarosław Kotowicz
- statystyka i analiza statystyczna danych
dr inż. Andrzej Kużelewski
- metody komputerowe w modelowaniu inżynierskim
- metody przedziałowe i rozmyte w modelowaniu zagadnień brzegowych
- administracja lokalnymi sieciami komputerowymi (LAN)
- administracja oprogramowaniem serwerowym
dr inż. Wojciech Lesiński
- uczenie maszynowe
- sztuczna inteligencja
- sieci głębokie
- uczenie głębokie
dr Barbara Łupińska
- analiza ciągłych i dyskretnych modeli zawierających pochodne ułamkowego rzędu
- statystyka i analiza danych
dr Adam Naumowicz
- komputerowa formalizacja matematyki
- administracja systemów Unix
- metody i języki programowania
dr Karol Pąk
- formalizacja w logice pierwszego rzędu
- semantyka systemu Mizar
- weryfikacja krzyżowa dowodów systemu Mizar
- poprawa czytelności rozumowań zapisanych w systemie naturalnej dedukcji
dr Aneta Polewko-Klim
- data science
- sztuczna inteligencja
- bioinformatyka
- spektroskopia magnetooptyczna
dr inż. Wiesław Półjanowicz
- systemy i platformy e-learningowe
- e-Metodyk i e-Dydaktyk
- inteligentne multimedialne systemy edukacyjne
- urządzenia techniki komputerowej
dr inż. Mariusz Rybnik
- symulacja procesów socjologicznych
- AnyLogic
- sztuczna inteligencja
- programowanie obiektowe
- programowanie zdarzeniowe
- wzorce projektowe
- rozpoznawanie wzorców geometrycznych
- biometria
mgr inż. Piotr Stomma
- statystyka matematyczna i teoria informacji w uczeniu maszynowym
- grafowa analiza skupień
- zastosowania uczenia głębokiego nadzorowanego dla danych autoskorelowanych przestrzennie
- selekcja cech i uczenie maszynowe w analizie danych omicznych
mgr Łukasz Szeremeta
- grafy właściwości (Property Graphs)
- grafowe bazy danych
- reprezentacja wiedzy
- cheminformatyka
- semantyczny Internet (Semantic Web)
dr inż. Krzysztof Szerszeń
- rozwiązywanie zagadnień brzegowych za pomocą Parametrycznych Układów Równań Całkowych
- metody komputerowe w zagadnieniach naukowych i technicznych
- modelowanie 2D i 3D za pomocą krzywych i powierzchni parametrycznych
dr inż. Dominik Tomaszuk
– grafowe bazy danych (np. bazy typu property graph, RDF)
– reprezentacja wiedzy (m.in. ontologie, modelowanie konceptualne)
– Internet semantyczny (Semantic Web)
– języki zapytań (SPARQL, Cypher)
– technologie i standardy semantyczne (OWL, RDFS, SHACL)
dr Małgorzata Zdanowicz
- równania różnicowe
- modelowanie procesów dyskretnych
malgorzata.zdanowicz@uwb.edu.pl
© Wszystkie prawa zastrzeżone.
W ramach naszego serwisu www stosujemy pliki cookies zapisywane na urządzeniu użytkownika w celu dostosowania zachowania serwisu do indywidualnych preferencji użytkownika oraz w celach statystycznych. Użytkownik ma możliwość samodzielnej zmiany ustawień dotyczących cookies w swojej przeglądarce internetowej. Więcej informacji można znaleźć w Polityce Prywatności Uniwersytetu w Białymstoku. Korzystając ze strony wyrażają Państwo zgodę na używanie plików cookies, zgodnie z ustawieniami przeglądarki.