الصفحة 14
الصفحة 14
img

Computational Contact Mechanics

This is the second edition of the valuable reference source for numerical simulations of contact mechanics suitable for many fields like civil engineering, car design, aeronautics, metal forming, or biomechanics. Boundary value problems involving contact are of great importance in industrial applications in engineering such as bearings, metal forming processes, rubber seals, drilling problems, crash analysis of cars, rolling contact between car tires and the road, cooling of electronic devices... Other applications are related to biomechanical engineering design where human joints, implants or teeth are of consideration. Due to this variety, contact problems are today combined either with large elastic or inelastic deformations including time dependent responses. Thermal coupling also might have to be considered. Even stability behaviour has to be linked to contact.

img

Coming to Terms with Superdiversity: The Case of Rotterdam

This book discusses Rotterdam as clear example of a superdiverse city that is only reluctantly coming to terms with this new reality. Rotterdam, as is true for many post-industrial cities, has seen a considerable backlash against migration and diversity: the populist party Leefbaar Rotterdam of the late Pim Fortuyn is already for many years the largest party in the city. At the same time Rotterdam has become a majority minority city where the people of Dutch descent have become a numerical minority themselves. The book explores how Rotterdam is coming to terms with superdiversity, by an analysis of its migration history of the city, the composition of the migrant population and the Dutch working class population, local politics and by a comparison with Amsterdam and other cities. As such it contributes to a better understanding not just of how and why super-diverse cities emerge but also how and why the reaction to a super-diverse reality can be so different.

img

Comets and the Origin and Evolution of Life

Nine years after the publication of Comets and the Origin and Evolution of Life, one of the pioneering books in Astrobiology, this second edition revisits the role comets may have played in the origins and evolution of life. Recent analyses of Antarctic micrometeorites and ancient rocks in Australia and South Africa, the continuing progress in discovering complex organic macromolecules in comets, protostars and interstellar clouds, new insights into organic synthesis in comets, and numerical simulations of comet impacts on the Earth and other members of the solar system yield a spectacular wealth of new results.

img

Cognitive Supervision for Robot-Assisted Minimally Invasive Laser Surgery

This thesis lays the groundwork for the automatic supervision of the laser incision process, which aims to complement surgeons’ perception of the state of tissues and enhance their control over laser incisions. The research problem is formulated as the estimation of variables that are representative of the state of tissues during laser cutting. Prior research in this area leveraged numerical computation methods that bear a high computational cost and are not straightforward to use in a surgical setting. This book proposes a novel solution to this problem, using models inspired by the ability of experienced surgeons to perform precise and clean laser cutting. It shows that these new models, which were extracted from experimental data using statistical learning techniques, are straightforward to use in a surgical setup, allowing greater precision in laser-based surgical procedures.

img

Cognitive engineering : A distributed approach to machine intelligence

Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering systems. Beginning with the foundations of psychological modeling of the human mind, the main emphasis is given to parallel and distributed realization of intelligent models for application in reasoning, learning, planning and multi-agent co-ordination problems. The last two chapters provide case studies on human-mood detection and control, and behavioral co-operation of mobile robots. This is the first comprehensive text of its kind, bridging the gap between Cognitive Science and Cognitive Systems Engineering. Each chapter includes plenty of numerical examples and exercises with sufficient hints, so that the reader can solve the exercises on their own. Computer simulations are also included in most chapters to give a clear idea about the application of the algorithms undertaken in the book. In addition, mathematical analysis on convergence and stability of the neuro-fuzzy models will enable the reader to pursue their research career in cognitive engineering.

img

Clusters of Galaxies : Beyond the Thermal View

Clusters of galaxies are the largest structures in the Universe. Most of the visible matter is in the form of hot gas permeating the volume of the cluster. The bulk of this gas is in thermal equilibrium in the dark matter-dominated potential. This book discusses all aspects of cluster physics beyond this thermal view. It covers topics such as the warm-hot intergalactic medium outside the clusters, non-thermal radiation components, shocks, equilibration processes and the chemical evolution of these structures. The topics are covered from an observational, theoretical and numerical point of view.

img

Mathematical Models for Registration and Applications to Medical Imaging

Image registration is an emerging topic in image processing with many applications in medical imaging, picture and movie processing. The classical problem of image registration is concerned with ?nding an appropriate transformation between two data sets. This fuzzy de?nition of registration requires a mathematical modeling and in particular a mathematical speci?cation of the terms appropriate transformations and correlation between data sets. Depending on the type of application, typically Euler, rigid, plastic, elastic deformations are considered. The variety of similarity p measures ranges from a simpleL distance between the pixel values of the data to mutual information or entropy distances. This goal of this book is to highlight by some experts in industry and medicine relevant and emerging image registration applications and to show new emerging mathematical technologies in these areas. Currently, many registration application are solved based on variational prin- ple requiring sophisticated analysis, such as calculus of variations and the theory of partial differential equations, to name but a few. Due to the numerical compl- ity of registration problems ef?cient numerical realization are required. Concepts like multi-level solver for partial differential equations, non-convex optimization, and so on play an important role. Mathematical and numerical issues in the area of registration are discussed by some of the experts in this volume.

img

Mathematical Modeling, Simulation, Visualization and e-Learning ; Proceedings of an International Workshop held at Rockefeller Foundation' s Bellagio Conference Center, Milan, Italy, 2006

This book is a collection of articles written by some of the most prominent leading applied mathematicians, as well as articles from young and promising scientists from Africa, Asia and Europe. The common objective of these articles is to present an important issue which is currently widely discussed in scientific investigation with major human, economic or ecological implications. One main feature of the series, which the current book exemplifies, is that each article is as deep as an expert lecture but is also self-contained, so that even isolated scientists with limited resources can profit greatly from it. Another feature of this book is that each article is meant to present a collection of open questions which can fuel undergraduate or graduate research activities even in smaller or more isolated scientific communities.

img

Mathematical modeling of the human brain : From magnetic resonance images to finite element simulation

This book bridges common tools in medical imaging and neuroscience with the numerical solution of brain modelling PDEs. The connection between these areas is established through the use of two existing tools, FreeSurfer and FEniCS, and one novel tool, the SVM-Tk, developed for this book. The reader will learn the basics of magnetic resonance imaging and quickly proceed to generating their first FEniCS brain meshes from T1-weighted images.

img

Mathematical Methods in Robust Control of Linear Stochastic Systems

Linear stochastic systems are successfully used to provide mathematical models for real processes in fields such as aerospace engineering, communications, manufacturing, finance and economy. This monograph presents a useful methodology for the control of such stochastic systems with a focus on robust stabilization in the mean square, linear quadratic control, the disturbance attenuation problem, and robust stabilization with respect to dynamic and parametric uncertainty.

img

Mathematical Methods in Engineering

This book contains some of the contributions that have been carefully selected and peer-reviewed, which were presented at the International Symposium MME06 Mathematical Methods in Engineering, held in Cankaya University, Ankara, April 2006. The Symposium provided a setting for discussing recent developments in Fractional Mathematics, Neutrices and Generalized Functions, Boundary Value Problems, Applications of Wavelets, Dynamical Systems and Control Theory.

img

Mathematical Methods for Mechanics : A Handbook with MATLAB Experiments

The interaction between mathematics and mechanics is a never ending source of new developments. Today, challenging problems like space flight, gyroscope motions and tidal currents, can be studied on a laptop, feats that people still in the 1950’s dreamed of accomplishing. The present textbook addresses such problems and moreover, a wide-ranging spectrum of topics from bifurcation theory, optimization and control to rigid-body motion and continuum mechanics of elastic bodies and fluids. It fully encompasses the provision of mathematical tools up to their technical application. Because verifiability is a main element of science and numerical mathematics remain lackluster without demonstrations, a portion of the book is dedicated purely to computations.

img

Mathematical methods and modelling in hydrocarbon exploration and production

Hydrocarbon exploration and production incorporate great technology challenges for the oil and gas industry. In order to meet the world's future demand for oil and gas, further technological advance is needed, which in turn requires research across multiple disciplines, including mathematics, geophysics, geology, petroleum engineering, signal processing, and computer science. This book addresses important aspects and fundamental concepts in hydrocarbon exploration and production. Moreover, new developments and recent advances in the relevant research areas are discussed, whereby special emphasis is placed on mathematical methods and modelling. The book reflects the multi-disciplinary character of the hydrocarbon production workflow, ranging from seismic data imaging, seismic analysis and interpretation and geological model building, to numerical reservoir simulation. Various challenges concerning the production workflow are discussed in detail.

img

Mathematical Masterpieces : Further Chronicles by the Explorers

Experience the discovery of mathematics by reading the original work of some of the greatest minds throughout history. Here are the stories of four mathematical adventures, including the Bernoulli numbers as the passage between discrete and continuous phenomena, the search for numerical solutions to equations throughout time, the discovery of curvature and geometric space, and the quest for patterns in prime numbers. Each story is told through the words of the pioneers of mathematical thought. Particular advantages of the historical approach include providing context to mathematical inquiry,  perspective to proposed conceptual solutions, and a glimpse into the direction research has taken.

img

Mathematical Foundations of Computer Science 2008 ; 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

Constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.

img

Matematica generale con il calcolatore

By introducing mathematical objects, it teaches students how to use a computer to perform numerical and symbolic calculations, define a function and calculate its values, plot and explore graphs, and execute simple algorithms. The course is rich in examples, applications, and models, drawn from economics, physics, biology, statistics, and mathematics itself. The analysis of these models constitutes, in a certain sense, the true purpose of the mathematical theory covered. Automatic calculation tools (mathematics software, spreadsheets) are used extensively to explore and illustrate concepts and properties. Mathcad® software, in particular, was used, both as a calculation tool and as a simple yet powerful programming language. Considerable space is devoted to approximation, emphasizing the distinction between numerical and symbolic calculation; to algorithms as a synthesis of the syntactic and semantic aspects of mathematical objects; and to computer simulation, interpreted as a "physical" experiment and a source of conjecture. The ability to use a calculator marks a sort of "democratization" of mathematics: even complex results, which have always required a broad background of knowledge and laborious calculations, are now quickly accessible to anyone who understands the meaning of mathematical objects and knows how to use the syntax.

img

Masonry Constructions : Mechanical Models and Numerical Applications

This monograph firstly provides a detailed description of the constitutive equation of masonry-like materials, clearly setting out its most important features. It then goes on to provide a numerical procedure to solve the equilibrium problem of masonry solids.

img

Markov Chains : Models, Algorithms and Applications

Markov chains are a particularly powerful and widely used tool for analyzing a variety of stochastic (probabilistic) systems over time. This monograph will present a series of Markov models, starting from the basic models and then building up to higher-order models. Included in the higher-order discussions are multivariate models, higher-order multivariate models, and higher-order hidden models. In each case, the focus is on the important kinds of applications that can be made with the class of models being considered in the current chapter. Special attention is given to numerical algorithms that can efficiently solve the models. Therefore, Markov Chains: Models, Algorithms and Applications outlines recent developments of Markov chain models for modeling queueing sequences, Internet, re-manufacturing systems, reverse logistics, inventory systems, bio-informatics, DNA sequences, genetic networks, data mining, and many other practical systems.

img

Market-Conform Valuation of Options

we will investigate the 'market-conform' pricing of newly issued contingent claims. A contingent claim is a derivative whose value at any settlement date is determined by the value of one or more other underlying assets, e. g. , forwards, futures, plain-vanilla or exotic options with European or American-style exercise features. Market-conform pricing means that prices of existing actively traded securities are taken as given, and then the set of equivalent martingale measures that are consistent with the initial prices of the traded securities is derived using no-arbitrage arguments.

img

MARE-WINT : New Materials and Reliability in Offshore Wind Turbine Technology

This book provides a holistic, interdisciplinary overview of offshore wind energy, and is a must-read for advanced researchers. Topics, from the design and analysis of future turbines, to the decommissioning of wind farms, are covered. The scope of the work ranges from analytical, numerical and experimental advancements in structural and fluid mechanics, to novel developments in risk, safety & reliability engineering for offshore wind. The core objective of the current work is to make offshore wind energy more competitive, by improving the reliability, and operations and maintenance (O&M) strategies of wind turbines.

عدد النتائج بكل صفحة