Related Books

Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation
Language: en
Pages: 153
Authors: Daniel de Leng
Categories:
Type: BOOK - Published: 2017-09-08 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

A lot of today's data is generated incrementally over time by a large variety of producers. This data ranges from quantitative sensor observations produced by r
Robust Stream Reasoning Under Uncertainty
Language: en
Pages: 234
Authors: Daniel de Leng
Categories:
Type: BOOK - Published: 2019-11-08 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

Vast amounts of data are continually being generated by a wide variety of data producers. This data ranges from quantitative sensor observations produced by rob
Exploring C2 Capability and Effectiveness in Challenging Situations
Language: en
Pages: 66
Authors: Magdalena Granåsen
Categories:
Type: BOOK - Published: 2019-05-27 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

Modern societies are affected by various threats and hazards, including natural disasters, cyber-attacks, extreme weather events and inter-state conflicts. Mana
Formal Verification of Tree Ensembles in Safety-Critical Applications
Language: en
Pages: 22
Authors: John Törnblom
Categories:
Type: BOOK - Published: 2020-10-28 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of
Methods and Tools for Efficient Model-Based Development of Cyber-Physical Systems with Emphasis on Model and Tool Integration
Language: en
Pages: 116
Authors: Alachew Mengist
Categories:
Type: BOOK - Published: 2019-08-21 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

Model-based tools and methods are playing important roles in the design and analysis of cyber-physical systems before building and testing physical prototypes.