Refine Results
Sort By
From
To
Page 1
Page 1
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.
Automorphic forms and even unimodular lattices : Kneser neighbors of niemeier lattices
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It explains how the new advances in the Langlands program mentioned above pave the way for a solution. This study proves to be very rich, leading us to classical themes such as theta series, Siegel modular forms, the triality principle, L-functions and congruences between Galois representations.
Advances in Discrete Differential Geometry
On a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discrete models in differential geometry and dynamical systems. Their curves are polygonal, surfaces are made from triangles and quadrilaterals, and time is discrete. Nevertheless, the difference between the corresponding smooth curves, surfaces and classical dynamical systems with continuous time can hardly be seen. This is the paradigm of structure-preserving discretizations. Current advances in this field are stimulated to a large extent by its relevance for computer graphics and mathematical physics.
ARIS design platform : Advanced process modelling and administration
ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. The ARIS Design Platform is being used as a business process management (BPM) tool for projects in BPM, quality management, business analysis and design, software development, implementation of service-oriented architectures and so forth. Following on from Rob Davis’ successful introductory text, ARIS Design Platform: Getting Started with BPM, this new book covers in detail some of the more advanced concepts of using ARIS Business Architect in the new ARIS 7 Design Platform. Written in a reader-friendly style, it contains detailed explanations of key concepts combined with numerous examples, hints and tips gained from many years of practical experience of using ARIS.
Mathematical Methods in Robust Control of Linear Stochastic Systems
Linear stochastic systems are successfully used to provide mathematical models for real processes in fields such as aerospace engineering, communications, manufacturing, finance and economy. This monograph presents a useful methodology for the control of such stochastic systems with a focus on robust stabilization in the mean square, linear quadratic control, the disturbance attenuation problem, and robust stabilization with respect to dynamic and parametric uncertainty.
Low Power VCO Design in CMOS
The performance of voltage controlled oscillators (VCO) is of extreme importance for any telecommunication or data communication system. This practical guide develops a systematic, fully-integrated LC-VCO design for low power and low phase noise, especially useful to meet the demands on mobile devices such as cell phones. The proposed VCO design approaches are experimentally verified with several fully integrated CMOS VCOs. The concise presentation is offered in three parts (VCO design; CMOS devices for VCO design; and fully-integrated CMOS DESIGNS) and supplemented by an appendix summarizing the state of the art.
Linear Programming : Foundations and Extensions
Linear Programming: Foundations and Extensions is an introduction to the field of optimization. The book emphasizes constrained optimization, beginning with a substantial treatment of linear programming, and proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book is carefully written. Specific examples and concrete algorithms precede more abstract topics. Topics are clearly developed with a large number of numerical examples worked out in detail.
Large-Scale Nonlinear Optimization
Large-Scale Nonlinear Optimization reviews and discusses recent advances in the development of methods and algorithms for nonlinear optimization and its applications, focusing on the large-dimensional case, the current forefront of much research.The chapters of the book including theoretical analysis, algorithmic development, implementation issues and applications.
Binary Quadratic Forms: An Algorithmic Approach
This book deals with algorithmic problems concerning binary quadratic forms 2 2 f(X,Y)= aX +bXY +cY with integer coe?cients a, b, c, the mathem- ical theories that permit the solution of these problems, and applications to cryptography.
Aspects of Brownian motion
Stochastic calculus and excursion theory are very efficient tools to obtain either exact or asymptotic results about Brownian motion and related processes. The emphasis of this book is on special classes of such Brownian functionals as: - Gaussian subspaces of the Gaussian space of Brownian motion; - Brownian quadratic funtionals; - Brownian local times, - Exponential functionals of Brownian motion with drift; - Winding number of one or several Brownian motions around one or several points or a straight line, or curves; - Time spent by Brownian motion below a multiple of its one-sided supremum.
Analysis and Design of Quadrature Oscillators
This book can be used in advanced courses on RF circuit design. In addition to post-graduate students and lecturers, this book will be of interest to design engineers and researchers in this area.
Analog-baseband architectures and circuits For multistandard and lowvoltage wireless transceivers
"Analog-Baseband Architectures and Circuits reviews the fundamentals and studies the state-of-the-art multistandard transceivers before describing novel architectural and circuit techniques for implementing multimode and wideband (tens of MHz) baseband analog front-ends under low-voltage constraints. Techniques developed on architecture level for efficient system-in-package (SiP) integration, testability and multi-standardability; and on circuit level for reducing the required supply voltage, power and area are generally applicable for most wireless systems, and are somewhat independent to technology scaling. Experimental 1-V baseband building blocks (i.e., double-quadrature-downconversion filter, programmable-gain amplifier and dc-offset canceler) and a 1-V fully-integrated receiver analog-baseband chain for IEEE 802.11a/b/g WLAN validate the techniques. The implementations are all in standard-VTH CMOS process, and no voltage boosting is required at any node." "Analog-Baseband Architectures and Circuits will be relevant to system architects, circuit designers, professors and students engaged in wireless transceiver front-ends research and development."
An Introduction to Number Theory
An Introduction to Number Theory provides an introduction to the main streams of number theory. Starting with the unique factorization property of the integers, the theme of factorization is revisited several times throughout the book to illustrate how the ideas handed down from Euclid continue to reverberate through the subject. In particular, the book shows how the Fundamental Theorem of Arithmetic, handed down from antiquity, informs much of the teaching of modern number theory. The result is that number theory will be understood, not as a collection of tricks and isolated results, but as a coherent and interconnected theory. A number of different approaches to number theory are presented, and the different streams in the book are brought together in a chapter that describes the class number formula for quadratic fields and the famous conjectures of Birch and Swinnerton-Dyer. The final chapter introduces some of the main ideas behind modern computational number theory and its applications in cryptography.
Algorithms for Approximation ; Proceedings of the 5th International Conference, Chester, July 2005
Approximation methods are vital in many challenging applications of computational science and engineering. This is a collection of papers from world experts in a broad variety of relevant applications.
Algèbre, Chapitre 9 = Algebra, Chapter 9
Sesquilinear and quadratic forms : The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. This ninth chapter of the Book of Algebra, the second Book of the treatise, is devoted to quadratic, symplectic or Hermitian forms and to associated groups.
Algebra : Fields with structure, algebras and advanced topics
The present textbook is a lively, problem-oriented and carefully written introduction to classical modern algebra. The author leads the reader through interesting subject matter, while assuming only the background provided by a first course in linear algebra. The first volume focuses on field extensions. Galois theory and its applications are treated more thoroughly than in most texts. It also covers basic applications to number theory, ring extensions and algebraic geometry. The main focus of the second volume is on additional structure of fields and related topics. Much material not usually covered in textbooks appears here, including real fields and quadratic forms, the Tsen rank of a field, the calculus of Witt vectors, the Schur group of a field, and local class field theory.
Advances in Unmanned Aerial Vehicles : State of the Art and the Road to Autonomy
There has been tremendous emphasis in unmanned aerial vehicles, both of fixed (airplanes) and rotary wing (vertical take off and landing, helicopters) types over the past ten years. Applications span both civilian and military domains, the latter being the most important at this stage. This edited book provides a solid and diversified reference source related to basic, applied research and development on small and miniature unmanned aerial vehicles, both fixed and rotary wing. As such, the book offers background information on the evolution of such vehicles over the years, followed by modeling and control fundamentals that are of paramount importance due to unmanned aerial vehicle model complexity, nonlinearity, coupling, inhirent instability and parameter values uncertainty. Aspects of navigation, including visual-based navigation and target tracking are discussed, followed by applications to attitude estimation on micro unmanned aerial vehicles, autonomous solar unmanned aerial vehicle, biomimetic sensing for autonomous flights in near-earth environments, localization of air-ground wireless sensor networks, decentralized formation tracking, design of an unmanned aerial vehicle for volcanic gas sampling and design of an on-board processing controller for miniature helicopters.
Adaptive Atmospheric Modeling : Key Techniques in Grid Generation, Data Structures, and Numerical Operations with Applications
This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, it functions as a starting point for readers interested in adaptive modeling, in atmospheric sciences and beyond. Coverage includes paradigms of adaptive techniques, such as error estimation and adaptation criteria. Mesh generation methods are presented for triangular/tetrahedral and quadrilateral/hexahedral meshes, with a special section on initial meshes for the sphere.
