Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of...

Software components and component-based software development (CBSD) are acknowledged as the best approach for constructing quality software at reasonable cost. Composing Software Components: A Software-testing Perspective describes a 10-year investigation into the underlying principles of CBSD. By restricting attention to the simplest cases,...

Semantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience. This...

This book provides an updated overview of the processes determining the influence of solar forcing on climate. It discusses in particular the most recent developments regarding the role of aerosols in the climate system and the new insights that could be gained from the investigation of terrestrial climate analogues. The book’s...

The development of network technologies and networked services has been tremendous the last decade and is expected to be more intensive in the near future with the technological progress in the field of radio communications, data communication, protocols, software engineering, applications and so on. In this plethora of technologies,...

As the Dilbert cartoon suggests, it is always a good idea to know whether a project fits the company’s overall strategy. You will learn more about the relationship between systems projects and...

This book represents thirteen papers that are based on the presentations made in the five session symposium on "Damage and Interfacial Debonding in Composites" on the occasion of the 32nd Society of Engineering Science Meeting; held in New Orleans, Louisiana, October 29 - November 1, 1995. The five sessions were mainly in the...

Anticipatory optimization for dynamic decision making relies on a number of different scientific disciplines. On a general level, the foundations of the field may be localized at the intersection of operations research, computer science and decision theory. Closer inspection reveals the important role of branches such as simulation,...

Communities have built collections of information in a collaborative manner for centuries. Around 250 years ago, more than 140 people wrote l’Encyclopedie in 28 volumes with 70,000 articles. More recently, Wikipedia has demonstrated how collaborative efforts can be a powerful method of building a massive data storage. It is...

This book presents a systematic treatment of the formal theory of the relational model of data, which is the foundation of current database management systems. It can be used as a text for a graduate course in database theory, or as an additional reference for an undergraduate course on data management. It will also be useful to researchers...

The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor tance of logic minimization for the synthesis of area and...

It is not customary to start a foreword with an admission that the writer of the foreword has only recently come to personally know the author of the book. I started hearing about Adatis, the company for which Jeremy works, a few years ago. The context was always around Business Intelligence implementations in the United Kingdom, always made...