You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Optimization from Human Genes to Cutting Edge Technologies The challenges faced by industry today are so complex that they can only be solved through the help and participation of optimization ex perts. For example, many industries in e-commerce, finance, medicine, and engineering, face several computational challenges due to the mas sive data sets that arise in their applications. Some of the challenges include, extended memory algorithms and data structures, new program ming environments, software systems, cryptographic protocols, storage devices, data compression, mathematical and statistical methods for knowledge mining, and information visualization. With advances in computer and inform...
There has been much recent progress in approximation algorithms for nonconvex continuous and discrete problems from both a theoretical and a practical perspective. In discrete (or combinatorial) optimization many approaches have been developed recently that link the discrete universe to the continuous universe through geomet ric, analytic, and algebraic techniques. Such techniques include global optimization formulations, semidefinite programming, and spectral theory. As a result new ap proximate algorithms have been discovered and many new computational approaches have been developed. Similarly, for many continuous nonconvex optimization prob lems, new approximate algorithms have been devel...
This is a comprehensive introduction to scientific visualization. It provides a complete history of the development of the field with illustrations of how the techniques can be applied in different field, including the history itself.
Selected contributions to the Workshop WAFR 2002, held December 15-17, 2002, Nice, France. This fifth biannual Workshop on Algorithmic Foundations of Robotics focuses on algorithmic issues related to robotics and automation. The design and analysis of robot algorithms raises fundamental questions in computer science, computational geometry, mechanical modeling, operations research, control theory, and associated fields. The highly selective program highlights significant new results such as algorithmic models and complexity bounds. The validation of algorithms, design concepts, or techniques is the common thread running through this focused collection.
This book constitutes the refereed proceedings of the 19th British National Conference on Databases, BNCOD 2002, held in Sheffield, UK, in July 2002. The 10 revised full papers and 9 posters presented together with one invited paper were carefully reviewed and selected for inclusion in the volume. The book offers topical sections on query processing, data warehousing and data mining, quality and integrity, and web and distributed databases.
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithm...
This book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC '95, held in Cairns, Australia, in December 1995. The 45 revised full papers presented together with the abstracts of three invited talks were selected from a total of 130 submissions. The papers address many current aspects of research and advanced applications of algorithms and computations; among the topics covered are graph theory and graph algorithms, computational geometry, computational logics, searching and sorting, approximation and optimization, algebraic manipulation, and coding.
This two-volume handbook presents a collection of novel methodologies with applications and illustrative examples in the areas of data-driven computational social sciences. Throughout this handbook, the focus is kept specifically on business and consumer-oriented applications with interesting sections ranging from clustering and network analysis, meta-analytics, memetic algorithms, machine learning, recommender systems methodologies, parallel pattern mining and data mining to specific applications in market segmentation, travel, fashion or entertainment analytics. A must-read for anyone in data-analytics, marketing, behavior modelling and computational social science, interested in the lates...
Safety and Risk Modeling presents the latest theories and methods of safety and risk with an emphasis on safety and risk in modeling. It covers applications in several areas including transportations and security risk assessments, as well as applications related to current topics in safety and risk. Safety and Risk Modeling is a valuable resource for understanding the latest developments in both qualitative and quantitative methods of safety and risk analysis and their applications in operating environments. Each chapter has been written by active researchers or experienced practitioners to bridge the gap between theory and practice and to trigger new research challenges in safety and risk. Topics include: safety engineering, system maintenance, safety in design, failure analysis, and risk concept and modelling. Postgraduate students, researchers, and practitioners in many fields of engineering, operations research, management, and statistics will find Safety and Risk Modeling a state-of-the-art survey of reliability and quality in design and practice.