From Reactive Systems to Cyber-Physical Systems / Bartocci, Ezio ; Cleaveland, Rance ; Grosu, Radu ; Sokolsky, Oleg  

Público ISBD Ningún comentario para este registro. Título : From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday Tipo de documento: documento electrónico Autores: Bartocci, Ezio, ; Cleaveland, Rance, ; Grosu, Radu, ; Sokolsky, Oleg, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 301 p. 125 ilustraciones, 44 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-31514-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: Ciencias de la Computación  Teoría de las máquinas  Ingeniería de software  Inteligencia artificial  Computadoras digitales electrónicas  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Rendimiento y evaluación del sistema Índice Dewey: 40.151 Resumen: Este Festschrift es en honor a Scott A. Smolka, profesor de la Universidad Stony Brook, EE. UU., con motivo de su 65 cumpleaños. Scott A. Smolka hizo contribuciones fundamentales a la investigación en varias áreas, incluida el álgebra de procesos, la verificación de modelos, los procesos probabilísticos, la verificación del tiempo de ejecución y el modelado y análisis de células cardíacas, circuitos neuronales y comportamientos de bandada. Quizás sea mejor conocido por el algoritmo que él y Paris Kanellakis inventaron para verificar la bisimulación. El título de este volumen De sistemas reactivos a sistemas ciberfísicos refleja el principal enfoque de investigación de Scott a lo largo de su carrera. Contiene los artículos escritos por sus amigos y colaboradores más cercanos. Las contribuciones cubren un amplio espectro de temas relacionados con los intereses científicos de investigación de Scott, incluida la reparación de modelos para sistemas probabilísticos, la verificación del tiempo de ejecución, la verificación de modelos, la simulación de dinámica cardíaca y el aprendizaje automático. Nota de contenido: Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. 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 From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday [documento electrónico] / Bartocci, Ezio, ; Cleaveland, Rance, ; Grosu, Radu, ; Sokolsky, Oleg,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XVI, 301 p. 125 ilustraciones, 44 ilustraciones en color. ISBN : 978-3-030-31514-6 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  Teoría de las máquinas  Ingeniería de software  Inteligencia artificial  Computadoras digitales electrónicas  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Rendimiento y evaluación del sistema Índice Dewey: 40.151 Resumen: Este Festschrift es en honor a Scott A. Smolka, profesor de la Universidad Stony Brook, EE. UU., con motivo de su 65 cumpleaños. Scott A. Smolka hizo contribuciones fundamentales a la investigación en varias áreas, incluida el álgebra de procesos, la verificación de modelos, los procesos probabilísticos, la verificación del tiempo de ejecución y el modelado y análisis de células cardíacas, circuitos neuronales y comportamientos de bandada. Quizás sea mejor conocido por el algoritmo que él y Paris Kanellakis inventaron para verificar la bisimulación. El título de este volumen De sistemas reactivos a sistemas ciberfísicos refleja el principal enfoque de investigación de Scott a lo largo de su carrera. Contiene los artículos escritos por sus amigos y colaboradores más cercanos. Las contribuciones cubren un amplio espectro de temas relacionados con los intereses científicos de investigación de Scott, incluida la reparación de modelos para sistemas probabilísticos, la verificación del tiempo de ejecución, la verificación de modelos, la simulación de dinámica cardíaca y el aprendizaje automático. Nota de contenido: Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200