Autor Zhang, Mingmin
|
|
Documentos disponibles escritos por este autor (4)
Hacer una sugerencia 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. 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 Índice Dewey: 006.37 Visión artificial 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 006.37 Visión artificial 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 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. 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 Índice Dewey: 006.37 Visión artificial 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 006.37 Visión artificial 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 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. 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 Índice Dewey: 006.37 Visión artificial 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 006.37 Visión artificial 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
