Page 10
Page 10
High performance computing for computational science - VECPAR 2008 ; 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance Computing for Computational Science, VECPAR 2008, held in Toulouse, France, in June 2008.The 51 revised full papers presented together with the abstract of a surveying and look-ahead talk were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on parallel and distributed computing, cluster and grid computing, problem solving environment and data centric, numerical methods, linear algebra, computing in geosciences and biosciences, imaging and graphics.
High performance computing for computational science - VECPAR 2006 ; 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on High Performance Computing for Computational Science, VECPAR 2006, held in Rio de Janeiro, Brazil, in June 2006.
High Order Difference Methods for Time Dependent PDE
Many books have been written on ?nite difference methods (FDM), but there are good reasons to write still another one. The main reason is that even if higher order methods have been known for a long time, the analysis of stability, accuracy and effectiveness is missing to a large extent. For example, the de?nition of the formal high order accuracy is based on the assumption that the true solution is smooth, or expressed differently, that the grid is ?ne enough such that all variations in the solution are well resolved. In many applications, this assumption is not ful?lled, and then it is interesting to know if a high order method is still effective. Another problem that needs thorough analysis is the construction of boundary conditions such that both accuracy and stability is upheld. And ?nally, there has been quite a strongdevelopmentduringthe last years, inparticularwhenit comesto verygeneral and stable difference operators for application on initial–boundary value problems.
High Energy Polarized Proton Beams : A Modern View
This monograph begins with a review of the basic equations of spin motion in particle accelerators. It then reviews how polarized protons can be accelerated to several tens of GeV using as examples the preaccelerators of HERA, a 6.3 km long cyclic accelerator at DESY / Hamburg. Such techniques have already been used at the AGS of BNL / New York, to accelerate polarized protons to 25 GeV. But for acceleration to energies of several hundred GeV as in RHIC, TEVATRON, HERA, LHC, or a VLHC, new problems can occur which can lead to a significantly diminished beam polarization. For these high energies, it is necessary to look in more detail at the spin motion, and for that the invariant spin field has proved to be a useful tool. This is already widely used for the description of high-energy electron beams that become polarized by the emission of spin-flip synchrotron radiation. It is shown that this field gives rise to an adiabatic invariant of spin-orbit motion and that it defines the maximum time average polarization available to a particle physics experiment.
Hierarchical Matrices : A Means to Efficiently Solve Elliptic Boundary Value Problems
Hierarchical matrices are an efficient framework for large-scale fully populated matrices arising, e.g., from the finite element discretization of solution operators of elliptic boundary value problems. In addition to storing such matrices, approximations of the usual matrix operations can be computed with logarithmic-linear complexity, which can be exploited to setup approximate preconditioners in an efficient and convenient way. Besides the algorithmic aspects of hierarchical matrices, the main aim of this book is to present their theoretical background. The book contains the existing approximation theory for elliptic problems including partial differential operators with nonsmooth coefficients.
Hartree-Fock-Slater Method for Materials Science: The DV-X Alpha Method for Design and Characterization of Materials
Molecular-orbital calculations for materials design such as alloys, ceramics, and coordination compounds are now possible for experimentalists. Molecuar-orbital calculations for the interpretation of chemical effect of spectra are also possible for experimentalists. The most suitable molecular-orbital calculation method for these purpose is the DV-Xa method, which is robust in such a way that the calculation converges to a result even if the structure of the molecule or solid is impossible in the pressure and temperature ranges on earth. This book specially addresses the methods to design novel materials and to predict the spectrallline shape of unknown materials using the DV-Xa molecular-orbital method, but is also useful for those who want to calculate electronic structures of materials using any kind of method.
Harmonic Analysis and Rational Approximation : Their Rôles in Signals, Control and Dynamical Systems
This book - an outgrowth of a topical summer school - sets out to introduce non-specialists from physics and engineering to the basic mathematical concepts of approximation and Fourier theory. After a general introduction, Part II of this volume contains basic material on the complex and harmonic analysis underlying the further developments presented. Part III deals with the essentials of approximation theory while Part IV completes the foundations by a tour of probability theory. Part V reviews some major applications in signal and control theory. In Part VI mathematical aspects of dynamical systems theory are discussed. Part VII, finally, is devoted to a modern approach to two physics problems: turbulence and the control and noise analysis in gravitational waves measurements.
Guidelines for the use of advanced numerical analysis
It is an authoritative guide that explains in detail the potential restrictions and pitfalls and so help engineers undertake advanced numerical analysis. It discusses the major approximations involved in nonlinear numerical analysis and describes some of the more popular constituitive models currently available and explores their strengths and weaknesses.
Graph-theoretic concepts in computer science ; Vol. 3787 ; 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
that aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer Science. This book provides results for various classes of graphs, graph computations, graph algorithms, and graph-theoretical applications in various fields.
Graph-theoretic concepts in computer science ; 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers
This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2020, held in Leeds, UK, in June 2020. The workshop was held virtually due to the COVID-19 pandemic. The 32 full papers presented in this volume were carefully reviewed and selected from 94 submissions. They cover a wide range of areas, aiming to present emerging research results and to identify and explore directions of future research of concepts on graph theory and how they can be applied to various areas in computer science.
Geometry of Müntz Spaces and Related Questions
Starting point and motivation for this volume is the classical Muentz theorem which states that the space of all polynomials on the unit interval, whose exponents have too many gaps, is no longer dense in the space of all continuous functions. The resulting spaces of Muentz polynomials are largely unexplored as far as the Banach space geometry is concerned and deserve the attention that the authors arouse. They present the known theorems and prove new results concerning, for example, the isomorphic and isometric classification and the existence of bases in these spaces. Moreover they state many open problems. Although the viewpoint is that of the geometry of Banach spaces they only assume that the reader is familiar with basic functional analysis. In the first part of the book the Banach spaces notions are systematically introduced and are later on applied for Muentz spaces. They include the opening and inclination of subspaces, bases and bounded approximation properties and versions of universality.
Geometric Properties for Incomplete Data
Computer vision and image analysis require interdisciplinary collaboration between mathematics and engineering. This book addresses the area of high-accuracy measurements of length, curvature, motion parameters and other geometrical quantities from acquired image data. It is a common problem that these measurements are incomplete or noisy, such that considerable efforts are necessary to regularise the data, to fill in missing information, and to judge the accuracy and reliability of these results. This monograph brings together contributions from researchers in computer vision, engineering and mathematics who are working in this area.
Generalized Bounds for Convex Multistage Stochastic Programs
The auther was involved in several industry projects in the field of power management, on the occasion of which I was repeatedly c- fronted with complex decision problems under uncertainty. Although usually hard to solve, I quickly learned to appreciate the benefit of stochastic progr- ming models and developed a strong interest in their theoretical properties. Motivated both by practical questions and theoretical concerns, I became p- ticularly interested in the art of finding tight bounds on the optimal value of a given model. The present work attempts to make a contribution to this important branch of stochastic optimization theory. In particular, it aims at extending some classical bounding methods to broader problem classes of practical relevance.
Galerkin Finite Element Methods for Parabolic Problems
This book provides insight in the mathematics of Galerkin finite element method as applied to parabolic equations. The approach is based on first discretizing in the spatial variables by Galerkin's method, using piecewise polynomial trial functions, and then applying some single step or multistep time stepping method. The concern is stability and error analysis of approximate solutions in various norms, and under various regularity assumptions on the exact solution.
Gaithers Dictionary of Scientific Quotations
Finding words of wisdom about science is now easy with Gaither's Dictionary of Scientific Quotations. Organized thematically and indexed alphabetically by author, this work makes readily available an unprecedented collection of approximately 18,000 quotations related to a broad range of scientific topics, including astronomy, biology, chemistry, engineering, and physics. The thematic organization allows you to effortlessly find a pertinent quotation from a variety of sources and perspectives.
Fuzzy Implications
Fuzzy Implications (FIs) generalize the classical implication and play a similar important role in Fuzzy Logic (FL), both in FL_n and FL_w in the sense of Zadeh. Their importance in applications of FL, viz., Approximate Reasoning (AR), Decision Support Systems, Fuzzy Control (FC), etc., is hard to exaggerate. This treatise is perhaps the first attempt at dealing exclusively with this class of operations.
Fuzzy and Rough Techniques in Medical Diagnosis and Medication
This volume provides readers with selected fuzzy and rough tools used to medical tasks, especially diagnosing and medication. To build a link between theoretical, mathematical excerpts and practical medical applications, the contents is formed as a sequence of occurrences in which a patient appears to be diagnosed and cured. The fuzzy and rough elements are inserted in the book in the order required by the presentation of medical substance to maintain the logical unity of the book’s essence. In conformity with this pattern the essay presents in turn some necessary elements of fuzzy set theory, the classical fuzzy diagnostic model with extensions, the fuzzy diagnostic model with clinical examinations extended throughout time based on distance theory, methods of drug effectiveness measurements and algorithms selecting the optimal medicine. As the complement, the solution of an approximation problem is suggested to find a curve that surrounds two-dimensional clock-like point sets with the little approximation error.
Fundamentals of Structural Dynamics
Explains foundational concepts and principles surrounding the theory of vibrations and gives equations of motion for complex systems. The book presents classical vibration theory in a clear and systematic way, detailing original work on vehicle-bridge interactions and wind effects on bridges. Chapters give an overview of structural vibrations, including how to formulate equations of motion, vibration analysis of a single-degree-of-freedom system, a multi-degree-of-freedom system, and a continuous system, the approximate calculation of natural frequencies and modal shapes, and step-by-step integration methods. Each chapter includes extensive practical examples and problems.
Fundamentals of computation theory ; 15th International symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT 2005, held in L]beck, Germany in August 2005. The 46 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on circuits, automata, complexity, approximability, computational and structural complexity, graphs and complexity, computational game theory, visual cryptography and computational geometry, query complexity, distributed systems, automata and formal languages, semantics, approximation algorithms, average case complexity, algorithms, graph algorithms, and pattern matching.
Fun with algorithms ; 4th International conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held in Castiglioncello, Italy in June 2007.
