Handbook of Floating-Point Arithmetic


Book Description

Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is far from being exploited to its full potential. This handbook aims to provide a complete overview of modern floating-point arithmetic. So that the techniques presented can be put directly into practice in actual coding or design, they are illustrated, whenever possible, by a corresponding program. The handbook is designed for programmers of numerical applications, compiler designers, programmers of floating-point algorithms, designers of arithmetic operators, and more generally, students and researchers in numerical analysis who wish to better understand a tool used in their daily work and research.




Wireless Communications


Book Description

"Professor Andreas F. Molisch, renowned researcher and educator, has put together the comprehensive book, Wireless Communications. The second edition, which includes a wealth of new material on important topics, ensures the role of the text as the key resource for every student, researcher, and practitioner in the field." —Professor Moe Win, MIT, USA Wireless communications has grown rapidly over the past decade from a niche market into one of the most important, fast moving industries. Fully updated to incorporate the latest research and developments, Wireless Communications, Second Edition provides an authoritative overview of the principles and applications of mobile communication technology. The author provides an in-depth analysis of current treatment of the area, addressing both the traditional elements, such as Rayleigh fading, BER in flat fading channels, and equalisation, and more recently emerging topics such as multi-user detection in CDMA systems, MIMO systems, and cognitive radio. The dominant wireless standards; including cellular, cordless and wireless LANs; are discussed. Topics featured include: wireless propagation channels, transceivers and signal processing, multiple access and advanced transceiver schemes, and standardised wireless systems. Combines mathematical descriptions with intuitive explanations of the physical facts, enabling readers to acquire a deep understanding of the subject. Includes new chapters on cognitive radio, cooperative communications and relaying, video coding, 3GPP Long Term Evolution, and WiMax; plus significant new sections on multi-user MIMO, 802.11n, and information theory. Companion website featuring: supplementary material on 'DECT', solutions manual and presentation slides for instructors, appendices, list of abbreviations and other useful resources.




Computer Organization and Design RISC-V Edition


Book Description

The new RISC-V Edition of Computer Organization and Design features the RISC-V open source instruction set architecture, the first open source architecture designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. With the post-PC era now upon us, Computer Organization and Design moves forward to explore this generational change with examples, exercises, and material highlighting the emergence of mobile computing and the Cloud. Updated content featuring tablet computers, Cloud infrastructure, and the x86 (cloud computing) and ARM (mobile computing devices) architectures is included. An online companion Web site provides advanced content for further study, appendices, glossary, references, and recommended reading. - Features RISC-V, the first such architecture designed to be used in modern computing environments, such as cloud computing, mobile devices, and other embedded systems - Includes relevant examples, exercises, and material highlighting the emergence of mobile computing and the cloud




Advanced Engineering Mathematics


Book Description

Appropriate for one- or two-semester Advanced Engineering Mathematics courses in departments of Mathematics and Engineering. This clear, pedagogically rich book develops a strong understanding of the mathematical principles and practices that today's engineers and scientists need to know. Equally effective as either a textbook or reference manual, it approaches mathematical concepts from a practical-use perspective making physical applications more vivid and substantial. Its comprehensive instructional framework supports a conversational, down-to-earth narrative style offering easy accessibility and frequent opportunities for application and reinforcement.




Language Engineering and Rigorous Software Development


Book Description

This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.




Statistical Parametric Mapping: The Analysis of Functional Brain Images


Book Description

In an age where the amount of data collected from brain imaging is increasing constantly, it is of critical importance to analyse those data within an accepted framework to ensure proper integration and comparison of the information collected. This book describes the ideas and procedures that underlie the analysis of signals produced by the brain. The aim is to understand how the brain works, in terms of its functional architecture and dynamics. This book provides the background and methodology for the analysis of all types of brain imaging data, from functional magnetic resonance imaging to magnetoencephalography. Critically, Statistical Parametric Mapping provides a widely accepted conceptual framework which allows treatment of all these different modalities. This rests on an understanding of the brain's functional anatomy and the way that measured signals are caused experimentally. The book takes the reader from the basic concepts underlying the analysis of neuroimaging data to cutting edge approaches that would be difficult to find in any other source. Critically, the material is presented in an incremental way so that the reader can understand the precedents for each new development. This book will be particularly useful to neuroscientists engaged in any form of brain mapping; who have to contend with the real-world problems of data analysis and understanding the techniques they are using. It is primarily a scientific treatment and a didactic introduction to the analysis of brain imaging data. It can be used as both a textbook for students and scientists starting to use the techniques, as well as a reference for practicing neuroscientists. The book also serves as a companion to the software packages that have been developed for brain imaging data analysis. - An essential reference and companion for users of the SPM software - Provides a complete description of the concepts and procedures entailed by the analysis of brain images - Offers full didactic treatment of the basic mathematics behind the analysis of brain imaging data - Stands as a compendium of all the advances in neuroimaging data analysis over the past decade - Adopts an easy to understand and incremental approach that takes the reader from basic statistics to state of the art approaches such as Variational Bayes - Structured treatment of data analysis issues that links different modalities and models - Includes a series of appendices and tutorial-style chapters that makes even the most sophisticated approaches accessible




The Linux Command Line, 2nd Edition


Book Description

You've experienced the shiny, point-and-click surface of your Linux computer--now dive below and explore its depths with the power of the command line. The Linux Command Line takes you from your very first terminal keystrokes to writing full programs in Bash, the most popular Linux shell (or command line). Along the way you'll learn the timeless skills handed down by generations of experienced, mouse-shunning gurus: file navigation, environment configuration, command chaining, pattern matching with regular expressions, and more. In addition to that practical knowledge, author William Shotts reveals the philosophy behind these tools and the rich heritage that your desktop Linux machine has inherited from Unix supercomputers of yore. As you make your way through the book's short, easily-digestible chapters, you'll learn how to: • Create and delete files, directories, and symlinks • Administer your system, including networking, package installation, and process management • Use standard input and output, redirection, and pipelines • Edit files with Vi, the world's most popular text editor • Write shell scripts to automate common or boring tasks • Slice and dice text files with cut, paste, grep, patch, and sed Once you overcome your initial "shell shock," you'll find that the command line is a natural and expressive way to communicate with your computer. Just don't be surprised if your mouse starts to gather dust.