BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20180218T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20181104T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190801T140000
DTEND;TZID=America/Sao_Paulo:20190801T150000
DTSTAMP:20260614T140749
CREATED:20190725T123444Z
LAST-MODIFIED:20190725T123444Z
UID:5383-1564668000-1564671600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Agustín Borgna
DESCRIPTION:Titulo:  Simulación del lambda cálculo de matrices de densidad en el\nlambda cálculo cuántico de Selinger y Valiron \nDirector :    Alejandro Díaz-Caro \nJurados:   Beniamino Accattoli\,  Pablo Barenbaum  y  Carlos López Pombo. \nResumen:\nEl espacio de los estados cuánticos en el campo de la computación\ncuántica puede ser representado por vectores en un espacio de Hilbert\no por matrices de densidad. Selinger y Valiron definieron λq en 2005\,\nuna extensión cuántica del cálculo lambda que utiliza vectores para\nrepresentar el estado cuántico y sigue el paradigma de datos\ncuánticos / control clásico. \nEl cálculo λρ introducido por Dı́az-Caro en 2017\, en cambio\, describe\nlos estados cuánticos utilizando matrices de densidad. Estas matrices\nproporcionan una forma de representar estados cuánticos mixtos. Una\nmodificación de este cálculo llamada λᵒρ extiende λρ mediante la\nadición de sumas algebraicas de términos para representar una\ngeneralización de las matrices de densidad. \nEn este trabajo analizamos la relación entre los cálculos definiendo\nuna traducción de λρ a λq y su inversa. Usando la traducción\nprobamos la normalización fuerte de λρ. Luego demostramos que las\nmatrices de densidad generalizadas en el cálculo λᵒρ son equivalentes\na una elección no-determinista entre términos en λρ y definimos una\nsimulación completa de λᵒρ en λq.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-agustin-borgna/
LOCATION:Aula a confirmar
END:VEVENT
END:VCALENDAR