Título :	18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
Tipo de documento:	documento electrónico
Autores:	Hung, Dang Van, ; Sokolsky, Oleg,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XIV, 574 p. 796 ilustraciones, 99 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-59152-6
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Inteligencia artificial  Computadoras  Propósitos especiales  Sistemas informáticos  Procesamiento del lenguaje natural (Informática)  Estructuras de datos (Informática)  Teoría de la información  Sistemas de propósito especial y basados ​​en aplicaciones  Implementación de sistema informático  Procesamiento del lenguaje natural (PNL)  Estructuras de datos y teoría de la información
Índice Dewey:	006.3 Inteligencia artificial
Resumen:	Este libro constituye las actas arbitradas del 18.º Simposio Internacional sobre Tecnología Automatizada para la Verificación y el Análisis, ATVA 2020, celebrado en Hanoi, Vietnam, en octubre de 2020. Los 27 artículos regulares presentados junto con 5 artículos sobre herramientas y 2 artículos invitados fueron cuidadosamente revisados ​​y seleccionado entre 75 presentaciones. El simposio está dedicado a promover la investigación en aspectos teóricos y prácticos del análisis, verificación y síntesis automatizados proporcionando un lugar internacional para que los investigadores presenten nuevos resultados. Los artículos se centran en redes neuronales y aprendizaje automático; autómatas; lógicas; técnicas de verificación, análisis y pruebas; procedimientos de verificación y decisión de modelos; síntesis; y sistemas de aleatorización y probabilísticos.
Nota de contenido:	Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings [documento electrónico] / Hung, Dang Van, ; Sokolsky, Oleg,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XIV, 574 p. 796 ilustraciones, 99 ilustraciones en color.
ISBN : 978-3-030-59152-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Inteligencia artificial  Computadoras  Propósitos especiales  Sistemas informáticos  Procesamiento del lenguaje natural (Informática)  Estructuras de datos (Informática)  Teoría de la información  Sistemas de propósito especial y basados ​​en aplicaciones  Implementación de sistema informático  Procesamiento del lenguaje natural (PNL)  Estructuras de datos y teoría de la información
Índice Dewey:	006.3 Inteligencia artificial
Resumen:	Este libro constituye las actas arbitradas del 18.º Simposio Internacional sobre Tecnología Automatizada para la Verificación y el Análisis, ATVA 2020, celebrado en Hanoi, Vietnam, en octubre de 2020. Los 27 artículos regulares presentados junto con 5 artículos sobre herramientas y 2 artículos invitados fueron cuidadosamente revisados ​​y seleccionado entre 75 presentaciones. El simposio está dedicado a promover la investigación en aspectos teóricos y prácticos del análisis, verificación y síntesis automatizados proporcionando un lugar internacional para que los investigadores presenten nuevos resultados. Los artículos se centran en redes neuronales y aprendizaje automático; autómatas; lógicas; técnicas de verificación, análisis y pruebas; procedimientos de verificación y decisión de modelos; síntesis; y sistemas de aleatorización y probabilísticos.
Nota de contenido:	Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i