This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth. The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements. The 12 contributed talks presented were carefully selected from 30 submissions and cover the topics cryptography, designs, quantum computing, algorithms, and coding theory. Furthermore, this volume contains two invited talks held at the conference. One focuses on the area of coding theory and symbolic computation, an area especially appreciated by Thomas Beth, because it combines algebra and algorithmics. The other one discusses quantum information, which again was a focus of Thomas Beth’s research.

"Comprises some of the key work presented at two IMA Wokshops on Computer Vision during fall of 2000."--Pref.

Mathematical Methods in Computer Aided Geometric Design II covers the proceedings of the 1991 International Conference on Curves, Surfaces, CAGD, and Image Processing, held at Biri, Norway. This book contains 48 chapters that include the topics of blossoming, cyclides, data fitting and interpolation, and finding intersections of curves and surfaces. Considerable chapters explore the geometric continuity, geometrical optics, image and signal processing, and modeling of geological structures. The remaining chapters discuss the principles of multiresolution analysis, NURBS, offsets, radial basis functions, rational splines, robotics, spline and Bézier methods for curve and surface modeling, subdivision, terrain modeling, and wavelets. This book will prove useful to mathematicians, computer scientists, and advance mathematics students.

Mathematical Methods in Computer Aided Geometric Design covers the proceedings of the 1988 International Conference by the same title, held at the University of Oslo, Norway. This text contains papers based on the survey lectures, along with 33 full-length research papers. This book is composed of 39 chapters and begins with surveys of scattered data interpolation, spline elastic manifolds, geometry processing, the properties of Bézier curves, and Gröbner basis methods for multivariate splines. The next chapters deal with the principles of box splines, smooth piecewise quadric surfaces, some applications of hierarchical segmentations of algebraic curves, nonlinear parameters of splines, and algebraic aspects of geometric continuity. These topics are followed by discussions of shape preserving representations, box-spline surfaces, subdivision algorithm parallelization, interpolation systems, and the finite element method. Other chapters explore the concept and applications of uniform bivariate hermite interpolation, an algorithm for smooth interpolation, and the three B-spline constructions. The concluding chapters consider the three B-spline constructions, design tools for shaping spline models, approximation of surfaces constrained by a differential equation, and a general subdivision theorem for Bézier triangles. This book will prove useful to mathematicians and advance mathematics students.

The book discusses important results in modern mathematical models and high performance computing, such as applied operations research, simulation of operations, statistical modeling and applications, invisibility regions and regular meta-materials, unmanned vehicles, modern radar techniques/SAR imaging, satellite remote sensing, coding, and robotic systems. Furthermore, it is valuable as a reference work and as a basis for further study and research. All contributing authors are respected academicians, scientists and researchers from around the globe. All the papers were presented at the international conference on Modern Mathematical Methods and High Performance Computing in Science & Technology (M3HPCST 2015), held at Raj Kumar Goel Institute of Technology, Ghaziabad, India, from 27–29 December 2015, and peer-reviewed by international experts. The conference provided an exceptional platform for leading researchers, academicians, developers, engineers and technocrats from a broad range of disciplines to meet and discuss state-of-the-art mathematical methods and high performance computing in science & technology solutions. This has brought new prospects for collaboration across disciplines and ideas that facilitate novel breakthroughs.

This special volume of the conference will be of immense use to the researchers and academicians. In this conference, academicians, technocrats and researchers will get an opportunity to interact with eminent persons in the field of Applied Mathematics and Scientific Computing. The topics to be covered in this International Conference are comprehensive and will be adequate for developing and understanding about new developments and emerging trends in this area. High-Performance Computing (HPC) systems have gone through many changes during the past two decades in their architectural design to satisfy the increasingly large-scale scientific computing demand. Accurate, fast, and scalable performance models and simulation tools are essential for evaluating alternative architecture design decisions for the massive-scale computing systems. This conference recounts some of the influential work in modeling and simulation for HPC systems and applications, identifies some of the major challenges, and outlines future research directions which we believe are critical to the HPC modeling and simulation community.

Mathematical Methods for Signal and Image Analysis and Representation presents the mathematical methodology for generic image analysis tasks. In the context of this book an image may be any m-dimensional empirical signal living on an n-dimensional smooth manifold (typically, but not necessarily, a subset of spacetime). The existing literature on image methodology is rather scattered and often limited to either a deterministic or a statistical point of view. In contrast, this book brings together these seemingly different points of view in order to stress their conceptual relations and formal analogies. Furthermore, it does not focus on specific applications, although some are detailed for the sake of illustration, but on the methodological frameworks on which such applications are built, making it an ideal companion for those seeking a rigorous methodological basis for specific algorithms as well as for those interested in the fundamental methodology per se. Covering many topics at the forefront of current research, including anisotropic diffusion filtering of tensor fields, this book will be of particular interest to graduate and postgraduate students and researchers in the fields of computer vision, medical imaging and visual perception.

No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".

SIMULATIONS AND ANALYSIS of Mathematical Methods Written and edited by a group of international experts in the field, this exciting new volume covers the state of the art of real-time applications of computer science using mathematics. This breakthrough edited volume highlights the security, privacy, artificial intelligence, and practical approaches needed by engineers and scientists in all fields of science and technology. It highlights the current research, which is intended to advance not only mathematics but all areas of science, research, and development, and where these disciplines intersect. As the book is focused on emerging concepts in machine learning and artificial intelligence algorithmic approaches and soft computing techniques, it is an invaluable tool for researchers, academicians, data scientists, and technology developers. The newest and most comprehensive volume in the area of mathematical methods for use in real-time engineering, this groundbreaking new work is a must-have for any engineer or scientist’s library. Also useful as a textbook for the student, it is a valuable contribution to the advancement of the science, both a working handbook for the new hire or student, and a reference for the veteran engineer.

Brings mathematics to bear on your real-world, scientific problems Mathematical Methods in Interdisciplinary Sciences provides a practical and usable framework for bringing a mathematical approach to modelling real-life scientific and technological problems. The collection of chapters Dr. Snehashish Chakraverty has provided describe in detail how to bring mathematics, statistics, and computational methods to the fore to solve even the most stubborn problems involving the intersection of multiple fields of study. Graduate students, postgraduate students, researchers, and professors will all benefit significantly from the author's clear approach to applied mathematics. The book covers a wide range of interdisciplinary topics in which mathematics can be brought to bear on challenging problems requiring creative solutions. Subjects include: Structural static and vibration problems Heat conduction and diffusion problems Fluid dynamics problems The book also covers topics as diverse as soft computing and machine intelligence. It concludes with examinations of various fields of application, like infectious diseases, autonomous car and monotone inclusion problems.