89 Ergebnisse - Zeige 81 von 89.

The main aim of this book is to discuss model order reduction (MOR) methods for differential-algebraic equations (DAEs) with linear coefficients that make use of splitting techniques before applying model order reduction. The splitting produces a system of ordinary differential equations (ODE) and a system of algebraic equations, which are then reduced separately. For the reduction of the ODE system, conventional MOR methods can be used, where...

In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadloc...

The idea of mutual classification of spaces and mappings is one of the main research directions of point set topology. In a systematical way, this book discusses the basic theory of generalized metric spaces by using the mapping method, and summarizes the most important research achievements, particularly those from Chinese scholars, in the theory of spaces and mappings since the 1960s. This book has three chapters, two appendices and a list o...

The aim of the book is to give a through account of the basic theory of extreme value distributions. The book cover a wide range of materials available to date. The central ideas and results of extreme value distributions are presented. The book rwill be useful o applied statisticians as well statisticians interrested to work in the area of extreme value distributions.vmonograph presents the central ideas and results of extreme value distribut...

This book provides a new synthesis of the published research on the Quaternary of Ireland. It reviews a number of significant advances in the last three decades on the understanding of the pattern and chronology of the Irish Quaternary glacial, interglacial, floristic and occupation records. Those utilising the latest technology have enabled significant advances in geochronology using accelerated mass spectrometry, cosmogenic nuclide extractio...

A variety of introductory articles is provided on a wide range of topics, including variational problems on curves and surfaces with anisotropic curvature. Experts in the fields of Riemannian, Lorentzian and contact geometry present  state-of-the-art reviews of their topics. The contributions are written on a graduate level and contain  extended bibliographies. The ten chapters are the result of various doctoral courses which were held in 2009...

Ordered Random Variables have attracted several authors. The basic building block of Ordered Random Variables is Order Statistics which has several applications in extreme value theory and ordered estimation. The general model for ordered random variables, known as Generalized Order Statistics has been introduced relatively recently by Kamps (1995).

The book provides a comprehensive, detailed and self-contained treatment of the fundamental mathematical properties of problems arising from the motion of viscous incompressible fluids around rotating obstacles. It offers a new approach to this type of problems. We derive the fundamental solution of the steady case and we give pointwise estimates of velocity and its gradient (first and second one). Each chapter is preceded by a thorough discus...

This books aims at giving an overview over theoretical and phenomenological aspects of particle astrophysics and particle cosmology. To be of interest for both students and researchers in neighboring fields of physics, it keeps a balance between well established foundations that will not significantly change in the future and a more in-depth treatment of selected subfields in which significant new developments have been taking place recently. ...