The effect of essential fatty acids (EFA) and vitamin C-enriched Artemia nauplii on growth, survival, and resistance to temperature (high) stress in rainbow trout larvae reared in tanks were investigated. The larvae (average weight 120.43mg±13.5) were fed 6 times daily starting at the onset of exogenous feeding for 1 week. Triplicate groups of fish were offered one of four treatments (1) commer...

Background & Aims of the Study: Malaria is an infectious disease by fever, chills and anemia; and splenomegaly genus Plasmodium parasite is the agent of it. One of the easiest and least expensive methods for preventionof this disease is removing the vector that usually has been done by insecticides and chemical pesticides, but now days due to the harmful effects of toxic chemic...

Effects of using n-3 HUFA-enriched Artemia and non-enriched Artemia as the starter food for growth and survival of rainbow trout larvae compared to commercial concentrated food were investigated in this study. The larvae with average weight of 92.9 mg were fed for 20 days with four food treatments included of commercial concentrated food, newly hatched Artemia, enriched Artemia, and mixture of ...

We discuss coverage checking for data that is dependently typed and is defined using higher-order abstract syntax. Unlike previous work on coverage checking that required objects to be closed, we consider open data objects, i.e. objects that may depend on some context. Our work may therefore provide insights into coverage checking in Twelf, and serve as a basis for coverage checking in function...

Over the past three decades, a variety of meta-reasoning systems which support reasoning about higher-order abstract specifications have been designed and developed. In this paper, we survey and compare four meta-reasoning systems, Twelf, Beluga, Abella and Hybrid, using several benchmarks from the open repository ORBI that describes challenge problems for reasoning with higher-order abstract s...

background: ecological data are important in the vector control management of mosquitoes. there is scattered pub­lished information about the larval habitat characteristics and ecology of the genus anopheles (diptera: culicidae) in iran and most of available data is in relation to malaria vectors in southern iran. methods: this cross sectional investigation was carried out to study the mosquito...

  This study was conducted to evaluate the efficacy of live food (Artemia urmiana) and commercial diet in rearing of Oncorhynchus mykiss larvae. Experiment started when larvae were 0.12g in weight. Triplicate groups of fish were offered one of four treatments: (1) a commercial starter food (2) live Artemia urmiana nauplii (for 3 days) (3) live Artemia urmiana nauplii (for 7 days) and (4) combin...