الصفحة 18
الصفحة 18
Distributed computing ; Vol. 4167 ; 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings
DISC, the International Symposium on DIStributed Computing, is an annual forum for presentation of research on all facets of distributed computing, inc- ding the theory, design, analysis, implementation, and application of distributed systems and networks. The 20th anniversary edition of DISC was held on S- tember 18-20, 2006, in Stockholm, Sweden. There were 145 extended abstracts submitted to DISC this year, and this - lume contains the 35 contributions selected by the Program Committee and one invited paper among these 145 submissions.
Discrete Spectral Synthesis and Its Applications
In order to study discrete Abelian groups with wide range applications, the use of classical functional equations, difference and differential equations, polynomial ideals, digital filtering and polynomial hypergroups is required. This book covers several different problems in this field and is unique in being the only comprehensive coverage of this topic.
Discrete Geometry for Computer Imagery Vol. 4245 ; 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Discrete Geometry for Computer Imagery, DGCI 2006, held in Szeged, Hungary in October 2006. The 28 revised full papers and 27 revised poster papers presented together with two invited papers were carefully reviewed and selected from 99 submissions.
Discrete Element Analysis Methods of Generic Differential Quadratures
This book presents numerical differential quadrature (DQ) - based methods recently developed by the author. Their ability for solving generic scientific and engineering problems is demonstrated. These methods are the generic differential quadrature, the extended differential quadrature and the related discrete element analysis methods. These novel numerical techniques are both efficient and reliable. They are suitable for developing solution algorithms for various computational mechanics problems with arbitrarily complex geometry. This is shown for several comprehensive examples such as bars and beams, trusses, frames, general field problems, elasticity problems or bending of plates.
Discovering Mathematics with Magma : Reducing the Abstract to the Concrete
This volume celebrates the first decade of the Computer Algebra system Magma. With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstract parts of mathematics. The book range over much of Magma's coverage of algorithmic algebra: from number theory and algebraic geometry, via representation theory and group theory to some branches of discrete mathematics and graph theory. A basic introduction to the Magma language is given in an appendix. The book is simultaneously an invitation to learn a new programming language in the context of contemporary research problems, and an exposition of the types of problem that can be investigated using computational algebra.
Direct Methods in the Calculus of Variations
Studies vectorial problems in the calculus of variations and quasiconvex analysis. It is a new edition of the earlier book published in 1989 and has been updated with some new material and examples added. This monograph will appeal to researchers and graduate students in mathematics and engineering.
Diplomacy Games : Formal Models and International Negotiations
In this book, leading experts in international negotiations present formal models of conflict resolution and international negotiations. Besides the description of different models and approaches, the book answers three questions: How can the abstract concepts and results of rational choice theorists be made more understandable and plausible to political and social scientists not trained to work with formal models? What can be done to encourage practitioners to use not only simple but also mathematically advanced approaches in their analysis of real world negotiation problems? How can practitioners (e.g., politicians and diplomats) become interested in, take into account, and apply formal models of their more important problems?
Dimension and Recurrence in Hyperbolic Dynamics
The main objective of this book is to give a broad unified introduction to the study of dimension and recurrence in hyperbolic dynamics. It includes the discussion of the foundations, main results, and main techniques in the rich interplay of four main areas of research: hyperbolic dynamics, dimension theory, multifractal analysis, and quantitative recurrence. It also gives a panorama of several selected topics of current research interest. More than half of the material appears here for the first time in book form, describing many recent developments in the area such as topics on irregular sets, variational principles, applications to number theory, measures of maximal dimension, multifractal nonrigidity, and quantitative recurrence. All the results are included with detailed proofs, many of them simplified or rewritten on purpose for the book.
Digital watermarking ; 6th International Workshop, IWDW 2007 Guangzhou, China, December 3-5, 2007 Proceedings
This book constitutes the refereed proceedings of the 6th International Workshop, IWDW 2007, held in Guangzhou, China, in December 2007.
Digital Document Processing : Major Directions and Recent Advances
With the advent of the Digital Library initiative, web document processing and biometric aspects of digital document processing, together with new techniques of printed and handwritten Optical Character Recognition (OCR), a good overview of this fast-developing field is invaluable. In this book, all the major and frontier topics in the field of document analysis are brought together into a single volume creating a unique reference source.
Digital Communications Using Chaos and Nonlinear Dynamics
This book introduces readers to a new and exciting cross-disciplinary field of digital communications with chaos. This field was born around 15 years ago, when it was first demonstrated that nonlinear systems which produce complex non-periodic noise-like chaotic signals, can be synchronized and modulated to carry useful information. Thus, chaotic signals can be used instead of pseudo-random digital sequences for spread-spectrum and private communication applications. This deceptively simple idea spun hundreds of research papers, and many novel communication schemes based on chaotic signals have been proposed. However, only very recently researchers have begun to make a transition from academic studies toward practical implementation issues, and many "promising" schemes had to be discarded or re-formulated. This book describes the state of the art (both theoretical and experimental) of this novel field.
Differential Geometry and Analysis on CR Manifolds
The study of CR manifolds lies at the intersection of three main mathematical disciplines: partial differential equations, complex analysis in several complex variables, and differential geometry. While the PDE and complex analytic aspects have been intensely studied in the last fifty years, much effort has recently been made to understand the differential geometric side of the subject. This monograph provides a unified presentation of several differential geometric aspects in the theory of CR manifolds and tangential Cauchy–Riemann equations. It presents the major differential geometric acheivements in the theory of CR manifolds, such as the Tanaka–Webster connection, Fefferman's metric, pseudo-Einstein structures and the Lee conjecture, CR immersions, subelliptic harmonic maps as a local manifestation of pseudoharmonic maps from a CR manifold, Yang–Mills fields on CR manifolds, to name a few. It also aims at explaining how certain results from analysis are employed in CR geometry.Motivated by clear exposition, many examples, explicitly worked-out geometric results, and stimulating unproved statements and comments referring to the most recent aspects of the theory.
Differential Equations, Chaos and Variational Problems
Differential equations are a fast evolving branch of mathematics and one of the mathematical tools most used by scientists and engineers. This book gathers a collection of original articles and state-of-the-art contributions, written by highly distinguished researchers working in differential equations, delay-differential equations, differential inclusions, variational problems, Young measures, control theory, dynamical systems, chaotic systems and their relations with physical systems. The forefront of research in these areas is represented in this volume.
Differential Analysis on Complex Manifolds
In developing the tools necessary for the study of complex manifolds, this comprehensive, well-organized treatment presents in its opening chapters a detailed survey of recent progress in four areas: geometry (manifolds with vector bundles), algebraic topology, differential geometry, and partial differential equations. Subsequent chapters then develop such topics as Hermitian exterior algebra and the Hodge *-operator, harmonic theory on compact manifolds, differential operators on a Kahler manifold, the Hodge decomposition theorem on compact Kahler manifolds, the Hodge-Riemann bilinear relations on Kahler manifolds, Griffiths's period mapping, quadratic transformations, and Kodaira's vanishing and embedding theorems.
Diagrammatic representation and inference ; 4th International conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 revised full papers, 9 revised short papers, and 12 extended abstracts are presented together with 2 keynote papers and 2 tutorial papers. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, and psychological issues in comprehension, production and communication.
Developments on Experimental Economics : New Approaches to Solving Real-world Problems
This volume presents papers and speeches given in the Experimental E- nomics Week in Honour of Dr Vernon L. Smith held in Okayama and Kyoto, 13-17 December 2004, which consisted of Dr Smith’s public speech and the International Conference on Experiments in Economic Sciences.
Developments in Language Theory ; 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008.
Designers' guide to EN 1993-2 Eurocode 3: Design of Steel Structures: Part 2: Steel Bridges
Describes the principles and requirements for safety, serviceability and durability of concrete bridges. This Designers' Guide provides the user with guidance on the interpretation and use of EN 1993-2 and also the relevant provisions in EN 1993-1-1, EN 1993-1-5, EN 1993-1-8, EN 1993-1-9, EN 1993-1-10 and EN 1993-1-11. Worked examples are provided to illustrate the use of the rules. It also explains the relationship with other Eurocode parts to which it refers (ENs 1990, 1991).
Designers' guide to EN 1991-1-4 Eurocode 1 : Actions on structures, general actions part 1–4. Wind actions
EN1991-1-4, Eurocode 1: Actions on structures -General actions - Part 1-4: Wind actions, is the head code for wind actions on structures and describes the principles and requirements for calculating design wind loads on structures. It complies with the requirements of Eurocode EN1990, Eurocode: Basis of Structural Design, and provides the wind actions necessary to implement the structural design Eurocodes 2 to 9.
Design of Very High-Frequency Multirate Switched-Capacitor Circuits : Extending the Boundaries of CMOS Analog Front-End Filtering
Presents the theory and the corresponding CMOS implementation of the novel multirate sampled-data analog interpolation technique. In order to tackle physical IC imperfections at very high frequency, this work discusses the circuit design and layout techniques for high-speed Switched-Capacitor (SC) circuits.
