this paper presented a mixed integer programming for integrated scheduling and process planning. the presented process plan included some orders with precedence relations similar to multiple traveling salesman problem (mtsp), which was categorized as an np-hard problem. these types of problems are also called advanced planning because of simultaneously determining the appropriate sequence and m...

We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions provide a native solution to the pro...

Rectangular waveguide is one of the earliest types of transmission lines. Rectangular waveguide can be produced by hot extrusion process. In this paper, the hot extrusion process of CuZn5 rectangular waveguide was investigated by Finite Element Method (FEM). In addition, Genetic Algorithm (GA) was used to optimize the die geometry and process conditions to achieve the lowest magnitude of extrus...

Tobias Bucher is research assistant and doctoral student at the Institute of Information Management, Chair of Prof. Dr. Robert Winter, University of St. Gallen (HSG), Switzerland. He holds a Master degree in economics (concentration in information systems and econometrics) from the University of Freiburg, Germany. His research interests include business engineering methods and models, data ware...

The insulin pump is a safety-critical embedded medical device used for treatment of type 1 and insulin treated type 2 diabetes. Malfunction of the insulin pump will endanger the user’s life. All countries impose some regulation on the sale and use of medical devices. The purpose of such regulation is to protect the public by imposing standards of safety for medical devices, including insulin pu...