This book develops models, results and algorithms for optimizing public transportation from a customer-oriented viewpoint. The methods used are based on graph-theoretic approaches and integer programm
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Softwa
Proceedings of the International Symposium on High Performance Computational Science and Engineering 2004 (IFIP World Computer Congress) is an essential reference for both academic and professional re
Broadband Satellite Communication Systems and the Challenges of Mobility is an essential reference for both academic and professional researchers in the field of telecommunications, computer networkin
Increasing system complexity has created a pressing need for better design tools and associated methodologies and languages for meeting the stringent time to market and cost constraints. Platform-cent
* Provides a broad overview of modeling approaches and solution methodologies for addressing inventory problems, particularly the management of high cost, low demand rate service parts found in multi-
Moving on from earlier stochastic and robust control paradigms, this book introduces the fundamentals of probabilistic methods in the analysis and design of uncertain systems. The use of randomized a
New and expanded to reflect changes on the Internet, especially the explosive growth of the World Wide Web, this best-selling book is primer to the Internet for those who have little or no computer ex
Acoustic and electromagnetic waves underlie a vast range of modern technology from sonar, radio, and television to microwave heating and electromagnetic compatibility analysis. Mathematical modeling o
As an introduction to fundamental geometric concepts and tools needed for solving problems of a geometric nature using a computer, this book attempts to fill the gap between standard geometry books, w
This book describes the state-of-the-art advances in computer-based plant control. The material presented is intended to provide an introductory textbook in control and instrumentation technology for
This book provides a comprehensive overview of how communities can leverage their social capital to improve overall quality of life for citizens. In addition, it offers detailed guidance on the design
Atrial Fibrillation from an Engineering Perspective provides an up-to-date overview of techniques developed for acquisition, modeling, and analysis of noninvasive, bioelectrical signals reflecting thi
This book chiefly addresses the analysis and design of geosynchronous synthetic aperture radar (GEO SAR) systems, focusing on the algorithms, analysis, methods used to compensate for ionospheric influ
This book presents the design methodology and electrical diagrams of symmetrical six-phase windings, the main elements of the six-phase that are being developed to help meet the demand for high
This engaging work provides a concise introduction to the exciting world of computing, encompassing the theory, technology, history, and societal impact of computer software and computing devices. Spa
This is the first book devoted to the task of computing integrability structures by computer. The symbolic computation of integrability operator is a computationally hard problem and the book covers a
This thesis proposes a reliable and repeatable method for implementing Spoof Surface Plasmon (SSP) modes in the design of various circuit components. It also presents the first equivalent circuit mode
This book presents an approach to energy-efficient building design, which takes into account the most important challenges in climate change mitigation and adaptation in Southern Europe. It outlines a
This book offers an overview of power electronic applications in the study of power integrated circuit (IC) design, collecting novel research ideas and insights into fast transient response to prevent
This multidisciplinary book brings together medical, management, and architectural disciplines in order to formulate new approaches to the programming, planning, and design of healthcare facilities th
This book describes systematic design techniques for chaotic and hyperchaotic systems, the transition from one to the other, and their implementation in electronic circuits. It also discusses the coll
This book is built around the use of readymade soft processor cores for FPGA design. In particular, the book focuses on Altera FPGA boards. The book explores many different embedded systems needs and
This book discusses analytical approaches and modeling of the breakdown voltage (BV) effects on graphene-based transistors. It presents semi-analytical models for lateral electric field, length of vel
In this text, we introduce the basic concepts for the numerical modeling of partial differential equations. We consider the classical elliptic, parabolic and hyperbolic linear equations, but also the
This book is the first to comprehensively cover research methods for building occupant behavior. As this is of growing importance for building design and for building performance optimization, the boo
This book elucidates the mechanisms involved in biological membrane functions. It describes the new modalities and characterization for basic in vitro as well as computer models of biological membran
This book both analyzes and synthesizes new cutting-edge theories and methods for future design implementations in smart cities through interdisciplinary synergizing of architecture, technology, and t
This book presents several fundamental results in solving nonlinear reaction-diffusion equations and systems using symmetry-based methods. Reaction-diffusion systems are fundamental modeling tools for
This textbook presents basic numerical methods and applies them to a large variety of physical models in multiple computer experiments. Classical algorithms and more recent methods are explained. Part
This book examines comprehensively for the first time, the scope and accuracy of indigenous environmental knowledge. It shows that in some spheres, including agriculture, house design, fuel and water
This book provides an in-depth discussion on how to efficiently manage resources of heterogeneous wireless networks and how to design resource allocation algorithms to suit real world conditions. Effi
This book discusses the design of the new mobility assistive information and communication technologies (ICT) devices for the visually impaired. The book begins with a definition of the space concept,
This book discusses the development of promising technologies for compact antennas for high data-rate communications. It discusses and analyzes the design of compact ultra-wideband (UWB) and multiple
This book addresses students and young researchers who want to learn to use numerical modeling to solve problems in geodynamics. Intended as an easy-to-use and self-learning guide, readers only need a
This book pioneers the field of gain-cell embedded DRAM (GC-eDRAM) design for low-power VLSI systems-on-chip (SoCs). Novel GC-eDRAMs are specifically designed and optimized for a range of low-power VL
This book is aimed at undergraduate and graduate students in applied mathematics or computer science, as a tool for solving real-world design problems. The present work covers fundamentals in mul
This book demonstrates how to use the Synopsys Sentaurus TCAD 2014 version for the design and simulation of 3D CMOS (complementary metal–oxide–semiconductor) semiconductor nanoelectronic devices, whil
The purpose of this monograph is to describe recent developments in mathematical modeling and mathematical analysis of certain problems arising from cell biology. Cancer cells and their growth via sev
