The Code of Federal Regulations is the codification of the general and permanent rules published in the Federal Register by the executive departments and agencies of the Federal Government.

This book brings together some of the most influential pieces of research undertaken around the world in design synthesis. It is the first comprehensive work of this kind and covers all three aspects of research in design synthesis: - understanding what constitutes and influences synthesis; - the major approaches to synthesis; - the diverse range of tools that are created to support this crucial design task. With its range of tools and methods covered, it is an ideal introduction to design synthesis for those intending to research in this area as well as being a valuable source of ideas for educators and practitioners of engineering design.

Presents energy price and expenditure estimates for the 50 States, the District of Columbia, and the United States for 1970, 1975, 1980 and 1985 through 1999. The estimates are presented by energy source (e.g., petroleum, natural gas, coal and electricity) and by major consuming sector.

This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998. The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state of the art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary decision diagrams, model checking, symbolic reasoning, symbolic simulation, and abstraction methods are covered.

Neural network technology encompasses a class of methods which attempt to mimic the basic structures used in the brain for information processing. Thetechnology is aimed at problems such as pattern recognition which are difficult for traditional computational methods. Neural networks have potential applications in many industrial areas such as advanced robotics, operations research, and process engineering. This book is concerned with the application of neural network technology to real industrial problems. It summarizes a three-year collaborative international project called ANNIE (Applications of Neural Networks for Industry in Europe) which was jointly funded by industry and the European Commission within the ESPRIT programme. As a record of a working project, the book gives an insight into the real problems faced in taking a new technology from the workbench into a live industrial application, and shows just how it can be achieved. It stresses the comparison between neural networks and conventional approaches. Even the non-specialist reader will benefit from understanding the limitations as well as the advantages of the new technology.