Differences

This shows you the differences between two versions of the page.

--- pub:snieg:start [2013/10/08 10:26] – [SNIEG: Seminarium Naukowe doktorantów Informatyki, Elektroniki i Gości] gjn
+++ pub:snieg:start [2014/12/09 10:15] (current) – [2014-12-11] 900 gjn
@@ Line 9: / Line 9: @@
  --- //Organizatorzy: prof. dr hab. inż. Paweł Gryboś, dr hab. inż Grzegorz J. Nalepa, dr hab. Marcin Szpyrka, prof. AGH; Kraków, październik 2013//
-===== Spotkania =====
+===== 2014-12-11 =====
-==== 2013-10-10 ====
+**Czas/miejsce**: //czwartek, 2014-12-11, sala C2 316, godzina: 09:00//
+{{ :pub:snieg:mbr-foto.jpg?direct&150|mgr inż. Mateusz Baran}}
+**Temat:** Metody multicut-HDMR
+**Prezentujący:** mgr inż. Mateusz Baran
+**Streszczenie:**
+Jednym z poważniejszych problemów w stosowaniu modelowania matematycznego jest złożoność proponowanych modeli. Złożone układy równań różniczkowych cząstkowych zależne od parametrów wymagają dużego czasu do uzyskania pojedynczego rozwiązania. Częściowym rozwiązaniem tego problemu jest zastosowanie technik metamodelowania pozwalających złożony model zastąpić prostszym, gdzie modelowana funkcja może być szybko wyliczona dla zadanych argumentów. Do metamodelowania zaliczamy między innymi metody multicut-HDMR. Omówione zostaną typowo stosowane warianty multicut-HDMR oraz najnowsze osiągnięcia w tej dziedzinie.
+**Słowa-klucze:** aproksymacja, multicut-HDMR, metamodelowanie.
+**Biogram:**
+//Mateusz Baran// urodził się 07.05.1989 roku w Krakowie. W roku 2013 ukończył Informatykę Stosowaną na Wydziale Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej AGH. Studiował dwa lata na kierunku Matematyka na Wydziale Matematyki Stosowanej AGH. Od roku 2013 jest doktorantem na Wydziale EAIiIB AGH oraz asystentem naukowo-dydaktycznym na wydziale Fizyki, Matematyki i Informatyki Politechniki Krakowskiej. W jego obszarze zainteresowań leżą między innymi metody numeryczne w metamodelowaniu oraz algorytmy klasyfikacji i regresji.
+===== 2014-10-16 =====
+**Czas/miejsce**: //czwartek, 2014-10-16, sala C2 316, godzina: 10:00//
+{{ :pub:snieg:berezinski-foto.png?direct&200|mgr inż. Przemysław Bereziński}}
+**Temat:** Detekcja anomalii w ruchu sieciowym z wykorzystaniem miar entropijnych
+**Prezentujący:** mgr inż. Przemysław Bereziński
+**Streszczenie:**
+Liczba ataków sieciowych realizowanych za pomocą zainfekowanych złośliwym oprogramowaniem maszyn działających w ramach tzw. botnetów rośnie z roku na rok. Stosowane powszechnie rozwiązania takie, jak systemy wykrywania intruzów, zapory ogniowe, antywirusy nie stanowią dostatecznej ochrony. Typowe rozwiązania bazują na wiedzy a’priori opisanej sygnaturami lub regułami i nie radzą sobie z detekcją ataków zaciemnionych czy też nieznanych (tzw. 0-day attacks). Detekcja anomalii sieciowych wskazujących na występowanie tzw. złośliwego oprogramowania stanowi przedmiot intensywnych i zaawansowanych badań. Obiecujące wydaje się być zastosowanie miar entropijnych, szczególnie do wykrywania anomalii nieobserwowalnych na poziomie wolumenu. W ramach prezentacji przedstawiona zostanie metoda wykrywania anomalii bazującą na entropii i eksploracji danych. Zaprezentowana zostanie stosunkowo nowa teoria Tsallisa i Renyiego. Przedstawione zostaną wstępne wyniki skuteczności detekcji uzyskane na podstawie zbioru testowego zawierającego rzeczywisty ruch i syntetyczne anomalie wygenerowane w oparciu o rzeczywiste przypadki.
+**Słowa-klucze:** detekcja anomalii, parametryzowana entropia, sieciowe systemy wykrywania intruzów, analiza ruchu sieciowego.
+**Biogram:**
+//Przemysław Bereziński// urodził się 30.05.1978 roku w Poddębicach, woj. łódzkie. W 2006 r. ukończył studia informatyczne na Wydziale Fizyki, Informatyki i Matematyki Stosowanej na Politechnice Łódzkiej. Pracuje w Wojskowym Instytucie Łączności w Zegrzu na stanowisku asystenta, gdzie m.in. realizuje projekty związane z bezpieczeństwem teleinformatycznym oraz sterowaniem ruchem drogowym, które powstają we współpracy z AGH. W obszarze jego zainteresowań leżą: technologie programistyczne, zarządzanie sieciami IP, bezpieczeństwo cybernetyczne i eksploracja danych. Jest współautorem kilkunastu publikacji międzynarodowych w obszarach bezpieczeństwa cybernetycznego, zarządzania sieciami oraz sterowania ruchem drogowym. Aktywnie działa w grupie roboczej „Cyber Defence Situational Awareness” organizacji Science and Technology Organization, (NATO). Od 2013 r. realizuje, w ramach projektu NCBiR, bazujący na miarach entropijnych detektor anomalii w ruchu sieciowym wskazujący na występowanie złośliwego oprogramowania.
+===== 2013-10-10 =====
 **Czas/miejsce**: //czwartek, 2013-10-10, sala C2-316, godzina: 11:00//
@@ Line 26: / Line 64: @@
 **Słowa-klucze:** perswazja, modelowanie, model pragmatyczny, skuteczność perswazji, relacja rezultatu, logika perswazji, logika skuteczności, planowanie temporalne, modelowanie w planowaniu temporalnym
+**Biogram:**
+//Krystian Jobczyk//  urodził się 23.01.1983 roku w Bytowie na Pomorzu Gdańskim. Studia matematyczno-filozoficzne podjął na Wydziale Nauk Społecznych oraz Matematyki i Informatyki UAM w Poznaniu. W 2006 zdobył magisterium z filozofii, a w 2008 – z matematyki. W tym czasie jako członek „Collegium Invisibile” realizował indywidualny tutorial pod kierunkiem Sy Friedmana z Centrum Badań im. Kurta Goedla w Wiedniu oraz dobywał staż naukowy w Zakładzie  Podstaw Matematyki PAN.\\
+W latach 2008-2011 odbywał na UKSW studia doktoranckie pod kierunkiem prof. UW Stanisława Krajewskiego z filozofii, ukończone obroną pracy o filozoficznej użyteczności twierdzenia Skolema-Loewenheima.\\
+Od 2011 do 2013 roku na bazie stypendium badawczego KAAD i Thyssen Foundation realizował post-doktoratowy projekt w Monachijskim Centrum Filozofii Matematycznej (MCMP) pod kierunkiem Prof. Hannesa Leitgeba.\\
+Od 2013 roku realizuje projekt doktoratu o planowaniu temporalnym z ograniczeniami typu rozmytego  na uniwersytecie w Caen we Francji we współpracy z AGH w Krakowie. \\
+W obszarze jego zainteresowań leżą: logika algebraiczna i jej zastosowania, sformalizowana epistemologia, filozofia matematyczna, sztuczna inteligencja i jej formalna strona.