IBM is a company that provides software and services for business planning and operation. In particular, it develops the IBM ILOG CPLEX Optimizer, a mathematical...
In the last years the formal verification technique "property checking" was used to prove the correctness of microchip designs. This technique checks all possible input...
Models and Simulations for Network Planning and Control of UMTS
The deployment of mobile telecommunication networks for the new UMTS standard poses new challenges for radio network planning. In contrast to, for example, GSM, coverage...
Many real world problems can be modeled as mixed integer programs (MIPs) or mixed integer nonlinear programs (MINLPs). This project aims at developing tools for modeling...