Migrate an existing Drupal 6 or 7 website to Backdrop and discover why you should consider using Backdrop when building a new website. You'll learn what Backdrop is, how to install and configure Backdrop, and create and manage content. Migrating from Drupal to Backdrop focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested …
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and ar…
This book is dedicated to the channels and pores that belong to an eclectic and ubiquitous class of unconventional - perhaps at times strange - pore-forming molecules, which nevertheless play fundamental roles in various organisms. These non-canonical channels may take on various and sometimes complex architectures, such as large beta-barrels or lipid-containing pores. They may originate from b…
This monograph provides a concise presentation of a mathematical approach to metastability, a wide-spread phenomenon in the dynamics of non-linear systems - physical, chemical, biological or economic - subject to the action of temporal random forces typically referred to as noise, based on potential theory of reversible Markov processes. The authors shed new light on the metastability pheno…
This book discusses the design and performance analysis of SDRAM controllers that cater to both real-time and best-effort applications, i.e. mixed-time-criticality memory controllers. The authors describe the state of the art, and then focus on an architecture template for reconfigurable memory controllers that addresses effectively the quickly evolving set of SDRAM standards, in terms of worst…
This book has been conceives as a brief introduction to biomembranes physical chemistry for undergraduate students of sciences, and it is particularly dedicated to the lipid-protein membrane interactions. A general introduction is presented in Chapters 1 and 2. The following Chapters, 3 and 4, describe the most accepted theories on lipid-membrane protein interactions as well as the new experime…
For Microelectromechanical Systems (MEMS) and Nanoelectromechanical Systems (NEMS) production, each product requires a unique process technology. This book provides a comprehensive insight into the tools necessary for fabricating MEMS/NEMS and the process technologies applied. Besides, it describes enabling technologies which are necessary for a successful production, i.e., wafer planarization …
In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-called model-integrating software exploits all advantages of models: models implicitly support a good separation of concerns, they are self-documenting and thus improve understandability and mainta…
This book presents a unified methodology for the design of PID controllers that encompasses the wide range of different dynamics to be found in industrial processes. This is extended to provide a coherent way of dealing with the tuning of PID controllers. The particular method at the core of the book is the so-called model-reference robust tuning (MoReRT), developed by the authors. MoReRT const…
In this definitive new text, the major medicines, devices and vaccines used by women worldwide are brought together for the first time in a single volume. Written and edited by international experts with an evidence-based approach, the book offers a comprehensive summary of all the key areas of women’s medicines. In the first part, issues relating to female drug exposure and considerations fo…