الصفحة 1
الصفحة 1
Wrong for the Right Reasons
The rapidity with which knowledge changes makes much of past science obsolete, and often just wrong, from the present's point of view. We no longer think, for example, that heat is a material substance transferred from hot to cold bodies. But is wrong science always or even usually bad science? The essays in this volume argue by example that much of the past's rejected science, wrong in retrospect though it may be - and sometimes markedly so - was nevertheless sound and exemplary of enduring standards that transcend the particularities of culture and locale.
Wire Ropes : Tension, Endurance, Reliability
The main concern of this book is to present the methods used to calculate the most important rope quantities as well as to explain how they are applied by means of a large number of calculations as examples. The book, based on the most important chapters of the German book DRAHTSEILE, has been kept up to date and the recent developments have been taken into account. The first section of the book deals with the different types of wire rope and their component parts. The second section looks into the effects of wire ropes under tensile forces (stationary ropes). The third section takes a look at the wire ropes under bending and tensile force (running ropes).
Wavelets and Signal Processing : An Application-Based Introduction
As the applications of wavelet transform have spread to diverse areas of signal analysis and compression, students and practitioners need a practical introduction and overview. This textbook provides that concise and practical introduction to the underlying foundations and important applications. Through numerous examples and case studies from industry, it demonstrates both the potential and the limits of wavelet techniques, expanding the usual treatment beyond the discrete wavelet transform to the continuous transform. Providing the basics of Fourier transforms and digital filters in the appendix, the text is supplemented with end-of-chapter exercises, MATLAB code, and a short introduction to the MATLAB wavelet toolbox. Students of electrical engineering and engineers in industry can benefit from the concentration on real applications
WALCOM: Algorithms and Computation ; 2nd International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings and graph algorithms, parallel and distributed algorithms, string algorithms, computational geometry, graphs in bioinformatics and computational biology. The book is organized in topical sections on bioinformatics algorithms, computational geometry and graph drawing, graph algorithms, and algorithm engineering.
VLSI-Design of Non-Volatile Memories
VLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the integrated circuit design world. Non-volatile memories are treated as an example to explain general design concepts. Practical illustrative examples of non-volatile memories, including flash types, are showcased to give insightful examples of the discussed design approaches. A collection of photos is included to make the reader familiar with silicon aspects. Throughout all parts of this book, the authors have taken a practical and applications-driven point of view, providing a comprehensive and easily understood approach to all the concepts discussed.
Visualization, Explanation and Reasoning Styles in Mathematics
Contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers of mathematics have recently called for an approach to philosophy of mathematics that pays more attention to mathematical practice. Questions concerning concept-formation, understanding, heuristics, changes in style of reasoning, the role of analogies and diagrams etc.
Visual Information Systems : Web-Based Visual Information Search and Management ; 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings
This book covered are information and data visualization; advances techniques for visual information management; mobile visual information systems; image and video indexing and retrieval; applications of visual information systems; and industrial experiences.
Verification, Model Checking, and Abstract Interpretation ; Vol. 3855 ; 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, and Abstract Interpretation,held January 8-10, 2006, at Charleston, South Carolina, USA.VMCAI provides a forum for researchers from the communities of verifica-tion, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.The program was selected from 58 submitted papers.
Vector Analysis for Computer Graphics
Vector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context of computer graphics. The author shows why vectors are useful and how it is possible to develop analytical skills in manipulating the vector algebra. Each topic covered is placed in the context of a practical application within computer graphics. The book is divided into eleven chapters covering the mathematical foundations of vector algebra and its application to lines, planes, intersections, rotating vectors, vector differentiation, projections, rendering and motion.
Variational Methods : Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems
Gives a concise introduction to variational methods and presents an overview of areas of current research in the calculus of variations. The fourth edition gives a survey on new developments in the field. In particular it includes the proof for the convergence of the Yamabe flow and a detailed treatment of the phenomenon of blow-up. Also the recently discovered results for backward bubbling in the heat flow for harmonic maps or surfaces are discussed. Aside from these more significant additions, a number of smaller changes throughout the text have been made and the references have been updated.
Variational Analysis and Generalized Differentiation I : Basic Theory
This monograph in two volumes contains a comprehensive and state-of-the art study of the basic concepts and principles of variational analysis and generalized differentiation in both finite-dimensional and infinite dimensional spaces and presents numerous applications to problems in the optimization, equilibria, stability and sensitivity, control theory, economics, mechanics, etc.
Variational Analysis and Applications
This book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, optimization, and variational inequalities. To such classic branches of mathematics, variational analysis provides a uniform theoretical base that represents a powerful tool for the applications.
Variation et optimisation de formes : Une analyse géométrique = Variation and optimization of shapes : A geometric analysis
An introduction to modern approaches to the mathematical optimization of shapes. It is based solely on first-year Master's level mathematics knowledge, but already allows readers to address open questions in this rapidly evolving field. It develops the methodology as well as the mathematical analysis and geometric tools necessary for studying domain variations. It includes a systematic study of geometric questions associated with the Laplace operator, classical capacity, and differentiation with respect to a shape, as well as a FAQ on common topologies of domains and on the geometric properties of optimal shapes, including what happens when they do not exist, all accompanied by a substantial bibliography.
Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique
This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological properties of complete Riemannian manifolds. It analyzes in detail an extension of the Bochner technique to the non compact setting, yielding conditions which ensure that solutions of geometrically significant differential equations either are trivial (vanishing results) or give rise to finite dimensional vector spaces (finiteness results). The book develops a range of methods from spectral theory and qualitative properties of solutions of PDEs to comparison theorems in Riemannian geometry and potential theory.
Uncertainty Assessment of Large Finite Element Systems
The treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural mechanics. It is only in recent years that the developments in stochastic and deterministic computational mechanics began to be synchronized. In this monograph novel computational procedures for the uncertainty assessment of large finite element systems are presented. The procedures are applicable to well known problems in computational stochastic mechanics, such as the stability analysis of systems with random imperfections and the dynamic analysis of deterministic systems under stochastic loading. For the dynamic analysis of deterministic systems under stochastic loading, an efficient procedure based on the Karhunen-Loève representation of the response is presented. The capabilities of the developed procedures are demonstrated with several numerical examples.
Ultimate Limit-State Design of Concrete Structures : A new approach
Structural concrete members often show great deviation in structural performance from that predicted by the current code of practice. In certain cases the predications considerably underestimate the capabilities of a structure or member, while in others the predictions are unsafe as they overestimate the member's ability to perform in a prescribed manner. Clearly, a rational and unified design methodology is still lacking for structural concrete. This book presents a simplified methodology based on calculations which are quick, easily programmable and no more complex than those required by the current codes.
Types for Proofs and Programs ; International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
Typed Lambda Calculi and Applications ; 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. The 25 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 52 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.
Typed Lambda Calculi and Applications ; 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
Constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in April 2005.The 27 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 61 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts.
Two Algebraic Byways from Differential Equations : Gröbner Bases and Quivers
Presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: formal calculus (through the theory of Gröbner bases) and geometry (via quiver theory). Gröbner bases serve as effective models for computation in algebras of various types.Divided into two parts, the book first discusses the theory of Gröbner bases in their commutative and noncommutative contexts, with a focus on algorithmic aspects and applications of Gröbner bases to analysis on systems of partial differential equations, effective analysis on rings of differential operators, and homological algebra. It then introduces representations of quivers, quiver varieties and their applications to the moduli spaces of meromorphic connections on the complex projective line.
