This book provides the first comprehensive and easy-to-read discussion of joint source-channel encoding and decoding for source signals with continuous amplitudes. It is a state-of-the-art presentation of this exciting, thriving field of research, making pioneering contributions to the new concept of source-adaptive modulation. The book starts with...
The theory of elliptic curves is distinguished by its long history and by the diversity of the methods that have been used in its study. This book treats the arithmetic theory of elliptic curves in its modern formulation, through the use of basic algebraic number theory and algebraic geometry. The book begins with a brief discussion of the...
The introductory chapter briefly presents the fundamental topologies and operation of power inverters. The second chapter contains a description of wavelet basis functions and sampling theory with particular reference to the switching model of inverters. Chapter three outlines the connection between the non-uniform sampling theorem and...
The protection of sensitive information against unauthorized access or fraudulent changes has been of prime concern throughout the centuries. Modern communication techniques, using computers connected through networks, make all data even more vulnerable to these threats. In addition, new issues have surfaced that did not exist previously, e.g....
Among the traditional purposes of such an introductory course is the training of a student in the conventions of pure mathematics: acquiring a feeling for what is considered a proof, and supplying literate written arguments to support mathematical propositions. To this extent, more than one proof is included for a theorem - where this is...
For most practicing analysts who use functional analysis, the restriction to Banach spaces seen in most real analysis graduate texts is not enough for their research. This graduate text, while focusing on locally convex topological vector spaces, is intended to cover most of the general theory needed for application to other areas of...
This book consists of lectures that I have given, in Darmstadt since
1974, under various titles, for beginners or students of the third semester.
I have tried to concentrate on those themes concerning numbers, which
seem to me to be the most important on essential and historical grounds,
and which in my opinion...
An introduction to awe-inspiring ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, and computability theory.
This award-winning book introduces the reader to awe-inspiring issues at the intersection of philosophy and mathematics. It explores ideas at the...
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...
It is a real pleasure, indeed an honor, for me to have been invited by
Mike Capobianco and John Molluzzo to write an introduction to this
imaginative and valuable addition to graph theory. Let me therefore present
a few of my thoughts on the current status of graph theory and how their
work contributes to the field.
This text is a single variable real analysis text, designed for the one-year course at the junior, senior, or beginning graduate level. It provides a rigorous and comprehensive treatment of the theoretical concepts of analysis. The book contains most of the topics covered in a text of this nature, but it also includes many...
This volume is a Festschrift to honour the scientilfiifce and achievemento f Robin Milner. Robin’s contributions have been both profound and varied, ovneorw ,a o pfs eormioed , thirty years. They range througthhe semantic foundationso f programming languages, computerassisted theorem-proving, programming language design, andth e theory of...