Unsaturated fatty acid esters derived from seed oils undergo metathesis at the C=C bond to give new internal and terminal olefins of interest in chemical manufacturing. The key to realizing this industrial opportunity is the ability to deploy catalysts that tolerate functional groups and remain reactive towards internal olefins even at high conversions. Recent developments in catalyst and react...

issue is written by Peter Doran and edited by Laura Ivers . The Managing Editor of Sustainable Developments is Langston James "Kimo" Goree VI . Funding for coverage of this meeting has been provided by the United Nations Industrial Development Organization (UNIDO). The author can be contacted at his electronic mail addresse and at tel:...

Crystallization from solution is an industrially important unit operation due to its ability to provide high purity separations. The control of the crystal size distribution can be critically important for efficient downstream operations such as filtration and drying, and product effectiveness (e.g., bioavailability, tablet stability). This paper provides an overview on recent developments in t...

Workflow Management is a relatively new field which has aroused much interest over the past few years. Largely driven by industrial developments (products, case studies), the field lacks a theory in which workflow can be founded. This paper develops a conceptual framework based on empirical evidence and literature. It provides the concepts and the relations between concepts that constitute the ...

The effective catalytic properties of enzymes have already promoted their introduction into several industrial products and processes. Recent developments in biotechnology, particularly in areas such as protein engineering and directed evolution, have provided important tools for the efficient development of new enzymes. This has resulted in the development of enzymes with improved properties f...

Although the most visible manifestations of medical malpractice involve patient safety and the legal process, the availability and affordability of liability insurance largely determine the direction of medical malpractice policy. Scientific and industrial developments since the first modern malpractice crisis in the 1970s reveal major problems with the structure and regulation of liability ins...

A number of technical breakthroughs in electronics and photonics made since the early 1990s have started to bring terahertz (THz)-wave technologies from laboratory demonstrators to industrial applications such as non-destructive testing, security, medicine, communications, etc. This paper overviews the latest progress in THz-wave technologies in terms of components such as sources and detectors...

efforts on both sides. The European part is based on the SIMDAT project (Data Grids for Process and Product Development using Numerical Simulation and Knowledge Discovery), which joins forces for product development and production process design using Grid services. CN Grid, a similar project with comparable objectives, was launched in China in 2002. While SIMDAT uses GRIA (GRID Resources for I...

In this paper, we present recent developments in the AltErgo SMT-solver to e ciently discharge proof obligations (POs) generated by Atelier B. This includes a new plugin architecture to facilitate experiments with di erent SAT engines, new heuristics to handle quantied formulas, and important modi cations in its internal data structures to boost performances of core decision procedures. Experim...

What are the real benefits of formal methods and Why should we care about them? When and Where should we expect to use them, and Who should be involved? I suggest some answers to those questions and describe one approach, Correctness by Construction [1], that has achieved practical success on several real industrial developments. Based on this I propose some challenges for formal methods research.