Aim of this paper is to understand the interplay between intersection and reference types. Putting together the standard typing rules for intersection types and reference types leads to loss of subject reduction. The problem comes from the invariance of the reference type constructor and the rule of intersection elimination, which is essentially a subsumption rule. We propose a solution which o...

(2007) in Späth, A. (ed.) Interface and Interface Conditions. Berlin. de Gruyter. -------------------------------------------------------------------------------------------------------------ABSTRACT The standard view about the uniformity of Case assignment by verbs and prepositions is challenged with data from German and an analysis according to which P has a feature structure which involves a...

This paper deals with the task-scheduling and worker-allocation problem, in which each skillful worker is capable to perform multiple tasks and has various regular and worker capacity to perform tasks, and the task allocation is operated with daily overhead. We propose a worker assignment model and develop a heuristic algorithm that is genetic algorithm whose performance is to be evaluated agai...

Assignment model is a powerful operations research techniques that can be used to solve assignment or allocation problem. This study applies the assignment model to the course allocation problem in Nigeria tertiary institution in order to maximize lecturers’ effectiveness. A well-structured questionnaire was used to obtain data from lecturers and solved with Hungarian method. The study revealed...

In this paper, we demonstrate when and why existing algorithms fail to give coherent results to the asymmetric traac assignment problem when the model does not admit a monotonic cost operator. Through an analysis of why these problems occur, a new algorithm is developed that is eeective precisely when these restrictions are not satissed. Numerical tests are then performed to illustrate the func...

The thermal stability of the Tn10 encoded tetracycline resistance (TET) gene control region is investigated by melting studies using purified DNA restriction fragments containing various amounts of flanking sequences. In order to study the thermodynamic properties of this control region under conditions, where enough flanking DNA is present to mimic the situation in the chromosome, the five ste...

This paper presents an extension of the semantic tableaux approach to theorem proving for the class of normal conditional logics. These logics are based on a possible worlds semantics, but contain a binary “variable conditional” operator =E= instead of the usual operator for necessity. The truth of A +B depends both on the accessibility relation between worlds, and on the proposition expressed ...

The goal of Adaptive Operator Selection is the on-line control of the choice of variation operators within Evolutionary Algorithms. The control process is based on two main components, the credit assignment, that defines the reward that will be used to evaluate the quality of an operator after it has been applied, and the operator selection mechanism, that selects one operator based on all oper...

The Naval Surface Warfare Center wishes to create a task assignment schedule with a minimal training cost for workers to raise their skills to the required levels. As the number of workers, skills, and tasks increase, the problem quickly becomes too large to solve through brute force. Already several greedy heuristics have been produced, though their performance degrades for larger data sets. A...