Tegafur-uracil is a combination of chemotheraputic agents for different types of cancers and is particularly usefull for the treatment of colorectal cancer. Its primary active ingredient, Tegafur, has been used as an anti-metabolite in cancer treatment for fifty years. Although the biological effect of Tegafur has been studied, its properties have not been extensively studied. We have investiga...

Numeric types can be given polymorphic dimension parameters , in order to avoid dimension errors and unit errors. The most general dimensions can be inferred automatically. It has been observed that polymorphic recursion is more important for the dimensions than for the proper types. We show that, under polymorphic recursion, type inference amounts to syntactic semi-uniication of proper types, ...

Context-free grammars are used in several algebraic speciication formalisms instead of rst-order signatures for the deenition of the structure of algebras , because grammars provide better notation than signatures. The rigidity of these rst-order structures enforces a choice between strongly typed structures with little genericity or generic operations over untyped structures. In two-level sign...

O’Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type system with polymorphism and overloading, the type system of O’Haskell is much richer than what is the norm in almost any widespread object-oriented or functional language. Yet, there is strong evidence that O’Haskell is not ...

Catecholaminergic polymorphic ventricular tachycardia is a rare cause of exercise-induced arrhythmia and sudden cardiac death in the pediatric patient. This arrhythmia is difficult to diagnose in the emergency department, given the range of presentations; thus, a familiarity with and high index of suspicion for this pathology are crucial. Furthermore, recognition of the characteristic electroca...

Catecholaminergic polymorphic ventricular tachycardia (CPVT) is an inherited cardiac arrhythmia disorder that is characterized by emotion- and exercise-induced polymorphic ventricular arrhythmias and may lead to sudden cardiac death (SCD). CPVT plays an important role in SCD in the young and therefore recognition and adequate treatment of the disease are of vital importance. In the past years t...

This paper deals with evolutionary design of a special type of image filters – polymorphic image filters. The proposed solution extends an approach for designing conventional image filters which uses Cartesian Genetic Programming. A method for accelerating the fitness function on GPU is described. We evolved polymorphic image filters capable of suppresing different combinations of noise and per...

Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal with the polymorphic behavi...

Scientific programmers are eager to take advantage of the computational power offered by Distributed Computing Systems (DCSs), but axe generally reluctant to undertake the porting of their application programs onto such machines. The DCS commercially available today are indeed widely believed to be difficult to use, which should not be a surprise since they axe traditionally prqgrammed with sof...

Binding time analysis is an important part of off-line partial evaluation, annotating expressions as being safely evaluable from known data or possibly depending on unknown data. Most binding-time analyses have been monovariant, allowing only one binding-time description for each function. The idea of polyvariance is to allow multiple binding time descriptions of each function, by duplicating t...