Kategoria BISAC: Mathematics >> Linear & Nonlinear Programming

Although transportation economists have advocated the tolling of urban streets as a mechanism for controlling congestion and managing travel demands for over 50 years, it is only recently that this idea has become practical. When compared to the alternative of building more roads, congestion pricing - in particular via electronic tolling - is attractive and has been adopted in countries around the world. Recent implementations in London, Singapore, and various cities in Norway, as well as a number of projects in the United States, have been judged successful.

This book presents...

As optimization researchers tackle larger and larger problems, scale interactions play an increasingly important role. One general strategy for dealing with a large or difficult problem is to partition it into smaller ones, which are hopefully much easier to solve, and then work backwards towards the solution of original problem, using a solution from a previous level as a starting guess at the next level. This volume contains 22 chapters highlighting some recent research. The topics of the chapters selected for this volume are focused on the development of new solution methodologies,...

Complementarity theory, a relatively new domain in applied mathematics, has deep connections with several aspects of fundamental mathematics and also has many applications in optimization, economics and engineering. The study of variational inequalities is another domain of applied mathematics with many applications to the study of certain problems with unilateral conditions. This book is the first to discuss complementarity theory and variational inequalities using Leray-Schauder type alternatives. The ideas and method presented in this book may be considered as a starting point for new...

A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive experience in Prolog implementation to describe for students of all levels the concepts, difficulties, and design limits of a Prolog system.

Boizumault introduces the specific problems posed by the implementation of Prolog, studies and...

This proceedings volume highlights a selection of papers presented at the Sixth International Conference on High Performance Scientific Computing, which took place in Hanoi, Vietnam on March 16-20, 2015. The conference was jointly organized by the Heidelberg Institute of Theoretical Studies (HITS), the Institute of Mathematics of the Vietnam Academy of Science and Technology (VAST), the Interdisciplinary Center for Scientific Computing (IWR) at Heidelberg University, and the Vietnam Institute for Advanced Study in Mathematics, Ministry of Education The contributions cover a broad,...