While the Standard Model (SM) describes all known fundamental particles and many of the interactions between them, it fails ...

Welcome to what is currently one of the fastest academically developed solvers for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP). In addition, SCIP provides a highly ...

In this paper, we propose a framework for prioritized constraint-based specification of robot tasks. This framework is integrated with a cognitive robotic system based on semantic models of processes, ...

Self-powered catalytic micromotors that swim through a fluid by harvesting energy from their environment have received increasing attention because of their potential applications in nanomachinery, ...

We analyze two alternative approaches to formulate appropriate workload-balancing constraints in a mixed-binary linear optimization problem. In the first approach, the maximum deviation of each unit’s ...