الصفحة 5
الصفحة 5
Software for Data Analysis : Programming with R
This book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual stages, starting with simple functions. More advanced programming techniques can be added as needed, allowing users to grow into software contributors, benefiting their careers and the community. R packages provide a powerful mechanism for contributions to be organized and communicated. The techniques covered include such modern programming enhancements as classes and methods, namespaces, and interfaces to spreadsheets or data bases, as well as computations for data visualization, numerical methods, and the use of text data.
Soft Methods for Handling Variability and Imprecision
This book gathers contributions to the 4th International Conference on Soft methods in Probability and Statistics. Its aim is to present recent results illustrating such new trends that enlarge the statistical and uncertainty modeling traditions, towards the handling of incomplete or subjective information. It covers a broad scope ranging from philosophical and mathematical underpinnings of new uncertainty theories, with a stress on their impact in the area of statistics and data analysis, to numerical methods and applications to environmental risk analysis and mechanical engineering. A unique feature of this collection is to establish a dialogue between fuzzy random variables and imprecise probability theories.
Smittestopp : A Case Study on Digital Contact Tracing
Describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book is twofold. First, it reports on the design choices made in the development phase. Second, as one of the only systems in the world that collected population data into a central database and which was used for an entire population, we can share experience on how the design choices impacted the system's operation. By sharing lessons learned and the challenges faced during the development and deployment of the technology, we hope that this book can be a valuable guide for experts from different domains, such as big data collection and analysis, application development, and deployment in a national population, as well as digital tracing.
Simulation-based Algorithms for Markov Decision Processes
Markov decision process (MDP) models are widely used for modeling sequential decision-making problems that arise in engineering, economics, computer science, and the social sciences. It is well-known that many real-world problems modeled by MDPs have huge state and/or action spaces, leading to the notorious curse of dimensionality that makes practical solution of the resulting models intractable. In other cases, the system of interest is complex enough that it is not feasible to specify some of the MDP model parameters explicitly, but simulation samples are readily available (e.g., for random transitions and costs). For these settings, various sampling and population-based numerical algorithms have been developed recently to overcome the difficulties of computing an optimal solution in terms of a policy and/or value function.
Simulation of semiconductor processes and devices 2007 ; 12th International Conference on simulation of semiconductor processes and devices SISPAD 2007 ; TU Wien, Vienna, Austria
The first SISPAD conference took place in Tokyo in 1996 as the successor to three preceding conferences NUPAD, VPAD, and SISDEP. With its longstanding history SISPAD provides a world-wide forum for the presenta tion and discussion of outstanding recent advances and developments in the field of numerical process and device simulation. Driven by the ongoing miniaturization in semiconductor fabrication technology, the variety of topics discussed at this meeting reflects the ever-growing complexity of the subject. Apart from the classic topics like process, device, and interconnect simulation, mesh generation, a broad spec trum of numerical issues, and compact modeling, new simulation approaches like atomistic and first-principles methods have emerged as important fields of research and are currently making their way into standard TCAD suites.
Simulation and Inference for Stochastic Differential Equations : With R Examples
The book is organized into four chapters. The first one introduces the subject and presents several classes of processes used in many fields of mathematics, computational biology, finance and the social sciences. The second chapter is devoted to simulation schemes and covers new methods not available in other publications. The third one focuses on parametric estimation techniques. In particular, it includes exact likelihood inference, approximated and pseudo-likelihood methods, estimating functions, generalized method of moments, and other techniques. The last chapter contains miscellaneous topics like nonparametric estimation, model identification and change point estimation. The reader who is not an expert in the R language will find a concise introduction to this environment focused on the subject of the book. A documentation page is available at the end of the book for each R function presented in the book.
Shock Wave Interactions in General Relativity : A Locally Inertial Glimm Scheme for Spherically Symmetric Spacetimes
This monograph presents a self contained mathematical treatment of the initial value problem for shock wave solutions of the Einstein equations in General Relativity. The first two chapters provide background for the introduction of a locally intertial Glimm Scheme, a non-dissipative numerical scheme for approximating shock wave solutions of the Einstein equations in spherically symmetric spacetimes. What follows is a careful analysis of this scheme providing a proof of the existence of (shock wave) solutions of the spherically symmetric Einstein equations for a perfect fluid, starting from initial density and velocity profiles that are only locally of bounded total variation.
Shear Localization in Granular Bodies with Micro-Polar Hypoplasticity
This book presents numerical simulations of shear localization in granular materials using a hypoplastic constitutive model enhanced by a characteristic length of the micro-structure in the form of a mean grain diameter. Due to the presence of the characteristic length, the boundary value problems are well-posed, the numerical results are mesh-independent (load-displacement diagrams, spacing and thickness of shear zones), and a deterministic size effect related to the ratio between a mean grain diameter and specimen size is captured.
Set-Theoretic Methods in Control
This self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links to fundamental problems in Lyapunov stability analysis and stabilization, optimal control, control under constraints, persistent disturbance rejection, and uncertain systems analysis and synthesis. New computer technology has catalyzed a resurgence of research in this area, particularly in the development of set-theoretic techniques, many of which are computationally demanding. The work presents several established and potentially new applications, along with numerical examples and case studies. A key theme of the presentation is the trade-off between exact (but computationally intensive) and approximate (but conservative) solutions to problems.
Sets, Logic and Maths for Computing
The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures such as trees and well-founded orders. They are also in part quantitative – notably elementary combinatorics and finite probability. Recurring in all of these are instruments of proof, both purely logical ones (such as proof by contradiction) and mathematical (the various forms of induction).
Selected Contributions in Data Analysis and Classification
This was the era of the ?rst university calculation centres that one accessed over a counter. One would deposit cards on which program and data were punched in and come back a few hours or days later for the results. Like all those who used linear data analysis, the computer enabled me to calculate for each data set the value of mathematical objects (eigenvalues and eigenvectors for example) whose optimality properties had been demonstrated by mathematicians. It was - ready a big step to be able to do this in concrete experimental situations. With Dynamic Clustering Algorithm, Edwin Diday allowed us to discover that computers could be more than just a way of giving numerical values to known mathematical objects.
Second Generation Wavelets and Applications
This book details the mathematical fundamentals of the lifting transform and illustrates the latest applications of the transform in signal and image processing, numerical analysis, scattering data smoothing and rendering of computer images.
Scientific Computing with MATLAB and Octave
This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of certain classes of mathematical problems are illustrated. The authors show how to compute the zeros or the integrals of continuous functions, solve linear systems, approximate functions by polynomials and construct accurate approximations for the solution of ordinary and partial differential equations.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. The theoretical bases of scenario non-success risk LP-management in business and engineering are also stated. Methods and algorithms for the scenario risk LP-management in problems of classification, investment and effectiveness are described. Risk LP- models and results of numerical investigations for credit risks, risk of frauds, security portfolio risk, risk of quality, accuracy, and risk in multi-stage systems reliability are given. In addition, a rather large number of new problems of estimation, analysis and management of risk are considered. Software for risk problems based on LP-methods, LP-theory, and GIE are described too.
Scaling of Differential Equations
Serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource for learning the art of scaling. A special feature of the book is the emphasis on how to create software for scaled models, based on existing software for unscaled models. Scaling (or non-dimensionalization) is a mathematical technique that greatly simplifies the setting of input parameters in numerical simulations. Moreover, scaling enhances the understanding of how different physical processes interact in a differential equation model. Compared to the existing literature, where the topic of scaling is frequently encountered, but very often in only a brief and shallow setting, the present book gives much more thorough explanations of how to reason about finding the right scales.
Rugged Free Energy Landscapes : Common Computational Approaches to Spin Glasses, Structural Glasses and Biological Macromolecules
This collection of lectures and tutorial reviews by renowned experts focusses on the common computational approaches in use to unravel the static and dynamical behaviour of complex physical systems at the interface of physics, chemistry and biology. Paradigmatic examples of condensed matter physics are spin and structural glasses and protein folding, as well as their aggregation and adsorption to hard and soft surfaces, in physico-chemical biology.
Rock Slope Engineering : Civil Applications
Covers the investigation, design, excavation and remediation of man-made rock cuts and natural slopes, primarily for civil engineering applications. It presents design information on structural geology, shear strength of rock and ground water, including weathered rock. Slope design methods are discussed for planar, wedge, circular and toppling failures, including seismic design and numerical analysis. Information is also provided on blasting, slope stabilization, movement monitoring and civil engineering applications.
Robust Numerical Methods for Singularly Perturbed Differential Equations : Convection-Diffusion-Reaction and Flow Problems
This considerably extended and completely revised second edition incorporates many new developments in the thriving field of numerical methods for singularly perturbed differential equations. It provides a thorough foundation for the numerical analysis and solution of these problems, which model many physical phenomena whose solutions exhibit layers. The book focuses on linear convection-diffusion equations and on nonlinear flow problems that appear in computational fluid dynamics. It offers a comprehensive overview of suitable numerical methods while emphasizing those with realistic error estimates. The book should be useful for scientists requiring effective numerical methods for singularly perturbed differential equations.
RESPACE, key technologies for reusable space systems : Results of a virtual institute programme of the German Helmholtz-Association, 2003-2007
This volume contains the main results of the three years study (2003 - 2007) of the Virtual Institute RESPACE (Key Technologies for Re-Usable Space Systems), The nine topics treated with a multidisciplinary numerical and experimental approach are systems aspects of advanced space transportation vehicles, vehicle base flow, propulsion jet and external flow interaction, active cooling of hot structures, film cooling and its influence on boundary-layer flow.
Resource Allocation In Multiuser Multicarrier Wireless Systems
This book proposes a unified algorithmic framework based on dual optimization techniques that have complexities that are linear in the number of subcarriers and users, and that achieve negligible optimality gaps in standards-based numerical simulations.
