Speaker: | Fernando L. Pelayo
|
||
Quando: | 05/11/2021 - 15:00
|
||
Dove: | Presso il Dipartimento di Matematica e Fisica in
Largo San Leonardo Murialdo 1 - Edificio C - Aula 311
Online su Teams: https://bit.ly/3nQG8jM
|
||
Abstract
Venerdì 5 novembre 2021 alle ore 15:00, Titolo: Quantum invariants for graph isomorphism Abstract: Since McKay presented his Nauty algorithm in 1981 to characterize Presso il Dipartimento di Matematica e Fisica in https://bit.ly/3nQG8jM L’annuncio è presente sul sito web dell’ateneo: |
Quantum invariants for graph isomorphism |
Towards a denotational semantics for proofs in constructive modal logic
|
Minimizing the Number of Unhappy Singles: Improved Approximation Algorithms for Stable Marriage
|
Categorifying Non-Idempotent Intersection Types
|
On the 24th Hilbert problem and the notion of "simplicity" for proof
|
The Yoneda Reduction of Polymorphic Types
|
Intersection Type Distributors
|
Introduction to FHE and applications to machine learning
|
Stabilization and expansion of simple dynamic random graph models for Bitcoin-like unstructured P2P networks
|
Clique is hard on average for regular resolution
|