Due to the mounting demand for energy and increasing population of the world, switching from nonrenewable fossil fuels to other energy sources is not an option—it is a necessity. Focusing on a cost-effective option for the generation of electricity, Wind Energy: Renewable Energy and the Environment covers all...

As digital circuit elements decrease in physical size, resulting in increasingly complex systems, a basic logic model that can be used in the control and design of a range of semiconductor devices is vital. Finite State Machines (FSM) have numerous advantages; they can be applied to many areas (including motor control, and signal and serial...

This book is about constraint programming, an alternative approach to programming which relies on a combination of techniques that deal with reasoning and computing. It has been successfully applied in a number of fields including molecular biology, electrical engineering, operations research and numerical analysis. The central notion is that...

Hilbert space frames have long served as a valuable tool for signal and image processing due to their resilience to additive noise, quantization, and erasures, as well as their ability to capture valuable signal characteristics.  More recently, finite frame theory has grown into an important research topic in its own right, with a myriad...

Written by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and...

In wafer-based and thin-film photovoltaic (PV) devices, the management of light is a crucial aspect of optimization since trapping sunlight in active parts of PV devices is essential for efficient energy conversions. Optical modeling and simulation enable efficient analysis and optimization of the optical situation in optoelectronic and PV...

This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science. Some categorical ideas and constructions are already used heavily in computing...