Información del autor
Autor Zhang, Mingmin |
Documentos disponibles escritos por este autor (4)
Crear una solicitud de compra Refinar búsquedaTransactions on Edutainment XIII / Pan, Zhigeng ; Cheok, Adrian David ; Müller, Wolfgang ; Zhang, Mingmin
TÃtulo : Transactions on Edutainment XIII Tipo de documento: documento electrónico Autores: Pan, Zhigeng, ; Cheok, Adrian David, ; Müller, Wolfgang, ; Zhang, Mingmin, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2017 Número de páginas: XI, 304 p. 164 ilustraciones ISBN/ISSN/DL: 978-3-662-54395-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: Visión por computador Gráficos de computadora Inteligencia artificial Interfaces de usuario (sistemas informáticos) La interacción persona-ordenador Computadoras Propósitos especiales Red de computadoras Interfaces de usuario e interacción persona-computadora Sistemas de propósito especial y basados ​​en aplicaciones Redes de comunicación informática Clasificación: 006.37 Resumen: Esta sublÃnea de revista sirve como foro para estimular y difundir ideas de investigación innovadoras, teorÃas, tecnologÃas emergentes, investigaciones empÃricas, métodos de vanguardia y herramientas en todos los diferentes géneros de entretenimiento educativo, como el aprendizaje basado en juegos y los juegos serios. , narración interactiva, entornos virtuales de aprendizaje, educación basada en realidad virtual y campos relacionados. Cubre aspectos de teorÃas educativas y de juegos, interacción persona-computadora, gráficos por computadora, inteligencia artificial y diseño de sistemas. Los 25 artÃculos presentados en el número 13 se organizaron en secciones temáticas denominadas: juegos de aprendizaje y visualización; realidad virtual y aplicaciones; TecnologÃa de gráficos 3D, informática multimedia y otros. . Nota de contenido: Exploring the Museum with a Handheld Projector in Your Own Room -- CPI Learning in Clothing Thermal Computational Design -- Study on Virtual Camera with Preset Shot types based on Composition Aesthetic computing -- A Synthesis Plot of PCP and MDS for the exploration of High Dimensional Time Series Data -- The Wearable Tactile Information Expression System based on Electrotactile Rendering -- Adaptable Behavior Coding Schema for Avatar Interaction in Network Virtual Environment -- A Virtual Music Control System Based on Dynamic Hand Gesture Recognition -- A real-time interactive system based on hand gesture recognition in virtual fitting -- A Robust Rectification Algorithm for the Vision Navigation System of the Planetary Rover -- Research on interactive dynamic simulation method in virtual medical surgical visualization -- A Distributed Stream Computing Architecture for Dynamic Light-field Acquisition and Rendering System -- Real-time Rendering of Rut Based on Material Point Method -- GPU-based Post-Processing Color Grading Algorithms in Real-time Rendering for Mobile Commerce Service User -- Manifold Ranking for Sketch-Based 3D Model Retrieval -- Design and Simulation of Autonomous Mobile Robots Obstacle Avoidance System -- Depth Map Enhancement with Interaction in 2D-to-3D Video Conversion -- A Collaborative Work System of Urban Management Based on Multi-Agent -- A Vehicle Logo Recognition Approach based on Foreground-background Pixel-Pair Feature -- Content-aware Image Retargeting Using Line-based MLS Deformation -- Visualizing Geospatial Distribution of Pesticide Residue Pollution using Cartogram and Heat Map -- Research on Shot Detection Algorithm of Self-adaptive Dual Thresholds Based on Multi-feature Fusion -- An Indoor Positioning System Based on iBeacon -- Approach of Load Balancing in Network Monitoring -- Method and applications for multiple attribute decision-making based on converting triangular fuzzy numbers into connection numbers -- Local Feature Weighting For Data Classification. Tipo de medio : Computadora Summary : This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 25 papers presented in the 13th issue were organized in topical sections named: learning games and visualization; virtual reality and applications; 3D graphics technology, multimedia computing, and others. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Transactions on Edutainment XIII [documento electrónico] / Pan, Zhigeng, ; Cheok, Adrian David, ; Müller, Wolfgang, ; Zhang, Mingmin, . - 1 ed. . - Berlin [Alemania] : Springer, 2017 . - XI, 304 p. 164 ilustraciones.
ISBN : 978-3-662-54395-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: Visión por computador Gráficos de computadora Inteligencia artificial Interfaces de usuario (sistemas informáticos) La interacción persona-ordenador Computadoras Propósitos especiales Red de computadoras Interfaces de usuario e interacción persona-computadora Sistemas de propósito especial y basados ​​en aplicaciones Redes de comunicación informática Clasificación: 006.37 Resumen: Esta sublÃnea de revista sirve como foro para estimular y difundir ideas de investigación innovadoras, teorÃas, tecnologÃas emergentes, investigaciones empÃricas, métodos de vanguardia y herramientas en todos los diferentes géneros de entretenimiento educativo, como el aprendizaje basado en juegos y los juegos serios. , narración interactiva, entornos virtuales de aprendizaje, educación basada en realidad virtual y campos relacionados. Cubre aspectos de teorÃas educativas y de juegos, interacción persona-computadora, gráficos por computadora, inteligencia artificial y diseño de sistemas. Los 25 artÃculos presentados en el número 13 se organizaron en secciones temáticas denominadas: juegos de aprendizaje y visualización; realidad virtual y aplicaciones; TecnologÃa de gráficos 3D, informática multimedia y otros. . Nota de contenido: Exploring the Museum with a Handheld Projector in Your Own Room -- CPI Learning in Clothing Thermal Computational Design -- Study on Virtual Camera with Preset Shot types based on Composition Aesthetic computing -- A Synthesis Plot of PCP and MDS for the exploration of High Dimensional Time Series Data -- The Wearable Tactile Information Expression System based on Electrotactile Rendering -- Adaptable Behavior Coding Schema for Avatar Interaction in Network Virtual Environment -- A Virtual Music Control System Based on Dynamic Hand Gesture Recognition -- A real-time interactive system based on hand gesture recognition in virtual fitting -- A Robust Rectification Algorithm for the Vision Navigation System of the Planetary Rover -- Research on interactive dynamic simulation method in virtual medical surgical visualization -- A Distributed Stream Computing Architecture for Dynamic Light-field Acquisition and Rendering System -- Real-time Rendering of Rut Based on Material Point Method -- GPU-based Post-Processing Color Grading Algorithms in Real-time Rendering for Mobile Commerce Service User -- Manifold Ranking for Sketch-Based 3D Model Retrieval -- Design and Simulation of Autonomous Mobile Robots Obstacle Avoidance System -- Depth Map Enhancement with Interaction in 2D-to-3D Video Conversion -- A Collaborative Work System of Urban Management Based on Multi-Agent -- A Vehicle Logo Recognition Approach based on Foreground-background Pixel-Pair Feature -- Content-aware Image Retargeting Using Line-based MLS Deformation -- Visualizing Geospatial Distribution of Pesticide Residue Pollution using Cartogram and Heat Map -- Research on Shot Detection Algorithm of Self-adaptive Dual Thresholds Based on Multi-feature Fusion -- An Indoor Positioning System Based on iBeacon -- Approach of Load Balancing in Network Monitoring -- Method and applications for multiple attribute decision-making based on converting triangular fuzzy numbers into connection numbers -- Local Feature Weighting For Data Classification. Tipo de medio : Computadora Summary : This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 25 papers presented in the 13th issue were organized in topical sections named: learning games and visualization; virtual reality and applications; 3D graphics technology, multimedia computing, and others. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Transactions on Edutainment XV Tipo de documento: documento electrónico Autores: Pan, Zhigeng, ; Cheok, Adrian David, ; Müller, Wolfgang, ; Zhang, Mingmin, ; El Rhalibi, Abdennour, ; Kifayat, Kashif, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2019 Número de páginas: X, 275 p. 138 ilustraciones, 86 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-59351-6 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: Visión por computador Ciencias sociales Protección de datos Interfaces de usuario (sistemas informáticos) La interacción persona-ordenador Computadoras y Educación Aplicación informática en ciencias sociales y del comportamiento. Seguridad de datos e información Interfaces de usuario e interacción persona-computadora Clasificación: 006.37 Resumen: Esta sublÃnea de revista sirve como foro para estimular y difundir ideas de investigación innovadoras, teorÃas, tecnologÃas emergentes, investigaciones empÃricas, métodos de vanguardia y herramientas en todos los diferentes géneros de entretenimiento educativo, como el aprendizaje basado en juegos y los juegos serios. , narración interactiva, entornos virtuales de aprendizaje, educación basada en realidad virtual y campos relacionados. Cubre aspectos de teorÃas educativas y de juegos, interacción persona-computadora, gráficos por computadora, inteligencia artificial y diseño de sistemas. Los 19 artÃculos presentados en el número 15 se organizaron en las siguientes secciones temáticas: multimedia; simulación; la seguridad cibernética; y aprendizaje electrónico. . Nota de contenido: Wearable Sensors and Equipment in VR Games: A Review -- A Style Image Confrontation Generation Network Based on Markov Random Field -- A Point Cloud Registration Algorithm Based On 3D-SIFT -- Lip-reading based on deep learning model -- Parameter Estimation of Decaying DC Component via Improved Levenberg-Marquardt Algorithm -- Typing technology of virtual character of animation based on enneagram personality -- The Style-based Automatic Generation System for Xinjiang Carpet Patterns -- Research on teaching experiment of color and Digital color -- Cybersecurity Curriculum Design: A Survey -- Teaching as a Collaborative Practice: Reframing Security Practitioners as Navigators -- Pedagogical Approach to Effective Cybersecurity Teaching -- Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course -- A Virtual Classroom for Cybersecurity Education -- The Cyber Security Knowledge Exchange: Working with Employers to produce authentic PBL scenarios and enhanceemployability -- Virtual Training and Experience System for Public Security Education -- Intelligent Coach Avatar Based Virtual Driving Training -- Multi-Channel Scene Synchronization Strategy in Real Time Rendering -- On the Characteristics of Mise-en-scène in Animated Audio-visual Language -- Human eye tracking based on CNN and Kalman filtering. Tipo de medio : Computadora Summary : This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 19 papers presented in the 15th issue were organized in the following topical sections: multimedia; simulation; cybersecurity; and e-learning. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Transactions on Edutainment XV [documento electrónico] / Pan, Zhigeng, ; Cheok, Adrian David, ; Müller, Wolfgang, ; Zhang, Mingmin, ; El Rhalibi, Abdennour, ; Kifayat, Kashif, . - 1 ed. . - Berlin [Alemania] : Springer, 2019 . - X, 275 p. 138 ilustraciones, 86 ilustraciones en color.
ISBN : 978-3-662-59351-6
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: Visión por computador Ciencias sociales Protección de datos Interfaces de usuario (sistemas informáticos) La interacción persona-ordenador Computadoras y Educación Aplicación informática en ciencias sociales y del comportamiento. Seguridad de datos e información Interfaces de usuario e interacción persona-computadora Clasificación: 006.37 Resumen: Esta sublÃnea de revista sirve como foro para estimular y difundir ideas de investigación innovadoras, teorÃas, tecnologÃas emergentes, investigaciones empÃricas, métodos de vanguardia y herramientas en todos los diferentes géneros de entretenimiento educativo, como el aprendizaje basado en juegos y los juegos serios. , narración interactiva, entornos virtuales de aprendizaje, educación basada en realidad virtual y campos relacionados. Cubre aspectos de teorÃas educativas y de juegos, interacción persona-computadora, gráficos por computadora, inteligencia artificial y diseño de sistemas. Los 19 artÃculos presentados en el número 15 se organizaron en las siguientes secciones temáticas: multimedia; simulación; la seguridad cibernética; y aprendizaje electrónico. . Nota de contenido: Wearable Sensors and Equipment in VR Games: A Review -- A Style Image Confrontation Generation Network Based on Markov Random Field -- A Point Cloud Registration Algorithm Based On 3D-SIFT -- Lip-reading based on deep learning model -- Parameter Estimation of Decaying DC Component via Improved Levenberg-Marquardt Algorithm -- Typing technology of virtual character of animation based on enneagram personality -- The Style-based Automatic Generation System for Xinjiang Carpet Patterns -- Research on teaching experiment of color and Digital color -- Cybersecurity Curriculum Design: A Survey -- Teaching as a Collaborative Practice: Reframing Security Practitioners as Navigators -- Pedagogical Approach to Effective Cybersecurity Teaching -- Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course -- A Virtual Classroom for Cybersecurity Education -- The Cyber Security Knowledge Exchange: Working with Employers to produce authentic PBL scenarios and enhanceemployability -- Virtual Training and Experience System for Public Security Education -- Intelligent Coach Avatar Based Virtual Driving Training -- Multi-Channel Scene Synchronization Strategy in Real Time Rendering -- On the Characteristics of Mise-en-scène in Animated Audio-visual Language -- Human eye tracking based on CNN and Kalman filtering. Tipo de medio : Computadora Summary : This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 19 papers presented in the 15th issue were organized in the following topical sections: multimedia; simulation; cybersecurity; and e-learning. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Transactions on Edutainment XVI Tipo de documento: documento electrónico Autores: Pan, Zhigeng, ; Cheok, Adrian David, ; Müller, Wolfgang, ; Zhang, Mingmin, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2020 Número de páginas: XIII, 288 p. 164 ilustraciones, 142 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-61510-2 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: Visión por computador IngenierÃa Informática Red de computadoras Gestión de base de datos Ciencias sociales Aprendizaje automático Sistemas de reconocimiento de patrones IngenierÃa Informática y Redes Sistema de administración de base de datos Aplicación informática en ciencias sociales y del comportamiento. Reconocimiento de patrones automatizado Clasificación: 006.37 Resumen: Esta sublÃnea de revista sirve como foro para estimular y difundir ideas de investigación innovadoras, teorÃas, tecnologÃas emergentes, investigaciones empÃricas, métodos de vanguardia y herramientas en todos los diferentes géneros de entretenimiento educativo, como el aprendizaje basado en juegos y los juegos serios. , narración interactiva, entornos virtuales de aprendizaje, educación basada en realidad virtual y campos relacionados. Cubre aspectos de teorÃas educativas y de juegos, interacción persona-computadora, gráficos por computadora, inteligencia artificial y diseño de sistemas. Los 27 artÃculos presentados en este número se organizaron en secciones temáticas denominadas: e-learning y aplicaciones en lÃnea; imagen y gráficos; realidad virtual/realidad aumentada; CV e IA; y animación y varios. . Nota de contenido: The Effects of the Edutainment Strategies on Student Motivation and Engagement in the College EFL Classes -- Correlation Analysis between Emotional Engagement and Achievement of Online Learning in University Students: An Empirical Study based on the Dataset in an Elective Course -- Interactive Virtual Bracket Positioning Method in Orthodontics -- Research and Implementation of Virtual Pottery -- An annotation method for artwork attributes based on visual perception -- DPNet: A Dual Path Network for Road Scene Semantic Segmentation -- Detecting Aging Substation Transformers by Audio Signal with Deep Neural Network -- Statistical Analysis of Principal Dimensions of Dry Bulk Carriers Navigating on Yangtze River Based on Big Data -- Deep Residual SENet for Foliage Recognition -- Application Of Density Clustering Algorithm Based On Greedy Strategy In Hot Spot Mining Of Taxi Passengers -- A Virtual Marine Ranch for Underwater Tourism -- A Virtual Reality Training System for Flood Security -- Life science immersive system based on virtual reality -- Augmented Reality Animation for Pancreatic Surgery -- Human Skeleton Control with the Face Expression Changed Synchronously -- Context Construction and Virtual Human Based Intelligent Navigation in Virtual Experiment Using CNN and channel attention mechanism to identify driver's distracted behavior -- A Method of Human Motion Feature Extraction and Recognition Based on Motion Capture Device -- The Research and Design of 3D Visualization Route Display System Based on osgEarth -- Forensic Analysis of Play Station 4 -- Interactive Experience and Communication of Public Service Advertisements based on User's Subconscious Behaviors -- National Culture - the Soul of Chinese Animation -- Fruit Shape 3D Printing Based on Wavelet Interpolation Modeling -- Research on Digital Forensic Investigation of Xbox One -- Online Learning Engagement Assessment Based on Multimodal Behavioral Data -- Distributed Cache and Recovery Method for Strong Real-time Applications -- Cross Cultural Hierarchy Phenomenon: A new Communication Mechanism to Disseminate Chinese Culture Overseas based on Social Media. Tipo de medio : Computadora Summary : This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 27 papers presented in this issue were organized in topical sections named: e-learning and on-line apps; image and graphics; VR/AR; CV and AI; and animation and miscellaneous. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Transactions on Edutainment XVI [documento electrónico] / Pan, Zhigeng, ; Cheok, Adrian David, ; Müller, Wolfgang, ; Zhang, Mingmin, . - 1 ed. . - Berlin [Alemania] : Springer, 2020 . - XIII, 288 p. 164 ilustraciones, 142 ilustraciones en color.
ISBN : 978-3-662-61510-2
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: Visión por computador IngenierÃa Informática Red de computadoras Gestión de base de datos Ciencias sociales Aprendizaje automático Sistemas de reconocimiento de patrones IngenierÃa Informática y Redes Sistema de administración de base de datos Aplicación informática en ciencias sociales y del comportamiento. Reconocimiento de patrones automatizado Clasificación: 006.37 Resumen: Esta sublÃnea de revista sirve como foro para estimular y difundir ideas de investigación innovadoras, teorÃas, tecnologÃas emergentes, investigaciones empÃricas, métodos de vanguardia y herramientas en todos los diferentes géneros de entretenimiento educativo, como el aprendizaje basado en juegos y los juegos serios. , narración interactiva, entornos virtuales de aprendizaje, educación basada en realidad virtual y campos relacionados. Cubre aspectos de teorÃas educativas y de juegos, interacción persona-computadora, gráficos por computadora, inteligencia artificial y diseño de sistemas. Los 27 artÃculos presentados en este número se organizaron en secciones temáticas denominadas: e-learning y aplicaciones en lÃnea; imagen y gráficos; realidad virtual/realidad aumentada; CV e IA; y animación y varios. . Nota de contenido: The Effects of the Edutainment Strategies on Student Motivation and Engagement in the College EFL Classes -- Correlation Analysis between Emotional Engagement and Achievement of Online Learning in University Students: An Empirical Study based on the Dataset in an Elective Course -- Interactive Virtual Bracket Positioning Method in Orthodontics -- Research and Implementation of Virtual Pottery -- An annotation method for artwork attributes based on visual perception -- DPNet: A Dual Path Network for Road Scene Semantic Segmentation -- Detecting Aging Substation Transformers by Audio Signal with Deep Neural Network -- Statistical Analysis of Principal Dimensions of Dry Bulk Carriers Navigating on Yangtze River Based on Big Data -- Deep Residual SENet for Foliage Recognition -- Application Of Density Clustering Algorithm Based On Greedy Strategy In Hot Spot Mining Of Taxi Passengers -- A Virtual Marine Ranch for Underwater Tourism -- A Virtual Reality Training System for Flood Security -- Life science immersive system based on virtual reality -- Augmented Reality Animation for Pancreatic Surgery -- Human Skeleton Control with the Face Expression Changed Synchronously -- Context Construction and Virtual Human Based Intelligent Navigation in Virtual Experiment Using CNN and channel attention mechanism to identify driver's distracted behavior -- A Method of Human Motion Feature Extraction and Recognition Based on Motion Capture Device -- The Research and Design of 3D Visualization Route Display System Based on osgEarth -- Forensic Analysis of Play Station 4 -- Interactive Experience and Communication of Public Service Advertisements based on User's Subconscious Behaviors -- National Culture - the Soul of Chinese Animation -- Fruit Shape 3D Printing Based on Wavelet Interpolation Modeling -- Research on Digital Forensic Investigation of Xbox One -- Online Learning Engagement Assessment Based on Multimodal Behavioral Data -- Distributed Cache and Recovery Method for Strong Real-time Applications -- Cross Cultural Hierarchy Phenomenon: A new Communication Mechanism to Disseminate Chinese Culture Overseas based on Social Media. Tipo de medio : Computadora Summary : This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 27 papers presented in this issue were organized in topical sections named: e-learning and on-line apps; image and graphics; VR/AR; CV and AI; and animation and miscellaneous. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Transactions on Petri Nets and Other Models of Concurrency XII Tipo de documento: documento electrónico Autores: Koutny, Maciej, ; Kleijn, Jetty, ; Penczek, Wojciech, ; Zhang, Mingmin, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2017 Número de páginas: XVII, 217 p. 89 ilustraciones ISBN/ISSN/DL: 978-3-662-55862-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: IngenierÃa de software Ciencias de la Computación Algoritmos Inteligencia artificial Lógica informática y fundamentos de la programación. Ciencia de los datos Clasificación: 005.1 Resumen: Estas Transacciones publican artÃculos de archivo en el área amplia de las redes de Petri y otros modelos de concurrencia, que van desde trabajos teóricos hasta soporte de herramientas y aplicaciones industriales. Los números de ToPNoC se publican como volúmenes LNCS y, por lo tanto, están ampliamente distribuidos e indexados. Esta Revista cuenta con su propio Consejo Editorial que selecciona los artÃculos basándose en un riguroso proceso de arbitraje en dos etapas. ToPNoC contiene: - Versiones revisadas de una selección de los mejores artÃculos de talleres y tutoriales en las conferencias anuales Petri net e: 12.0pt;line-height: 115.0%;font-family: " times="" new="" roman "="" ,="" serif;"="">- Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en redes de Petri) - Otros artÃculos invitados para publicación en ToPNoC - ArtÃculos enviados directamente a ToPNoC por sus autores. mal" style="margin-bottom: 0.0001pt;">El volumen 12 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores artÃculos del taller presentados en la 37ª Conferencia Internacional sobre Aplicación y TeorÃa de Redes de Petri y Concurrency, Petri Nets 2016 y la 16.ª Conferencia Internacional sobre la Aplicación de la Concurrencia al Diseño de Sistemas, ACSD 2016. También contiene un documento enviado directamente a ToPNoC. Los 9 artÃculos cubren una amplia gama de temas que incluyen verificación de modelos y verificación, refinamiento y sÃntesis de sistemas; trabajo fundamental sobre clases especÃficas de redes de Petri; y aplicaciones innovadoras de redes de Petri y otros modelos de concurrencia. Las áreas de aplicación cubiertas en este volumen son: seguridad, composición de servicios, bases de datos, protocolos de comunicación, procesos comerciales y sistemas distribuidos. Por lo tanto, este volumen ofrece una buena visión general de la investigación en curso sobre sistemas concurrentes y redes de Petri. Nota de contenido: Properties of Plain, Pure, and Safe Petri Nets -- Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery -- Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions -- Formal Modelling and Analysis of Distributed Storage Systems -- DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases -- Transition Systems Reduction: Balancing between Precision and Simplicity -- Stubborn Set Intuition Explained -- Decomposed Replay Using Hiding and Reduction as Abstraction -- Multiplicative Transition Systems. Tipo de medio : Computadora Summary : These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net co nferences e: 12.0pt;line-height: 115.0%;font-family: " times="" new="" roman"="" ,="" serif;"="">- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors. mal" style="margin-bottom: 0.0001pt;">The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC. The 9 papers cover a diverse range of topics including model checking and sys tem verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Transactions on Petri Nets and Other Models of Concurrency XII [documento electrónico] / Koutny, Maciej, ; Kleijn, Jetty, ; Penczek, Wojciech, ; Zhang, Mingmin, . - 1 ed. . - Berlin [Alemania] : Springer, 2017 . - XVII, 217 p. 89 ilustraciones.
ISBN : 978-3-662-55862-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: IngenierÃa de software Ciencias de la Computación Algoritmos Inteligencia artificial Lógica informática y fundamentos de la programación. Ciencia de los datos Clasificación: 005.1 Resumen: Estas Transacciones publican artÃculos de archivo en el área amplia de las redes de Petri y otros modelos de concurrencia, que van desde trabajos teóricos hasta soporte de herramientas y aplicaciones industriales. Los números de ToPNoC se publican como volúmenes LNCS y, por lo tanto, están ampliamente distribuidos e indexados. Esta Revista cuenta con su propio Consejo Editorial que selecciona los artÃculos basándose en un riguroso proceso de arbitraje en dos etapas. ToPNoC contiene: - Versiones revisadas de una selección de los mejores artÃculos de talleres y tutoriales en las conferencias anuales Petri net e: 12.0pt;line-height: 115.0%;font-family: " times="" new="" roman "="" ,="" serif;"="">- Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en redes de Petri) - Otros artÃculos invitados para publicación en ToPNoC - ArtÃculos enviados directamente a ToPNoC por sus autores. mal" style="margin-bottom: 0.0001pt;">El volumen 12 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores artÃculos del taller presentados en la 37ª Conferencia Internacional sobre Aplicación y TeorÃa de Redes de Petri y Concurrency, Petri Nets 2016 y la 16.ª Conferencia Internacional sobre la Aplicación de la Concurrencia al Diseño de Sistemas, ACSD 2016. También contiene un documento enviado directamente a ToPNoC. Los 9 artÃculos cubren una amplia gama de temas que incluyen verificación de modelos y verificación, refinamiento y sÃntesis de sistemas; trabajo fundamental sobre clases especÃficas de redes de Petri; y aplicaciones innovadoras de redes de Petri y otros modelos de concurrencia. Las áreas de aplicación cubiertas en este volumen son: seguridad, composición de servicios, bases de datos, protocolos de comunicación, procesos comerciales y sistemas distribuidos. Por lo tanto, este volumen ofrece una buena visión general de la investigación en curso sobre sistemas concurrentes y redes de Petri. Nota de contenido: Properties of Plain, Pure, and Safe Petri Nets -- Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery -- Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions -- Formal Modelling and Analysis of Distributed Storage Systems -- DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases -- Transition Systems Reduction: Balancing between Precision and Simplicity -- Stubborn Set Intuition Explained -- Decomposed Replay Using Hiding and Reduction as Abstraction -- Multiplicative Transition Systems. Tipo de medio : Computadora Summary : These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net co nferences e: 12.0pt;line-height: 115.0%;font-family: " times="" new="" roman"="" ,="" serif;"="">- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors. mal" style="margin-bottom: 0.0001pt;">The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC. The 9 papers cover a diverse range of topics including model checking and sys tem verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
