Advances in signal and image processing together with increasing computing power are bringing mobile technology closer to applications in a variety of domains like automotive, health, telecommunication, multimedia, entertainment and many others. The development of these leading applications, involving a large diversity of algorithms...

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...

Computational geometry concerns itself with designing and analyzing algorithms for solving geometric problems. The field has reached a high level of sophistication, and very complicated algorithms have been designed. However, it is also useful to develop more practical algorithms, so long as they are based on rigorous methods. One such method...

You are about to embark on the study of a fascinating and important subject: the theory of computation. It comprises the fundamental mathematical properties of computer hardware, software, and certain applications thereof. In studying this subject we seek to determine what can and cannot be computed, how quickly, with how much memory,...

This book consists of 9 chapters encompassing both the fundamental aspects of dynamic fracture mechanics as well as the studies of fracture mechanics in novel engineering materials. The chapters have been written by leading authorities in various fields of fracture mechanics from all over the world. These chapters have been arranged...

Few technical lerms have gained such rapid notoriety as the appela tion "NP-complete." In the short lime since its introduction in the early 1970's, this term has come to symbolize the abyss of inherent intractability that algorithm designers increasingly face as they seek to solve larger and more complex problems. A...

With the increasing focus on IT Security comes a higher demand for identity management in the modern business. This requires a flexible, scalable, and secure authentication method. Identity control is made mandatory by many public standards, such as PCI, and PKI is an essential component to set up authentication in many technologies,...

The ISD conference evolved from the first Polish-Scandinavian Seminar on Current Trends in Information Systems...

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...

Computability has played a crucial role in mathematics and computer science – leading to the discovery, understanding and classification of decidable/ undecidable problems, paving the way to the modern computer era and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical...

For a long time, I was very happy building Ethernet networks, working with switches and then moving to 802.11. It took awhile, but eventually I realized that the world of interconnected networks cannot be reached with Layer 2 alone. In addition, as you spread your wings from the Layer 2 broadcast domains, you encounter the wonders of...

Welcome dear reader to this Magento theming book. In this book, we are going to discover how to modify or create Magento themes from scratch. As you are reading this book, I assume you already know how great a tool this open source solution is. Though we will go through some of the basics, like installing and some theoretical concepts,...