الصفحة 41
الصفحة 41
Theory of Quantum Transport in Metallic and Hybrid Nanostructures
A new science emerges at the intersection of modern physics, computer s- ence,andmaterialscience. Thestruggletofurtherminiaturizeisputtingna- technology to the verge of creating single-electron and/or single-spin devices that operate by moving a single electron (spin) and can serve as transistors, memory cells, and for logic gates. These devices take advantage of quantum physics that dominates nanometer size scales. The devices that utilize met- based hybrid nanostructures may possess signi?cant advantages over those exploiting purely semiconducting materials. First, the chemistry of metals is typically simpler than that of semiconductors. Second, the electric properties of metals are much less sensitive to the structural defects and impurities than those of semiconductors. Next, metallic devices allow better electric and th- mal contacts. Another important plus point is that in metals the electron de Broigle wavelength is smaller by many orders of magnitude as compared to that in semiconductor
Theory of Quantum Computation, Communication, and Cryptography ; 3rd Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are part of a larger interdisciplinary field that casts information science in a quantum mechanical
Theory of Probability and Random Processes
A one-year course in probability theory and the theory of random processes, taught at Princeton University to undergraduate and graduate students, forms the core of the content of this bookIt is structured in two parts: the first part providing a detailed discussion of Lebesgue integration, Markov chains, random walks, laws of large numbers, limit theorems, and their relation to Renormalization Group theory. The second part includes the theory of stationary random processes, martingales, generalized random processes, Brownian motion, stochastic integrals, and stochastic differential equations. One section is devoted to the theory of Gibbs random fields.
Theory of Periodic Conjugate Heat Transfer
A new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical intensity oscillations in fluid flow. It is demonstrated that the true steady-state mean value of the heat transfer coefficient has to be multiplied by a newly defined coupling factor. This correction factor is always smaller than one and depends on the coupling parameters Biot number, Fourier number as well as dimensionless geometry and oscillation parameters. For characteristic periodic heat transfer problems, analytical solutions are given for the coupling factor. To facilitate engineering application, the monograph also presents the analytical results in accompanying tables and diagrams.
Theory of Light Hydrogenic Bound States
Describes the modern theory of light hydrogen-like systems, and the discussion is based on quantum electrodynamics. In particular, Green's functions, relativistic bound-state equations and Feynman diagrams are extensively used. New theoretical approaches are described and explained.
Theory of Legal Principles
Intends to help understand and apply principles and rules better. Its target is to keep the distinction between principles and rules whereas structuring it on different foundations than those jurisprudence ordinarily employs.
Theory of Evolutionary Computation : Recent Developments in Discrete Optimization
Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search heuristics. It starts with two chapters on mathematical methods that are often used in the analysis of randomized search heuristics, followed by three chapters on how to measure the complexity of a search heuristic: black-box complexity, a counterpart of classical complexity theory in black-box optimization; parameterized complexity, aimed at a more fine-grained view of the difficulty of problems; and the fixed-budget perspective, which answers the question of how good a solution will be after investing a certain computational budget. The book then describes theoretical results on three important questions in evolutionary computation: how to profit from changing the parameters during the run of an algorithm; how evolutionary algorithms cope with dynamically changing or stochastic environments; and how population diversity influences performance. Finally, the book looks at three algorithm classes that have only recently become the focus of theoretical work: estimation-of-distribution algorithms; artificial immune systems; and genetic programming.
Theory of Defects in Semiconductors
Semiconductor science and technology is the art of defect engineering. The theoretical modeling of defects has improved dramatically over the past decade. These tools are now applied to a wide range of materials issues: quantum dots, buckyballs, spintronics, interfaces, amorphous systems, and many others. This volume presents a coherent and detailed description of the field.
Theory of Cryptography ; 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions. Amongst others they cover the following topics: study of known paradigms, approaches, and techniques, directed towards their better understanding and utilization; discovery of new paradigms, approaches and techniques that overcome limitations of the existing ones, formulation and treatment of new cryptographic problems; study of notions of security and relations among them; modeling and analysis of cryptographic algorithms; and study of the complexity assumptions used in cryptography.
Theory of Cryptography ; 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part I
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions. Amongst others they cover the following topics: study of known paradigms, approaches, and techniques, directed towards their better understanding and utilization; discovery of new paradigms, approaches and techniques that overcome limitations of the existing ones, formulation and treatment of new cryptographic problems; study of notions of security and relations among them; modeling and analysis of cryptographic algorithms; and study of the complexity assumptions used in cryptography.
Theory of Copper Oxide Superconductors
This is an advanced textbook for graduate students and researchers wishing to learn about high temperature superconductivity in copper oxides, in particular the Kamimura-Suwa (K-S) model. Because a number of models have been proposed since the discovery of high temperature superconductivity by Bednorz and Müller in 1986, the book first explains briefly the historical development that led to the K-S model. It then focuses on the physical background necessary to understand the K-S model and on the basic principles behind various physical phenomena such as electronic structures, electrical, thermal and optical properties, and the mechanism of high temperature superconductivity.
Theory of Concrete-Filled Steel Tubular Structures
This textbook focuses on concrete-filled steel tubular structures formed by placing concrete inside the steel tube. The content addresses some key technical issues of concrete-filled steel tubular members, such as the mechanical properties of steel and core concrete, the shrinkage and creep of core concrete, the bonding behavior between steel tube and core concrete, the limiting values for the initial stress of steel tube caused by construction load and the void of core concrete, the protective design of concrete-filled steel tubular members under chloride corrosive environment and impact loading, etc. This textbook also discusses the technology and design principles of concrete-filled steel tubular hybrid structures.
Theory of Concentrated Vortices : An Introduction
This book presents comprehensive and authoritative coverage of the wide field of concentrated vortices observed in nature and technique. The methods for research of their kinematics and dynamics are considered. Special attention is paid to the flows with helical symmetry. The authors have described models of vortex structures used for interpretation of experimental data which serve as a ground for development of theoretical and numerical approaches to vortex investigation. Achievements in the fields of stability analysis, waves on vortices and vortex breakdown are also presented.
Theory of Computation
Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of computing, as well as providing an introduction to some more advanced contemporary topics. This innovative text focuses primarily, although by no means exclusively, on computational complexity theory: the classification of computational problems in terms of their inherent complexity. It incorporates rigorous treatment of computational models, such as deterministic, nondeterministic, and alternating Turing machines; circuits; probabilistic machines; interactive proof systems; automata on infinite objects; and logical formalisms.
Theory of Chemical Reaction Dynamics
The book represents a snapshot of the current status of research in reaction dynamics, focusing especially on accurate time-dependent and time-independent methods of quantum scattering, treatment of non-adiabatic processes, studies of associative and inelastic collisions, calculation of potential surfaces.the experiments now offer detailed scattering information for theory to explain and rationalize. At the same time, advances in computing and networking technologies for heterogeneous and grid environments afford new possibilities for theoretical studies of chemical reactivity. As a consequence, calculation of atom+diatom reactions has become routine, accurate methods have been developed to describe reactions in tetra-atomic systems, nonadiabatic reactions are being studied in simultaneous experimental and theoretical efforts, and statistical theories of unimolecular reaction dynamics are applied to systems that were a mystery a few years ago.
Theory of Bridge Aerodynamics
This text book is intended for studies in structural dynamics or wind engineering, with special focus on the stochastic theory of wind induced dynamic response calculations for slender bridges or other line- like civil engineering type of structures.
Theory of Association Schemes
Presents treatment of the structure theory of association schemes. This book presents generalization of Sylow's group theoretic theorems to scheme theory and also the algebraic proof of Tits' theorem on buildings of spherical type. It also includes characterization of Glauberman's, Z-involutions and is aimed at advanced undergraduate students
Theory and Simulation of Hard-Sphere Fluids and Related Systems
Hard spheres and related objects (hard disks and mixtures of hard systems) are paradigmatic systems: indeed, they have served as a basis for the theoretical and numerical development of a number of fields, such as general liquids and fluids, amorphous solids, liquid crystals, colloids and granular matter, to name but a few. The present volume introduces and reviews some important basics and progress in the study of such systems. Their structure, thermodynamic properties, equations of state, as well as kinetic and transport properties are considered from different and complementary points of view.
Theory and Mathematical Methods for Bioformatics
This monograph addresses, in a systematic and pedagogical manner, the mathematical methods and the algorithms required to deal with the molecularly based problems of bioinformatics. The book will be useful to students, research scientists and practitioners of bioinformatics and related fields, especially those who are interested in the underlying mathematical methods and theory. Among the methods presented in the book, prominent attention is given to pair-wise and multiple sequence alignment algorithms, stochastic models of mutations, modulus structure theory and protein configuration analysis. Strong links to the molecular structures of proteins, DNA and other biomolecules and their analyses are developed. In particular, for proteins an in-depth exposition of secondary structure prediction methods should be a valuable tool in both molecular biology and in applications to rational drug design. The book can also be used as a textbook and for this reason most of the chapters include exercises and problems at the level of a graduate program in bioinformatics.
Theory and Applications of Satisfiability Testing ; Vol. 3569 ; 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the first problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satisfiability testing has proved to extremely useful in a wide range of different disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most effective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools.
