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