Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
Speaker: Ruxandra Olimid (University of Bucharest) Abstract: Short (crypto) introduction in Blockchain. Mostly a reading group, discussing the original bitcoin paper: https://bitcoin.org/bitcoin.pdf
Speaker: Andra Băltoiu (University of Bucharest) Abstract: In a previous seminar, we introduced Dictionary Learning (DL), a machine learning method capable of handling the requirements of IoT-related tasks, motivated by …
Speaker: Ionuţ Ţuţu (Royal Holloway, University of London) Abstract: We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, …
Speaker: Georgel Gheorghe este absolvent al facultatii de Electronica, Telecomunicatii si Tehnologia a informatiei. Este membru ISACA si detine certificari precum CISA (Certified Information Systems Auditor), CGEIT (Certified in the …
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 …
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: 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: 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 …
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. …
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. …