This paper addresses a new mixed integer nonlinear and linear mathematical programming economic lot sizing and scheduling problem in distributed permutation flow shop problem with number of identical factories and machines. Different products must be distributed between the factories and then assignment of products to factories and sequencing of the products assigned to each factory has to be d...

Indoor nitrogen dioxide (NO₂) concentration is an important factor for personal exposure despite the wide distribution of its sources. Exposure to NO₂ may produce adverse health effects. The aims of this study were to characterize the indoor air quality of wayside shops using multiple NO₂ measurements, and to estimate the contribution of outdoor NO₂ sources such as vehicle emission to indoor ai...

This paper shows that substantial reductions in leakage energy can be obtained by deactivating groups of branch-predictor entries if they lie idle for a sufficiently long time. Decay techniques, first introduced by Kaxiras et al. for caches, work by tracking accesses to cache lines and turning off power to those that lie idle for a sufficiently long period of time (the decay interval). Once dea...

Model-Based Autonomous Systems for Robotic Space Exploration p. 4 Models of Computation and Simulation of Hybrid Systems p. 5 Modular Specification of Hybrid Systems in Charon p. 6 Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems p. 20 Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine p. 32 Optimization-Based Verification and Stability Characteri...

the abrasive flow machining technique uses a self-deforming tool, an abrasive laden media that is passed back and forth in the passage geometry of the hollow workpiece with the assistance of two hydraulically operated cylinders placed opposite to each other. the material is removed by abrasion generating finer surfaces in the area where flow is restricted. but this method has a low material rem...