Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
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
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
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