Sets out a new method for generating tight linear or convex programming relaxations for discrete and continuous nonconvex programming problems, featuring a model that affords a useful representation a
In recent years approximation theory and the theory of orthogonal polynomials have witnessed a dramatic increase in the number of solutions of difficult and previously untouchable problems. This is du
Here is a presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the semantics of computation are carefully developed.
This book chiefly addresses the analysis and design of geosynchronous synthetic aperture radar (GEO SAR) systems, focusing on the algorithms, analysis, methods used to compensate for ionospheric influ
This book introduces readers to the basic principles of bioinformatics and the practical application and utilization of computational tools, without assuming any prior background in programming or inf
This volume demonstrates the use of FORTRAN for numerical computing in the context of the finite element method. FORTRAN is still an important programming language for computational mechanics and all
This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. It presents a collection of papers on orig
This book showcases powerful new hybrid methods that combine numerical and symbolic algorithms. Hybrid algorithm research is currently one of the most promising directions in the context of geoscience
This multidisciplinary book brings together medical, management, and architectural disciplines in order to formulate new approaches to the programming, planning, and design of healthcare facilities th
This book presents the theoretical details and computational performances of algorithms used for solving continuous nonlinear optimization applications imbedded in GAMS. Aimed toward scientists and gr
Over the past decade, advances in sensor technology, processing algorithms, and computational capacity have taken remote sensing to a level where observations can be transformed into quantitative meas
This is the first book to focus on solving cooperative control problems of multiple robot arms using different centralized or distributed neural network models, presenting methods and algorithms toget
The book introduces novel algorithms for designing fault-tolerant control (FTC) systems using the behavioral system theoretic approach, and presents a demonstration of successful novel FTC mechanisms
This book introduces readers to the basic concepts of Heart Rate Variability (HRV) and its most important analysis algorithms using a hands-on approach based on the open-source RHRV software. HRV refe
This textbook presents basic numerical methods and applies them to a large variety of physical models in multiple computer experiments. Classical algorithms and more recent methods are explained. Part
This book provides an in-depth discussion on how to efficiently manage resources of heterogeneous wireless networks and how to design resource allocation algorithms to suit real world conditions. Effi
This textbook explains the principles of fuzzy systems in some depth together with information useful in realizing them within computational processes. The various algorithms and example problem solut
This new edition presents a thorough discussion of the mathematical theory and computational schemes of Kalman filtering. The filtering algorithms are derived via different approaches, including a dir
This book provides an overview of the current state-of-the-art of nonlinear time series analysis, richly illustrated with examples, pseudocode algorithms and real-world applications. Avoiding a “theor
The book introduces methods and applications in translational biomedical informatics, which include biomedical big data, cloud computing and algorithms for understanding omics data, imaging data, elec
In the context of coupled-coordination control mechanisms, this book focuses on the delay robustness of consensus problems with asynchronously coupled and synchronously coupled consensus algorithms re
This book serves as a single-source reference to the state-of-the-art in Internet of Things (IoT) platforms, services, tools, programming languages, and applications. In particular, the authors focus
This book covers aspects of human re-identification problems related to computer vision and machine learning. Working from a practical perspective, it introduces novel algorithms and designs for human
This book showcases new and innovative approaches to biometric data capture and analysis, focusing especially on those that are characterized by non-intrusiveness, reliable prediction algorithms, and
This book introduces new massively parallelcomputer (MPSoC) architectures called invasive tightly coupled processor arrays. It proposes strategies, architecturedesigns, and programming interfaces for
This book presents results on theconvergence behavior of algorithms which are known as vital tools for solvingconvex feasibility problems and common fixed point problems. The main goal forus in dealin
This book discusses in detail the basic algorithms of video compression that are widely used in modern video codec. The authors dissect complicated specifications and present material in a way that ge
This book offers readers a clear guide to implementing engineering applications with FPGAs, from the mathematical description to the hardware synthesis, including discussion of VHDL programming and co
This book presents a comprehensive study of multivariate time series with linear state space structure. The emphasis is put on both the clarity of the theoretical concepts and on efficient algorithms
The scope of this book is limited to heuristics, metaheuristics, and approximate methods and algorithms as applied to planning and scheduling problems. While it is not possible to give a comprehensive
Learn to Program with C teaches computer programming to the complete beginner using the native C language. As such, it assumes you have no knowledge whatsoever about programming. The main goal of this
How and why to write a movement? Who is the writer? Who is the reader? They may be choreographers working with dancers. They may be roboticists programming robots. They may be artists designing cartoo
Presenting a practitioner's guide to capabilities and best practices of quality control systems using the R programming language, this volume emphasizes accessibility and ease-of-use through detailed&
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming l
This book shows how common operation management methods and algorithms can be extended to deal with vague or imprecise information in decision-making problems. It describes how to combine decision tre
This book introduces the concept of the wise home. Whilst smart homes focus on automation technologies, forcing users to deal with complex and incomprehensible control and programming procedures, the
This book introduces novel techniques and algorithms necessary to support the formation of social networks. Concepts such as link prediction, graph patterns, recommendation systems based on user reput
This book endeavours to give a concise contribution to understanding the data assimilation and related methodologies. The mathematical concepts and related algorithms are fully presented, especially f
This book clearly shows the importance, usefulness, and powerfulness of current optimization technologies, in particular, mixed-integer programming and its remarkable applications. It is intended to b
This book presents two practical physical attacks. It shows how attackers can reveal the secret key of symmetric as well as asymmetric cryptographic algorithms based on these attacks, and presents cou
