The Star Current

"Cosmic Driftwood" takes the reader on a vast series of adventures through the Nine Realms and the Cosmic Tree Yggdrasil in a new, never-before-presented arrangement, casting woodland creatures driven by the wonder of the Great Unknown.

Written by two practicing electrical engineers, this second edition of the bestselling Protection of Electricity Distribution Networks offers both practical and theoretical coverage of the technologies, from the classical electromechanical relays to the new numerical types, which protect equipment on networks and in electrical plants. A properly coordinated protection system is vital to ensure that an electricity distribution network can operate within preset requirements for safety for individual items of equipment, staff and public, and the network overall. Suitable and reliable equipment should be installed on all circuits and electrical equipment and to do this, protective relays are used to initiate the isolation of faulted sections of a network in order to maintain supplies elsewhere on the system. This then leads to an improved electricity service with better continuity and quality of supply.

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety. Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.

This volume contains the proceedings of the Fifth International Conference on Database Systems for Advanced Applications (DASFAA '97). DASFAA '97 focused on advanced database technologies and their applications. The 55 papers in this volume cover a wide range of areas in the field of database systems and applications ? including the rapidly emerging areas of the Internet, multimedia, and document database systems ? and should be of great interest to all database system researchers and developers, and practitioners.

A fully comprehensive text for courses in electrical principles, circuit theory and electrical technology, providing 800 worked examples and over 1,350 further problems for students to work through at their own pace. This book is ideal for students studying engineering for the first time as part of BTEC National and other pre-degree vocational courses, as well as Higher Nationals, Foundation Degrees and first-year undergraduate modules.