Skip to main content
Elsevier
View Cart

Iste Press Elsevier

    • Statistical Inference in Financial and Insurance Mathematics with R

      • 1st Edition
      • November 22, 2017
      • Alexandre Brouste
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 0 8 3 6
      • eBook
        9 7 8 0 0 8 1 0 1 2 6 1 1
      Finance and insurance companies are facing a wide range of parametric statistical problems. Statistical experiments generated by a sample of independent and identically distributed random variables are frequent and well understood, especially those consisting of probability measures of an exponential type. However, the aforementioned applications also offer non-classical experiments implying observation samples of independent but not identically distributed random variables or even dependent random variables. Three examples of such experiments are treated in this book. First, the Generalized Linear Models are studied. They extend the standard regression model to non-Gaussian distributions. Statistical experiments with Markov chains are considered next. Finally, various statistical experiments generated by fractional Gaussian noise are also described. In this book, asymptotic properties of several sequences of estimators are detailed. The notion of asymptotical efficiency is discussed for the different statistical experiments considered in order to give the proper sense of estimation risk. Eighty examples and computations with R software are given throughout the text.

    • Non-destructive Testing and Evaluation of Civil Engineering Structures

      • 1st Edition
      • November 22, 2017
      • Jean-Paul Balayssac + 1 more
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 2 2 9 8
      • eBook
        9 7 8 0 0 8 1 0 2 3 0 5 1
      The non-destructive evaluation of civil engineering structures in reinforced concrete is becoming an increasingly important issue in this field of engineering. This book proposes innovative ways to deal with this problem, through the characterization of concrete durability indicators by the use of non-destructive techniques. It presents the description of the various non-destructive techniques and their combination for the evaluation of indicators. The processing of data issued from the combination of NDE methods is also illustrated through examples of data fusion methods. The identification of conversion models linking observables, obtained from non-destructive measurements, to concrete durability indicators, as well as the consideration of different sources of variability in the assessment process, are also described. An analysis of in situ applications is carried out in order to highlight the practical aspects of the methodology. At the end of the book the authors provide a methodological guide detailing the proposed non-destructive evaluation methodology of concrete indicators.

    • Systems Architecture Modeling with the Arcadia Method

      • 1st Edition
      • November 22, 2017
      • Pascal Roques
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 1 6 8 0
      • eBook
        9 7 8 0 0 8 1 0 1 7 9 2 0
      Systems Architecture Modeling with the Arcadia Method is an illustrative guide for the understanding and implementation of model-based systems and architecture engineering with the Arcadia method, using Capella, a new open-source solution. More than just another systems modeling tool, Capella is a comprehensive and extensible Eclipse application that has been successfully deployed in a wide variety of industrial contexts. Based on a graphical modeling workbench, it provides systems architects with rich methodological guidance using the Arcadia method and modeling language. Intuitive model editing and advanced viewing capabilities improve modeling quality and productivity, and help engineers focus on the design of the system and its architecture. This book is the first to help readers discover the richness of the Capella solution.

    • Biodiversity and Health

      • 1st Edition
      • November 22, 2017
      • Serge Morand + 1 more
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 1 1 5 4
      • eBook
        9 7 8 0 0 8 1 0 1 1 6 7 6
      There is a gap between the ecology of health and the concepts supported by international initiatives such as EcoHealth, One Health or Planetary Health; a gap which this book aims to fill. Global change is accelerated by problems of growing population, industrialization and geopolitics, and the world’s biodiversity is suffering as a result, which impacts both humans and animals. However, Biodiversity and Health offers the unique opportunity to demonstrate how ecological, environmental, medical and social sciences can contribute to the improvement of human health and wellbeing through the conservation of biodiversity and the services it brings to societies. This book gives an expansive and integrated overview of the scientific disciplines that contribute to the connection between health and biodiversity, from the evolutionary ecology of infectious and non-infectious diseases to ethics, law and politics.

    • Model-based System and Architecture Engineering with the Arcadia Method

      • 1st Edition
      • November 22, 2017
      • Jean-Luc Voirin
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 1 6 9 7
      • eBook
        9 7 8 0 0 8 1 0 1 7 9 4 4
      Arcadia is a system engineering method based on the use of models, with a focus on the collaborative definition, evaluation and exploitation of its architecture. This book describes the fundamentals of the method and its contribution to engineering issues such as requirements management, product line, system supervision, and integration, verification and validation (IVV). It provides a reference for the modeling language defined by Arcadia. The author discusses the range of applications, from the assessment of different architectures and their suitability, to the collaboration between system engineering, specialties such as safety or security, subsystems engineering teams, software and hardware. This is illustrated by several examples of representative models which constitute a common thread.

    • Mineral Resources and Energy

      • 1st Edition
      • November 22, 2017
      • Olivier Vidal
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 2 6 7 0
      • eBook
        9 7 8 0 0 8 1 0 2 3 8 2 2
      Our consumption of raw materials and energy has reached unprecedented levels which are continuing to increase at a steady rate due to the economic emergence of many countries and the development of new technologies. Metal and cement usage has doubled since the beginning of the 21st Century and this production, between now and 2050, will be equivalent to that produced since the beginning of humanity. It is in this context that the transition to low-carbon and renewable energies is taking place, which involves profound changes to the existing global energy system. This book addresses these different aspects and attempts to estimate first-order requirements for cement, steel, copper, aluminum and energy for different power generation technologies, and for three types of energy scenarios. Some dynamic modeling approaches are proposed to assess the needs and likely evolution of primary production and recycling. The link between production and primary reserves, recycling and stocks of end-of-life products, production costs, incomes and prices using a prey–predator dynamic is discussed.

    • Neurofeedback

      • 1st Edition
      • November 22, 2017
      • Pascale Vincent
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 2 7 6 2
      • eBook
        9 7 8 0 0 8 1 0 2 4 9 0 4
      The artificial intelligence of robots capable of learning from their errors and modifying their behavior accordingly is modeled on the activity of neurons in the brain.Emotional stress, traffic accidents, bereavement; these are all factors that can disrupt this neural activity, sometimes to the point of generating suffering that can be difficult to relieve. Neurofeedback, derived from neuroscience, is a computerized technique for training and re-balancing the brain’s electrical activity using neuroplasticity, which allows the brain to self-correct and regain a stable equilibrium, thus promoting recovery from traumas and a return to well-being. Neurofeedback: Tools, Methods and Applications deals with neurofeedback, explaining the functioning of the tool, its action on the equilibration of neural activity, and the differences between classical and dynamic systems. The results of the author's research and observations, the applications of these two tools, and the effects produced on the patients are explored, along with testimonies that describe and explain concepts in detail.Different neurofeedback tools are presented in this book, together with their function and explicit specificities adapted to the needs of each user. Their applications to psychological and cognitive disorders make neurofeedback an efficient and promising neurotherapy technique.

    • Advances in Multi-Physics and Multi-Scale Couplings in Geo-Environmental Mechanics

      • 1st Edition
      • November 20, 2017
      • Francois Nicot + 1 more
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 2 7 8 6
      • eBook
        9 7 8 0 0 8 1 0 2 5 9 6 3
      Advances in Multi-Physics and Multi-Scale Couplings in Geo-Environmental Mechanics reunites some of the most recent work from the French research group MeGe GDR (National Research Group on Multiscale and Multiphysics Couplings in Geo-Environmental Mechanics) on the theme of multi-scale and multi-physics modeling of geomaterials, with a special focus on micromechanical aspects. Its offers readers a glimpse into the current state of scientific knowledge in the field, together with the most up-to-date tools and methods of analysis available. Each chapter represents a study with a different viewpoint, alternating between phenomenological/mic... enriched and purely micromechanical approaches. Throughout the book, contributing authors will highlight advances in geomaterials modeling, while also pointing out practical implications for engineers. Topics discussed include multi-scale modeling of cohesive-less geomaterials, including multi-physical processes, but also the effects of particle breakage, large deformations on the response of the material at the specimen scale and concrete materials, together with clays as cohesive geomaterials. The book concludes by looking at some engineering problems involving larger scales.

    • Security in Network Functions Virtualization

      • 1st Edition
      • November 17, 2017
      • Zonghua Zhang + 1 more
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 2 5 7 1
      • eBook
        9 7 8 0 0 8 1 0 2 3 7 1 6
      The software and networking industry is experiencing a rapid development and deployment of Network Functions Visualization (NFV) technology, in both enterprise and cloud data center networks. One of the primary reasons for this technological trend is that NFV has the capability to reduce CAPEX and OPEX, whilst increasing networking service efficiency, performance, agility, scalability, and resource utilization. Despite such well-recognized benefits, security remains a major concern of network service providers and seriously impedes the further expansion of NFV. This book is therefore dedicated to investigating and exploring the potential security issues of NFV. It contains three major elements: a thorough overview of the NFV framework and architecture, a comprehensive threat analysis aiming to establish a layer-specific threat taxonomy for NFV enabled networking services, and a series of comparative studies of security best practices in traditional networking scenarios and in NFV, ultimately leading to a set of recommendations on security countermeasures in NFV. This book is primarily intended for engineers, engineering students and researchers and those with an interest in the field of networks and telecommunications (architectures, protocols, services) in general, and particularly software-defined network (SDN) and network functions virtualization (NFV)-based security services.

    • Computer Arithmetic and Formal Proofs

      • 1st Edition
      • November 16, 2017
      • Sylvie Boldo + 1 more
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 1 1 2 3
      • eBook
        9 7 8 0 0 8 1 0 1 1 7 0 6
      Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs. This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.

Browse by Publisher

Academic Press

Butterworth-Heinemann

Chandos

Elsevier

Morgan Kaufmann

Newnes

Syngress