Autor Wang, Chao
|
|
Documentos disponibles escritos por este autor (5)
Hacer una sugerencia 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 : 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 : 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 : 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 Índice Dewey: 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. 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 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 Índice Dewey: 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. 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 : Theory of Translation Closedness for Time Scales : With Applications in Translation Functions and Dynamic Equations Tipo de documento: documento electrónico Autores: Wang, Chao, Autor ; Agarwal, Ravi P., Autor ; O' Regan, Donal, Autor ; Sakthivel, Rathinasamy, Autor 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 Índice Dewey: 515.625 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. 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 Theory of Translation Closedness for Time Scales : With Applications in Translation Functions and Dynamic Equations [documento electrónico] / Wang, Chao, Autor ; Agarwal, Ravi P., Autor ; O' Regan, Donal, Autor ; Sakthivel, Rathinasamy, Autor . - 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 Índice Dewey: 515.625 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. 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
