In this paper, we consider tactical planning for a class of the multi-period vehicle routing problem (MPVRP). This problem involves optimizing daily product collections from several production locations over a given planning horizon. In this context, a single vehicle routing plan for the whole horizon must be prepared, and the seasonal variations in the producers' supplies must be taken into ac...

The Drive-thru Internet architecture allows exploiting intermittent connectivity by temporarily connecting to IEEE 802.11 WLAN access points at the roadside from moving vehicles. This poses numerous challenges to a mobile user’s equipment: extreme networking characteristics such as short periods of connectivity, unpredictable disconnection times, and vastly varying transmission characteristics....

This paper presents an optimization-based method to aid capacity planning decisions by quantifying the trade-off between the capital and operating costs of a production facility and the quality of finished products. Given forecasted market demands during multiple production periods, multi-objective optimization selects the quantity and the types of production machines to be purchased during eac...

The main challenges in model checking real-time Java programs are scalability and compliance with the Real-time Specification for Java (RTSJ) semantics. A model checker for RTSJ programs has to support the notion of thread periods and priority-preemptive scheduling as well as understand the region-based memory model introduced by the specification. We present the RJ model checker for multi-thre...

This study brings together the threat/control-override perspective and the literature on gender and stress coping to argue that gender moderates the association between threat delusions and violence. We suggest that men are more likely than women to respond to stressors such as threat delusions with violence. We test these ideas using data from the MacArthur Violence Risk Assessment Study, a mu...

The Drive-thru Internet architecture allows exploiting intermittent connectivity by temporarily connecting to IEEE 802.11 WLAN access points at the roadside from moving vehicles. This poses numerous challenges to a mobile user’s equipment: extreme networking characteristics such as short periods of connectivity, unpredictable disconnection times, and vastly varying transmission characteristics....