Thermal Transport for Applications in Micro/Nanomachining
The focus of this monograph is on thermal transport modeling at time and length scales ranging from micro- to nanoscale levels. It is intended to serve as a handy reference for students and researchers who work on numerical and theoretical aspects of thermal transport phenomena at micro- and nanoscales.
Thermal behaviour, energy efficiency in buildings and sustainable construction
This Special Issue includes 20 contributions from across the world with very interesting and current research topics, such as insulation solutions and CO2 emissions; thermal transmittance of LSF walls; statistics for China's building energy consumption; natural ventilation; thermal behavior of an earthbag building; thermal performance and comfort in a vernacular building; overheating risk under future extreme weather conditions.
Theory of Thermomechanical Processes in Welding
This book presents a modern viewpoint of welding thermomechanics and provides a unified and systematic continuum approach for engineers and applied physicists working on the modelling of welding processes. The theory presented includes developments in the areas of welding thermodynamics, thermoplasticity and numerical methods. The book describes the calculation of thermal stresses in welding structures, the theory of heat conduction in welding, and the basic equations of thermoplasticity, then applies the concepts to solutions of thermoplasticity problems and to thermal stresses in arc welding, laser welding, spot welding, electroslag welding and friction welding.
Theory of Function Spaces III
Deals with the recent theory of function spaces as it stands now. Special attention is paid to some developments in the last 10–15 years which are closely related to the nowadays numerous applications of the theory of function spaces to some neighbouring areas such as numerics, signal processing and fractal analysis.
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 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 Design of CNC Systems
Theory and Design of CNC Systems covers the elements of control, the design of control systems, and modern open-architecture control systems. Topics covered include Numerical Control Kernel (NCK) design of CNC, Programmable Logic Control (PLC), and the Man-Machine Interface (MMI), as well as the major modules for the development of conversational programming methods. The concepts and primary elements of STEP-NC are also introduced.
Theory and Approach of Information Retrievals from Electromagnetic Scattering and Remote Sensing
This book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote sensing via EM scattering and emission.
Theory and Applications of Satisfiability Testing - SAT 2008 ; 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results.
Théorie élémentaire et pratique de la commande par les régimes glissants = Elementary theory and practice of sliding regime control
This work proposes to apply the Sliding Regimes (RG) algorithms to industrial regulation and servo loops controlled to date by traditional PIDs (analog or digital) and their variants (RST, etc.). The real system to be controlled can be very diverse in nature, have parts that are poorly or not modeled, be subject to disturbances. These robust numerical algorithms XVS (X: Classic or Generalized; VS: structure variable) generate a command having a discontinuous component and give an evolution of the operating point of the looped system on (or around) the sliding surface (the dynamics of the system loop then becomes the dynamic defined by the surface equation). For each ordering methodology, in order to facilitate its application, we have chosen the context of initial training and continuing training: elementary theory, diagram - block, summary table, temporal diagrams, differential equations, Laplace formalism, numerical simulation , control by computer.
Theoretical numerical analysis : A functional analysis framework
This textbook prepares graduate students for research in numerical analysis/computational mathematics by giving to them a mathematical framework embedded in functional analysis and focused on numerical analysis. This helps the student to move rapidly into a research program. The text covers basic results of functional analysis, approximation theory, Fourier analysis and wavelets, iteration methods for nonlinear equations, finite difference methods, Sobolev spaces and weak formulations of boundary value problems, finite element methods, elliptic variational inequalities and their numerical solution, numerical methods for solving integral equations of the second kind, and boundary integral equations for planar regions.
Theoretical Femtosecond Physics : Atoms and Molecules in Strong Laser Fields
Theoretical femtosecond physics is a new field of research. Theoretical investigations of atoms and molecules interacting with pulsed or continuous wave lasers of up to atomic field strengths are leading to an understanding of many challenging experimental discoveries. Laser-matter interaction is treated on a nonperturbative level in the book using approximate and numerical solutions of the time-dependent Schrödinger equation. The light field is treated classically. Physical phenomena, ranging from ionization of atoms to the ionization and dissociation of molecules and the control of chemical reactions are presented and discussed. Theoretical background for experiments with strong and short laser pulses is given. Several exercises are included in the main text. Some detailed calculations are performed in the appendices.
Theoretical computer science and discrete mathematics
Includes 15 articles published in the Special Issue "Theoretical Computer Science and Discrete Mathematics" of Symmetry (ISSN 2073-8994). This Special Issue is devoted to original and significant contributions to theoretical computer science and discrete mathematics. The aim was to bring together research papers linking different areas of discrete mathematics and theoretical computer science, as well as applications of discrete mathematics to other areas of science and technology. The Special Issue covers topics in discrete mathematics including (but not limited to) graph theory, cryptography, numerical semigroups, discrete optimization, algorithms, and complexity.
Theoretical and Numerical Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated Soils." The primary objective is to discuss and understand unsaturated soil behaviour such that engineered activities are made better with times in terms of judgement and quality. We all realise by now that in addition to the knowledge on the classical concepts, it becomes an enormous challenging task to adapt convincing new concepts and present them in such a way that it could be used in engineering practices.
The Variational Approach to Fracture
This approach views crack growth as the result of a competition between bulk and surface energy, treating crack evolution from its initiation all the way to the failure of a sample. The authors model crack initiation, crack path, and crack extension for arbitrary geometries and loads.
The Schur Complement and Its Applications
The Schur complement plays an important role in matrix analysis, statistics, numerical analysis, and many other areas of mathematics and its applications. This book describes the Schur complement as a rich and basic tool in mathematical research and applications and discusses many significant results that illustrate its power and fertility.
The Method of Approximate Inverse : Theory and Applications
Inverse problems arise whenever one tries to calculate a required quantity from given measurements of a second quantity that is associated to the first one. Besides medical imaging and non-destructive testing, inverse problems also play an increasing role in other disciplines such as industrial and financial mathematics. Hence, there is a need for stable and efficient solvers. The book is concerned with the method of approximate inverse which is a regularization technique for stably solving inverse problems in various settings such as L2-spaces, Hilbert spaces or spaces of distributions.
The Mathematical Theory of Finite Element Methods
This book develops the basic mathematical theory of the finite element method, the most widely used technique for engineering design and analysis. The third edition contains four new sections: the BDDC domain decomposition preconditioner, convergence analysis of an adaptive algorithm, interior penalty methods and Poincara'e-Friedrichs inequalities for piecewise W^1_p functions. New exercises have also been added throughout.
The Mathematica GuideBook for Numerics
Mathematica is today's most advanced technical computing system, featuring a rich programming environment, two-and three-dimensional graphics capabilities and hundreds of sophisticated, powerful programming and mathematical functions using state-of-the-art algorithms. Combined with a user-friendly interface and a complete mathematical typesetting system, Mathematica offers an intuitive, easy-to-handle environment of great power and utility.The available types of arithmetic (machine, high-precision, and interval) are introduced, discussed, and put to use. Fundamental numerical operations, such as compiling programs, fast Fourier transforms, minimization, numerical solution of equations, ordinary/partial differential equations are analyzed in detail and are applied to a large number of examples in the main text and solutions to the exercises.
The J-matrix Method : Developments and Selected Applications
Aims to provide the fundamental knowledge to appreciate the advantages of the J-matrix method and to encourage its use and further development. The J-matrix method is an algebraic method of quantum scattering with substantial success in atomic and nuclear physics. The accuracy and convergence property of the method compares favourably with other successful scattering calculation methods. Despite its thirty-year long history new applications are being found for the J-matrix method. This book gives a brief account of the recent developments and some selected applications of the method in atomic and nuclear physics.



















