Around Hilbert’s Tenth Problem
Speaker: Mihai Prunescu (University of Bucharest) Abstract: We discuss different implications of the negative answer of Hilbert's Tenth Problem: the exponential Diophantine equation over ℕ and ℚ, the minimal number …
10 events found.
-
-
Blockchain – Intro
Facultatea de Matematica si Informatica, sala 219Speaker: 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
-
Anti-Malware Machine Learning
Facultatea de Matematica si Informatica, sala 202Speaker: 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 …
-
An introduction to hybrid-dynamic first-order logic
Facultatea de Matematica si Informatica, sala 202Speaker: 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, …
-
House of clouds – sau cum sa auditezi un sistem in cloud
Facultatea de Matematica si Informatica, sala 219Speaker: 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 …
-
Protocols in Dynamic Epistemic Logic
Facultatea de Matematica si Informatica, sala 202Speaker: 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 …
-
Dynamic Code Analysis
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 …
-
Anomaly Detection Reading Group: Deep OC-SVM
Facultatea de Matematica si Informatica, sala 202Speaker: 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 …
-
Anomaly Detection Reading Group: Deep RPCA
Facultatea de Matematica si Informatica, sala 202Speaker: 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 …
-
Anomaly Detection Reading Group: Graph Classification
Facultatea de Matematica si Informatica, sala GoogleSpeaker: 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. …