Información del autor
Autor Li, Xin |
Documentos disponibles escritos por este autor (11)
Crear una solicitud de compra Refinar búsquedaAdvanced Computational Methods in Life System Modeling and Simulation / Fei, Minrui ; Ma, Shiwei ; Li, Xin ; Sun, Xin ; Jia, Li ; Su, Zhou
TÃtulo : Advanced Computational Methods in Life System Modeling and Simulation : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I Tipo de documento: documento electrónico Autores: Fei, Minrui, ; Ma, Shiwei, ; Li, Xin, ; Sun, Xin, ; Jia, Li, ; Su, Zhou, Mención de edición: 1 ed. Editorial: Singapore [Malasia] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 609 p. 348 ilustraciones ISBN/ISSN/DL: 978-981-10-6370-1 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: Simulación por ordenador Bioinformática Informática Médica Modelado por computadora BiologÃa Computacional y de Sistemas Informática de la Salud Clasificación: 003.3 Resumen: El conjunto de tres volúmenes CCIS 761, CCIS 762 y CCIS 763 constituye las actas minuciosamente arbitradas de la Conferencia Internacional sobre Modelado y Simulación de Sistemas de Vida, LSMS 2017, y de la Conferencia Internacional sobre Computación Inteligente para EnergÃa y Medio Ambiente Sostenibles, ICSEE 2017. celebrada en Nanjing, China, en septiembre de 2017. Los 208 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre más de 625 presentaciones. Los artÃculos de este volumen están organizados en secciones temáticas sobre: ​​Procesamiento de señales biomédicas; Métodos Computacionales en Modelado de Organismos; Aparatos médicos y aplicaciones clÃnicas; Métodos, algoritmos y aparatos de control biónico; Modelado y Simulación de Sistemas de Vida; Análisis basado en datos; Procesamiento de Imágenes y VÃdeos; TeorÃa y algoritmos avanzados de redes neuronales y difusas; Métodos y aplicaciones evolutivos avanzados; Métodos y aplicaciones avanzados de aprendizaje automático; Modelado, Monitoreo y Control Inteligentes de Sistemas No Lineales Complejos; Métodos Avanzados para Sistemas en Red; Control y Análisis de Sistemas de Transporte; Aplicaciones y control de modo deslizante avanzado; Análisis Avanzado de Nuevos Materiales y Dispositivos; Inteligencia Computacional en la Utilización de Recursos Energéticos Limpios y Renovables; Métodos Inteligentes para el Ahorro de EnergÃa y la Reducción de la Contaminación; Métodos inteligentes en el desarrollo de vehÃculos, motores y equipos eléctricos; Computación y Control Inteligente en Sistemas de EnergÃa; Modelado, Simulación y Control en Smart Grid y Microgrid; Métodos de optimización; Métodos computacionales para un medio ambiente sostenible. Nota de contenido: Biomedical Signal Processing -- Computational Methods in Organism Modeling -- Medical Apparatus and Clinical Applications -- Bionics Control Methods, Algorithms and Apparatus -- Modeling and Simulation of Life Systems -- Data Driven Analysis -- Image and Video Processing -- Advanced Fuzzy and Neural Network Theory and Algorithms -- Advanced Evolutionary Methods and Applications -- Advanced Machine Learning Methods and Applications -- Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems -- Advanced Methods for Networked Systems -- Control and Analysis of Transportation Systems -- Advanced Sliding Mode Control and Applications -- Advanced Analysis of New Materials and Devices -- Computational Intelligence in Utilization of Clean and Renewable Energy Resources -- Intelligent Methods for Energy Saving and Pollution Reduction -- Intelligent Methods in Developing Electric Vehicles, Engines and Equipment -- Intelligent Computing and Control in Power Systems -- Modeling, Simulation and Control in Smart Grid and Microgrid -- Optimization Methods; Computational Methods for Sustainable Environment.  . Tipo de medio : Computadora Summary : The three-volume set CCIS 761, CCIS 762, and CCIS 763 constitutes the thoroughly refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2017, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, held in Nanjing, China, in September 2017. The 208 revised full papers presented were carefully reviewed and selected from over 625 submissions. The papers of this volume are organized in topical sections on: Biomedical Signal Processing; Computational Methods in Organism Modeling; Medical Apparatus and Clinical Applications; Bionics Control Methods, Algorithms and Apparatus; Modeling and Simulation of Life Systems; Data Driven Analysis; Image and Video Processing; Advanced Fuzzy and Neural Network Theory and Algorithms; Advanced Evolutionary Methods and Applications; Advanced Machine Learning Methods and Applications; Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems; Advanced Methods for Networked Systems; Control and Analysis of Transportation Systems; Advanced Sliding Mode Control and Applications; Advanced Analysis of New Materials and Devices; Computational Intelligence in Utilization of Clean and Renewable Energy Resources; Intelligent Methods for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Computing and Control in Power Systems; Modeling, Simulation and Control in Smart Grid and Microgrid; Optimization Methods; Computational Methods for Sustainable Environment. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Advanced Computational Methods in Life System Modeling and Simulation : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I [documento electrónico] / Fei, Minrui, ; Ma, Shiwei, ; Li, Xin, ; Sun, Xin, ; Jia, Li, ; Su, Zhou, . - 1 ed. . - Singapore [Malasia] : Springer, 2017 . - XVIII, 609 p. 348 ilustraciones.
ISBN : 978-981-10-6370-1
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: Simulación por ordenador Bioinformática Informática Médica Modelado por computadora BiologÃa Computacional y de Sistemas Informática de la Salud Clasificación: 003.3 Resumen: El conjunto de tres volúmenes CCIS 761, CCIS 762 y CCIS 763 constituye las actas minuciosamente arbitradas de la Conferencia Internacional sobre Modelado y Simulación de Sistemas de Vida, LSMS 2017, y de la Conferencia Internacional sobre Computación Inteligente para EnergÃa y Medio Ambiente Sostenibles, ICSEE 2017. celebrada en Nanjing, China, en septiembre de 2017. Los 208 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre más de 625 presentaciones. Los artÃculos de este volumen están organizados en secciones temáticas sobre: ​​Procesamiento de señales biomédicas; Métodos Computacionales en Modelado de Organismos; Aparatos médicos y aplicaciones clÃnicas; Métodos, algoritmos y aparatos de control biónico; Modelado y Simulación de Sistemas de Vida; Análisis basado en datos; Procesamiento de Imágenes y VÃdeos; TeorÃa y algoritmos avanzados de redes neuronales y difusas; Métodos y aplicaciones evolutivos avanzados; Métodos y aplicaciones avanzados de aprendizaje automático; Modelado, Monitoreo y Control Inteligentes de Sistemas No Lineales Complejos; Métodos Avanzados para Sistemas en Red; Control y Análisis de Sistemas de Transporte; Aplicaciones y control de modo deslizante avanzado; Análisis Avanzado de Nuevos Materiales y Dispositivos; Inteligencia Computacional en la Utilización de Recursos Energéticos Limpios y Renovables; Métodos Inteligentes para el Ahorro de EnergÃa y la Reducción de la Contaminación; Métodos inteligentes en el desarrollo de vehÃculos, motores y equipos eléctricos; Computación y Control Inteligente en Sistemas de EnergÃa; Modelado, Simulación y Control en Smart Grid y Microgrid; Métodos de optimización; Métodos computacionales para un medio ambiente sostenible. Nota de contenido: Biomedical Signal Processing -- Computational Methods in Organism Modeling -- Medical Apparatus and Clinical Applications -- Bionics Control Methods, Algorithms and Apparatus -- Modeling and Simulation of Life Systems -- Data Driven Analysis -- Image and Video Processing -- Advanced Fuzzy and Neural Network Theory and Algorithms -- Advanced Evolutionary Methods and Applications -- Advanced Machine Learning Methods and Applications -- Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems -- Advanced Methods for Networked Systems -- Control and Analysis of Transportation Systems -- Advanced Sliding Mode Control and Applications -- Advanced Analysis of New Materials and Devices -- Computational Intelligence in Utilization of Clean and Renewable Energy Resources -- Intelligent Methods for Energy Saving and Pollution Reduction -- Intelligent Methods in Developing Electric Vehicles, Engines and Equipment -- Intelligent Computing and Control in Power Systems -- Modeling, Simulation and Control in Smart Grid and Microgrid -- Optimization Methods; Computational Methods for Sustainable Environment.  . Tipo de medio : Computadora Summary : The three-volume set CCIS 761, CCIS 762, and CCIS 763 constitutes the thoroughly refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2017, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, held in Nanjing, China, in September 2017. The 208 revised full papers presented were carefully reviewed and selected from over 625 submissions. The papers of this volume are organized in topical sections on: Biomedical Signal Processing; Computational Methods in Organism Modeling; Medical Apparatus and Clinical Applications; Bionics Control Methods, Algorithms and Apparatus; Modeling and Simulation of Life Systems; Data Driven Analysis; Image and Video Processing; Advanced Fuzzy and Neural Network Theory and Algorithms; Advanced Evolutionary Methods and Applications; Advanced Machine Learning Methods and Applications; Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems; Advanced Methods for Networked Systems; Control and Analysis of Transportation Systems; Advanced Sliding Mode Control and Applications; Advanced Analysis of New Materials and Devices; Computational Intelligence in Utilization of Clean and Renewable Energy Resources; Intelligent Methods for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Computing and Control in Power Systems; Modeling, Simulation and Control in Smart Grid and Microgrid; Optimization Methods; Computational Methods for Sustainable Environment. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Intelligent Life System Modelling, Image Processing and Analysis : 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part I / Tipo de documento: documento electrónico Autores: Fei, Minrui, ; Chen, Luonan, ; Ma, Shiwei, ; Li, Xin, Mención de edición: 1 ed. Editorial: Singapore [Malasia] : Springer Fecha de publicación: 2021 Número de páginas: XXXI, 300 p. 200 ilustraciones, 158 ilustraciones en color. ISBN/ISSN/DL: 978-981-1672071-- 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: Modelado por computadora Redes de comunicación informática Implementación de sistema informático Sistema de administración de base de datos Procesamiento de imágenes Aprendizaje automático Sistema informático Gestión de base de datos Simulación por ordenador Red informática Clasificación: 003.3 Resumen: Este conjunto de tres volúmenes CCIS 1467, CCIS 1468 y CCIS 1469 constituye las actas minuciosamente arbitradas de la 7.ª Conferencia Internacional sobre Modelado y Simulación de Sistemas de Vida, LSMS 2021, y de la 7.ª Conferencia Internacional sobre Computación Inteligente para la EnergÃa y el Medio Ambiente Sostenibles, ICSEE. 2021, celebrado en Hangzhou, China, en octubre de 2021. Los 159 artÃculos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre más de 430 presentaciones. Los artÃculos de este volumen están organizados en secciones temáticas sobre: ​​Imágenes y análisis médicos mediante computación inteligente; Procesamiento de señales biomédicas, imágenes, visualización y robótica quirúrgica; Método computacional en estudio de taxonomÃa y dinámica neuronal; Aparatos médicos inteligentes, aplicaciones clÃnicas y diseño inteligente de biochips; Sistemas de Potencia y EnergÃa; Inteligencia Computacional en la Utilización de Recursos Energéticos Limpios y Renovables, y Modelización, Control y Supervisión Inteligentes para el Ahorro Energético y la Reducción de la Contaminación; Métodos inteligentes en el desarrollo de vehÃculos, motores y equipos eléctricos; Métodos de Control Inteligente en el Desarrollo de Infraestructura Energética y Sistemas de Generación Distribuida de EnergÃa; Modelado, Simulación y Control Inteligente de Electrónica de Potencia y Redes Eléctricas; Técnicas inteligentes para la energÃa sostenible y el medio ambiente construido de forma ecológica, el tratamiento del agua y la gestión de residuos; Robot Inteligente y Simulación; Procesamiento, Análisis y Control Inteligente de Datos en Sistemas Complejos; TeorÃa y algoritmos avanzados de redes neuronales; Métodos y aplicaciones computacionales avanzados; HÃbridos difusos, neuronales y neurodifusos; Modelado, Monitoreo y Control Inteligentes de Sistemas No Lineales Complejos; Fabricación inteligente, sistemas autónomos, sistemas robóticos inteligentes; Inteligencia Computacional y Aplicaciones. Nota de contenido: Medical Imaging and Analysis Using Intelligence Computing -- Biomedical signal processing, imaging, visualization and surgical robotics -- Computational method in taxonomy study and neural dynamics -- Intelligent medical apparatus, clinical applications and intelligent design of biochips. Tipo de medio : Computadora Summary : This three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021. The 159 revised papers presented were carefully reviewed and selected from over 430 submissions. The papers of this volume are organized in topical sections on: Medical Imaging and Analysis Using Intelligence Computing; Biomedical signal processing, imaging, visualization and surgical robotics; Computational method in taxonomy study and neural dynamics; Intelligent medical apparatus, clinical applications and intelligent design of biochips; Power and Energy Systems; Computational Intelligence in Utilization of Clean and Renewable Energy Resources, and Intelligent Modelling, Control and Supervision for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Control Methods in Energy Infrastructure Development and Distributed Power Generation Systems; Intelligent Modeling, Simulation and Control of Power Electronics and Power Networks; Intelligent Techniques for Sustainable Energy and Green Built Environment, Water Treatment and Waste Management; Intelligent Robot and Simulation; Intelligent Data Processing, Analysis and Control in Complex Systems; Advanced Neural Network Theory and Algorithms; Advanced Computational Methods and Applications; Fuzzy, Neural, and Fuzzy-neuro Hybrids; Intelligent Modelling, Monitoring, and Control of Complex Nonlinear Systems; Intelligent manufacturing, autonomous systems, intelligent robotic systems; Computational Intelligence and Applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Intelligent Life System Modelling, Image Processing and Analysis : 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part I / [documento electrónico] / Fei, Minrui, ; Chen, Luonan, ; Ma, Shiwei, ; Li, Xin, . - 1 ed. . - Singapore [Malasia] : Springer, 2021 . - XXXI, 300 p. 200 ilustraciones, 158 ilustraciones en color.
ISBN : 978-981-1672071--
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: Modelado por computadora Redes de comunicación informática Implementación de sistema informático Sistema de administración de base de datos Procesamiento de imágenes Aprendizaje automático Sistema informático Gestión de base de datos Simulación por ordenador Red informática Clasificación: 003.3 Resumen: Este conjunto de tres volúmenes CCIS 1467, CCIS 1468 y CCIS 1469 constituye las actas minuciosamente arbitradas de la 7.ª Conferencia Internacional sobre Modelado y Simulación de Sistemas de Vida, LSMS 2021, y de la 7.ª Conferencia Internacional sobre Computación Inteligente para la EnergÃa y el Medio Ambiente Sostenibles, ICSEE. 2021, celebrado en Hangzhou, China, en octubre de 2021. Los 159 artÃculos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre más de 430 presentaciones. Los artÃculos de este volumen están organizados en secciones temáticas sobre: ​​Imágenes y análisis médicos mediante computación inteligente; Procesamiento de señales biomédicas, imágenes, visualización y robótica quirúrgica; Método computacional en estudio de taxonomÃa y dinámica neuronal; Aparatos médicos inteligentes, aplicaciones clÃnicas y diseño inteligente de biochips; Sistemas de Potencia y EnergÃa; Inteligencia Computacional en la Utilización de Recursos Energéticos Limpios y Renovables, y Modelización, Control y Supervisión Inteligentes para el Ahorro Energético y la Reducción de la Contaminación; Métodos inteligentes en el desarrollo de vehÃculos, motores y equipos eléctricos; Métodos de Control Inteligente en el Desarrollo de Infraestructura Energética y Sistemas de Generación Distribuida de EnergÃa; Modelado, Simulación y Control Inteligente de Electrónica de Potencia y Redes Eléctricas; Técnicas inteligentes para la energÃa sostenible y el medio ambiente construido de forma ecológica, el tratamiento del agua y la gestión de residuos; Robot Inteligente y Simulación; Procesamiento, Análisis y Control Inteligente de Datos en Sistemas Complejos; TeorÃa y algoritmos avanzados de redes neuronales; Métodos y aplicaciones computacionales avanzados; HÃbridos difusos, neuronales y neurodifusos; Modelado, Monitoreo y Control Inteligentes de Sistemas No Lineales Complejos; Fabricación inteligente, sistemas autónomos, sistemas robóticos inteligentes; Inteligencia Computacional y Aplicaciones. Nota de contenido: Medical Imaging and Analysis Using Intelligence Computing -- Biomedical signal processing, imaging, visualization and surgical robotics -- Computational method in taxonomy study and neural dynamics -- Intelligent medical apparatus, clinical applications and intelligent design of biochips. Tipo de medio : Computadora Summary : This three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021. The 159 revised papers presented were carefully reviewed and selected from over 430 submissions. The papers of this volume are organized in topical sections on: Medical Imaging and Analysis Using Intelligence Computing; Biomedical signal processing, imaging, visualization and surgical robotics; Computational method in taxonomy study and neural dynamics; Intelligent medical apparatus, clinical applications and intelligent design of biochips; Power and Energy Systems; Computational Intelligence in Utilization of Clean and Renewable Energy Resources, and Intelligent Modelling, Control and Supervision for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Control Methods in Energy Infrastructure Development and Distributed Power Generation Systems; Intelligent Modeling, Simulation and Control of Power Electronics and Power Networks; Intelligent Techniques for Sustainable Energy and Green Built Environment, Water Treatment and Waste Management; Intelligent Robot and Simulation; Intelligent Data Processing, Analysis and Control in Complex Systems; Advanced Neural Network Theory and Algorithms; Advanced Computational Methods and Applications; Fuzzy, Neural, and Fuzzy-neuro Hybrids; Intelligent Modelling, Monitoring, and Control of Complex Nonlinear Systems; Intelligent manufacturing, autonomous systems, intelligent robotic systems; Computational Intelligence and Applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : K-Theory for Group C*-Algebras and Semigroup C*-Algebras Tipo de documento: documento electrónico Autores: Cuntz, Joachim, ; Echterhoff, Siegfried, ; Li, Xin, ; Yu, Guoliang, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 322 p. ISBN/ISSN/DL: 978-3-319-59915-1 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: Análisis global (Matemáticas) Análisis funcional Análisis global y análisis de colectores. teorÃa k Colectores (Matemáticas) Clasificación: 512.66 Resumen: Este libro da cuenta de los antecedentes necesarios para las álgebras de grupos y productos cruzados para acciones de un grupo o semigrupo en un espacio e informa sobre algunas técnicas desarrolladas muy recientemente con aplicaciones a ejemplos particulares. Gran parte del material está disponible aquà por primera vez en forma de libro. Los temas discutidos se encuentran entre las álgebras C* más clásicas e intensamente estudiadas. Son importantes para aplicaciones en campos tan diversos como la teorÃa de las representaciones de grupos unitarios, la teorÃa de Ãndices, la topologÃa de variedades o la teorÃa ergódica de acciones de grupo. Tipo de medio : Computadora Summary : This book gives an account of the necessary background for group algebras and crossed products for actions of a group or a semigroup on a space and reports on some very recently developed techniques with applications to particular examples. Much of the material is available here for the first time in book form. The topics discussed are among the most classical and intensely studied C*-algebras. They are important for applications in fields as diverse as the theory of unitary group representations, index theory, the topology of manifolds or ergodic theory of group actions. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] K-Theory for Group C*-Algebras and Semigroup C*-Algebras [documento electrónico] / Cuntz, Joachim, ; Echterhoff, Siegfried, ; Li, Xin, ; Yu, Guoliang, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 322 p.
ISBN : 978-3-319-59915-1
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: Análisis global (Matemáticas) Análisis funcional Análisis global y análisis de colectores. teorÃa k Colectores (Matemáticas) Clasificación: 512.66 Resumen: Este libro da cuenta de los antecedentes necesarios para las álgebras de grupos y productos cruzados para acciones de un grupo o semigrupo en un espacio e informa sobre algunas técnicas desarrolladas muy recientemente con aplicaciones a ejemplos particulares. Gran parte del material está disponible aquà por primera vez en forma de libro. Los temas discutidos se encuentran entre las álgebras C* más clásicas e intensamente estudiadas. Son importantes para aplicaciones en campos tan diversos como la teorÃa de las representaciones de grupos unitarios, la teorÃa de Ãndices, la topologÃa de variedades o la teorÃa ergódica de acciones de grupo. Tipo de medio : Computadora Summary : This book gives an account of the necessary background for group algebras and crossed products for actions of a group or a semigroup on a space and reports on some very recently developed techniques with applications to particular examples. Much of the material is available here for the first time in book form. The topics discussed are among the most classical and intensely studied C*-algebras. They are important for applications in fields as diverse as the theory of unitary group representations, index theory, the topology of manifolds or ergodic theory of group actions. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Machine Learning in VLSI Computer-Aided Design Tipo de documento: documento electrónico Autores: Elfadel, Ibrahim (Abe) M., ; Boning, Duane S., ; Li, Xin, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXII, 694 p. 341 ilustraciones, 275 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-04666-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: Circuitos electrónicos Microprocesadores Arquitectura de Computadores diseño lógico Circuitos y sistemas electrónicos Arquitecturas de procesador Clasificación: 621.3815 Resumen: Este libro proporciona a los lectores una descripción actualizada del uso de marcos, metodologÃas, algoritmos y técnicas de aprendizaje automático en el contexto del diseño asistido por computadora (CAD) para circuitos integrados a muy gran escala (VLSI). La cobertura incluye los diversos métodos de aprendizaje automático utilizados en litografÃa, diseño fÃsico, predicción de rendimiento, análisis de rendimiento post-silicio, análisis de fallas y confiabilidad, análisis térmico y de potencia, diseño analógico, sÃntesis lógica, verificación y diseño neuromórfico. Proporciona información actualizada sobre aprendizaje automático en VLSI CAD para modelado de dispositivos, verificaciones de diseño, predicción de rendimiento, validación post-silicio y confiabilidad; Analiza el uso de técnicas de aprendizaje automático en el contexto de la sÃntesis analógica y digital; Demuestra cómo formular objetivos CAD de VLSI como problemas de aprendizaje automático y proporciona un tratamiento integral de sus soluciones eficientes; Analiza la compensación entre el costo de recopilar datos y la precisión de la predicción y proporciona una metodologÃa para usar datos previos para reducir el costo de la recopilación de datos en el diseño, prueba y validación de diseños VLSI analógicos y digitales. Del prólogo A medida que la industria de los semiconductores adopta la creciente oleada de sistemas cognitivos y de inteligencia de punta, este libro podrÃa servir como presagio y ejemplo de la ósmosis que existirá entre nuestras estructuras y métodos cognitivos, por un lado, y las arquitecturas y sistemas de hardware. tecnologÃas que los respaldarán, por el otro... A medida que pasamos de la era informática a la cognitiva, nos corresponde recordar la historia de éxito de VLSI CAD y buscar seriamente la ayuda de la mano invisible para que nuestros futuros sistemas cognitivos Se utilizan para diseñar sistemas cognitivos más potentes. Este libro está muy alineado con esta transición en curso de la computación a la cognición, y es un gran placer recomendarlo a todos aquellos que participan activamente en esta apasionante transformación. Dr. Ruchir Puri, miembro de IBM, director de tecnologÃa de IBM Watson y arquitecto jefe, Centro de investigación IBM TJ Watson. Nota de contenido: Chapter1: A Preliminary Taxonomy for Machine Learning in VLSI CAD -- Chapter2: Machine Learning for Compact Lithographic Process Models -- Chapter3: Machine Learning for Mask Synthesis -- Chapter4: Machine Learning in Physical Verification, Mask Synthesis, and Physical Design -- Chapter5: Gaussian Process-Based Wafer-Level Correlation Modeling and its Applications -- Chapter6: Machine Learning Approaches for IC Manufacturing Yield Enhancement -- Chapter7: Efficient Process Variation Characterization by Virtual Probe -- Chapter8: Machine learning for VLSI chip testing and semiconductor manufacturing process monitoring and improvement -- Chapter9: Machine Learning based Aging Analysis -- Chapter10: Extreme Statistics in Memories -- Chapter11: Fast Statistical Analysis Using Machine Learning -- Chapter12: Fast Statistical Analysis of Rare Circuit Failure Events -- Chapter13: Learning from Limited Data in VLSI CAD -- Chapter14: Large-Scale Circuit Performance Modeling by Bayesian Model Fusion -- Chapter15: Sparse Relevance Kernel Machine Based Performance Dependency Analysis of Analog and Mixed-Signal Circuits -- Chapter16: SiLVR: Projection Pursuit for Response Surface Modeling -- Chapter17: Machine Learning based System Optimization and Uncertainty Quantification of Integrated Systems -- Chapter18: SynTunSys: A Synthesis Parameter Autotuning System for Optimizing High-Performance Processors -- Chapter19: Multicore Power and Thermal Proxies Using Least-Angle -- Chapter20: A Comparative Study of Assertion Mining Algorithms in GoldMine -- Chapter21: Energy-Efficient Design of Advanced Machine Learning Hardware. Tipo de medio : Computadora Summary : This book provides readers with an up-to-date account of the use of machine learning frameworks, methodologies, algorithms and techniques in the context of computer-aided design (CAD) for very-large-scale integrated circuits (VLSI). Coverage includes the various machine learning methods used in lithography, physical design, yield prediction, post-silicon performance analysis, reliability and failure analysis, power and thermal analysis, analog design, logic synthesis, verification, and neuromorphic design. Provides up-to-date information on machine learning in VLSI CAD for device modeling, layout verifications, yield prediction, post-silicon validation, and reliability; Discusses the use of machine learning techniques in the context of analog and digital synthesis; Demonstrates how to formulate VLSI CAD objectives as machine learning problems and provides a comprehensive treatment of their efficient solutions; Discusses the tradeoff between the cost of collecting data and prediction accuracy and provides a methodology for using prior data to reduce cost of data collection in the design, testing and validation of both analog and digital VLSI designs. From the Foreword As the semiconductor industry embraces the rising swell of cognitive systems and edge intelligence, this book could serve as a harbinger and example of the osmosis that will exist between our cognitive structures and methods, on the one hand, and the hardware architectures and technologies that will support them, on the other….As we transition from the computing era to the cognitive one, it behooves us to remember the success story of VLSI CAD and to earnestly seek the help of the invisible hand so that our future cognitive systems are used to design more powerful cognitive systems. This book is very much aligned with this on-going transition from computing to cognition, and it is with deep pleasure that I recommend it to all those who are actively engaged in this exciting transformation. Dr. Ruchir Puri, IBM Fellow, IBM Watson CTO & Chief Architect, IBM T. J. Watson Research Center. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Machine Learning in VLSI Computer-Aided Design [documento electrónico] / Elfadel, Ibrahim (Abe) M., ; Boning, Duane S., ; Li, Xin, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXII, 694 p. 341 ilustraciones, 275 ilustraciones en color.
ISBN : 978-3-030-04666-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: Circuitos electrónicos Microprocesadores Arquitectura de Computadores diseño lógico Circuitos y sistemas electrónicos Arquitecturas de procesador Clasificación: 621.3815 Resumen: Este libro proporciona a los lectores una descripción actualizada del uso de marcos, metodologÃas, algoritmos y técnicas de aprendizaje automático en el contexto del diseño asistido por computadora (CAD) para circuitos integrados a muy gran escala (VLSI). La cobertura incluye los diversos métodos de aprendizaje automático utilizados en litografÃa, diseño fÃsico, predicción de rendimiento, análisis de rendimiento post-silicio, análisis de fallas y confiabilidad, análisis térmico y de potencia, diseño analógico, sÃntesis lógica, verificación y diseño neuromórfico. Proporciona información actualizada sobre aprendizaje automático en VLSI CAD para modelado de dispositivos, verificaciones de diseño, predicción de rendimiento, validación post-silicio y confiabilidad; Analiza el uso de técnicas de aprendizaje automático en el contexto de la sÃntesis analógica y digital; Demuestra cómo formular objetivos CAD de VLSI como problemas de aprendizaje automático y proporciona un tratamiento integral de sus soluciones eficientes; Analiza la compensación entre el costo de recopilar datos y la precisión de la predicción y proporciona una metodologÃa para usar datos previos para reducir el costo de la recopilación de datos en el diseño, prueba y validación de diseños VLSI analógicos y digitales. Del prólogo A medida que la industria de los semiconductores adopta la creciente oleada de sistemas cognitivos y de inteligencia de punta, este libro podrÃa servir como presagio y ejemplo de la ósmosis que existirá entre nuestras estructuras y métodos cognitivos, por un lado, y las arquitecturas y sistemas de hardware. tecnologÃas que los respaldarán, por el otro... A medida que pasamos de la era informática a la cognitiva, nos corresponde recordar la historia de éxito de VLSI CAD y buscar seriamente la ayuda de la mano invisible para que nuestros futuros sistemas cognitivos Se utilizan para diseñar sistemas cognitivos más potentes. Este libro está muy alineado con esta transición en curso de la computación a la cognición, y es un gran placer recomendarlo a todos aquellos que participan activamente en esta apasionante transformación. Dr. Ruchir Puri, miembro de IBM, director de tecnologÃa de IBM Watson y arquitecto jefe, Centro de investigación IBM TJ Watson. Nota de contenido: Chapter1: A Preliminary Taxonomy for Machine Learning in VLSI CAD -- Chapter2: Machine Learning for Compact Lithographic Process Models -- Chapter3: Machine Learning for Mask Synthesis -- Chapter4: Machine Learning in Physical Verification, Mask Synthesis, and Physical Design -- Chapter5: Gaussian Process-Based Wafer-Level Correlation Modeling and its Applications -- Chapter6: Machine Learning Approaches for IC Manufacturing Yield Enhancement -- Chapter7: Efficient Process Variation Characterization by Virtual Probe -- Chapter8: Machine learning for VLSI chip testing and semiconductor manufacturing process monitoring and improvement -- Chapter9: Machine Learning based Aging Analysis -- Chapter10: Extreme Statistics in Memories -- Chapter11: Fast Statistical Analysis Using Machine Learning -- Chapter12: Fast Statistical Analysis of Rare Circuit Failure Events -- Chapter13: Learning from Limited Data in VLSI CAD -- Chapter14: Large-Scale Circuit Performance Modeling by Bayesian Model Fusion -- Chapter15: Sparse Relevance Kernel Machine Based Performance Dependency Analysis of Analog and Mixed-Signal Circuits -- Chapter16: SiLVR: Projection Pursuit for Response Surface Modeling -- Chapter17: Machine Learning based System Optimization and Uncertainty Quantification of Integrated Systems -- Chapter18: SynTunSys: A Synthesis Parameter Autotuning System for Optimizing High-Performance Processors -- Chapter19: Multicore Power and Thermal Proxies Using Least-Angle -- Chapter20: A Comparative Study of Assertion Mining Algorithms in GoldMine -- Chapter21: Energy-Efficient Design of Advanced Machine Learning Hardware. Tipo de medio : Computadora Summary : This book provides readers with an up-to-date account of the use of machine learning frameworks, methodologies, algorithms and techniques in the context of computer-aided design (CAD) for very-large-scale integrated circuits (VLSI). Coverage includes the various machine learning methods used in lithography, physical design, yield prediction, post-silicon performance analysis, reliability and failure analysis, power and thermal analysis, analog design, logic synthesis, verification, and neuromorphic design. Provides up-to-date information on machine learning in VLSI CAD for device modeling, layout verifications, yield prediction, post-silicon validation, and reliability; Discusses the use of machine learning techniques in the context of analog and digital synthesis; Demonstrates how to formulate VLSI CAD objectives as machine learning problems and provides a comprehensive treatment of their efficient solutions; Discusses the tradeoff between the cost of collecting data and prediction accuracy and provides a methodology for using prior data to reduce cost of data collection in the design, testing and validation of both analog and digital VLSI designs. From the Foreword As the semiconductor industry embraces the rising swell of cognitive systems and edge intelligence, this book could serve as a harbinger and example of the osmosis that will exist between our cognitive structures and methods, on the one hand, and the hardware architectures and technologies that will support them, on the other….As we transition from the computing era to the cognitive one, it behooves us to remember the success story of VLSI CAD and to earnestly seek the help of the invisible hand so that our future cognitive systems are used to design more powerful cognitive systems. This book is very much aligned with this on-going transition from computing to cognition, and it is with deep pleasure that I recommend it to all those who are actively engaged in this exciting transformation. Dr. Ruchir Puri, IBM Fellow, IBM Watson CTO & Chief Architect, IBM T. J. Watson Research Center. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Observation and Measurement of Ecohydrological Processes Tipo de documento: documento electrónico Autores: Li, Xin, ; Vereecken, Harry, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2019 Número de páginas: 173 ilustraciones, 132 ilustraciones en color. eReference. ISBN/ISSN/DL: 978-3-662-48297-1 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: GeografÃa FÃsica Agua HidrologÃa GeologÃa Comunidades bióticas Ciencias del sistema terrestre Ecosistemas Clasificación: 550 Ciencias de la tierra Resumen: Este volumen discutirá el estado del arte de diferentes técnicas de observación y medición útiles para estudios ecohidrológicos. Las técnicas cubren todo el espectro del continuo agua-suelo-planta-atmósfera. Y los otros volúmenes son "Agua y Ecosistemas", "Ambientes con Limitación de Agua" y "Modelado Ecohidrológico Integrado", etc. Nota de contenido: Ecohydrological indicators in water resources management -- Monitoring technologies -- Measurement techniques -- Characterization/measuring strategies in different hydrological systems -- Ecohydrological assessment tools. Tipo de medio : Computadora Summary : This volume will discuss the state of the art of different observation and measurement techniques useful for ecohydrological studies. The techniques cover the entire spectrum of the water-soil-plant-atmosphere continuum. And the other volumes are "Water and Ecosystems", "Water-Limited Environments" and "Integrated Ecohydrological Modeling" etc. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Observation and Measurement of Ecohydrological Processes [documento electrónico] / Li, Xin, ; Vereecken, Harry, . - 1 ed. . - Berlin [Alemania] : Springer, 2019 . - 173 ilustraciones, 132 ilustraciones en color. eReference.
ISBN : 978-3-662-48297-1
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: GeografÃa FÃsica Agua HidrologÃa GeologÃa Comunidades bióticas Ciencias del sistema terrestre Ecosistemas Clasificación: 550 Ciencias de la tierra Resumen: Este volumen discutirá el estado del arte de diferentes técnicas de observación y medición útiles para estudios ecohidrológicos. Las técnicas cubren todo el espectro del continuo agua-suelo-planta-atmósfera. Y los otros volúmenes son "Agua y Ecosistemas", "Ambientes con Limitación de Agua" y "Modelado Ecohidrológico Integrado", etc. Nota de contenido: Ecohydrological indicators in water resources management -- Monitoring technologies -- Measurement techniques -- Characterization/measuring strategies in different hydrological systems -- Ecohydrological assessment tools. Tipo de medio : Computadora Summary : This volume will discuss the state of the art of different observation and measurement techniques useful for ecohydrological studies. The techniques cover the entire spectrum of the water-soil-plant-atmosphere continuum. And the other volumes are "Water and Ecosystems", "Water-Limited Environments" and "Integrated Ecohydrological Modeling" etc. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Permalink
Permalink
Permalink
Permalink
Permalink
