A general review of lipid bilayer structure and dynamics is given, including such current topics as the hydration of lipid bilayers, the superstructural behaviour of bilayers at different states of hydration and external conditions, the role and behaviour of lipid bilayers on fusion and rupture and the interaction of lipid bilayers with small organic molecules and additives and of protein lipid bilayer interactions. In addition, recent research on lipid interaction with proteins and other molecules in monolayers is reviewed, and the use of highly aligned samples under biologically relevant...

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip ulation of elements of a design and hence...