This book gathers selected contributions presented at the INdAM Workshop "DREAMS", held in Rome, Italy on January 22 26, 2018. Addressing cutting-edge research topics and advances in computer aided geometric design and isogeometric analysis, it covers distinguishing curve/surface constructions and spline models, with a special focus on emerging adaptive spline constructions, fundamental spline theory and related algorithms, as well as various aspects of isogeometric methods, e.g. efficient quadrature rules and spectral analysis for isogeometric B-spline discretizations. Applications in finite element and boundary element methods are also discussed. Given its scope, the book will be of interest to both researchers and graduate students working in these areas.

This book introduces several topics related to linear model theory, including: multivariate linear models, discriminant analysis, principal components, factor analysis, time series in both the frequency and time domains, and spatial data analysis. This second edition adds new material on nonparametric regression, response surface maximization, and longitudinal models. The book provides a unified approach to these disparate subjects and serves as a self-contained companion volume to the author's Plane Answers to Complex Questions: The Theory of Linear Models. Ronald Christensen is Professor of Statistics at the University of New Mexico. He is well known for his work on the theory and application of linear models having linear structure.

Mathematics majors at Michigan State University take a "Capstone" course near the end of their undergraduate careers. The content of this course varies with each offering. Its purpose is to bring together different topics from the undergraduate curriculum and introduce students to a developing area in mathematics. This text was originally written for a Capstone course. Basic wavelet theory is a natural topic for such a course. By name, wavelets date back only to the 1980s. On the boundary between mathematics and engineering, wavelet theory shows students that mathematics research is still thriving, with important applications in areas such as image compression and the numerical solution of differential equations. The author believes that the essentials of wavelet theory are sufficiently elementary to be taught successfully to advanced undergraduates. This text is intended for undergraduates, so only a basic background in linear algebra and analysis is assumed. We do not require familiarity with complex numbers and the roots of unity.

This book provides a complete and comprehensive reference/guide to Pyomo (Python Optimization Modeling Objects) for both beginning and advanced modelers, including students at the undergraduate and graduate levels, academic researchers, and practitioners. The text illustrates the breadth of the modeling and analysis capabilities that are supported by the software and support of complex real-world applications. Pyomo is an open source software package for formulating and solving large-scale optimization and operations research problems. The text begins with a tutorial on simple linear and integer programming models. A detailed reference of Pyomo's modeling components is illustrated with extensive examples, including a discussion of how to load data from data sources like spreadsheets and databases. Chapters describing advanced modeling capabilities for nonlinear and stochastic optimization are also included. The Pyomo software provides familiar modeling features within Python, a powerful dynamic programming language that has a very clear, readable syntax and intuitive object orientation. Pyomo includes Python classes for defining sparse sets, parameters, and variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used from a command-line interface and within Python's interactive command environment, which makes it easy to create Pyomo models, apply a variety of optimizers, and examine solutions. The software supports a different modeling approach than commercial AML (Algebraic Modeling Languages) tools, and is designed for flexibility, extensibility, portability, and maintainability but also maintains the central ideas in modern AMLs.

This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the Gauss-Allianz, the association of High-Performance Computing centers in Germany. The reports cover all fields of computational science and engineering, ranging from CFD to Computational Physics and Biology to Computer Science, with a special emphasis on industrially relevant applications. Presenting results for large-scale parallel microprocessor-based systems and GPU and FPGA-supported systems, the book makes it possible to compare the performance levels and usability of various architectures. Its outstanding results in achieving the highest performance for production codes are of particular interest for both scientists and engineers. The book includes a wealth of color illustrations and tables.

Computational Fluid Dynamics has now grown into a multidisciplinary activity with considerable industrial applications. The papers in this volume bring out the current status and future trends in CFD very effectively. They cover numerical techniques for solving Euler and Navier-Stokes equations and other models of fluid flow, along with a number of papers on applications. Besides the 88 contributed papers by research workers from all over the world, the book also includes 6 invited lectures from distinguished scientists and engineers.

For long-span bridges, wind action is a dominant factor in their safety and serviceability. A large number of long-span bridges have been built in Japan over the past 30 years, and tremendous amounts of research and technical development have been accomplished in wind-resistant design." "This book is a compilation of the results of active research and development. Wind-resistant design standards generated in Japan are described in the first few chapters. Then comes information such as design wind speed, structural damping, wind tunnel tests, and analyses, which provide the basis of the designstandards. Wind-induced vibrations and their control of girders, towers, cables, and other features are explained with examples of field measurements. Comprehensive listings of Japanese experience in vibration control are also presented. Because achieving particularly dynamic safety against wind is still not an easy task, these data and information will be valuable assets for the wind-engineering and bridge-engineering communities."

The fourth international conference on Scientific Computing in Electrical En- gineering (SCEE) was held at the Eindhoven University of Technology, from 23rd to 28th June, 2002. It was sponsored by Philips Research Laborato- ries Eindhoven, the Eindhoven University of Technology, Computer Simula- tion Technology (CST) from Darmstadt, ABB Corporate Research, Thales Netherlands,the European Consortium for Mathematics in Industry (ECMI), the University of Rostock (organiser of SCEE-2000), the European network for Mathematics, Computing and Simulation for Industry (MACSI-net), the Royal Netherlands Academy of Arts and Sciences (KNAW), and the Scien- tific Computing Group of the Eindhoven University of Technology. The Program Committee consisted of: Dr. Alain Bossavit, Electricite de France, Clamart, France. Dr. Uwe Feldmann, Infineon Technologies A.G., Munich, Germany. Prof.Dr. Leszek Demkowicz, University of Texas at Austin, USA. Dr. Michael Gunther, Universitat Karlsruhe, Germany. Prof.Dr. Ulrich Langer, Johannes Kepler Universitat, Linz, Austria. Dr. Jan ter Maten,Philips Research Laboratories Eindhoven, The Nether- lands. Prof.Dr. Ursula van Rienen, Universitat Rostock, Germany. Prof.Dr. Jaijeet Roychowdhury, University of Minnesota, USA. - Prof.Dr. Wil Schilders, Technische Universiteit Eindhoven and Philips Research Laboratories Eindhoven, The Netherlands. - Prof.Dr. Thomas Weiland, Technische Universitat Darmstadt, Germany.

About 80 participants from 16 countries attended the Conference on Numerical Methods for Free Boundary Problems, held at the University of Jyviiskylii, Finland, July 23-27, 1990. The main purpose of this conference was to provide up-to-date information on important directions of research in the field of free boundary problems and their numerical solutions. The contributions contained in this volume cover the lectures given in the conference. The invited lectures were given by H.W. Alt, V. Barbu, K-H. Hoffmann, H. Mittelmann and V. Rivkind. In his lecture H.W. Alt considered a mathematical model and existence theory for non-isothermal phase separations in binary systems. The lecture of V. Barbu was on the approximate solvability of the inverse one phase Stefan problem. K-H. Hoff mann gave an up-to-date survey of several directions in free boundary problems and listed several applications, but the material of his lecture is not included in this proceedings. H.D. Mittelmann handled the stability of thermo capillary convection in float-zone crystal growth. V. Rivkind considered numerical methods for solving coupled Navier-Stokes and Stefan equations. Besides of those invited lectures mentioned above there were 37 contributed papers presented. We shall briefly outline the topics of the contributed papers: Stefan like problems. Modelling, existence and uniqueness."

ECMI, the European Consortium for Mathematics in Industry, is the European brand associated with applied mathematics for industry and organizes highly successful biannual conferences. In this series, the ECMI 2010, the 16th European Conference on Mathematics for Industry, was held in the historic city hall of Wuppertal in Germany. It covered the mathematics of a wide range of applications and methods, from circuit and electromagnetic device simulation to model order reduction for chip design, uncertainties and stochastics, production, fluids, life and environmental sciences, and dedicated and versatile methods.

These proceedings of ECMI 2010 emphasize mathematics as an innovation enabler for industry and business, and as an absolutely essential pre-requiste for Europe on its way to becoming the leading knowledge-based economy in the world.

This multidisciplinary volume is the second in the STEAM-H series to feature invited contributions on mathematical applications in naval engineering. Seeking a more holistic approach that transcends current scientific boundaries, leading experts present interdisciplinary instruments and models on a broad range of topics. Each chapter places special emphasis on important methods, research directions, and applications of analysis within the field. Fundamental scientific and mathematical concepts are applied to topics such as microlattice materials in structural dynamics, acoustic transmission in low Mach number liquid flow, differential cavity ventilation on a symmetric airfoil, Kalman smoother, metallic foam metamaterials for vibration damping and isolation, seal whiskers as a bio-inspired model for the reduction of vortex-induced vibrations, multidimensional integral for multivariate weighted generalized Gaussian distributions, minimum uniform search track placement for rectangular regions, antennas in the maritime environment, the destabilizing impact of non-performers in multi-agent groups, inertial navigation accuracy with bias modeling. Carefully peer-reviewed and pedagogically presented for a broad readership, this volume is perfect to graduate and postdoctoral students interested in interdisciplinary research. Researchers in applied mathematics and sciences will find this book an important resource on the latest developments in naval engineering. In keeping with the ideals of the STEAM-H series, this volume will certainly inspire interdisciplinary understanding and collaboration.

Tearing and interconnecting methods, such as FETI, FETI-DP, BETI, etc., are among the most successful domain decomposition solvers for partial differential equations. The purpose of this book is to give a detailed and self-contained presentation of these methods, including the corresponding algorithms as well as a rigorous convergence theory. In particular, two issues are addressed that have not been covered in any monograph yet: the coupling of finite and boundary elements within the tearing and interconnecting framework including exterior problems, and the case of highly varying (multiscale) coefficients not resolved by the subdomain partitioning. In this context, the book offers a detailed view to an active and up-to-date area of research.

Mechanics, Motion Control, Sensing and Programming, Synthesis and Design, Legged Locomotion and Biomechanical Aspects of Robots and Manipulators - world view of the state of the art. Characterization: This volume presents the latest contribution to the theory and practice of modern robotics given by the world recognized scientists from Australia, Canada, Europe, Japan, Mexico, Singapore and USA.

This volume contains eight state of the art contributions on mathematical aspects and applications of fast boundary element methods in engineering and industry. This covers the analysis and numerics of boundary integral equations by using differential forms, preconditioning of hp boundary element methods, the application of fast boundary element methods for solving challenging problems in magnetostatics, the simulation of micro electro mechanical systems, and for contact problems in solid mechanics. Other contributions are on recent results on boundary element methods for the solution of transient problems. This book is addressed to researchers, graduate students and practitioners working on and using boundary element methods. All contributions also show the great achievements of interdisciplinary research between mathematicians and engineers, with direct applications in engineering and industry.

This book introduces resource-aware data fusion algorithms to gather and combine data from multiple sources (e.g., sensors) in order to achieve inferences. These techniques can be used in centralized and distributed systems to overcome sensor failure, technological limitation, and spatial and temporal coverage problems. The algorithms described in this book are evaluated with simulation and experimental results to show they will maintain data integrity and make data useful and informative.

Describes techniques to overcome real problems posed by wireless sensor networks deployed in circumstances that might interfere with measurements provided, such as strong variations of pressure, temperature, radiation, and electromagnetic noise; Uses simulation and experimental results to evaluate algorithms presented and includes real test-bed; Includes case study implementing data fusion algorithms on a remote monitoring framework for sand production in oil pipelines. "

Semidefinite programs constitute one of the largest classes of optimization problems that can be solved with reasonable efficiency - both in theory and practice. They play a key role in a variety of research areas, such as combinatorial optimization, approximation algorithms, computational complexity, graph theory, geometry, real algebraic geometry and quantum computing. This book is an introduction to selected aspects of semidefinite programming and its use in approximation algorithms. It covers the basics but also a significant amount of recent and more advanced material.

There are many computational problems, such as MAXCUT, for which one cannot reasonably expect to obtain an exact solution efficiently, and in such case, one has to settle for approximate solutions. For MAXCUT and its relatives, exciting recent results suggest that semidefinite programming is probably the ultimate tool. Indeed, assuming the Unique Games Conjecture, a plausible but as yet unproven hypothesis, it was shown that for these problems, known algorithms based on semidefinite programming deliver the best possible approximation ratios among all polynomial-time algorithms.

This book follows the "semidefinite side" of these developments, presenting some of the main ideas behind approximation algorithms based on semidefinite programming. It develops the basic theory of semidefinite programming, presents one of the known efficient algorithms in detail, and describes the principles of some others. It also includes applications, focusing on approximation algorithms."

This book presents and extend different known methods to solve different types of strong nonlinearities encountered by engineering systems. A better knowledge of the classical methods presented in the first part lead to a better choice of the so-called base functions . These are absolutely necessary to obtain the auxiliary functions involved in the optimal approaches which are presented in the second part.
Every chapter introduces a distinct approximate method applicable to nonlinear dynamical systems. Each approximate analytical approach is accompanied by representative examples related to nonlinear dynamical systems from to various fields of engineering."

Fracture mechanics is a vast and growing field. This book develops the basic elements needed for both fracture research and engineering practice. The emphasis is on continuum mechanics models for energy flows and crack-tip stress- and deformation fields in elastic and elastic-plastic materials. In addition to a brief discussion of computational fracture methods, the text includes practical sections on fracture criteria, fracture toughness testing, and methods for measuring stress intensity factors and energy release rates. Class-tested at Cornell, this book is designed for students, researchers and practitioners interested in understanding and contributing to a diverse and vital field of knowledge.

Mechanical design includes an optimization process in which designers always consider objectives such as strength, deflection, weight, wear, corrosion, etc. depending on the requirements. However, design optimization for a complete mechanical assembly leads to a complicated objective function with a large number of design variables. It is a good practice to apply optimization techniques for individual components or intermediate assemblies than a complete assembly. Analytical or numerical methods for calculating the extreme values of a function may perform well in many practical cases, but may fail in more complex design situations. In real design problems, the number of design parameters can be very large and their influence on the value to be optimized (the goal function) can be very complicated, having nonlinear character. In these complex cases, advanced optimization algorithms offer solutions to the problems, because they find a solution near to the global optimum within reasonable time and computational costs.

"Mechanical Design Optimization Using Advanced Optimization Techniques" presents a comprehensive review on latest research and development trends for design optimization of mechanical elements and devices. Using examples of various mechanical elements and devices, the possibilities for design optimization with advanced optimization techniques are demonstrated. Basic and advanced concepts of traditional and advanced optimization techniques are presented, along with real case studies, results of applications of the proposed techniques, and the best optimization strategies to achieve best performance are highlighted. Furthermore, a novel advanced optimization method named teaching-learning-based optimization (TLBO) is presented in this book and this method shows better performance with less computational effort for the large scale problems.

"Mechanical Design Optimization Using Advanced Optimization Techniques" is intended for designers, practitioners, managers, institutes involved in design related projects, applied research workers, academics, and graduate students in mechanical and industrial engineering and will be useful to the industrial product designers for realizing a product as it presents new models and optimization techniques to make tasks easier, logical, efficient and effective.

This volume highlights the latest developments and trends in advanced materials and their properties, the modeling and simulation of non-classical materials and structures, and new technologies for joining materials. It presents the developments of advanced materials and respective tools to characterize and predict the material properties and behavior.

"The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top authorities in the field." Journal of Symbolic Logic Written by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and applications of Kolmogorov complexity. The book presents a thorough treatment of the subject with a wide range of illustrative applications. Such applications include the randomness of finite objects or infinite sequences, Martin-Loef tests for randomness, information theory, computational learning theory, the complexity of algorithms, and the thermodynamics of computing. It will be ideal for advanced undergraduate students, graduate students, and researchers in computer science, mathematics, cognitive sciences, philosophy, artificial intelligence, statistics, and physics. The book is self-contained in that it contains the basic requirements from mathematics and computer science. Included are also numerous problem sets, comments, source references, and hints to solutions of problems. New topics in this edition include Omega numbers, Kolmogorov-Loveland randomness, universal learning, communication complexity, Kolmogorov's random graphs, time-limited universal distribution, Shannon information and others.

This book is the outcome of a series of discussions at the Philips Symposium on Intelligent Algorithms, held in Eindhoven in December 2004. It offers exciting and practical examples of the use of intelligent algorithms in ambient and biomedical computing. It contains topics such as bioscience computing, database design, machine consciousness, scheduling, video summarization, audio classification, semantic reasoning, machine learning, tracking and localization, secure computing, and communication.

The ADI Model Problem presents the theoretical foundations of Alternating Direction Implicit (ADI) iteration for systems with both real and complex spectra and extends early work for real spectra into the complex plane with methods for computing optimum iteration parameters for both one and two variable problems. This book provides application of theory to the solution of boundary value problems and description of stable similarity reduction of a full matrix to low-band upper Hessenberg form, with application to computation of eigenvalues and solution of Lyapunov and Sylvester equations. Also included are MATLAB programs and numerical verification of theory and applications.

While preparing and teaching 'Introduction to Geodesy I and II' to undergraduate students at Stuttgart University, we noticed a gap which motivated the writing of the present book: Almost every topic that we taught required some skills in algebra, and in particular, computer algebra! From positioning to transformation problems inherent in geodesy and geoinformatics, knowledge of algebra and application of computer algebra software were required. In preparing this book therefore, we have attempted to put together basic concepts of abstract algebra which underpin the techniques for solving algebraic problems. Algebraic computational algorithms useful for solving problems which require exact solutions to nonlinear systems of equations are presented and tested on various problems. Though the present book focuses mainly on the two ?elds, the concepts and techniques presented herein are nonetheless applicable to other ?elds where algebraic computational problems might be encountered. In Engineering for example, network densi?cation and robotics apply resection and intersection techniques which require algebraic solutions. Solution of nonlinear systems of equations is an indispensable task in almost all geosciences such as geodesy, geoinformatics, geophysics (just to mention but a few) as well as robotics. These equations which require exact solutions underpin the operations of ranging, resection, intersection and other techniques that are normally used. Examples of problems that require exact solutions include; * three-dimensional resection problem for determining positions and orientation of sensors, e. g. , camera, theodolites, robots, scanners etc.