Type-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. Nevertheless, there is only one example of an effect system that has been adopted in a wide-spread industrial language: Java’s checked exceptions. We believe that the main obstacle to using effect systems in day-to-day programming is their verbosity, especially when writing functions ...

Catecholaminergic polymorphic ventricular tachycardia (CPVT) is a rare genetic disease with an incidence of approximately 1:10,000 in European population and a very high mortality rate if left untreated, reaching 31% by the age of 30 years [1]. It is characterized by bidirectional or polymorphic ventricular tachycardias (VT) induced by an adrenergic triggering factor, such as emotional stress o...

Nowadays viruses use polymorphic techniques to mutate their code on each replication, thus evading detection by antiviruses. However detection by emulation can defeat simple polymorphism: thus metamorphic techniques are used which thoroughly change the viral code, even after decryption. We briefly detail this evolution of virus protection techniques against detection and then study the METAPHOR...

The standard approach to dealing with OO polymorphism is to require subclasses to be behavioral subtypes of the base class. This ensures that reasoning that has been done about any client code that operates on base class objects will continue to be valid if instances of the subclasses are used in place of the base class objects. But often we are interested in stronger properties of the client c...

Catecholaminergic polymorphic ventricular tachycardia (CPVT) is a rare genetic disease with an incidence of approximately 1:10,000 in European population and a very high mortality rate if left untreated, reaching 31% by the age of 30 years [1]. It is characterized by bidirectional or polymorphic ventricular tachycardias (VT) induced by an adrenergic triggering factor, such as emotional stress o...

Abstract syntax with variable binding is known to be characterised as an initial algebra in a presheaf category. This paper extends it to the case of polymorphic typed abstract syntax with binding. We consider two variations, secondorder and higher-order polymorphic syntax. The central idea is to apply Fiore’s initial algebra characterisation of typed abstract syntax with binding repeatedly, i....

This study was conducted to estimate genetic relationships among banana clones growing in Turkey via some morphological parameters and two molecular marker systems. In terms of yield such as bunch weight, hand number, fruit total Grand Nain (GN) clone came the forefront with highest values. It followed by Azman (AZ), Dwarf Cavendish (DC), Erdemli Yerli (EY) clones, respectively. To see variatio...

A polymorphic analysis is an analysis whose input and output contain parameters which serve as placeholders for information that is unknown before analysis but provided after analysis. In this paper, we present a polymorphic groundness analysis that infers parameterised groundness descriptions of the variables of interest at a program point. The polymorphic groundness analysis is designed by re...

Polymorphic light eruption is one of the few dermatological diseases in which some antioxidants have been said to be reduced in both the epidermis and the blood. This study measured the hydrosoluble antioxidant capacity in the serum of patients with polymorphic light eruption, using a commercially available kit. All patients were tested in winter, in order to avoid the influence of exposure to ...

Microsatellites, tandem repeats of short nucleotide (1-6 bp) sequences, are the DNA marker of choice because of their highly polymorphic, ubiquitous distribution within genome, ease of genotyping through polymerase chain reaction (PCR), selectively neutral, co-dominant and multi allelic nature. Six microsatellites, three polymorphic and three monomorphic, have been characterized for the first t...