|
Termin
|
Prelegent
|
Temat prezentacji
|
|
2018.10.10
|
dr inż. Wiktor Daszczuk
|
Algorytm "2 wagabundów" do znajdowania częściowych zakleszczeń i rozproszonej terminacji w formalizmie IMDS poprzez nie-wyczerpujące przeszukiwanie.
W weryfikacji modelowej, ze względu na kombinatoryczną eksplozję przestrzeni stanów, coraz częściej stosuje się przeszukiwanie nie-wyczerpujące.
Najczęściej stosowanymi algorytmami są:
- algorytmy mrówkowe,
- algorytmy genetyczne,
- przeszukiwanie A*.
Wszystkie te metody stosują wątpliwe funkcje dostosowania, a ponadto:
- znajdują tylko zakleszczenia totalne,
- nie odróżniają zakleszczeń od terminacji,
- mają wiele parametrów, które nie bardzo wiadomo jak ustawiać,
- mnóstwo razy przeszukują początkowe fragmenty ścieżek, wspólne dla wielkich pęków ścieżek.
Przedstawię własny algorytm "2 wagabundów", który jest pozbawiony wymienionych wad.
|
|
2018.10.24
|
|
Seminarium odwołane
|
|
2018.11.07
|
mgr inż. Witold Wysota
|
Framework Qt I
Jest to pierwsze z zamierzonej serii trzech seminariów przedstawiające możliwości i budowę popularnego frameworka aplikacyjnego Qt wspomagającego tworzenie programów w językach C++ lub Python.
Qt jest najbardziej znane ze swoich możliwości tworzenia graficznych interfejsów użytkownika, jednak jest to tylko mały wycinek możliwości tego zestawu bibliotek. W ciągu naszych spotkań przedstawione zostaną zarówno możliwości Qt jak i jego wewnętrzna budowa.
W ramach pierwszego spotkania zostanie omówione czym jest Qt, z czego się składa, jak i dlaczego go używać. Przestawione zostanie również jak w wygodny sposób tworzyć interfejsy użytkownika.
|
|
2018.11.21
|
Daniel Bigos
Piotr Żelazko (dyplomanci J.Wytrębowicza)
|
xpeer - w pełni zdecentralizowana giełda kryptowalut
Plan prezentacji:
1) Wprowadzenie do technologii blockchain
2) DEX - zdecentralizowana wymiana dóbr
3) xpeer - zdecentralizowana wymiana środków:
- opis protokołu
- możliwe ataki i sposoby ochrony
4) Dyskusja
|
2018.12.05
|
mgr inż. Grzegorz Mazur
|
Komputer zdefiniowany programowo jako studium możliwości realizacji oprogramowania zdarzeniowego ze sprzętowym szeregowaniem procedur obsługi zdarzeń.
W ramach seminarium zostanie przedstawiony eksperymentalno-dydaktyczny projekt zdefiniowanego programowo komputera z rzeczywistym mikroprocesorem oraz związane z doświadczenia z niestandardowym wariantem czysto zdarzeniowego podejścia do programowania systemów wbudowanych, opartym na sprzętowym szeregowaniu procedur obsługi zdarzeń.
|
Najbliższy termin
2018.12.12
Uwaga!
Początek 14:15.
Sala 116
|
dr inż. Bogdan Czejdo, profesor na wydziale Mathematics and Computer Science, Fayetteville State University, North Carolina, USA.
|
Prof. Czejdo jest absolwentem naszego wydziału. Jego obszary badawcze to bazy danych i języki wizualne, systemy oparte na wiedzy, robotyka, computer vision, a ostatnio także cyberbezpieczeństwo i geo-przestrzenna inteligencja.
Machine Learning Frameworks for Binding of Structures Prediction.
In this presentation, we describe and compare frameworks for predicting of binding of structures. The goal is to, first, improve structure’s models evaluation and then determine structures binding. Traditional frameworks use a handful of popular machine learning (ML) algorithms, such as Support Vector Machines (SVM), Random Forest and Neural Networks that are trained on engineered features. New deep learning frameworks have shown to do better even on raw data.
|
|
2019.01.09
|
|
|
|
2019.01.23
|
mgr inż. Witold Wysota
|
Framework Qt II
Jest to drugie seminarium przedstawiające możliwości i budowę popularnego
frameworka aplikacyjnego Qt wspomagającego tworzenie programów w językach
C++ lub Python.
Qt jest najbardziej znane ze swoich możliwości tworzenia graficznych
interfejsów użytkownika, jednak jest to tylko mały wycinek możliwości
tego zestawu bibliotek. W ciągu naszych spotkań przedstawione zostaną
zarówno możliwości Qt jak i jego wewnętrzna budowa.
Podczas pierwszego spotkania zostanło omówione czym jest Qt, z czego
się składa, jak i dlaczego go używać. Przestawione zostało również to,
jak w wygodny sposób tworzyć interfejsy użytkownika.
Podczas najbliższego spotkania zostaną zaprezentowane ciekawe aspekty
wewnętrznej budowy Qt, takie jak system meta-obiektów, którego częścią
jest najbardziej znany z Qt mechanizm czyli sygnały i sloty. Pozostały
czas zostanie poświęcony na zaprezentowanie środowiska Qt Quick, które
służy do deklaratywnego tworzenia wydajnych i nowoczesnych interfejsów
użytkownika, głównie w systemach mobilnych i wbudowanych, ale również
dobrze wpasowujących się w nowoczesne trendy systemów biurkowych.
|
|