Autor Bertrand, Nathalie
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / Bertrand, Nathalie ; Jansen, Nils
TÃtulo : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings Tipo de documento: documento electrónico Autores: Bertrand, Nathalie, ; Jansen, Nils, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 301 p. 657 ilustraciones, 55 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-57628-8 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 Inteligencia artificial Microprogramación Sistemas informáticos Computadoras Propósitos especiales Ordenadores TeorÃa de la Computación Estructuras de control y microprogramación Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Hardware de la computadora Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Modelado y Análisis Formal de Sistemas Temporizados, FORMATS 2020, celebrada en Viena, Austria, en septiembre de 2020. Los 16 artÃculos completos y 2 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 42 presentaciones. Los artÃculos se centran en temas como fundamentos y semántica, métodos y herramientas, técnicas, algoritmos, estructuras de datos y herramientas de software para analizar sistemas cronometrados y resolver restricciones temporales. Debido a la pandemia de Corona, esta conferencia se llevó a cabo como un evento virtual. Nota de contenido: On the Semantics of Polychronous Polytimed Specifications -- Backward Symbolic Optimal Reachability in Weighted Timed Automata -- Certifying Emptiness of Timed Büchi Automata -- Learning Specifications for Labelled Patterns -- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games -- Computing Maximally-Permissive Strategies in Acyclic Timed Games -- Dynamic Causes for the Violation of Timed Reachability Properties -- Active Learning of Timed Automata with Unknown Resets -- Computation of Transient in Max-Plus Linear Systems via SMT-Solving -- Clairvoyant Monitoring for Signal Temporal Logic Patterns -- Embedding Online RV for Fault Disambiguation on Robonaut2 -- Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata -- Probabilistic Guarantees for Safe Deep Reinforcement Learning -- Incremental Methods for Checking Real-Time Consistency -- Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling -- Weakness Monitors for Fail-Aware 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 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings [documento electrónico] / Bertrand, Nathalie, ; Jansen, Nils, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 301 p. 657 ilustraciones, 55 ilustraciones en color.
ISBN : 978-3-030-57628-8
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 Inteligencia artificial Microprogramación Sistemas informáticos Computadoras Propósitos especiales Ordenadores TeorÃa de la Computación Estructuras de control y microprogramación Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Hardware de la computadora Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Modelado y Análisis Formal de Sistemas Temporizados, FORMATS 2020, celebrada en Viena, Austria, en septiembre de 2020. Los 16 artÃculos completos y 2 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 42 presentaciones. Los artÃculos se centran en temas como fundamentos y semántica, métodos y herramientas, técnicas, algoritmos, estructuras de datos y herramientas de software para analizar sistemas cronometrados y resolver restricciones temporales. Debido a la pandemia de Corona, esta conferencia se llevó a cabo como un evento virtual. Nota de contenido: On the Semantics of Polychronous Polytimed Specifications -- Backward Symbolic Optimal Reachability in Weighted Timed Automata -- Certifying Emptiness of Timed Büchi Automata -- Learning Specifications for Labelled Patterns -- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games -- Computing Maximally-Permissive Strategies in Acyclic Timed Games -- Dynamic Causes for the Violation of Timed Reachability Properties -- Active Learning of Timed Automata with Unknown Resets -- Computation of Transient in Max-Plus Linear Systems via SMT-Solving -- Clairvoyant Monitoring for Signal Temporal Logic Patterns -- Embedding Online RV for Fault Disambiguation on Robonaut2 -- Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata -- Probabilistic Guarantees for Safe Deep Reinforcement Learning -- Incremental Methods for Checking Real-Time Consistency -- Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling -- Weakness Monitors for Fail-Aware 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
TÃtulo : Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings Tipo de documento: documento electrónico Autores: Bertrand, Nathalie, ; Bortolussi, Luca, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIII, 370 p. 94 ilustraciones ISBN/ISSN/DL: 978-3-319-66335-7 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 Computadoras digitales electrónicas Informática Estadistica matematica Simulación por ordenador Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema Probabilidad y EstadÃstica en Informática TeorÃa de la Computación Modelado por computadora Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2017, celebrada en BerlÃn, Alemania, en septiembre de 2017. Los 20 artÃculos completos y 4 artÃculos sobre herramientas presentados fueron cuidadosamente revisados ​​y seleccionados de 58 presentaciones. Los artÃculos están organizados en secciones temáticas tituladas: modelado probabilÃstico; sistemas de energÃa inteligentes a través de la nube; Redes de Petri y modelos de rendimiento; verificación paramétrica; aprendizaje automático y métodos formales; herramientas. . Nota de contenido: Probabilistic modeling --  Smart energy systems over the cloud --  Petri nets and performance modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  . 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 Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings [documento electrónico] / Bertrand, Nathalie, ; Bortolussi, Luca, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIII, 370 p. 94 ilustraciones.
ISBN : 978-3-319-66335-7
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 Computadoras digitales electrónicas Informática Estadistica matematica Simulación por ordenador Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema Probabilidad y EstadÃstica en Informática TeorÃa de la Computación Modelado por computadora Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2017, celebrada en BerlÃn, Alemania, en septiembre de 2017. Los 20 artÃculos completos y 4 artÃculos sobre herramientas presentados fueron cuidadosamente revisados ​​y seleccionados de 58 presentaciones. Los artÃculos están organizados en secciones temáticas tituladas: modelado probabilÃstico; sistemas de energÃa inteligentes a través de la nube; Redes de Petri y modelos de rendimiento; verificación paramétrica; aprendizaje automático y métodos formales; herramientas. . Nota de contenido: Probabilistic modeling --  Smart energy systems over the cloud --  Petri nets and performance modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  . 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
