تحسين النتائح
ترتيب حسب
من
الى
الصفحة 1
الصفحة 1
Matching Properties of Deep Sub-Micron MOS Transistors
Matching Properties of Deep Sub-Micron MOS Transistors examines this interesting phenomenon. Microscopic fluctuations cause stochastic parameter fluctuations that affect the accuracy of the MOSFET. For analog circuits this determines the trade-off between speed, power, accuracy and yield.
Analog and Pulse Circuits
Intended for anyone who has an interest to learn the analysis and design of analog and digital systems. The book covers the foundation of analysis and design of all analog and pulse circuits. The book is organized into seven chapters. In each chapter, practical derivations are explained step by step.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
A Guide to Fluid Mechanics
The theory is explained using ordinary and accessible language, where fluid mechanics is presented in analogy to solid mechanics to emphasize that they are all the application of Newtonian mechanics and thermodynamics. All the informative and helpful illustrations are drawn by the author, uniting the science and the art with figures that complement the text and provide clear understanding.
A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions
This book develops a far-reaching generalization of Bohr-Mollerup's theorem to higher order convex functions, along lines initiated by Wolfgang Krull, Roger Webster, and some others but going considerably further than past work. In particular, this generalization shows using elementary techniques that a very rich spectrum of functions satisfy analogues of several classical properties of the gamma function, including Bohr-Mollerup's theorem itself, Euler's reflection formula, Gauss' multiplication theorem, Stirling's formula, and Weierstrass' canonical factorization.
Landscape Architecture as Storytelling : Learning Design Through Analogy
Introduces a comfortable approach to learning landscape architectural design free of design jargon and derived from their existing knowledge. A step-by-step process has readers consider their knowledge of language as metaphorically related to basic design and landscape design. Through information delivery and questioning processes, readers build on what they already know, their tacit understanding of language as applied to problem solving and storytelling. Everyone is a storyteller.
Biomimetics for architecture & design : Nature - analogies - technology
Provides the readers with a timely guide to the application of biomimetic principles in architecture and engineering design. As a result of a combined effort by two internationally recognized authorities, the biologist Werner Nachtigall and the architect Göran Pohl, the book describes the principles which can be used to compare nature and technology, and at the same time it presents detailed explanations and examples showing how biology can be used as a source of inspiration and “translated” in building and architectural solutions (biomimicry). Even though nature cannot be directly copied, the living world can provide architects and engineers with a wealth of analogues and inspirations for their own creative designs. But how can analysis of natural entities give rise to advanced and sustainable design? By reporting on the latest bionic design methods and using extensive artwork, the book guides readers through the field of nature-inspired architecture, offering an extraordinary resource for professional architects, engineers, designers and urban planners, as well as for university teachers, researchers and students.
Architectures of refusal
Reveals how designers, practitioners, scholars and architects are participating in dismantling the major canons of Western architecture. The work is both literal and figural: taking buildings apart and reconstituting them, and challenging mythologies that include drawing-as-analogue, building-as object, architect-as-hero and nature-as-other.
Architectural drawings as investigating devices : Architecture’s changing scope in the 20th century
Explores how the changing modes of representation in architecture and urbanism relate to the transformation of how the addressees of architecture and urbanism are conceived. Diagnoses the dominant epistemological debates in architecture and urbanism during the 20th and 21st centuries. It traces their transformations, paying special attention to Le Corbusier and Ludwig Mies van der Rohe’s preference for perspective representation, to the diagrams of Team 10 architects, to the critiques of functionalism, and the upgrade of the artefactual value of architectural drawings in Aldo Rossi, John Hejduk, Peter Eisenman, and Oswald Mathias Ungers, and, finally, to the reinvention of architectural programme through the event in Bernard Tschumi and the Office for Metropolitan Architecture (OMA). Particular emphasis is placed on the spirit of truth and clarity in modernist architecture, the relationship between the individual and the community in post-war era architecture, the decodification of design process as syntactic analogy and the paradigm of autonomy in the 1970s and 1980s architecture, the concern about the dynamic character of urban conditions and the potentialities hidden in architectural programme in the post-autonomy era.
Low-Power High-Speed ADCs for Nanometer CMOS Integration
Low-Power High-Speed ADCs for Nanometer CMOS Integration is about the design and implementation of ADC in nanometer CMOS processes that achieve lower power consumption for a given speed and resolution than previous designs, through architectural and circuit innovations that take advantage of unique features of nanometer CMOS processes. A phase lock loop (PLL) clock multiplier has also been designed using new circuit techniques and successfully tested.
Low-Frequency Noise in Advanced MOS Devices
Low-Frequency Noise in Advanced CMOS Devices begins with an introduction to noise, describing the fundamental noise sources and basic circuit analysis. The characterization of low-frequency noise is discussed in detail and useful practical advice is given. The various theoretical and compact low-frequency (1/f) noise models in MOS transistors are treated extensively providing an in-depth understanding of the low-frequency noise mechanisms and the potential sources of the noise in MOS transistors. Advanced CMOS technology including nanometer scaled devices, strained Si, SiGe, SOI, high-k gate dielectrics, multiple gates and metal gates are discussed from a low-frequency noise point of view. Some of the most recent publications and conference presentations are included in order to give the very latest view on the topics. The book ends with an introduction to noise in analog/RF circuits and describes how the low-frequency noise can affect these circuits.
Loop Spaces, Characteristic Classes and Geometric Quantization
This book deals with the differential geometry of manifolds, loop spaces, line bundles and groupoids, and the relations of this geometry to mathematical physics. Various developments in mathematical physics (e.g., in knot theory, gauge theory, and topological quantum field theory) have led mathematicians and physicists to search for new geometric structures on manifolds and to seek a synthesis of ideas from geometry, topology and category theory. In this spirit, this book develops the differential geometry associated to the topology and obstruction theory of certain fiber bundles (more precisely, associated to grebes). The theory is a 3-dimensional analog of the familiar Kostant--Weil theory of line bundles. In particular the curvature now becomes a 3-form.
Local Newforms for GSp(4)
Local Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local field. This theory considers vectors fixed by the paramodular groups, and singles out certain vectors that encode canonical information, such as L-factors and epsilon-factors, through their Hecke and Atkin-Lehner eigenvalues. While there are analogies to the GL(2) case, this theory is novel and unanticipated by the existing framework of conjectures. An appendix includes extensive tables about the results and the representation theory of GSp(4).
Linear Algebraic Monoids
The theory of linear algebraic monoids culminates in a coherent blend of algebraic groups, convex geometry, and semigroup theory. The book discusses all the key topics in detail, including classification, orbit structure, representations, universal constructions, and abstract analogues. An explicit cell decomposition is constructed for the wonderful compactification, as is a universal deformation for any semisimple group. A final chapter summarizes important connections with other areas of algebra and geometry. The book will serve as a solid basis for further research. Open problems are discussed as they arise and many useful exercises are included.
Lectures on the Automorphism Groups of Kobayashi-Hyperbolic Manifolds
Presents a coherent exposition of recent results on complete characterization of Kobayashi-hyperbolic manifolds with high-dimensional groups of holomorphic automorphisms. These classification results can be viewed as complex-geometric analogues of those known for Riemannian manifolds with high-dimensional isotropy groups, that were extensively studied in the 1950s-70s. The common feature of the Kobayashi-hyperbolic and Riemannian cases is the properness of the actions of the holomorphic automorphism group and the isometry group on respective manifolds.
Laplacian Eigenvectors of Graphs : Perron-Frobenius and Faber-Krahn Type Theorems
Eigenvectors of graph Laplacians have not, to date, been the subject of expository articles and thus they may seem a surprising topic for a book. The authors propose two motivations for this new LNM volume: (1) There are fascinating subtle differences between the properties of solutions of Schrödinger equations on manifolds on the one hand, and their discrete analogs on graphs. (2) "Geometric" properties of (cost) functions defined on the vertex sets of graphs are of practical interest for heuristic optimization algorithms. The observation that the cost functions of quite a few of the well-studied combinatorial optimization problems are eigenvectors of associated graph Laplacians has prompted the investigation of such eigenvectors.
K-Theory : An Introduction
From the Preface: K-theory was introduced by A. Grothendieck in his formulation of the Riemann- Roch theorem. For each projective algebraic variety, Grothendieck constructed a group from the category of coherent algebraic sheaves, and showed that it had many nice properties. Atiyah and Hirzebruch considered a topological analog defined for any compact space X, a group K{X) constructed from the category of vector bundles on X. It is this ''topological K-theory" that this book will study. Topological K-theory has become an important tool in topology. Using K- theory, Adams and Atiyah were able to give a simple proof that the only spheres which can be provided with H-space structures are S1, S3 and S7. Moreover, it is possible to derive a substantial part of stable homotopy theory from K-theory.
Communication Systems
Presents main concepts of mobile communication systems, both analog and digitalIntroduces concepts of probability, random variables and stochastic processes and their applications to the analysis of linear systemsIncludes five appendices covering Fourier series and transforms, GSM cellular systems and more
Calibration Techniques in Nyquist A/D Converters
It is shown that in order to achieve high speed and high accuracy at high power efficiency, calibration is required. Calibration reduces the overall power consumption by using the available digital processing capability to relax the demands on critical power hungry analog components. Several calibration techniques are analyzed. The calibration techniques presented in this book are applicable to other analog-to-digital systems, such as those applied in integrated receivers. Further refinements will allow using analog components with less accuracy, which will then be compensated by digital signal processing. The presented methods allow implementing this without introducing a speed or power penalty.
Broadband Opto-Electrical Receivers in Standard CMOS
Broadband Opto-Electrical Receivers in Standard CMOS starts from the basic fundamentals, necessary for the design of opto-electronic interface circuits. The book continues with an in-depth analysis of the photodiode, transimpedance amplifier (TIA) and limiting amplifier (LA). To thoroughly understand the light detection mechanisms in silicon, first a one-dimensional and second a two-dimensional model is developed. Analytical design equations are derived to guide the design of the amplifying circuits. For the TIA, the focus lies on the sensitivity-speed trade-off. For the LA, a high gain-bandwidth is pursued. Several practical design examples reveal the subtleties and challenges encountered during the design of high-performance analog circuits.
