Tech Konferenz, IT Jobmesse & Festival – ITCS
ITCS busca promover la investigación que conlleva un fuerte mensaje conceptual (por ejemplo, la introducción de un nuevo concepto, modelo o comprensión, la apertura de una nueva línea de investigación dentro de las áreas tradicionales o interdisciplinarias, la introducción de nuevas técnicas y metodologías matemáticas, o nuevas aplicaciones de técnicas conocidas). El ITCS acepta contribuciones tanto conceptuales como técnicas cuyo contenido haga avanzar e inspire a la comunidad teórica en general.
Los envíos no deben llevar el nombre de los autores. En su lugar, la información sobre el autor y la institución debe cargarse por separado. Los miembros del PC podrán seguir accediendo a los nombres de los autores en el proceso de revisión si lo consideran necesario: por ejemplo, si es necesario enviar el artículo a un subrefecto, pueden asegurarse de que éste no es un autor, o si su artículo mejora el trabajo reciente de [1], los miembros del PC pueden querer ver si es usted. Sin embargo, la intención de este procedimiento es facilitar a los miembros del CP la eliminación de sesgos inconscientes. Usted es libre de publicar su trabajo en ArXiv, etc.
El autobús – Nuevo control de transporte ATRON (ITCS/AVL) –
Dwork, C. “Privacidad diferencial”. Coloquio internacional sobre autómatas, lenguajes y programación. ICALP, 2006. Descargar2000Dolev, D., C. Dwork, y M. Naor. “Criptografía no maleable”. SIAM Journal on Computing 30, no. 2 (2000). DescargarAbstracto
1997Ajtai, M., y C. Dwork. “A public-key cryptosystem with worst-case/ average-case equivalence”. Actas del 29º Simposio Anual de la ACM sobre Teoría de la Computación, 1997, 284-293. Descargar1992Dwork, C., y M. Naor. “Fijación de precios mediante el procesamiento o la lucha contra el correo basura”. Avances en Criptología: CRYPTO 1992. Annual International Cryptography Conference, 1992. Descargar1991Dolev, D., C. Dwork, y M. Naor. “Criptografía no maleable”. Proceedings of the 23rd Annual ACM Symposium on Theory of Computing (STOC ’91) (1991): 542-552. Descargar1988Dwork, C., N. Lynch, y L. Stockmeyer. “Consenso en presencia de sincronía parcial”. Journal of the ACM (JACM) 35, no. 2 (1988): 288-323. DescargarAbstractNote: Ganador del Premio Dijkstra 2007.
VItamina C 2018-2019 Classe 3DR Itcs Rosa Luxemburg
Dinur, Khot, Kindler, Minzer y Safra (2016) mostraron recientemente que la variante de (completitud imperfecta de) la conjetura de los juegos 2 a 2 de Khot se sigue de una hipótesis combinatoria sobre la solidez de un cierto “probador de acuerdo grassmaniano”. En este trabajo, mostramos que la hipótesis de Dinur et al se desprende de una conjetura que denominamos “Hipótesis Inversa del Código Corto” que caracteriza los conjuntos no expansivos del grafo del código corto de grado dos. También mostramos que esta última conjetura es equivalente a una caracterización de los conjuntos no expansivos en el grafo de Grassman, como se hipotetiza en un trabajo de seguimiento de Dinur et al (2017).
Siguiendo nuestro trabajo, Khot, Minzer y Safra (2018) demostraron nuestra “Hipótesis Inversa del Código Corto”. Combinando su prueba con nuestro resultado y la reducción de Dinur et al (2016), se completa la prueba de la conjetura de 2 a 2 con integridad imperfecta. Además, creemos que el gráfico de código corto proporciona una visión útil tanto de la hipótesis como de la reducción, y podría ser útil para ampliarla.
ITCS111\113 – Tutoría(1)
Dinur, I., Harsha, P., Kaufman, T., & Ron-Zewi, N. (2019). De la prueba local a la robusta mediante la prueba de acuerdo. En A. Blum (Ed.), 10th Innovations in Theoretical Computer Science, ITCS 2019 [29] (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 124). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITCS.2019.29
Dinur, Irit ; Harsha, Prahladh ; Kaufman, Tali ; Ron-Zewi, Noga. / De la prueba local a la robusta mediante la prueba de acuerdo. 10th Innovations in Theoretical Computer Science, ITCS 2019. editor / Avrim Blum. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. (Procedimientos internacionales de Leibniz en informática, LIPIcs).
De la prueba local a la robusta mediante la prueba de acuerdo. / Dinur, Irit; Harsha, Prahladh; Kaufman, Tali; Ron-Zewi, Noga. 10º Innovations in Theoretical Computer Science, ITCS 2019. ed. / Avrim Blum. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. 29 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 124).Resultado de la investigación: Capítulo en libro/informe/procedimiento de conferencia ‘ Contribución a la conferencia ‘ revisión por pares