الصفحة 17
الصفحة 17
Domain Decomposition Methods - Algorithms and Theory
This book offers a comprehensive presentation of some of the most successful and popular domain decomposition preconditioners for finite and spectral element approximations of partial differential equations. It places strong emphasis on both algorithmic and mathematical aspects. It covers in detail important methods such as FETI and balancing Neumann-Neumann methods and algorithms for spectral element methods.
D-Modules, Perverse Sheaves, and Representation Theory
D-modules continues to be an active area of stimulating research in such mathematical areas as algebra, analysis, differential equations, and representation theory. Key to D-modules, Perverse Sheaves, and Representation Theory is the authors' essential algebraic-analytic approach to the theory, which connects D-modules to representation theory and other areas of mathematics. Significant concepts and topics that have emerged over the last few decades are presented, including a treatment of the theory of holonomic D-modules, perverse sheaves, the all-important Riemann-Hilbert correspondence, Hodge modules, and the solution to the Kazhdan-Lusztig conjecture using D-module theory.
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.
Distributed Autonomous Robotic Systems 7
This book collects papers selected by an international program committee for presentation at the 8th International Symposium on Distributed Autonomous Robotic Systems. What makes this book distinctive is the emphasis on using multiple robots and on making them autonomous, as opposed to being teleoperated.
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.
Discovery Science ; Vol. 4265 ; 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings
This LNAI volume, containing the proceedings of the 9th International C- ference onDiscoveryScience, is structured in three parts. The ?rstpart contains the papers/abstracts of the invited talks, the second part contains the accepted long papers, and the third part the accepted regular (short) papers. Out of 87 submitted papers, 23 were accepted for publication as long papers, and 18 as regular papers. All the submitted papers were reviewed by two or three ref- ees. In addition to the presentations of accepted papers, the DS 2006 conference program consisted of three invited talks, two tutorials, the collocated ALT 2006 conference and the Pascal Dialogues workshop.
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 and inverse Sturm-Liouville problems : A method of solution
This book provides an introduction to the most recent developments in the theory and practice of direct and inverse Sturm-Liouville problems on finite and infinite intervals. A universal approach for practical solving of direct and inverse spectral and scattering problems is presented, based on the notion of transmutation (transformation) operators and their efficient construction. Analytical representations for solutions of Sturm-Liouville equations as well as for the integral kernels of the transmutation operators are derived in the form of functional series revealing interesting special features and lending themselves to direct and simple numerical solution of a wide variety of problems.
Dirac Operators in Representation Theory
This monograph presents a comprehensive treatment of important new ideas on Dirac operators and Dirac cohomology. Dirac operators are widely used in physics, differential geometry, and group-theoretic settings (particularly, the geometric construction of discrete series representations). The related concept of Dirac cohomology, which is defined using Dirac operators, is a far-reaching generalization that connects index theory in differential geometry to representation theory. Using Dirac operators as a unifying theme, the authors demonstrate how some of the most important results in representation theory fit together when viewed from this perspective.
Digitization in Dentistry : Clinical Applications
Provides evidence-based guidance on the clinical applications of digital dentistry, that is, the use of dental technologies or devices that incorporate digital or computer-controlled components for the performance of dental procedures. Readers will find practically oriented information on the digital procedures currently in use in various fields of dental practice, including, for example, diagnosis and treatment planning, oral radiography, endodontics, orthodontics, implant dentistry, and esthetic dentistry. The aim is to equip practitioners with the knowledge required in order to enhance their daily practice. To this end, a problem-solving approach is adopted, with emphasis on key concepts and presentation of details in a sequential and easy to follow manner. Clear recommendations are set out, and helpful tips and tricks are highlighted.
Digital Sketching : Computer-Aided Conceptual Design
Delivers a comprehensive and insightful examination of how architects and other design professionals can best use digital design technology to become better designers. Celebrated professional, professor, and author John Bacus provides readers with practical and timely information on emerging digital design technologies and their effect on professional practice.
Digital Fabrication in Interior Design : Body, Object, Enclosure
Draws together emerging topics of making that span primary forms of craftsmanship to digital fabrication in order to theoretically and practically analyze the innovative and interdisciplinary relationship between digital fabrication technology and interior design. The history of making in interior design is aligned with traditional crafts, but a parallel discourse with digital fabrication has yet to be made evident.
Digital Design of Nature : Computer Generated Plants and Organics
The reproduction of nature via computer has fascinated scientists in computer graphics and artists ever since synthetic imaging was thought possible. This book illustrates and exemplifies methods for the creation of artificial plant models, and the application of these methods within areas such as simulation, virtual reality, botany, landscaping, and architecture.The models are combined to create gardens, parks, and even entire landscapes.The range of creating representational forms reaches from deceptively authentic looking pictures to abstract presentations. In addition, with similar methods organic objects can be produced, changed, and animated.
Digital dentistry : A step-by-step guide and case atlas
A guide to all current basic digital imaging and CAD-CAM procedures, with an emphasis on the most popular systems and software programs. An atlas of multidisciplinary cases that were treated with digital dentistry, from diagnosis and treatment planning to execution and follow-up, in order of complexity Assessment of the scientific basis for using digital dentistry in each category A presentation of clinical cases to support the use of digital methodologies in all relevant scenarios An exploration of the role of digital dentistry in dental public health, preventive dentistry, and dental education
Diffusion-Weighted MR Imaging of the Brain
Diffusion-weighted MR imaging is widely accepted as a means to identify stroke, thus enabling rapid and effective treatment. Over the past four years, these expert authors have presented over 30 exhibits and scientific reports on diffusion-weighted imaging at the RSNA and the American Society of Neuroradiology (ASNR), and more than 10 of these presentations have been recognized by specific awards. Diffusion-Weighted MR Imaging of the Brain’s chapters range from basic principles to interpretation of diffusion-weighted MR imaging and specific disease.
Difficult Decisions in Thoracic Surgery : An Evidence-Based Approach
Brief chapters are devoted to a specific question or decision in general thoracic surgery that is difficult or controversial. Although some of the content may be available in major thoracic texts, rarely are such questions posed specifically and analyzed according to the level of supporting evidence available. This book is unique in aiming to address the issues in the most clear and informed manner possible; the chapters contain both evidence-based recommendations and descriptions of surgeons’ personal practices based on their experience and the published literature. Chapters are organized around clearly identified recommendations. This provides uniformity to the presentations, making possible the identification of useful material at a glance. A general introduction describes evidence-based data and their use, decision analytic models, and how both physicians and patients make decisions currently. Over 50 different topics are then presented, including a review of available evidence and a general discussion of recommended practice.
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.
Diagrammatic Representation and Inference ; 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Theory and Application of Diagrams, Diagrams 2008, held in Herrsching, Germany, in September 2008.
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.
Diagrammatic Representation and Inference ; 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.* The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics; diagram design, principles, and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; logic and diagrams; and posters.
