Advanced English Grammar : A Linguistic Approach
The second edition of this book pulls from linguistic theory all the relevant notions that will enable the language student to fully grasp English grammar. After introducing form and function, the authors cover verbs, nouns, aspect and tense, modality and discourse. Readers are led through the underlying principles of language use, with the book presupposing only a basic grasp of linguistic terminology and focusing on the critical issues.
Advanced control of industrial processes : structures and algorithms
Advanced Control of Industrial Processes presents the concepts and algorithms of advanced industrial process control and on-line optimisation within the framework of a multilayer structure. Relatively simple unconstrained nonlinear fuzzy control algorithms and linear predictive control laws are covered, as are more involved constrained and nonlinear model predictive control (MPC) algorithms and on-line set-point optimisation techniques.Advances in Industrial Control aims to report and encourage the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.
Ad-Hoc Networking Towards Seamless Communications
Ad-Hoc Networking Towards Seamless Communications is dedicated to an area that attracts growing interest in academia and industry and concentrates on wireless ad hoc networking paradigm. The persistent efforts to acquire the ability to establish dynamic wireless connections from anywhere to anyone with any device without prerequisite imbedded infrastructure move the communications boundaries towards ad-hoc networks. Recently, ad hoc networking has attracted growing interest due to advances in wireless communications, and developed framework for running IP based protocols. The expected degree of penetration of these networks will depend on the successful resolution of the key features.
Adhesive Bonding of Aircraft Composite Structures: Non-destructive Testing and Quality Assurance Concepts
This book is under a CC BY 4.0 license. It presents the results of the ComBoNDT European project, which aimed at the development of more secure, time- and cost-saving extended non-destructive inspection tools for carbon fiber reinforced plastics, adhered surfaces and bonded joints. The book reports the optimal use of composite materials to allow weight savings, reduction in fuel consumptions, savings during production and higher cost efficiency for ground operations.
Adaptive Voltage Control in Power Systems : Modeling, Design and Applications
Adaptive Voltage Control in Power Systems, a self-contained blend of theory and novel application, is an in-depth treatment of such adaptive control schemes. The reader moves from power-system-modelling problems through illustrations of the main adaptive control systems (self-tuning, model-reference and nonlinearities compensation) to a detailed description of design methods: Kalman filtering, parameter-identification algorithms and discrete-time controller design are all represented. Case studies address applications issues in the implementation of adaptive voltage control.
Adaptive Techniques for Mixed Signal System on Chip
Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed signal design along with different adaptive architectures used to control any system parameter. The first part of the book gives an overview of the different elements that are normally used in adaptive designs including tunable elements as well as voltage, current, and time references with an emphasis on the circuit design of specific blocks such as voltage-controlled transconductors, offset comparators, and a novel technique for accurate implementation of on chip resistors. While the first part of the book addresses adaptive techniques at the circuit and block levels, the second part discusses adaptive equalization architectures employed to minimize the impact of ISI (Intersymbol Interference) on the quality of received data in high-speed wire line transceivers. It presents the implementation of a 125Mbps transceiver operating over a variable length of Category 5 (CAT-5) Ethernet cable as an example of adaptive equalizers.
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and functionality optimization. Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice includes chapter contributions that explore promising approaches and present the supporting data.
Adaptive Low-Power Circuits for Wireless Communications
Adaptive radio transceivers require a comprehensive theoretical framework in order to optimize their performance. Adaptive Low-Power Circuits for Wireless Communications provides this framework with a discussion of joint optimization of Noise Figure and Input Intercept Point in receiver systems. Original techniques to optimize voltage controlled oscillators and low-noise amplifiers to minimize their power consumption while maintaining adequate system performance are also provided. The experimental results presented at the end of the book confirm the utility of the proposed techniques.
Adaptive Filtering : Algorithms and Practical Implementation
The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It concentrates on on-line algorithms whose adaptation occurs whenever a new sample of each environment signal is available. The material also illustrates block algorithms using a sub-band filtering framework whose adaptation occurs when a new block of data is available.
Acoustic MIMO Signal Processing
Telecommunication systems and human-machine interfaces start employing multiple microphones and loudspeakers in order to make conversations and interactions more lifelike, hence more efficient. This development gives rise to a variety of acoustic signal processing problems under multiple-input multiple-output (MIMO) scenarios, encompassing distant speech acquisition, sound source localization and tracking, echo and noise control, source separation and speech dereverberation, and many others. The last decade has witnessed a growing interest in exploring these problems, but there has been little effort to develop a theory to have all these problems investigated in a unified framework. This unique book attempts to fill the gap.
Acoustic Emission Testing : Basics for Research - Applications in Civil Engineering
The book covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms and applications to real large-scale structures as well as the observation of the cracking process in laboratory specimen to study fracture processes.
Accreditation and Evaluation in the European Higher Education Area
This volume presents a rich account of the development of accreditation and evaluation in 20 European countries. The authors are leaders in the field and they have cooperated in this effort by writing richly different, often deep and insightful analyses of the situation in their country. The two editors have added a synopsis detailing the main trends, and sketching commonalities as well as contrasts in the developments across Europe. The book shows how accreditation is becoming a main mechanism in the steering of higher education all over Europe. The book is unique in its analysis of forces driving towards the spread of different models of accreditation in the emerging European Higher Education area. Readers will obtain an up-to-date picture of the state of affairs of accreditation in the framework of evaluation activities in Europe.
Accelerator-Driven System at Kyoto University Critical Assembly
This book is a unique compilation of experimental benchmark analyses of the accelerator-driven system (ADS) at the Kyoto University Critical Assembly (KUCA) on the most recent advances in the development of computational methods.
A Theory of Shape Identification
Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have been applied to image stitching, stereo vision, image mosaics, solid object recognition and video or web image retrieval. More fundamentally, the ability of humans and animals to detect and recognize shapes is one of the enigmas of perception. The book describes a complete method that starts from a query image and an image database and yields a list of the images in the database containing shapes present in the query image. A false alarm number is associated to each detection. Many experiments will show that familiar simple shapes or images can reliably be identified with false alarm numbers ranging from 10-5 to less than 10-300.
A Space of Their Own : The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania
The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as places of horror where the patients are restrained and left to listen to the cries of their fellow inmates in despair. But what was the world of nineteenth century lunatic asylums really like? Are these images true? This book will explore this world using the techniques of historical archaeology and history.
A Rosicrucian Utopia in Eighteenth-Century Russia : The Masonic Circle of N.I. Novikov
The author undertakes an investigation into the history of Russian Freemasonry that has not been attempted previously. Her premise is that the Russian Enlightenment shows peculiar features, which prevent the application of the interpretative framework commonly used for the history of western thought. The author deals with the development of early Russian masonry, the formation of the Novikov circle in Moscow, the ‘programme’ of Rosicrucianism and the character of its Russian variant and, finally, the clash between the Rosicrucians and the State. The author concludes that the defenders of the Ancien Régime were not wrong. In fact the democratic behaviour, the critical attitude, the practice of participation, the freedom of thought, the tolerance for the diversity, the search for a direct communication with the divinity.
A Modern Perspective on Type Theory : From its Origins until Today
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
A Modern Introduction to Probability and Statistics : Understanding Why and How
A Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. In addition the book contains over 350 exercises, half of which have answers, of which half have full solutions. A website at www.springeronline.com/1-85233-896-2 gives access to the data files used in the text, and, for instructors, the remaining solutions. The only pre-requisite for the book is a first course in calculus; the text covers standard statistics and probability material, and develops beyond traditional parametric models to the Poisson process, and on to useful modern methods such as the bootstrap.
A History of Thermodynamics : The Doctrine of Energy and Entropy
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural philosophy. It is true that the steam engine for the conversion of heat into work existed before thermodynamics was developed as a branch of physics. However, the systematic theory improved the conversion process, and it succeeded in developing other processes essential to modern life, notably refrigeration and rectification. So, altogether thermodynamics has provided humanity with cheap energy, and cheap fuel, -- consequently with cheap, and abundant, and unspoiled food. Thus thermodynamics has made populations grow, and life expectancy increase beyond anything people could possibly have imagined 200 years ago.
A History of Parametric Statistical Inference from Bernoulli to Fischer, 1713-1935
This is a history of parametric statistical inference, written by one of the most important historians of statistics of the 20th century, Anders Hald. This book can be viewed as a follow-up to his two most recent books, although this current text is much more streamlined and contains new analysis of many ideas and developments. And unlike his other books, which were encyclopedic by nature, this book can be used for a course on the topic, the only prerequisites being a basic course in probability and statistics.



















