Abstract
Structural activity prediction is one of the most important tasks in chemoinformatics. The goal is to predict a property of interest given structural data on a set of small compounds or drugs. Ideally, systems that address this task should not just be accurate, but they should also be able to identify an interpretable discriminative structure which describes the most discriminant structural elements with respect to some target. The application of ILP in an interactive software for discriminative mining of chemical fragments is presented in this paper. In particular, it is described the coupling of an ILP system with a molecular visualisation software that allows a chemist to graphically control the search for interesting patterns in chemical fragments. Furthermore, we show how structural information, such as rings, functional groups such as carboxyls, amines, methyls, and esters, are integrated and exploited in the search.

Abstract
A technique for the fabrication of luminescence-based fiber-optic optrodes with multiple analyte sensitivity is proposed. Combination of photosensitive polymers doped with different luminescent indicators enabled the production of fiber probes, by self-guiding photo-polymerization, with different geometries and sensing capabilities. Results demonstrating the method flexibility are shown with luminescent probes doped with CdSe/ZnS quantum dots and an organometalic ruthenium complex for simultaneous detection of oxygen and temperature.

Abstract
This paper is concerned with the scaleable and systematic analysis of interactive systems. The motivating problem is the procurement of medical devices. In such situations several different manufacturers offer solutions that support a particular clinical activity. Apart from cost, which is a dominating factor, the variations between devices are relatively subtle and the consequences of particular design features are not clear from manufacturers' manuals, demonstrations or trial uses. Despite their subtlety these differences can be important to the safety and usability of the device. The paper argues that formal analysis of the range of offered devices can provide a systematic means of comparison. The paper also explores barriers to the use of such techniques, demonstrating how layers of specification may be used to make it possible to reuse common specification. Infusion pumps provide a motivating example. A specific model is described and analysed and comparison between competitive devices is discussed. © Formal Methods for Interactive Systems 2011.

Abstract
The editorial section of International Journal of Production Research provides information about industrial extensions and research opportunities in the fields of lot sizing and scheduling in industries. Some of the papers published in the journal reveal that the processing industry provides significant opportunities for conducting research in these areas. The scheduling of production lots and their sizing is an area of increasing research attention within the wider field of production planning and scheduling. The close relationship between lot sizing and scheduling in many industrial applications makes it essential that these decisions are made simultaneously to use capacity efficiently. Traditional models have been increasingly refined to incorporate more detail and integrate lot sizing with scheduling. Researchers and practitioners worldwide have been making efforts to incorporate more specificities of the production environment in their models besides the integration of several independent self-contained research fields.

Abstract
This article covers a rather innovative and powerful technology that enables the creation of a 3D interactive laboratory for WEB applications based on open standard VRML format for 3D multimedia and the subsequent distribution of this virtual laboratory on the Internet. The project develops an environment, called "interactive technology of a 3D Internet Laboratory" to create various types of 3D laboratory experiments as well as their application via the Internet. The application produced is the creation of a 3D virtual laboratory for measurements and instrumentation. The description of the laboratory, fonts and data are also provided. The various steps for creating a 3D virtual laboratory are presented. Lastly, the application of the "interactive technology laboratory 3D" is displayed and can be considered as a step forward in the development of innovative technologies for distance learning. © 2011 University of Maribor.

Abstract
This paper presents a new approach to solve the NP-complete minimum branch vertices problem (MBV) introduced by Gargano et. al[1]. In spite of being a recently proposed problem in the network optimization literature, there are some heuristics to solve it [3]. The main contribution of this paper consists in a new heuristic based on the iterative refinement approach proposed by Deo and Kumar [2]. The experimental results suggest that this approach is capable of finding solutions that are better than the best known in the literature. In this work, for instance, the proposed heuristic found better solutions for 78% of the instances tested. The heuristic looks very promising for the solution of problems related with constrained spanning trees.