Verification & validation by docking: A case study of agent-based models of Anopheles gambiae

Summer Computer Simulation Conference, SCSC 2010 - Proceedings of the 2010 Summer Simulation Multiconference, SummerSim 2010

Volumn , Issue 1 BOOK, 2010, Pages 236-243

  Niaz Arifin, S M ^a   Davis, Gregory J ^a   Zhou, Ying ^a  

^a University of Notre Dame   (United States)

Author keywords

Anopheles gambiae; Docking; Malaria epidemiology; Verification validation

Indexed keywords

AGENT-BASED MODEL; AGENT-BASED SIMULATION MODELS; ANOPHELES GAMBIAE; CONCEPTUAL SIMULATION MODELS; CORE MODEL; DOCKING PROCESS; MALARIA TRANSMISSION; MODEL OUTPUTS;

COMPUTER SIMULATION; DISEASES; ITERATIVE METHODS; SEMANTICS;

DOCKING;

EID: 84871370109     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Robert Axtell, Robert Axelrod, Joshua M. Epstien, and Michael D. Cohen. Aligning Simulation Models: A Case Study and Results. Computational and Mathematical Organization Theory, 1:123-141, 1996.
2. Osman Balci. Principles and Techniques of Simulation Validation, Verification, and Testing. In WSC '95: Proceedings of the 27th conference on Winter simulation, pages 147-154, Washington, DC, USA, 1995. IEEE Computer Society.
3. Osman Balci. Verification, Validation and Accreditation of Simulation Models. In WSC '97: Proceedings of the 29th conference on Winter simulation, pages 135-141, Washington, DC, USA, 1997. IEEE Computer Society.
4. Richard M. Burton. Computational Laboratories for Organization Science: Questions, Validity and Docking. Comput. Math. Organ. Theory, 9(2):91-108, 2003.
5. Kathleen M. Carley. Computational Organizational Science and Organizational Engineering. Simulation Modelling Practice and Theory, 10(5-7):253-269, 2002.
6. Bruce Edmonds and David Hales. Replication, Replication and Replication: Some Hard Lessons from Model Alignment. Journal of Artificial Societies and Social Simulation, 6:4, 2003.
7. Mark Galassi, Jim Davies, James Theiler, Brian Gough, Gerard Jungman, Michael Booth, and Fabrice Rossi. GNU Scientific Library: Reference Manual. Network Theory Ltd., February 2003.
8. Makoto Matsumoto and Takuji Nishimura. Mersenne Twister: A 623-Dimensionally Equidistributed Uniform Pseudo-random Number Generator. ACM Trans. Model. Comput. Simul., 8(1):3-30, January 1998.
9. Michael North and Charles Macal. The Beer Dock: Three and A Half Implementations of the Beer Distribution Game. SwarmFest, 2002.
10. D. Olaru, S. Purchase, and S. Denize. Using docking/replication to verify and validate computational models. 18th World IMACS / MODSIM Congress, 2009.
11. T Ören, M Elzas, and G Sheng. Model reliability and software quality assurance in simulation of nuclear fuel waste management systems. ACM SIGSIM Simulation Digest, 16(4), Jan 1985.
12. Juan Pav'on, Milln Arroyo, Samer Hassan, and Candelaria Sansores. Agent-based Modelling and Simulation for the Analysis of Social Patterns. Pattern Recognition Letters, 29(8):1039-1048, 2008.
13. Juan Pav'on, Jorge G. Sanz, and Rub'en Fuentes. Model Driven Development of Multi-Agent Systems. In Model Driven Architecture - Foundations and Applications, pages 284-298. Springer Berlin / Heidelberg, 2006.
14. William Rand and Uri Wilensky. Verification and Validation through Replication: A Case Study Using Axelrod and Hammond's Ethnocentrism Model. North American Association for Computational Social and Organization Sciences (NAACSOS), 2006.
15. Repast (Recursive Porous Agent Simulation Toolkit). http://repast. sourceforge.net
16. Juliette Rouchier, Claudio Cioffi-Revilla, J. Gary Polhill, and Keiki Takadama. Progress in Model-To-Model Analysis. Journal of Artificial Societies and Social Simulation, 11(2):8, 2008.
17. Robert G. Sargent. Verification and Validation: Some Approaches and Paradigms for Verifying and Validating Simulation Models. In WSC '01: Proceedings of the 33nd conference on Winter simulation, pages 106-114, Washington, DC, USA, 2001. IEEE Computer Society.
18. R. M. Schoolfield, P. J. H. Sharpe, and C. E. Magnuson. Non-linear regression of biological temperaturedependent rate models based on absolute reaction-rate theory. Journal of Theoretical Biology, 88(4), 1981.
19. Peter J. H. Sharpe and Don W. DeMichele. Reaction kinetics of poikilotherm development. Journal of Theoretical Biology, 64(4):649-670, 1977.
20. Linda M. Styer, James R. Carey, Jane-Ling Wang, and Thomas W. Scott. Mosquitoes Do Senesce: Departure From The Paradigm Of Constant Mortality. Am J Trop Med Hyg, 76(1):111-117, 2007.
21. Uri Wilensky and William Rand. Making Models Match: Replicating an Agent-based Model. Journal of Artificial Societies and Social Simulation, 10(4):2, 2007.
22. Oliver Will. Resolving a Replication That failed: News on the Macy & Sato Model. Journal of Artificial Societies and Social Simulation, 12:4, 2009.
23. Oliver Will and Rainer Hegselmann. A Replication That Failed: On the Computational Model in 'Michael W. Macy and Yoshimichi Sato: Trust, Cooperation and Market Formation in the U.S. and Japan. Proceedings of the National Academy of Sciences, May 2002'. Journal of Artificial Societies and Social Simulation, 11(3):3, 2008.
24. X. Xiang, R. Kennedy, and G. Madey. Verification and Validation of Agent-based Scientific Simulation Models. 2005 Agent-Directed Simulation Symposium, 2005.
25. Jin Xu, Yongqin Gao, and Gregory Madey. A Docking Experiment: Swarm and Repast for Social Network Modeling. Seventh Annual Swarm Researchers Meeting Swarm2003, 2003.
26. Levent Yilmaz. Validation and verification of social processes within agent-based computational organization models. Computational & Mathematical Organization Theory, 12:283-312, Jan 2006.
27. Ying Zhou, S. M. Niaz Arifin, James Gentile, Steven J. Kurtz, Gregory J. Davis, and Barbara A. Wendelberger. An Agent-based Model of the Anopheles gambiae Mosquito Life Cycle. Working papers, 2010.