Abstract
We present two methods for testing the predictive power of a variable length Markov chain induced from a collection of user web navigation sessions. The collection of sessions is split into a training and a test set. The first method uses a chi(2) statistical test to measure the significance of the distance between the distribution of the probabilities assigned to the test trails by a Markov model build from the full collection of sessions and a model built from the training set. The statistical test measures the ability of the model to generalise its predictions to the unseen sessions from the test set. The second method evaluates the model ability to predict the last page of a navigation session based on the preceding pages viewed by recording the mean absolute error of the rank of the last occurring page among the predictions provided by the model. Experimental results conducted on both real and random data sets are reported and the results show that in most cases a second-order model is able to capture sufficient history to predict the next link choice with high accuracy.

Abstract
This paper describes how Fuzzy Logic helped the representation and handling of equipment fault descriptions and diagnosis in a Case-Based Reasoning (CBR) system, in a way close to common spoken language, frequently vague, used by maintenance teams in daily maintenance tasks. These descriptions may be of two types as sometimes they contain a judgment based on the technician own know-how and sometimes they don't. For case similarity computation the "meaning" of these observations must be understood and all must be reduced to the same format before any further calculus may take place. In this context another important issue is relevance: the weight of each observation for each possible diagnosis is automatically captured by the CBR system according to the experiences it stores along its life-cycle. A prototype has been tested in the health-equipment maintenance field. The system acts as a know-how repository and a divulgation support, part Of an intelligent e-learning plafform for staff training,

Abstract
One of the issues in the shoe industry is that market seeks the fulfilment of product orders for smaller production lots with shorter deadlines. A need therefore arises to respond to these market changes. Such a response includes amongst other things improving the internal organization of the enterprise, by for example rationalizing the production floor layout. A portuguese shoe factory decided to cut costs related to the transportation of all work in progress within the factory plant by implementing a fully automated storage and retrieval system. This Paper presents the development of a Simulation model, using the Arena simulation software tool, to analyse the performance of the automated storage and retrieval system based oil a number of scenarios. The simulation model uses VBA (Visual Basic for Applications) to implement the control logic and graphics to Visualize the sequences of movements and storage / retrieval operations.

Abstract
Purpose - The purpose of this paper is to determine the state probabilities for a float system when overhauls are performed periodically. Design/methodology/approach - First, a model is developed to express the relationship between the rate of occurrence of failure and time interval between overhauls. Then, a methodology is defined to develop differential equations for each system state in order to calculate corresponding system state probabilities. Findings - Since it is considered that units requiring an overhaul stay in operation until replacement, the possibility of failure of those units has to be included. Then, the determination of system state probabilities has to be done iteratively. Practical implications - The methodology proposed in this paper enables comparison of different designs for a float system submitted to periodic overhauls through some different performance measures. System state probabilities can also be used to determine the idle time of units, which is essential to obtain the cost of production loss and, therefore, the system maintenance cost. Originality/value - This paper considers simultaneously three different factors that influence maintenance float system performance: the number of spare units and the number of maintenance crews (which mean minimising the downtime effect) and the overhaul frequency (which means decreasing the number of failures). © Emerald Group Publishing Limited.

Abstract
In this paper a hybrid algorithm to solve Irregular Strip Packing problems is presented. The metaheuristic simulated annealing is used to guide the search over the solution space while linear programming models are solved to generate neighbourhoods during the search process. These linear programming models, which are used to locally optimise the layouts, derive from the application of compaction and separation algorithms. Computational tests were run using instances that are commonly used as benchmarks in the literature. The best results published so far have been improved by this new hybrid packing algorithm.

Abstract
In the 2005 Portuguese Parliament General Elections there were non-valid experiments of e-voting at five voting places and also through the Internet. Faculdade de Engenharia da Universidade do Porto audited such experiments. Relevant security, transparency, usability and accessibility evaluation criteria and sub-criteria were defined, and an auditing procedure based on AHP was established. This paper shortly presents the methodology used, the four e-voting systems and the main results of the overall experiment. The systems could be used successfully and were extremely popular with voters. However, more information to the citizens and to the officials involved in the e-voting process would be required for a valid election. The systems also need to be improved, for instance, to make sure that the number of votes electronically cast is the same as the number of voters that were validated and actually registered to vote at any particular site on the Election Day.