Kategoria BISAC: Computers >> Information Theory

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand properties and evolution laws of existing complex and adaptive systems man-made such as smart electrical grids or natural ones such as biological networks.
A tribute to Professor Kaisa Sere s contributions to the field of computer science,...

Lars Dannecker developed a novel online forecasting process that significantly improves how forecasts are calculated. It increases forecasting efficiency and accuracy, as well as allowing the process to adapt to different situations and applications. Improving the forecasting efficiency is a key pre-requisite for ensuring stable electricity grids in the face of an increasing amount of renewable energy sources. It is also important to facilitate the move from static day ahead electricity trading towards more dynamic real-time marketplaces. The online forecasting process is realized by a...

Network Science and Cybersecurity introduces new research and development efforts for cybersecurity solutions and applications taking place within various U.S. Government Departments of Defense, industry and academic laboratories.

This book examines new algorithms and tools, technology platforms and reconfigurable technologies for cybersecurity systems. Anomaly-based intrusion detection systems (IDS) are explored as a key component of any general network intrusion detection service, complementing signature-based IDS components by attempting to identify novel attacks. These...

Uwe K. Schneider untersucht den rechtlichen Rahmen einrichtungsubergreifender elektronischer Patientenakten, uber die alle bereits erhobenen Gesundheitsdaten jederzeit am Ort der Behandlung verfugbar gemacht werden konnen. Er veranschaulicht diese Rahmenbedingungen anhand von Regelungsinstrumenten wie der Gewahrung finanzieller Anreize fur die Nutzung solcher Akten oder gar der Verpflichtung hierzu. Dabei bewegt der Autor sich im Spannungsfeld von Daten- und Gesundheitsschutz. Denn diese Akten bieten einerseits die Chance, Qualitat und Wirtschaftlichkeit der Versorgung zu verbessern. Auf...

When the United States declared war on Germany in April 1917, it was woefully unprepared to wage a modern war. Whereas their European counterparts already had three years of experience in using code and cipher systems in the war, American cryptologists had to help in the building of a military intelligence unit from scratch. This book relates the personal experiences of one such character, providing a uniquely American perspective on the Great War. It is a story of spies, coded letters, plots to blow up ships and munitions plants, secret inks, arms smuggling, treason, and desperate...