Maude as a formal meta-tool
… of Maude allowing it to be used as a meta-tool. Our experience in building formal tools in
Maude is … We are also grateful to David Basin, Narciso Martı-Oliet, and the referees for their …
Maude is … We are also grateful to David Basin, Narciso Martı-Oliet, and the referees for their …
[HTML][HTML] Pf7: an open dataset of Plasmodium falciparum genome variation in 20,000 worldwide samples
We describe the MalariaGEN Pf7 data resource, the seventh release of Plasmodium falciparum
genome variation data from the MalariaGEN network. It comprises over 20,000 samples …
genome variation data from the MalariaGEN network. It comprises over 20,000 samples …
[CITATION][C] Value-at-risk techniques: An empirical study
P Jackson, DJ Maude, W Perraudin - Board of Governors of the …, 1995 - ideas.repec.org
… David J. Maude … Maude & William Perraudin, 1995. "Value-at-risk techniques: an
empirical study," Proceedings, Board of Governors of the Federal Reserve System (US) …
empirical study," Proceedings, Board of Governors of the Federal Reserve System (US) …
Detecting and segmenting white blood cells in microscopy images of thin blood smears
A malarial infection is diagnosed and monitored by screening microscope images of blood
smears for parasite-infected red blood cells. Millions of blood slides are manually screened …
smears for parasite-infected red blood cells. Millions of blood slides are manually screened …
[HTML][HTML] Mapping the travel patterns of people with malaria in Bangladesh
Background Spread of malaria and antimalarial resistance through human movement
present major threats to current goals to eliminate the disease. Bordering the Greater Mekong …
present major threats to current goals to eliminate the disease. Bordering the Greater Mekong …
[HTML][HTML] Pre-trained convolutional neural networks as feature extractors toward improved malaria parasite detection in thin blood smear images
…, M Poostchi, K Silamut, MA Hossain, RJ Maude… - PeerJ, 2018 - peerj.com
Malaria is a blood disease caused by the Plasmodium parasites transmitted through the bite
of female Anopheles mosquito. Microscopists commonly examine thick and thin blood …
of female Anopheles mosquito. Microscopists commonly examine thick and thin blood …
[HTML][HTML] The role of simple mathematical models in malaria elimination strategy design
Background Malaria has recently been identified as a candidate for global eradication. This
process will take the form of a series of national eliminations. Key issues must be considered …
process will take the form of a series of national eliminations. Key issues must be considered …
[HTML][HTML] Role of mass drug administration in elimination of Plasmodium falciparum malaria: a consensus modelling study
Background Mass drug administration for elimination of Plasmodium falciparum malaria is
recommended by WHO in some settings. We used consensus modelling to understand how to …
recommended by WHO in some settings. We used consensus modelling to understand how to …
Intrahost modeling of artemisinin resistance in Plasmodium falciparum
Artemisinin-resistant Plasmodium falciparum malaria has emerged in western Cambodia.
Resistance is characterized by prolonged in vivo parasite clearance times (PCTs) following …
Resistance is characterized by prolonged in vivo parasite clearance times (PCTs) following …
[HTML][HTML] Dengue in Myanmar: Spatiotemporal epidemiology, association with climate and short-term prediction
…, N Pantanilla, S Ebener, RJ Maude - PLOS Neglected …, 2023 - journals.plos.org
Dengue is a major public health problem in Myanmar. The country aims to reduce morbidity
by 50% and mortality by 90% by 2025 based on 2015 data. To support efforts to reach these …
by 50% and mortality by 90% by 2025 based on 2015 data. To support efforts to reach these …