Using a pedagogical style along with detailed proofs and illustrative examples, this book opens a view to the largely unexplored area of non-linear systems with uncertainties. The focus is on adaptive non-linear control results introduced with the new recursive design methodolog…
Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fa…
This book constitutes the refereed proceedings of the 12th International Conference on Information Security Conference, ISC 2009, held in Pisa, Italy, September 7-9, 2009. The 29 revised full papers and 9 revised short papers presented were carefully reviewed and selected from 1…
Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lo…
by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Ystad, Sølvi, Kronland-Martinet, Richard, Jensen, Kristoffer
fromLecture Notes in Computer Science
Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two…
Describes the development of celestial mechanics through the ages from ancient star charts to modern mathematics and computer simulations.
Writing for executive and technical readers alike, the authors capture lessons learned from the first five years of applying this game-changing practice in real customer environments. Other industries, from aviation to medicine, already understand the power of simulation to solv…
by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Nittel, Silvia, Labrinidis, Alexandros, Stefanidis, Anthony
fromLecture Notes in Computer Science
Collection of selected, peer reviewed papers from the 2014 International Conference on Civil, Architechture and Building Materials (CEABM 2014), May 24-25, 2014, Haikou, China. The 459 papers are grouped as follows: Chapter 1: Sustainable City and Regional Development, Chapter 2…
Highly acclaimed teacher and researcher Porat presents a clear, approachable text for senior and first-year graduate level DSP courses. Principles are reinforced through the use of MATLAB programs and application-oriented problems.
This book presents the works and research findings of physicists, economists, mathematicians, statisticians, and financial engineers who have undertaken data-driven modelling of market dynamics and other empirical studies in the field of Econophysics. During recent decades, the …
This book is dedicated to Prof. Dr. Heinz Gerhäuser on the occasion of his retirement both from the position of Executive Director of the Fraunhofer Institute for Integrated Circuits IIS and from the Endowed Chair of Information Technologies with a Focus on Communication Electro…
