The abundance and host-seeking behavior of culicine species (Diptera: Culicidae) and Anopheles sinensis in Yongcheng city, people's Republic of China

<p>Abstract</p> <p>Background</p> <p>The knowledge of mosquito species diversity and the level of anthropophily exhibited by each species in a region are of great importance to the integrated vector control. Culicine species are the primary vectors of Japanese encephalitis (JE) virus and filariasis in China. <it>Anopheles sinensis </it>plays a major role in the maintenance of <it>Plasmodium vivax </it>malaria transmission in China. The goal of this study was to compare the abundance and host-seeking behavior of culicine species and <it>An. sinensis </it>in Yongcheng city, a representative region of <it>P. vivax </it>malaria. Specifically, we wished to determine the relative attractiveness of different animal baits versus human bait to culicine species and <it>An. sinensis</it>.</p> <p>Results</p> <p><it>Culex tritaeniorhynchus </it>was the most prevalent mosquito species and <it>An. sinensis </it>was the sole potential vector of <it>P. vivax </it>malaria in Yongcheng city. There were significant differences (P < 0.01) in the abundance of both <it>An. sinensis </it>and <it>Cx. tritaeniorhynchus </it>collected in distinct baited traps. The relative attractiveness of animal versus human bait was similar towards both <it>An. sinensis </it>and <it>Cx. tritaeniorhynchus</it>. The ranking derived from the mean number of mosquitoes per bait indicated that pigs, goats and calves frequently attracted more mosquitoes than the other hosts tested (dogs, humans, and chickens). These trends were similar across all capture nights at three distinct villages. The human blood index (HBI) of female <it>An. sinensis </it>was 2.94% when computed with mixed meals while 3.70% computed with only the single meal. 19:00~21:00 was the primary peak of host-seeking female <it>An. sinensis </it>while 4:00~5:00 was the smaller peak at night. There was significant correlation between the density of female <it>An. sinensis </it>and the average relative humidity (P < 0.05) in Wangshanzhuang village.</p> <p>Conclusions</p> <p>Pigs, goats and calves were more attractive to <it>An. sinensis </it>and <it>Cx. tritaeniorhynchus </it>than dogs, humans, and chickens. Female <it>An. sinensis </it>host-seeking activity mainly occurred from 19:00 to 21:00. Thus, we propose that future vector control against <it>An. sinensis </it>and <it>Cx. tritaeniorhynchus </it>in the areas along the Huang-Huai River of central China should target the interface of human activity with domestic animals and adopt before human hosts go to bed at night.</p

Complete Genome Sequence of Frog virus 3, Isolated from a Strawberry Poison Frog (Oophaga pumilio) Imported from Nicaragua into the Netherlands

Frog virus 3 was isolated from a strawberry poison frog (Oophaga pumilio) imported from Nicaragua via Germany to the Netherlands, and its complete genome sequence was determined. Frog virus 3 isolate Op/2015/Netherlands/UU3150324001 is 107,183 bp long and has a nucleotide similarity of 98.26% to the reference Frog virus 3 isolate

Software Architecture of Modern Model Checkers

International audienceAutomated formal verification using model checking is a mature field with many tools available. We summarize the recent trends in the design and architecture of model checking tools. An important design goal of modern model checkers is to support many input languages (front-end) and many verification strategies (back-end), and to allow arbitrary combinations of them. This widens the applicability of new verification algorithms, avoids duplicate implementation of the analysis techniques, improves quality of the tools, and eases use of verification for a newly introduced high-level specification, such as a domain specific language