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.
Mathematical Methods for Engineers and Geoscientists
This book introduces and explains classical and modern mathematical procedures as applied to the real problems confronting engineers and geoscientists. Written in a manner that is understandable for students across the breadth of their studies, it lays out the foundations for mastering difficult and sometimes confusing mathematical methods.
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.
Math Everywhere : Deterministic and Stochastic Modelling in Biomedicine, Economics and Industry
These proceedings are reporting on the conference ''Math Everywhere", a successful event celebrating a leading scientist, promoting ideas he pursued and sharing the open atmosphere he is known for. The areas of the contributions are the following , Deterministic and Stochastic Systems. Mathematical Problems in Biology, Medicine and Ecology, Mathematical Problems in Industry and Economics.
Materials for Tomorrow : Theory, Experiments and Modelling
This book contains six chapters on central topics in materials science. Each is written by specialists in the field, and gives a state-of-the-art presentation of the subject for graduate students and scientists not necessarily working in that field. Computer simulations of new materials, theory and experimental work are all extensively discussed. As nanomaterials are of great current interest, most of the topics discussed have a bearing on nanomaterials and nanodevices. In addition to inorganic nanotubes, metallic nanocrystals, electronic nanodevices, spintronics and interfaces on an atomic scale, the text also presents computer simulations on one of the less well understood fields in solid-state physics and materials science: glasses and undercooled fluids.
Material Inhomogeneities and their Evolution : A Geometric Approach
The first part of the book deals with the geometrical description of uniform bodies and their homogeneity (i.e., integrability) conditions. In the second part, a theory of material evolution is developed and its relevance in various applied contexts discussed. The necessary geometrical notions are introduced as needed in the first two parts but often without due attention to an uncompromising mathematical rigour. This task is left for the third part of the book, which is a highly technical compendium of those concepts of modern differential geometry that are invoked in the first two parts (differentiable manifolds, Lie groups, jets, principal fibre bundles, G-structures, connections, frame bundles, integrable prolongations, groupoids, etc.).
Martingale Methods in Financial Modelling
This book provides a comprehensive, self-contained and up-to-date treatment of the main topics in the theory of option pricing. The first part of the text starts with discrete-time models of financial markets, including the Cox-Ross-Rubinstein binomial model. The passage from discrete- to continuous-time models, done in the Black-Scholes model setting, assumes familiarity with basic ideas and results from stochastic calculus. However, an Appendix containing all the necessary results is included. This model setting is later generalized to cover standard and exotic options involving several assets and/or currencies. An outline of the general theory of arbitrage pricing is presented. The second part of the text is devoted to the term structure modelling and the pricing of interest-rate derivatives. The main emphasis is on models that can be made consistent with market pricing practice.
Marketing effectiveness and accountability in SMEs : A multimethodological approach
Sheds light on marketing effectiveness and accountability marketing in small and medium-sized enterprises (SMEs). Using a multi-method investigation, it includes a knowledge inquiry of marketing knowledge and customer knowledge, a qualitative inquiry utilizing semi structured interviews and thematic data analysis, a quantitative analysis utilizing survey and structural equations modelling, and a case study that employs both narrative (storytelling) data analysis and an accountability audit with a techno marketing SME.
Marine resource damage assessment : Liability and compensation for environmental damage
MARE-DASM research focused on: (i) the estimation and distribution of marine contaminants in order to assess their long term effects (ecotoxicology); (ii) the integration of these result into a Biological Effects SubModel and a mathematical model assessing the risks associated with accidental spillage of oil at sea and the damage this can cause (modelling); (iii) the assessment of the willingness to pay for ecological damage, based on the Contingent Valuation Method (economics); (iv) the development and evaluation of measures to be taken in order to guarantee a sustainable use of the Belgian part of the North Sea, taking into account the economic and social interests and values (social economics); (v) the potential to develop technical and legal procedures that allow ecological damage to the marine environment to be evaluated and compensated, taking into account constraints in national and international liability legislation (legal).
Marine Anthropogenic Litter
This book describes how man-made litter, primarily plastic, has spread into the remotest parts of the oceans and covers all aspects of this pollution problem from the impacts on wildlife and human health to socio-economic and political issues. Marine litter is a prime threat to marine wildlife, habitats and food webs worldwide. The book illustrates how advanced technologies from deep-sea research, microbiology and mathematic modelling as well as classic beach litter counts by volunteers contributed to the broad awareness of marine litter as a problem of global significance. The authors summarise more than five decades of marine litter research, which receives growing attention after the recent discovery of great oceanic garbage patches and the ubiquity of microscopic plastic particles in marine organisms and habitats.
Map-based Mobile Services : Design, Interaction and Usability
It addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, multimodal interaction to usability test. Instead of striving for a seamless coverage of all essential theoretical and technical issues with an equal depth and extent, we attempt to pinpoint a number of research highlights and representative development activities at universities, research institutions and so- ware industry. The operational prototypes and platforms reported in the book are on the one hand outcome and feasibility proof of various approaches. On the other hand, they serve as a new starting point for the refinement of user interfaces and iterative usability tests.
Many-Core Computing : Hardware and software
Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming models, operating systems and their applications; it presents runtime management techniques, followed by system modelling, verification and testing methods, and architectures and systems. Computing has moved away from a focus on performance-centric serial computation, instead towards energy-efficient parallel computation. This provides continued performance increases without increasing clock frequencies, and overcomes the thermal and power limitations of the dark-silicon era. As the number of parallel cores increases, we transition into the many-core computing era. There is considerable interest in developing methods, tools, architectures and applications to support many-core computing.
Managing the Complexity of Critical Infrastructures : A Modelling and Simulation Approach
This book summarizes work being pursued in the context of the CIPRNet (Critical Infrastructure Preparedness and Resilience Research Network) research project, co-funded by the European Union under the Seventh Framework Programme (FP7). The project is intended to provide concrete and on-going support to the Critical Infrastructure Protection (CIP) research communities, enhancing their preparedness for CI-related emergencies, while also providing expertise and technologies for other stakeholders to promote their understanding and mitigation of the consequences of CI disruptions, leading to enhanced resilience.
Make and Test Projects in Engineering Design : Creativity, Engagement and Learning
This is a book about the invention and testing of ideas. By describing how to generate engaging problem situations for engineering students to solve it inspires original currents of thought. This is the first book that formalises an important aspect of early learning in engineering design.
Magnetic Control of Tokamak Plasmas
The main topic of Magnetic Control of Tokamak Plasmas is the design of feedback control systems guaranteeing the stability of plasma equilibrium inside a tokamak and the regulation of the plasma position and shape during plasma pulses. Modelling and control details are presented, allowing the non-expert to understand the control problem. Starting from equations of magneto-hydro-dynamics, all the steps needed for the derivation of plasma state-space models are enumerated. The basics of electromagnetics are frequently recalled. The control problem is then described beginning with control of current and position – vertical and radial – and progressing to the more challenging shape control. The solutions proposed vary from simple PIDs to more sophisticated MIMO controllers.
Macroeconomic Risk Management Against Natural Disasters : Analysis focussed on governments in developing countries
Natural disasters cause considerable economic damage. While developed countries usually are able to cope with the impacts of natural hazards, developing countries are faced with severe consequences for their resources. In order to prevent long-term macroeconomic repercussions, governments need a comprehensive disaster risk management strategy.Budgetary resources are allocated to pre-disaster risk management strategies to reduce the probability of financing gaps. The framework and model approach allows cross country comparisons as well as the assessment of financial vulnerability, macroeconomic risk, and risk management strategies.
Macroeconomic modelling of R&D and innovation policies
This book encompasses a collection of in-depth analyses showcasing the challenges and ways forward for macroeconomic modelling of R&D and innovation policies. Based upon the proceedings of the EC-DG JRC-IEA workshop held in Brussels in 2017, it presents cutting-edge contributions from a number of leading economists in the field. It provides a comprehensive overview of the current academic and policy challenges surrounding R&D as well as of the state-of-the-art modelling techniques.
Machine learning and its application to reacting flows: ml and combustion
These two fields, ML and turbulent combustion, have large body of work and knowledge on their own, and this book brings them together and explain the complexities and challenges involved in applying ML techniques to simulate and study reacting flows. This is important as to the world’s total primary energy supply (TPES), since more than 90% of this supply is through combustion technologies and the non-negligible effects of combustion on environment. Although alternative technologies based on renewable energies are coming up, their shares for the TPES is are less than 5% currently and one needs a complete paradigm shift to replace combustion sources. The book covers the current state of the art in these two topics and outlines the challenges involved, merits and drawbacks of using ML for turbulent combustion simulations including avenues which can be explored to overcome the challenges.
Machine Learning : The Basics
Approaches ML as the computational implementation of the scientific principle. This principle consists of continuously adapting a model of a given data-generating phenomenon by minimizing some form of loss incurred by its predictions. Trains readers to break down various ML applications and methods in terms of data, model, and loss, thus helping them to choose from the vast range of ready-made ML methods.
Logics of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.



















