Anomaly Detection Reading Group: Graph Classification
Speaker: Andra Băltoiu (University of Bucharest) Abstract: We continue our investigation on the task of detecting outliers in networks, by looking at the concept of signal variation on a graph. …
10 events found.
Seminar
Events
-
-
Facultatea de Matematica si Informatica, sala Google
-
Anomaly Detection Reading Group: Distributed Online AD
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Paul Irofti (University of Bucharest) Abstract: We continue our investigation on the task of detecting outliers in networks when dealing with big-data and investigate existing online and distributed solutions. …
-
Anomaly Detection Reading Group: Gaussian Mixture Models
Facultatea de Matematica si Informatica, sala 202Speaker: Andrei Pătrașcu (University of Bucharest) Abstract: We continue our adventure by investigating existing results using Gaussian Mixture Models (GMM) for anomaly detection and their adaptation to existing deep neural …
-
-
Local Reasoning about Parametric and Reconfigurable Component-based Systems
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Radu Iosif (CNRS - VERIMAG, France) Abstract: We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but …
-
Optimal Transport for (Unsupervised) Machine Learning
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Andra Băltoiu (University of Bucharest) Abstract: After attending the "Summer School on Applied Harmonic Analysis and Machine Learning" in Genova, Andra will give us a short introduction on Optimal …
-
-
An introduction to BAN logic (a logic of authentication)
Facultatea de Matematica si Informatica, sala 202Speaker: Alexandru Dragomir (University of Bucharest) Abstract: One of the first and most discussed logical approaches to the problem of verifying security protocols is the one proposed in BAN logic …
-
-
ManyVal 2019
In perioada 1-3 noiembrie organizam workshop-ul international ManyVal 2019, dedicat in special cercetarilor in logica cu mai multe valori. Editia actuala beneficiaza si de participarea unor filozofi-logicieni de marca. Pentru …
-
Anomaly Detection Reading Group: Anomaly Detection by Unmasking
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Marius Popescu (University of Bucharest) Abstract: We continue our adventure by investigating existing natural language processing results that deal with unmasking authorship and their application to anomaly detection. Required …
-
Operational Semantics of Security Protocols
Facultatea de Matematica si Informatica, sala 202Speaker: Ioana Leustean (University of Bucharest) Abstract: After a brief overview of the formal methods used for analyzing security protocols, we will focus on the operational semantics developed in: C. …
-
-
Executarea, detecţia și prevenţia atacurilor de tip R.O.P
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Sorin-Gabriel Radu (University of Bucharest) Abstract: Va fi prezentată o versiune extinsă a lucrări de licență ce va prezenta concepte de Return Orientated Programming, o tehnică de reciclare și combinare …