Autor Sokolsky, Oleg
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings / Hung, Dang Van ; Sokolsky, Oleg
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
TÃtulo : Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings Tipo de documento: documento electrónico Autores: Larsen, Kim Guldstrand, ; Sokolsky, Oleg, ; Wang, Ji, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 351 p. 74 ilustraciones ISBN/ISSN/DL: 978-3-319-69483-2 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: IngenierÃa de software Ciencias de la Computación TeorÃa de las máquinas Simulación por ordenador Informática Estadistica matematica Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Modelado por computadora Probabilidad y EstadÃstica en Informática Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del Tercer Simposio Internacional sobre IngenierÃa de Software Confiable: TeorÃas, Herramientas y Aplicaciones, SETTA 2017, celebrado en Changsha, China, en octubre de 2017. Los 19 artÃculos completos presentados junto con 3 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados. de 31 presentaciones. El objetivo del simposio es reunir a investigadores y profesionales internacionales en el campo de la tecnologÃa de software. Su atención se centra en el análisis probabilÃstico y estadÃstico; sistemas temporizados e hÃbridos; análisis de programas; modelado y verificación; formalización; y herramientas. Nota de contenido: Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools. 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 Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings [documento electrónico] / Larsen, Kim Guldstrand, ; Sokolsky, Oleg, ; Wang, Ji, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 351 p. 74 ilustraciones.
ISBN : 978-3-319-69483-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Ciencias de la Computación TeorÃa de las máquinas Simulación por ordenador Informática Estadistica matematica Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Modelado por computadora Probabilidad y EstadÃstica en Informática Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del Tercer Simposio Internacional sobre IngenierÃa de Software Confiable: TeorÃas, Herramientas y Aplicaciones, SETTA 2017, celebrado en Changsha, China, en octubre de 2017. Los 19 artÃculos completos presentados junto con 3 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados. de 31 presentaciones. El objetivo del simposio es reunir a investigadores y profesionales internacionales en el campo de la tecnologÃa de software. Su atención se centra en el análisis probabilÃstico y estadÃstico; sistemas temporizados e hÃbridos; análisis de programas; modelado y verificación; formalización; y herramientas. Nota de contenido: Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools. 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
TÃtulo : From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday Tipo de documento: documento electrónico Autores: Bartocci, Ezio, ; Cleaveland, Rance, ; Grosu, Radu, ; Sokolsky, Oleg, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 301 p. 125 ilustraciones, 44 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-31514-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: Ciencias de la Computación TeorÃa de las máquinas IngenierÃa de software Inteligencia artificial Computadoras digitales electrónicas Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Rendimiento y evaluación del sistema Ãndice Dewey: 40.151 Resumen: Este Festschrift es en honor a Scott A. Smolka, profesor de la Universidad Stony Brook, EE. UU., con motivo de su 65 cumpleaños. Scott A. Smolka hizo contribuciones fundamentales a la investigación en varias áreas, incluida el álgebra de procesos, la verificación de modelos, los procesos probabilÃsticos, la verificación del tiempo de ejecución y el modelado y análisis de células cardÃacas, circuitos neuronales y comportamientos de bandada. Quizás sea mejor conocido por el algoritmo que él y Paris Kanellakis inventaron para verificar la bisimulación. El tÃtulo de este volumen De sistemas reactivos a sistemas ciberfÃsicos refleja el principal enfoque de investigación de Scott a lo largo de su carrera. Contiene los artÃculos escritos por sus amigos y colaboradores más cercanos. Las contribuciones cubren un amplio espectro de temas relacionados con los intereses cientÃficos de investigación de Scott, incluida la reparación de modelos para sistemas probabilÃsticos, la verificación del tiempo de ejecución, la verificación de modelos, la simulación de dinámica cardÃaca y el aprendizaje automático. Nota de contenido: Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. 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 From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday [documento electrónico] / Bartocci, Ezio, ; Cleaveland, Rance, ; Grosu, Radu, ; Sokolsky, Oleg, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 301 p. 125 ilustraciones, 44 ilustraciones en color.
ISBN : 978-3-030-31514-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación TeorÃa de las máquinas IngenierÃa de software Inteligencia artificial Computadoras digitales electrónicas Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Rendimiento y evaluación del sistema Ãndice Dewey: 40.151 Resumen: Este Festschrift es en honor a Scott A. Smolka, profesor de la Universidad Stony Brook, EE. UU., con motivo de su 65 cumpleaños. Scott A. Smolka hizo contribuciones fundamentales a la investigación en varias áreas, incluida el álgebra de procesos, la verificación de modelos, los procesos probabilÃsticos, la verificación del tiempo de ejecución y el modelado y análisis de células cardÃacas, circuitos neuronales y comportamientos de bandada. Quizás sea mejor conocido por el algoritmo que él y Paris Kanellakis inventaron para verificar la bisimulación. El tÃtulo de este volumen De sistemas reactivos a sistemas ciberfÃsicos refleja el principal enfoque de investigación de Scott a lo largo de su carrera. Contiene los artÃculos escritos por sus amigos y colaboradores más cercanos. Las contribuciones cubren un amplio espectro de temas relacionados con los intereses cientÃficos de investigación de Scott, incluida la reparación de modelos para sistemas probabilÃsticos, la verificación del tiempo de ejecución, la verificación de modelos, la simulación de dinámica cardÃaca y el aprendizaje automático. Nota de contenido: Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. 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
