The term "robot" refers to a precision mechanical device that is accurately controlled by a computer using intelligent software. The term "robotic assistance" refers to the use of such a device to aid a surgeon in the optimal conduct of a procedure, particularly one requiring specified geometrical relationships. The authors have been exploring the application of robotic assistance in situations...

In this paper we present a formulation of the unit commitment problem with AC power flow constraints. It is solved by Benders’ decomposition in which master formulated as mixed-integer linearization generation constraints for improved convergence. Semidefinite programming relaxation rectangular optimal used subproblem, providing somewhat conservative cuts. Numerical case studies, including 6-bu...

AbstractEnvironmental, social and economic concerns motivate the operation of closedloop supply chain networks (CLSCN) in many industries. We propose a novel profit maximization model for CLSCN design as a mixed-integer linear program in which there is flexibility in covering the proportions of demand satisfied and returns collected based on the firm's policies. Our major contribution is to dev...

We present an approach to improve the search efficiency for near-optimal motion synthesis using motion graphs. An optimal or near-optimal path through a motion graph often leads to the most intuitive result. However, finding such a path can be computationally expensive. Our main contribution is a bidirectional search algorithm. We dynamically divide the search space evenly and merge two search ...

Type two cuts, bad cuts and very bad cuts are introduced in [KL] for studying the relationship between Loeb measure and U-topology of a hyper nite time line in an !1-saturated nonstandard universe. The questions concerning the existence of those cuts are asked there. In this paper we answer, fully or partially, some of those questions by showing that: (1) type-two cuts exist, (2) the @1-isomorp...