Machine Learning Framework for Security Applications

Facultatea de Matematica si Informatica, sala 202

Speaker: Paul Irofti (University of Bucharest). Machine learning helps us tackle large and apparently intractable optimization problems. Even though neural networks are by far the most popular choice in the field, we focus on dictionary learning (DL) for sparse representations (SR) instead. Our preference is motivated by the much simpler model that provides faster methods with a solid theoretical background,

Classical and quantum degrees of truth: a new look at the effects of a Hilbert space

Facultatea de Matematica si Informatica, sala 202

Speaker: Roberto Giuntini (University of Cagliari). We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ∗-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general

Logical Foundations: Total and Partial Maps

Facultatea de Matematica si Informatica, sala 202

Speaker: Miriam Costan. This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter "Total and Partial Maps"