Hot pepper (Capsicum spp.) is an economically important spice widely cultivated and consumed in Ethiopia. In spite of its wide importance, there is no information available on the molecular genetic diversity of this crop. Cultivars characterization is an important link between the conservation and utilization of plant genetic resources in various breeding programs. Using five ISSR prim...

Pistachio is one of the most important horticultural products of Iran. The best way to get the maximum yield is to have genetically pure and monotonous gardens. Thereby, study of genetic variation and providing genetic identifications, make this possible to have homogenous gardens with high performance genotypes. In the present study, genetic diversity of 19 Iranian pistachio cultivars was asse...

four saudi arabian indigenous sheep populations including najdi, hbsi, arb, and naemi were genotyped for 16 microsatellite markers recommended by the food and agriculture organization (fao). this study aims to provide information on the genetic structure of the breeds analyzed and give indications and proposals for the cross breeding program. all loci were polymorphic in all populations and loc...

autosomal dominant polycystic kidney disease (adpkd) is the most common genetic nephropathy, which is characterized by replacement of renal parenchyma with multiple cysts. in iran, the disease prevalence within the chronic hemodialysis patient population is approximately 8-10%. so far, three genetic loci have been identified to be responsible for adpkd. little information is available concernin...

Dependencies play a major role in the analysis of program properties. The analysis of groundness dependencies for logic programs using the class of positive Boolean functions is a main applications area. The precision of such an analysis can be improved through the integration of either pattern information or type information. This paper develops an approach in which type information is exploit...

Nowadays, computer worms, viruses and Trojan horse become popular, and they are collectively called malware. Those malware just spoiled computers by deleting or rewriting important files a decade ago. However, recent malware seems to be born to earn money. Some of malware work for collecting personal information so that malicious people can find secret information such as password for online ba...

We present an unboxed operational semantics for an ML-style polymorphic language. Different from the conventional formalisms, the proposed semantics accounts for actual representations of run-time objects of various types, and supports a refined notion of polymorphism that allows polymorphic functions to be applied directly to values of various different representations. In particular, polymorp...

Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. In this paper we present a polymorphic data type that captures a broad range of temporal media. We study its syntactic, temporal, and semantic properties, leading to an algebraic theory of polymorphic temporal media that...

We present a novel block-based UI called Polymorphic Blocks, in which a connector’s shape visually represents the structure of the data being passed through the connector. We use Polymorphic Blocks to add visual type information to block-based programming environments like Blockly or Scratch. We also use Polymorphic Blocks to represent logical proofs. In this context, if we erase all symbols, o...