الصفحة 6
الصفحة 6
Mathematical Analysis I
The purpose of the volume is to provide a support for a first course in Mathematical Analysis, along the lines of the recent Programme Specifications for mathematical teaching in European universities. The contents are organised to appeal especially to Engineering, Physics and Computer Science students, all areas in which mathematical tools play a crucial role. Basic notions and methods of differential and integral calculus for functions of one real variable are presented in a manner that elicits critical reading and prompts a hands-on approach to concrete applications. The layout has a specifically-designed modular nature, allowing the instructor to make flexible didactical choices when planning an introductory lecture course. The book may in fact be employed at three levels of depth. At the elementary level the student is supposed to grasp the very essential ideas and familiarise with the corresponding key techniques.
Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
At the system level, a novel systematic study on the full feedforward Sigma-Delta topology is presented in this book. As a design example, a fourth-order single-loop full feedforward Sigma-Delta modulator design in a 130-nm pure digital CMOS technology is presented. This design is the first design using the full feedforward Sigma-Delta topology and reaches the highest conversion speed among all the 1-V Sigma-Delta modulators to date.
Low Power Uwb Cmos Radar Sensors
Low Power UWB CMOS Radar Sensors deals with the problem of designing low cost CMOS radar sensors. The radar sensor uses UWB signals in order to obtain a reasonable target separation capability, while maintaining a maximum signal frequency below 2 GHz. This maximum frequency value is well within the reach of current CMOS technologies. The use of UWB signals means that most of the methodologies used in the design of circuits and systems that process narrow band signals, can no longer be applied. Low Power UWB CMOS Radar Sensors provides an analysis between the interaction of UWB signals, the antennas and the processing circuits.
Logic Based Program Synthesis and Transformation ; Vol. 3901 ; 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.
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).
LNA-ESD Co-Design for Fully Integrated CMOS Wireless Receivers
LNA-ESD Co-Design for Fully Integrated CMOS Wireless Receivers fits in the quest for complete CMOS integration of wireless receiver front-ends. With a combined discussion of both RF and ESD performance, it tackles one of the final obstacles on the road to CMOS integration.
Liver Immunology : Principles and Practice
parasitic and viral infections of the liver, autoimmune liver disease, alcoholic and nonalcoholic fatty liver diseases, and transplantation in an easy-to-read and thorough format. Authors also address the key issues that have arisen in this field in recent years, including physiological roles of hepatocytes, sinusoidal lining cells, activated macrophages (Kupffer cells), cholangiocytes and stellate cells, and their modulation of T cells, natural killer (NK) cells and NKT cells.
Lipids in Health and Disease
Lipids are functionally versatile molecules. They have evolved from relatively simple hydrocarbons that serve as depot storages of metabolites and barriers to the permeation of solutes into complex compounds that perform a variety of signalling functions in higher organisms. This volume is devoted to the polar lipids and their constituents. We have omitted the neutral lipids like fats and oils because their function is generally to act as deposits of metabolizable substrates. The sterols are also outside the scope of the present volume and the reader is referred to volume 28 of this series which is the subject of cholesterol. The polar lipids are comprised of fatty acids attached to either glycerol or sphingosine. The fatty acids themselves constitute an important reservoir of substrates for conversion into families of signalling and modulating molecules including the eicosanoids amongst which are the prostaglandins, thromboxanes and leucotrienes. The way fatty acid metabolism is regulated in the liver and how fatty acids are desaturated are subjects considered in the first part of this volume. This section also deals with the modulation of protein function and inflammation by unsaturated fatty acids and their derivatives. New insights into the role of fatty acid synthesis and eicosenoid function in tumour progression and metastasis are presented.
Leveraging applications of formal methods, verification and validation : Verification Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume : Part I, Verification Principles : Modularity and (De-)Composition in Verification ; X-by-Construction: Correctness meets Probability ; 30 Years of Statistical Model Checking ; Verification and Validation of Concurrent and Distributed Systems.
Lateral Alignment of Epitaxial Quantum Dots
Accurate positioning of self-organized nanostructures on a substrate surface can be regarded as the Achilles’ heel of nanotechnology. This perception also applies to self-assembled semiconductor quantum dots. This book describes the full range of possible strategies to laterally align self-assembled quantum dots on a substrate surface, starting from pure self-ordering mechanisms and culminating with forced alignment by lithographic positioning. The text addresses both short- and long-range ordering phenomena and paves the way for the future high integration of single quantum dot devices on a single chip. Contributions by the best-known experts in this field ensure that all relevant quantum-dot heterostructures are elucidated from diverse relevant perspectives.
La mente medica : Che significa "umanizzazione" della medicina? = The Medical Mind : What does "humanization" of medicine mean?
Il presente testo intende chiarire misconoscimenti e riduzionismi che paralizzano il pur auspicato mutamento della medicina e le sue articolazioni in differenti professionalità. La Psicologia Clinica si pone come chiave per leggere la mentalità collettiva che sottende l’attuale cultura sanitaria medicalizzante, che si scontra con le esigenze della persona umana, negando, oltretutto, quanto la psicosomatica oggi ci dice circa la costante modulazione psichica di tutti i processi organici, nella salute così come in tutte le malattie. L’umanizzazione della medicina non è un surplus eticamente giusto per il malato: è un indispensabile agente terapeutico. La sua mancanza è iatrogena.
Java 17 Recipes : A Problem-Solution Approach
Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes presented in the popular problem-solution format. Look up the programming problem that you want to resolve. Read the solution. Apply the solution directly in your own code. Problem solved! covers of some of the newest features, APIs, and more such as pattern matching for switch, Restore Always-Strict-Floating-Point-Semantics, enhanced pseudo-random number generators, the vector API, sealed classes, and enhancements in the use of String. Source code for all recipes is available in a dedicated GitHub repository. This must-have reference belongs in your library. You will learn : Look up solutions to everyday problems involving Java SE 17 LTS and other recent releases / Develop Java SE applications using the latest in Java SE technology / Incorporate Java major features introduced in versions 17, 16, and 15 into your code
IUTAM symposium on computational approaches to multiphase flow ; Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4-7, 2004
The book provides a broad overview of the full spectrum of state-of-the-art computational activities in multiphase flow as presented by top practitioners in the field. It starts with well-established approaches and builds up to newer methods. These methods are illustrated with applications to a broad spectrum of problems involving particle dispersion and deposition, turbulence modulation, environmental flows, fluidized beds, bubbly flows, and many others.
Composites for building assembly : connections, members and structures
Pesents buildings developed using modular assembly approaches based on lightweight and corrosion-resistant fiber reinforced polymer (FRP) composites. Construction methods and the choice of building materials offer great opportunities for more productive and environmentally friendly solutions. This book includes valuable experimental data on large-scale structural components (beams, slabs, amd columns), connections (shear connections, wall stud connections, beam-column connections, column-column connections) and structures (composite floor system, structural sandwich assemblies, and full-scale structural demonstrations), supported with detailed numerical modelling and analytical methods.
Composite Systems Decisions
Composite decisions consist of interconnected parts or subdecisions and correspond to a composite (composable, modular, decomposable) system. Composite Systems Decisions describes an educational approach that is based on systems engineering and considered modular design of composite decisions. Divided into four parts, this book contains descriptions of basic systems approaches and examines basic ‘technological’ problems for composite systems, including: modular hierarchical design; multistage design; multistage planning; redesign/improvement/adaptation; evaluation; and, combinatorial evolution/development.
Complex Orthogonal Space-Time Processing in Wireless Communications
Complex Orthogonal Space-Time Processing in Wireless Communications incorporates orthogonal space-time processing using STBCs in MIMO wireless communication systems. Complex Orthogonal STBCs (CO STBCs) are given emphasis because they can be used for PSK/QAM modulation schemes and are more practical than real STBCs. The overall coverage provides general knowledge about space-time processing and its applications for broad audiences. It also includes the most up-to-date review of the literature on space-time processing in general, and space-time block processing in particular.
Complex analysis
The guiding principle of this presentation of ``Classical Complex Analysis'' is to proceed as quickly as possible to the central results while using a small number of notions and concepts from other fields. Thus the prerequisites for understanding this book are minimal; only elementary facts of calculus and algebra are required.
Compactifying Moduli Spaces for Abelian Varieties
This volume presents the construction of canonical modular compactifications of moduli spaces for polarized Abelian varieties (possibly with level structure), building on the earlier work of Alexeev, Nakamura, and Namikawa. This provides a different approach to compactifying these spaces than the more classical approach using toroical embeddings, which are not canonical. There are two main new contributions in this monograph: (1) The introduction of logarithmic geometry as understood by Fontaine, Illusie, and Kato to the study of degenerating Abelian varieties; and (2) the construction of canonical compactifications for moduli spaces with higher degree polarizations based on stack-theoretic techniques and a study of the theta group.
Compactifications of Symmetric and Locally Symmetric Spaces
Noncompact symmetric and locally symmetric spaces naturally appear in many mathematical theories, including analysis (representation theory, nonabelian harmonic analysis), number theory (automorphic forms), algebraic geometry (modulae) and algebraic topology (cohomology of discrete groups). In most applications it is necessary to form an appropriate compactification of the space. The literature dealing with such compactifications is vast. The main purpose of this book is to introduce uniform constructions of most of the known compactifications with emphasis on their geometric and topological structures. The book is divided into three parts. Part I studies compactifications of Riemannian symmetric spaces and their arithmetic quotients. Part II is a study of compact smooth manifolds. Part III studies the compactification of locally symmetric spaces.
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
