An easy-to-use procedure is presented for improving the ε-constraint method for computing the efficient frontier of the portfolio selection problem endowed with additional cardinality and semicontinuous variable constraints. The proposedmethod provides not only a numerical plotting of the frontier but also an analytical description of it, including the explicit equations of the arcs of parabola...

In this paper it is described how a combination of semantic labelling, polynomial interpretations, recursive path order and the dependency pair method can be used for automatically proving termination of an extensive class of string rewriting systems (SRSs). The tool implementing these techniques is called TORPA: Termination of Rewriting Proved Automatically. All termination proofs generated by...

The lack of labeled data always poses challenges for tasks where machine learning is involved. Semi-supervised and cross-domain approaches represent the most common ways to overcome this difficulty. Graph-based algorithms have been widely studied during the last decade and have proved to be very effective at solving the data limitation problem. This paper explores one of the most popular stateo...

BACKGROUND In patients with COPD, both laboratory exercise tests and field walking tests are used to assess physical performance. In laboratory tests, peak exercise capacity in watts (W peak) and/or peak oxygen uptake (VO2 peak) are assessed, whereas the performance on walking tests usually is expressed as distance walked. The aim of the study was to investigate the relationship between an incr...

Business Process Management (BPM) is a topic with growing relevance for businesses as well as public organisations. Until today, the analysis part of a BPM cycle is mostly done manually. Process modelling methods are not designed to allow for automated analysis. Our aim is to show that meaningful weakness patterns that support semi-automatic analysis of business process diagrams (BPD) can be de...

nitrogen is one of the most important nutrients in crop production, but it's losses to the environment is harmful. the sundial model (simulation model of n dynamics in the soil) was used to quantify the cycle of n and it's losses in different production systems of sugar beet (beta vulgaris l.) in former khorasan province, east of iran. the data were collected from traditional, semi-me...

matrix analysis of corrosion inhibition phenomena (macip), in which an inhibitor isconsidered as a point in a multi-dimensional virtual efficiency space, was performed on somepyridine derivatives. the needed molecular parameters such as homo and lumo energylevels, charge densities on hetero atom, dipole moment, heat of formation, and total energyvalues were obtained by means of semi-empirical q...