Información del autor
Autor Wang, Chao |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsqueda32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / Lahiri, Shuvendu K. ; Wang, Chao
TÃtulo : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I Tipo de documento: documento electrónico Autores: Lahiri, Shuvendu K., ; Wang, Chao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVII, 669 p. 616 ilustraciones, 117 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-53288-8 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 IngenierÃa Informática Red de computadoras Inteligencia artificial Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Redes de comunicación informática Hardware de la computadora Clasificación: Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ãngeles, CA, EE. UU., en julio de 2020.* Los 43 artÃculos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artÃculos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas hÃbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y sÃntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVII, 669 p. 616 ilustraciones, 117 ilustraciones en color.
ISBN : 978-3-030-53288-8
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 IngenierÃa Informática Red de computadoras Inteligencia artificial Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Redes de comunicación informática Hardware de la computadora Clasificación: Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ãngeles, CA, EE. UU., en julio de 2020.* Los 43 artÃculos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artÃculos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas hÃbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y sÃntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II Tipo de documento: documento electrónico Autores: Lahiri, Shuvendu K., ; Wang, Chao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVIII, 683 p. 719 ilustraciones, 94 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-53291-8 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 Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Clasificación: Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ãngeles, CA, EE. UU., en julio de 2020.* Los 43 artÃculos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artÃculos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas hÃbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y sÃntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVIII, 683 p. 719 ilustraciones, 94 ilustraciones en color.
ISBN : 978-3-030-53291-8
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 Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Clasificación: Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ãngeles, CA, EE. UU., en julio de 2020.* Los 43 artÃculos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artÃculos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas hÃbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y sÃntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings Tipo de documento: documento electrónico Autores: Lahiri, Shuvendu K., ; Wang, Chao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 560 p. 133 ilustraciones ISBN/ISSN/DL: 978-3-030-01090-4 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 Compiladores (programas informáticos) Protección de datos Simulación por ordenador Ciencias de la Computación TeorÃa de las máquinas Compiladores e intérpretes Seguridad de datos e información Modelado por computadora Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Clasificación: Resumen: Este libro constituye las actas arbitradas del 16.º Simposio Internacional sobre TecnologÃa Automatizada para la Verificación y el Análisis, ATVA 2018, celebrado en Los Ãngeles, CA, EE. UU. en octubre de 2018. Los 27 artÃculos completos presentados junto con 5 artÃculos breves y 3 charlas invitadas fueron cuidadosamente revisado y seleccionado entre 82 presentaciones. El simposio está dedicado a la promoción de la investigación sobre aspectos teóricos y prácticos del análisis, verificación y sÃntesis automatizados proporcionando un foro para la interacción entre las comunidades de investigación y la industria regional e internacional en este campo. Nota de contenido: Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 560 p. 133 ilustraciones.
ISBN : 978-3-030-01090-4
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 Compiladores (programas informáticos) Protección de datos Simulación por ordenador Ciencias de la Computación TeorÃa de las máquinas Compiladores e intérpretes Seguridad de datos e información Modelado por computadora Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Clasificación: Resumen: Este libro constituye las actas arbitradas del 16.º Simposio Internacional sobre TecnologÃa Automatizada para la Verificación y el Análisis, ATVA 2018, celebrado en Los Ãngeles, CA, EE. UU. en octubre de 2018. Los 27 artÃculos completos presentados junto con 5 artÃculos breves y 3 charlas invitadas fueron cuidadosamente revisado y seleccionado entre 82 presentaciones. El simposio está dedicado a la promoción de la investigación sobre aspectos teóricos y prácticos del análisis, verificación y sÃntesis automatizados proporcionando un foro para la interacción entre las comunidades de investigación y la industria regional e internacional en este campo. Nota de contenido: Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings Tipo de documento: documento electrónico Autores: Shi, Xuanhua, ; An, Hong, ; Wang, Chao, ; Kandemir, Mahmut, ; Jin, Hai, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XII, 162 p. 97 ilustraciones ISBN/ISSN/DL: 978-3-319-68210-5 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 Informática Red de computadoras IngenierÃa de software Algoritmos Software de la aplicacion Ordenadores Inteligencia artificial IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Hardware de la computadora Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional IFIP WG 10.3 sobre Redes y Computación Paralela, NPC 2017, celebrada en Hefei, China, en octubre de 2017. Los 9 artÃculos completos y los 10 artÃculos breves presentados en este libro fueron cuidadosamente revisados ​​y seleccionados de 88 presentaciones. Los artÃculos cubren áreas tradicionales de redes y computación paralela, incluidas aplicaciones paralelas, algoritmos distribuidos, entornos de software y herramientas distribuidas. Nota de contenido: Parallel and distributed applications and algorithms -- Parallel and distributed architectures and systems -- Parallel and distributed software environments and tools. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings [documento electrónico] / Shi, Xuanhua, ; An, Hong, ; Wang, Chao, ; Kandemir, Mahmut, ; Jin, Hai, . - 1 ed. . - [s.l.] : Springer, 2017 . - XII, 162 p. 97 ilustraciones.
ISBN : 978-3-319-68210-5
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 Informática Red de computadoras IngenierÃa de software Algoritmos Software de la aplicacion Ordenadores Inteligencia artificial IngenierÃa Informática y Redes Aplicaciones informáticas y de sistemas de información Hardware de la computadora Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional IFIP WG 10.3 sobre Redes y Computación Paralela, NPC 2017, celebrada en Hefei, China, en octubre de 2017. Los 9 artÃculos completos y los 10 artÃculos breves presentados en este libro fueron cuidadosamente revisados ​​y seleccionados de 88 presentaciones. Los artÃculos cubren áreas tradicionales de redes y computación paralela, incluidas aplicaciones paralelas, algoritmos distribuidos, entornos de software y herramientas distribuidas. Nota de contenido: Parallel and distributed applications and algorithms -- Parallel and distributed architectures and systems -- Parallel and distributed software environments and tools. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Theory of Translation Closedness for Time Scales : With Applications in Translation Functions and Dynamic Equations Tipo de documento: documento electrónico Autores: Wang, Chao, ; Agarwal, Ravi P., ; O' Regan, Donal, ; Sakthivel, Rathinasamy, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVI, 577 p. 17 ilustraciones, 8 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-38644-3 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: Ecuaciones en diferencias Ecuaciones funcionales Análisis armónico Modelos matemáticos Funciones de variables reales Ecuaciones funcionales y en diferencias Análisis armónico abstracto Modelización Matemática y Matemática Industrial Funciones reales Clasificación: Resumen: Esta monografÃa establece una teorÃa del cierre de clasificación y traducción de escalas de tiempo, un tema que fue estudiado por primera vez por S. Hilger en 1988 para unificar el análisis continuo y discreto. Los autores desarrollan una teorÃa de la función de traducción en escalas de tiempo que contiene funciones casi periódicas (por partes), funciones casi automórficas (por partes) y sus funciones de generalización relacionadas (por ejemplo, funciones pseudocasi periódicas, funciones pseudocasi automórficas ponderadas y más). En el contexto de las ecuaciones dinámicas, estas teorÃas de funciones en escalas de tiempo se aplican para estudiar el comportamiento dinámico de las soluciones para varios tipos de ecuaciones dinámicas en dominios hÃbridos, incluidas ecuaciones de evolución, ecuaciones discontinuas y ecuaciones integrodiferenciales impulsivas. La teorÃa presentada permite muchas aplicaciones útiles, como en el modelo de archivos de soplado de Nicholson; el modelo Lasota-Wazewska; el modelo de la cruz keynesiana; en aquellos modelos dinámicos realistas con un dominio hÃbrido más complejo, considerados bajo diferentes tipos de cierre de traducción de escalas de tiempo; y en ecuaciones dinámicas sobre modelos matemáticos que cubren redes neuronales. Este libro proporciona a los lectores la base teórica necesaria para realizar modelos matemáticos precisos en fÃsica, tecnologÃa quÃmica, dinámica de poblaciones, biotecnologÃa y economÃa, redes neuronales y ciencias sociales. Nota de contenido: Preface -- Preliminaries and Basic Knowledge on Time Scales -- A Classification of Closedness of Time Scales under Translations -- Almost Periodic Functions and Generalizations on Complete-Closed Time Scales -- Piecewise Almost Periodic Functions and Generalizations on Translation Time Scales -- Almost Automorphic Functions and Generalizations on Translation Time Scales -- Nonlinear Dynamic Equations on Translation Time Scales -- Impulsive Dynamic Equations on Translation Time Scales -- Almost Automorphic Dynamic Equations on Translation Time Scales -- Analysis of Dynamical System Models on Translation Time Scales -- Index. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Theory of Translation Closedness for Time Scales : With Applications in Translation Functions and Dynamic Equations [documento electrónico] / Wang, Chao, ; Agarwal, Ravi P., ; O' Regan, Donal, ; Sakthivel, Rathinasamy, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVI, 577 p. 17 ilustraciones, 8 ilustraciones en color.
ISBN : 978-3-030-38644-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ecuaciones en diferencias Ecuaciones funcionales Análisis armónico Modelos matemáticos Funciones de variables reales Ecuaciones funcionales y en diferencias Análisis armónico abstracto Modelización Matemática y Matemática Industrial Funciones reales Clasificación: Resumen: Esta monografÃa establece una teorÃa del cierre de clasificación y traducción de escalas de tiempo, un tema que fue estudiado por primera vez por S. Hilger en 1988 para unificar el análisis continuo y discreto. Los autores desarrollan una teorÃa de la función de traducción en escalas de tiempo que contiene funciones casi periódicas (por partes), funciones casi automórficas (por partes) y sus funciones de generalización relacionadas (por ejemplo, funciones pseudocasi periódicas, funciones pseudocasi automórficas ponderadas y más). En el contexto de las ecuaciones dinámicas, estas teorÃas de funciones en escalas de tiempo se aplican para estudiar el comportamiento dinámico de las soluciones para varios tipos de ecuaciones dinámicas en dominios hÃbridos, incluidas ecuaciones de evolución, ecuaciones discontinuas y ecuaciones integrodiferenciales impulsivas. La teorÃa presentada permite muchas aplicaciones útiles, como en el modelo de archivos de soplado de Nicholson; el modelo Lasota-Wazewska; el modelo de la cruz keynesiana; en aquellos modelos dinámicos realistas con un dominio hÃbrido más complejo, considerados bajo diferentes tipos de cierre de traducción de escalas de tiempo; y en ecuaciones dinámicas sobre modelos matemáticos que cubren redes neuronales. Este libro proporciona a los lectores la base teórica necesaria para realizar modelos matemáticos precisos en fÃsica, tecnologÃa quÃmica, dinámica de poblaciones, biotecnologÃa y economÃa, redes neuronales y ciencias sociales. Nota de contenido: Preface -- Preliminaries and Basic Knowledge on Time Scales -- A Classification of Closedness of Time Scales under Translations -- Almost Periodic Functions and Generalizations on Complete-Closed Time Scales -- Piecewise Almost Periodic Functions and Generalizations on Translation Time Scales -- Almost Automorphic Functions and Generalizations on Translation Time Scales -- Nonlinear Dynamic Equations on Translation Time Scales -- Impulsive Dynamic Equations on Translation Time Scales -- Almost Automorphic Dynamic Equations on Translation Time Scales -- Analysis of Dynamical System Models on Translation Time Scales -- Index. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
