Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
Speaker: Alexandru Dragomir (University of Bucharest) Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning (epistemic actions). However, not all epistemic actions are allowed to be executed in an initial epistemic model, and this is where the concept of a protocol comes in: a protocol stipulates what epistemic actions …
Speaker: Radu Velea (BitDefender) Abstract: Static code analysis methods have the advantage of providing deterministic and reliable results. Malware has evolved beyond the point where simple pattern matching algorithms or signatures can provide adequate levels of protection. To respond to new threats we have to look at other hidden aspects such as execution behavior and …
Speaker: Andrei Pătrașcu (University of Bucharest) Abstract: Recent empirical results confirm that one-class (OC) classification methods remain among the most important learning strategies for anomaly detection. In this seminar, we will technically describe in detail multiple basic OC schemes such as OC-SVM and SVDD and their deep variants, in order to identify room of improvements …
Speaker: Andrei Pătrașcu (University of Bucharest) Abstract: We continue our adventure by investigating existing results with Robust Principal Component Analysis (RPCA) and its adaptation to existing deep neural networks. Required reading: ZHOU, Chong; PAFFENROTH, Randy C. Anomaly detection with robust deep autoencoders. In: Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and …
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. Required reading: A. Sandryhaila and J. M. F. Moura, "Classification via regularization on graphs," 2013 IEEE Global Conference on Signal and Information Processing, Austin, TX, …
Speaker: 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. Required reading: Miao, Xuedan, et al. "Distributed online one-class support vector machine for anomaly detection over networks." IEEE transactions on cybernetics 49.4 (2018): 1475-1488. Liu, …
Speaker: 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 networks. Required reading: Zong, Bo, et al. "Deep autoencoding gaussian mixture model for unsupervised anomaly detection." (2018). Chapter 11 from Deisenroth, Marc Peter, A. Aldo …
Speaker: 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 the bound on their number is not known. Besides specifying and verifying parametric systems, we consider the aspect of dynamic reconfiguration, in which components can …
Speaker: 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 Transport in the attempt of finding new prospects for the anomaly detection problem.
Speaker: 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 . BAN logic is a many-sorted modal logic used for its intuitive and compelling set of inference rules devised for reasoning about an agent’s beliefs, …