Información del autor
Autor Wang, Chao |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsqueda
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. Idioma : Inglés (eng) 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: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. 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.
Idioma : Inglés (eng)
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: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computer Aided Verification : 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. Idioma : Inglés (eng) 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: 005.1 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. Tipo de medio : Computadora Summary : The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Aided Verification : 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.
Idioma : Inglés (eng)
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: 005.1 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. Tipo de medio : Computadora Summary : The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computer Aided Verification : 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. Idioma : Inglés (eng) 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: 005.1 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. Tipo de medio : Computadora Summary : The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Aided Verification : 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.
Idioma : Inglés (eng)
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: 005.1 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. Tipo de medio : Computadora Summary : The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. 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. Idioma : Inglés (eng) 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 14th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2017, held in Hefei, China, in October 2017. The 9 full papers and 10 short papers presented in this book were carefully reviewed and selected from 88 submissions. The papers cover traditional areas of network and parallel computing including parallel applications, distributed algorithms, software environments, and distributed 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.
Idioma : Inglés (eng)
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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 14th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2017, held in Hefei, China, in October 2017. The 9 full papers and 10 short papers presented in this book were carefully reviewed and selected from 88 submissions. The papers cover traditional areas of network and parallel computing including parallel applications, distributed algorithms, software environments, and distributed 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. Idioma : Inglés (eng) 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: 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. Tipo de medio : Computadora Summary : This monograph establishes a theory of classification and translation closedness of time scales, a topic that was first studied by S. Hilger in 1988 to unify continuous and discrete analysis. The authors develop a theory of translation function on time scales that contains (piecewise) almost periodic functions, (piecewise) almost automorphic functions and their related generalization functions (e.g., pseudo almost periodic functions, weighted pseudo almost automorphic functions, and more). Against the background of dynamic equations, these function theories on time scales are applied to study the dynamical behavior of solutions for various types of dynamic equations on hybrid domains, including evolution equations, discontinuous equations and impulsive integro-differential equations. The theory presented allows many useful applications, such as in the Nicholson`s blowfiles model; the Lasota-Wazewska model; the Keynesian-Cross model; in those realistic dynamical models with a more complex hibrid domain, considered under different types of translation closedness of time scales; and in dynamic equations on mathematical models which cover neural networks. This book provides readers with the theoretical background necessary for accurate mathematical modeling in physics, chemical technology, population dynamics, biotechnology and economics, neural networks, and social sciences. 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.
Idioma : Inglés (eng)
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: 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. Tipo de medio : Computadora Summary : This monograph establishes a theory of classification and translation closedness of time scales, a topic that was first studied by S. Hilger in 1988 to unify continuous and discrete analysis. The authors develop a theory of translation function on time scales that contains (piecewise) almost periodic functions, (piecewise) almost automorphic functions and their related generalization functions (e.g., pseudo almost periodic functions, weighted pseudo almost automorphic functions, and more). Against the background of dynamic equations, these function theories on time scales are applied to study the dynamical behavior of solutions for various types of dynamic equations on hybrid domains, including evolution equations, discontinuous equations and impulsive integro-differential equations. The theory presented allows many useful applications, such as in the Nicholson`s blowfiles model; the Lasota-Wazewska model; the Keynesian-Cross model; in those realistic dynamical models with a more complex hibrid domain, considered under different types of translation closedness of time scales; and in dynamic equations on mathematical models which cover neural networks. This book provides readers with the theoretical background necessary for accurate mathematical modeling in physics, chemical technology, population dynamics, biotechnology and economics, neural networks, and social sciences. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
