| TÃtulo : |
17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Gribaudo, Marco, ; Jansen, David N., ; Remke, Anne, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XI, 298 p. 97 ilustraciones, 44 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-59854-9 |
| 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: |
Ciencias de la Computación IngenierÃa de software Inteligencia artificial Informática Estadistica matematica Red de computadoras TeorÃa de la Computación Probabilidad y EstadÃstica en Informática Redes de comunicación informática Matemáticas de la Computación |
| Ãndice Dewey: |
40.151 |
| Resumen: |
Este libro constituye las actas de la 17.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2020, celebrada en Viena, Austria, en agosto/septiembre de 2020. Los 12 artÃculos completos presentados junto con 7 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 42 presentaciones. Los artÃculos cubren temas tales como medidas clásicas que involucran desempeño y confiabilidad, cuantificación de propiedades que son clásicamente cualitativas, como seguridad, corrección y protección, asà como estudios analÃticos, diversidad en los formalismos modelo y metodologÃas empleadas, y el desarrollo de nuevos formalismos y metodologÃas. |
| Nota de contenido: |
Machine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs. . |
| 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 |
17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings [documento electrónico] / Gribaudo, Marco, ; Jansen, David N., ; Remke, Anne, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 298 p. 97 ilustraciones, 44 ilustraciones en color. ISBN : 978-3-030-59854-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Ciencias de la Computación IngenierÃa de software Inteligencia artificial Informática Estadistica matematica Red de computadoras TeorÃa de la Computación Probabilidad y EstadÃstica en Informática Redes de comunicación informática Matemáticas de la Computación |
| Ãndice Dewey: |
40.151 |
| Resumen: |
Este libro constituye las actas de la 17.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2020, celebrada en Viena, Austria, en agosto/septiembre de 2020. Los 12 artÃculos completos presentados junto con 7 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 42 presentaciones. Los artÃculos cubren temas tales como medidas clásicas que involucran desempeño y confiabilidad, cuantificación de propiedades que son clásicamente cualitativas, como seguridad, corrección y protección, asà como estudios analÃticos, diversidad en los formalismos modelo y metodologÃas empleadas, y el desarrollo de nuevos formalismos y metodologÃas. |
| Nota de contenido: |
Machine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs. . |
| 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 |
|  |
Hacer una sugerencia Refinar búsqueda16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / Jansen, David N. ; Prabhakar, Pavithra
