Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The LLL Algorithm: Survey and Applications (Information Security and Cryptography)
The LLL Algorithm: Survey and Applications (Information Security and Cryptography)

The LLL algorithm is a polynomial-time lattice reduction algorithm, named after its inventors, Arjen Lenstra, Hendrik Lenstra and László Lovász. The algorithm has revolutionized computational aspects of the geometry of numbers since its introduction in 1982, leading to breakthroughs in fields as diverse as computer algebra,...

The Princeton Companion to Mathematics
The Princeton Companion to Mathematics

This is a one-of-a-kind reference for anyone with a serious interest in mathematics. Edited by Timothy Gowers, a recipient of the Fields Medal, it presents nearly two hundred entries, written especially for this book by some of the world's leading mathematicians, that introduce basic mathematical tools and vocabulary; trace the...

Reversible Computing
Reversible Computing
The present book is dedicated to Dr. Rolf Landauer, whose early work on the subject of reversible computing inspired me to begin more than 15 years of research in this special corner of computer science. Twice I had the privilege to meet him personally: once inWest Berlin (1992) and once in Boston (1996). Twice he encouraged me...
Foundations of Geometric Algebra Computing (Geometry and Computing)
Foundations of Geometric Algebra Computing (Geometry and Computing)

The author defines “Geometric Algebra Computing” as the geometrically intuitive development of algorithms using geometric algebra with a focus on their efficient implementation, and the goal of this book is to lay the foundations for the widespread use of geometric algebra as a powerful, intuitive mathematical language for...

Systems Biology: Properties of Reconstructed Networks
Systems Biology: Properties of Reconstructed Networks
Genome sequences are now available that enable us to determine the biological components that make up a cell or an organism. The new discipline of systems biology examines how these components interact and form networks, and how the networks generate whole cell functions corresponding to observable phenotypes. This textbook describes how to model...
Spectral Methods in MATLAB (Software, Environments, Tools)
Spectral Methods in MATLAB (Software, Environments, Tools)
This is the only book on spectral methods built around MATLAB programs. Along with finite differences and finite elements, spectral methods are one of the three main technologies for solving partial differential equations on computers. Since spectral methods involve significant linear algebra and graphics they are very suitable for the high...
Introduction to the Mathematical and Statistical Foundations of Econometrics (Themes in Modern Econometrics)
Introduction to the Mathematical and Statistical Foundations of Econometrics (Themes in Modern Econometrics)

This book is intended for use in a rigorous introductory PhD level course in econometrics, or in a field course in econometric theory. It covers the measure-theoretical foundation of probability theory, the multivariate normal distribution with its application to classical linear regression analysis, various laws of large numbers, central limit...

Introduction to Robotics: Mechanics and Control
Introduction to Robotics: Mechanics and Control
Now in its third edition, Introduction to Robotics by John J. Craig provides readers with real-world practicality with underlying theory presented. With one half of the material from traditional mechanical engineering material, one fourth control theoretical material, and one fourth computer science, the book covers rigid-body...
Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP,...
Fundamentals of Logic Design
Fundamentals of Logic Design

Updated with modern coverage, a streamlined presentation, and excellent companion software, this seventh edition of FUNDAMENTALS OF LOGIC DESIGN achieves yet again an unmatched balance between theory and application. Authors Charles H. Roth, Jr. and Larry L. Kinney carefully present the theory that is necessary for understanding the...

First Steps in Differential Geometry: Riemannian, Contact, Symplectic (Undergraduate Texts in Mathematics)
First Steps in Differential Geometry: Riemannian, Contact, Symplectic (Undergraduate Texts in Mathematics)

Differential geometry arguably offers the smoothest transition from the standard university mathematics sequence of the first four semesters in calculus, linear algebra, and differential equations to the higher levels of abstraction and proof encountered at the upper division by mathematics majors. Today it is possible to describe...

Handbook of Computer Vision Algorithms in Image Algebra
Handbook of Computer Vision Algorithms in Image Algebra

The Second Edition of the best-selling Handbook of Computer Vision Algorithms in Image Algebra, continues to provide an outstanding introduction to Image Algebra. It describes more than 80 fundamental computer vision techniques and introduces the portable iac++ library, which supports image algebra programming in the C++ language. Revisions to...

unlimited object storage image
Result Page: 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy