This book deals with theoretical aspects of modelling the mechanical behaviour of manufacturing, processing, transportation or other systems in which the processed or supporting material is travelling through the system. Examples of such applications include paper making, transmission cables, band saws, printing presses, manufacturing of...

Synthesizing decades of work, but up-to-date, this book focuses on organism-level responses to pollutants by marine animals, mainly crustaceans, molluscs, and fishes. Emphasizing effects on physiological processes (feeding/digestion, respiration, osmoregulation), life-cycle (reproduction [including endocrine disruption], embryo...

Today, as computer technology develops rapidly, a single programming language sometimes is not enough to handle complicated, real-world implementations. Each language has its...

Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g., Java, C++, or C#. The International Conference on Formal...

This book describes several techniques to address variation-related design challenges for analog blocks in mixed-signal systems-on-chip. The methods presented are results from recent research works involving receiver front-end circuits, baseband filter linearization, and data conversion. These circuit-level techniques are described, with...

Covering fractional order theory, simulation and experiments, this book explains how fractional order modelling and fractional order controller design compares favourably with traditional velocity and position control systems. The authors systematically compare the two approaches using applied fractional calculus. Stability theory in...