Computational Performance Evaluation of Two Integer Linear Programming Models for the Minimum Common String Partition Problem

In the minimum common string partition (MCSP) problem two related input strings are given. "Related" refers to the property that both strings consist of the same set of letters appearing the same number of times in each of the two strings. The MCSP seeks a minimum cardinality partitioning of one string into non-overlapping substrings that is also a valid partitioning for the second string. This problem has applications in bioinformatics e.g. in analyzing related DNA or protein sequences. For strings with lengths less than about 1000 letters, a previously published integer linear programming (ILP) formulation yields, when solved with a state-of-the-art solver such as CPLEX, satisfactory results. In this work, we propose a new, alternative ILP model that is compared to the former one. While a polyhedral study shows the linear programming relaxations of the two models to be equally strong, a comprehensive experimental comparison using real-world as well as artificially created benchmark instances indicates substantial computational advantages of the new formulation.Comment: arXiv admin note: text overlap with arXiv:1405.5646 This paper version replaces the one submitted on January 10, 2015, due to detected error in the calculation of the variables involved in the ILP model

Testing the performance of three nonlinear methods of time seriesanalysis for prediction and downscaling of European daily temperatures

International audienceWe investigated the usability of the method of local linear models (LLM), multilayer perceptron neural network (MLP NN) and radial basis function neural network (RBF NN) for the construction of temporal and spatial transfer functions between different meteorological quantities, and compared the obtained results both mutually and to the results of multiple linear regression (MLR). The tested methods were applied for the short-term prediction of daily mean temperatures and for the downscaling of NCEP/NCAR reanalysis data, using series of daily mean, minimum and maximum temperatures from 25 European stations as predictands. None of the tested nonlinear methods was recognized to be distinctly superior to the others, but all nonlinear techniques proved to be better than linear regression in the majority of the cases. It is also discussed that the most frequently used nonlinear method, the MLP neural network, may not be the best choice for processing the climatic time series - LLM method or RBF NNs can offer a comparable or slightly better performance and they do not suffer from some of the practical disadvantages of MLPs. Aside from comparing the performance of different methods, we paid attention to geographical and seasonal variations of the results. The forecasting results showed that the nonlinear character of relations between climate variables is well apparent over most of Europe, in contrast to rather weak nonlinearity in the Mediterranean and North Africa. No clear large-scale geographical structure of nonlinearity was identified in the case of downscaling. Nonlinearity also seems to be noticeably stronger in winter than in summer in most locations, for both forecasting and downscaling

Large neighborhood search for the most strings with few bad columns problem

In this work, we consider the following NP-hard combinatorial optimization problem from computational biology. Given a set of input strings of equal length, the goal is to identify a maximum cardinality subset of strings that differ maximally in a pre-defined number of positions. First of all, we introduce an integer linear programming model for this problem. Second, two variants of a rather simple greedy strategy are proposed. Finally, a large neighborhood search algorithm is presented. A comprehensive experimental comparison among the proposed techniques shows, first, that larger neighborhood search generally outperforms both greedy strategies. Second, while large neighborhood search shows to be competitive with the stand-alone application of CPLEX for small- and medium-sized problem instances, it outperforms CPLEX in the context of larger instances.Peer ReviewedPostprint (author's final draft

Finite element analysis applied to redesign of submerged entry nozzles for steelmaking

The production of steel by continuous casting is facilitated by the use of refractory hollow-ware components. A critical component in this process is the submerged entry nozzle (SEN). The normal operating conditions of the SEN are arduous, involving large temperature gradients and exposure to mechanical forces arising from the flow of molten steel; experimental development of the components is challenging in so hazardous an environment. The effects of the thermal stress conditions in relation to a well-tried design were therefore simulated using a finite element analysis approach. It was concluded from analyses that failures of the type being experienced are caused by the large temperature gradient within the nozzle. The analyses pointed towards a supported shoulder area of the nozzle being most vulnerable to failure and practical in-service experience confirmed this. As a direct consequence of the investigation, design modifications, incorporating changes to both the internal geometry and to the nature of the intermediate support material, were implemented, thereby substantially reducing the stresses within the Al2O3/graphite ceramic liner. Industrial trials of this modified design established that the component reliability would be significantly improved and the design has now been implemented in series production

Quick Completeness for the Evidential Conditional

Proves Completeness for the Evidential Conditional

A Booklet of Narratives for the ESL Classroom

This project deals with a set of ten narratives and illustrations. The narratives become progressively more difficult. Each line of the narrative has steps giving questions, substitution drills, and ideas on how to teach particular grammatical points. At the end of each narrative there is a supplementary material to be used once all of the preceding material is mastered

Threshold-Based Belief Change: Rankings and Semiorders

In this paper we study changes of beliefs in a ranking-theoretic setting using non-extremal implausibility thresholds for belief.  We represent implausibilities as ranks and introduce natural rank changes subject to a minimal change criterion. We show that many of the traditional AGM postulates for revision and contraction are preserved, except for the postulate of Preservation which is invalid. The diagnosis for belief contraction is similar, but not exactly the same. We demonstrate that the one-shot versions of both revision and contraction can be represented as revisions based on semiorders, but in two subtly different ways. We provide sets of postulates that are sound and complete in the sense that they allow us to prove representation theorems.  We show that, and explain why, the classical duality between revision and contraction, as exhibited by the Levi and Harper identities, is partly broken by threshold-based belief changes. We also study the logic of iterated threshold-based revision and contraction. The traditional Darwiche-Pearl postulates for iterated revision continue to hold, as well as two additional postulates that characterize ranking-based revision as a restricted `improvement' operator. We investigate the dual notion of iterated threshold-based belief contraction and provide a new set of postulates for it, characterizing contraction as a restricted 'degrading' operator