A mixed integer programming approach to multi-skilled workforce scheduling

The potential benefits of using human resources efficiently in the service sector constitute an incentive for decision makers in this industry to intelligently manage the work shifts of their employees, especially those dealing directly with customers. In the long term, they should attempt to find the right balance between employing as few labor resources as possible and keeping a high level of service. In the short run (e.g., 1 week), however, contracted staff levels cannot be adjusted, and management efforts thus focus on the efficient assignment of shifts and activities to each employee. This article proposes a mixed integer program model that solves the short-term multi-skilled workforce tour scheduling problem, enabling decision makers to simultaneously design workers’ shifts and days off, assign activities to shifts and assign those to employees so as to maximize and balance coverage of a firm’s demand for on-duty staff across multiple activities. Our model is simple enough to be solved with a commercial MIP solver calibrated by default without recurring to complex methodologies, such as extended reformulations and exact and/or heuristic column generation subroutines. A wide computational testing over 1000 randomly generated instances suggests that the model’s solution times are compatible with daily use and that multi-skilling is a significant source of labor flexibility to improve coverage of labor requirements, in particular when such requirements are negatively correlated and part-time workers are a scarce resource.     

Markovian-based traffic modeling for mobile ad hoc networks

Mobile ad hoc networks (MANETs) show very significant difference with respect to other computer networks due to the presence of extremely large packet loss bursts. The development of protocols for mobile ad hoc networks, especially multimedia protocols, require extensive evaluation either through simulation or real-life tests. Such testing consumes a great amount of resources both in terms of time and trace file sizes. Therefore, finding efficient means of reducing the amount of data that is stored and processed is quite important to accelerate the evaluation of different audio/video streaming applications. If, moreover, we are able to model the loss pattern experienced, we can further accelerate the evaluation process.In this work we propose two models based on hidden Markov chains that are able to grasp both packet arrivals and packet loss patterns in MANETs. A simpler two-state model is proposed to model losses when proactive routing protocols are used, while a more complex three-state model is proposed for reactive routing protocols. We also introduce a new set for packet loss pattern measurements that can be of interest for the evaluation of audio/video streaming applications.Experimental results show that the proposed models can adequately reproduce extremely long packet loss patterns, typical of MANET environments, with a high degree of accuracy. Overall, we find that the proposed models are able to significantly reduce both the simulation time and the trace file sizes required.     

An overview of vertical handover techniques: Algorithms, protocols and tools

Wireless technologies, under the “Anywhere, Anytime” paradigm, offer users the promise of being always attached to the network. Mobile devices enabled with multiple wireless technologies make possible to maintain seamless connectivity in highly dynamic scenarios such as vehicular networks (VNs), switching from one wireless network to another by using vertical handover techniques (VHO). In this paper we present an overview of VHO techniques, along with the main algorithms, protocols and tools proposed in the literature. In addition we suggest the most appropriate VHO techniques to efficiently communicate in VN environments considering the particular characteristics of this type of networks.     

Selection of Strategies for Collision-free Motion in Multi-manipulator Systems

Strategy-based path planning was introduced by the authors as a way to give robotic manipulators some sort of reactive behaviour in dynamic and unpredictable environments. This approach is based on making robots react to moving obstacles using a restricted subset of the configuration space, and on using an off-line pre-planning stage to choose the restricted subset. In this paper, strategy-based path planning is applied and explored, focusing our attention on the off-line stage. It is applied to the joint motion of two and three robots that perform pick and place tasks sharing common working areas.     

Semi-automated and fully automated mammographic density measurement and breast cancer risk prediction

The task of breast density quantification is becoming increasingly relevant due to its association with breast cancer risk. In this work, a semi-automated and a fully automated tools to assess breast density from full-field digitized mammograms are presented. The first tool is based on a supervised interactive thresholding procedure for segmenting dense from fatty tissue and is used with a twofold goal: for assessing mammographic density (MD) in a more objective and accurate way than via visual-based methods and for labeling the mammograms that are later employed to train the fully automated tool. Although most automated methods rely on supervised approaches based on a global labeling of the mammogram, the proposed method relies on pixel-level labeling, allowing better tissue classification and density measurement on a continuous scale. The fully automated method presented combines a classification scheme based on local features and thresholding operations that improve the performance of the classifier. A dataset of 655 mammograms was used to test the concordance of both approaches in measuring MD. Three expert radiologists measured MD in each of the mammograms using the semi-automated tool (DM-Scan). It was then measured by the fully automated system and the correlation between both methods was computed. The relation between MD and breast cancer was then analyzed using a case–control dataset consisting of 230 mammograms. The Intraclass Correlation Coefficient (ICC) was used to compute reliability among raters and between techniques. The results obtained showed an average ICC = 0.922 among raters when using the semi-automated tool, whilst the average correlation between the semi-automated and automated measures was ICC = 0.838. In the case–control study, the results obtained showed Odds Ratios (OR) of 1.38 and 1.50 per 10% increase in MD when using the semi-automated and fully automated approaches respectively. It can therefore be concluded that the automated and semi-automated MD assessments present a good correlation. Both the methods also found an association between MD and breast cancer risk, which warrants the proposed tools for breast cancer risk prediction and clinical decision making. A full version of the DM-Scan is freely available.     

Language Simplification through Error-Correcting and Grammatical Inference Techniques

In many language processing tasks, most of the sentences generally convey rather simple meanings. Moreover, these tasks have a limited semantic domain that can be properly covered with a simple lexicon and a restricted syntax. Nevertheless, casual users are by no means expected to comply with any kind of formal syntactic restrictions due to the inherent spontaneous nature of human language. In this work, the use of error-correcting-based learning techniques is proposed to cope with the complex syntactic variability which is generally exhibited by natural language. In our approach, a complex task is modeled in terms of a basic finite state model, F, and a stochastic error model, E. F should account for the basic (syntactic) structures underlying this task, which would convey the meaning. E should account for general vocabulary variations, word disappearance, superfluous words, and so on. Each natural user sentence is thus considered as a corrupted version (according to E) of some simple sentence of L(F). Adequate bootstrapping procedures are presented that incrementally improve the structure of F while estimating the probabilities for the operations of E. These techniques have been applied to a practical task of moderately high syntactic variability, and the results which show the potential of the proposed approach are presented.     

Thermal spikes in Ag/Fe and Cu/Fe ion beam mixing

Ion beam mixing has been studied since 1980, and since then a lot of experimental and theoretical work has been done and knowledge has been gathered. Nevertheless, there are still many fundamental aspects that need to be clarified and with that aim many experiments need to be performed. Copper and iron are miscible in the liquid state, while silver and iron are not. However, both systems are thermally immiscible in the solid state. In order to have an insight into the importance of mixing within thermal spikes during ion beam irradiation, we deposited Cu/Fe and Ag/Fe bilayers onto Si substrates and irradiated them at room temperature with 2 MeV Cu and 2.5 MeV Au ions. A combination of Rutherford backscattering spectrometry (RBS) and atomic force microscopy (AFM) was used to analyze the atomic transport at the interface and the morphology changes of the samples. From the element profiles at the interface we conclude a mixing efficiency, which is indeed larger than the prediction of the ballistic model in the Cu/Fe system and smaller in the Ag/Fe system. Since ballistic mixing is expected in any case, we argue that demixing and phase separation in the Ag/Fe system occur in the thermal spike phase of the cascade as a consequence of the positive heat of mixing. Further mixing does occur in the thermal spike in the Cu/Fe system and they remain mixed even at the solid state because of the high cooling rate. In addition, ion irradiation induces a large surface roughening of the Ag and Cu top layers as proven by AFM. This effect is important for the correct interpretation of the results. Furthermore, this recrystallization affects also the interface, producing a rough interface, that appears in the RBS spectra as an atomic ‘diffusion’ at the interface.     

Activation of trehalase during growth induction by nitrogen sources in the yeast Saccharomyces cerevisiae depends on the free catalytic subunits of camp-dependent protein kinase,but not on functional ras proteins

Addition of a nitrogen-source to glucose-repressed, nitrogen-starved G0 cells of the yeast Saccharomyces cerevisiae in the presence of a fermentable carbon source induces growth and causes within a few minutes a five-fold, protein-synthesis-independent increase in the activity of trehalase. Nitrogen-activated trehalase could be deactivated in vitro by alkaline phosphatase treatment, supporting the idea that the activation is triggered by phosphorylation. Yeast strains containing only one of the three TPK genes (which encode the catalytic subunit of cAMP-dependent protein kinase) showed different degrees of nitrogen-induced trehalase activation. The order of effectiveness was different from that previously reported for glucose-induced activation of trehalase in glucose-derepressed yeast cells. Further reduction of TPK-encoded catalytic subunit activity by partially inactivating point mutations in the remaining TPK gene further diminished nitrogen-induced trehalase activation, while deletion of the BCY1 gene (which encodes the regulatory subunit) in the same strains resulted in an increase in the extent of activation. Deletion of the RAS genes in such a tpk^w1 bcy1 strain had no effect. These results are consistent with mediation of nitrogen-induced trehalase activation by the free catalytic subunits alone. They support our previous conclusion that cAMP does not act as second messenger in this nitrogen-induced activation process and our suggestion that a novel nitrogen-induced signaling pathway integrates with the cAMP pathway at the level of the free catalytic subunits of protein kinase A. Western blot experiments showed that the differences in the extent of trehalase activation were not due to differences in trehalase expression. On the other hand, we cannot completely exclude that protein kinase A influences the nitrogen-induced activation mechanism itself rather than acting directly on trehalase. However, any such alternative explanation requires the existence of an additional, yet unknown, mechanism for activation of trehalase besides the well-established regulation by protein kinase A.     

An Intelligent Transportation System Application for Smartphones Based on Vehicle Position Advertising and Route Sharing in Vehicular Ad-Hoc Networks

关于到来的紧急情况车辆和他们的线路警告司机能极大地在拥挤的城市里改进他们的旅行时间,当由于分心减少事故的风险时。这份报纸由建议耶稣,能够关于象救护车一样的到来的紧急情况车辆通知常规车辆的机器人应用,警察汽车和消防队贡献这个目标。这被创造能够直接在他们之间交流的车辆的一个网络使可能。因此,用户能由考虑到来的警戒以一种及时方式作开车决定。用我们的 GRCBox 硬件的支持,申请能在 5 GHz 乐队依靠车辆的特定的网络通讯, V2V (vehicle-to-vehicle ) 通讯通过基于机器人的 smartphone 和我们的 GRCBox 设备的联合正在被提供。申请与阻塞的不同层次在三种不同情形被测试,证明提供有能力第二在不到一个以内提醒起来注意 300 米,和通知车辆。     

Computer Simulations of VANETs Using Realistic City Topologies

Researchers in vehicular ad hoc networks (VANETs) commonly use simulation to test new algorithms and techniques. This is the case because of the high cost and labor involved in deploying and testing vehicles in real outdoor scenarios. However, when determining the factors that should be taken into account in these simulations, some factors such as realistic road topologies and presence of obstacles are rarely addressed. In this paper, we first evaluate the packet error rate (PER) through actual measurements in an outdoor road scenario, and deduce a close model of the PER for VANETs. Secondly, we introduce a topology-based visibility scheme such that road dimension and geometry can be accounted for, in addition to line-of-sight. We then combine these factors to determine when warning messages (i.e., messages that warn drivers of danger and hazards) are successfully received in a VANET. Through extensive simulations using different road topologies, city maps, and visibility schemes, we show these factors can impact warning message dissemination time and packet delivery rate.