Computational Reasoning across Multiple Models

Journal of the American Medical Informatics Association

Volumn 16, Issue 6, 2009, Pages 768-774

  Tsafnat, Guy ^a   Coiera, Enrico W ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTICLE; BIOINFORMATICS; BIOMEDICINE; CANCER THERAPY; CLINICAL DECISION MAKING; COMPUTER AIDED DESIGN; DIABETES MELLITUS; HEALTH CARE SYSTEM; LIVER CANCER; MATHEMATICAL MODEL; MEDICAL RESEARCH; TREATMENT PLANNING;

COMPUTATIONAL BIOLOGY; COMPUTER-AIDED DESIGN; DECISION MAKING, COMPUTER-ASSISTED; DECISION SUPPORT SYSTEMS, CLINICAL; DIABETES MELLITUS; HUMANS; KNOWLEDGE BASES; LIVER NEOPLASMS; MODELS, BIOLOGICAL; PROGRAMMING LANGUAGES; THERAPY, COMPUTER-ASSISTED;

EID: 70350449446     PISSN: 10675027     EISSN: None     Source Type: Journal    
DOI: 10.1197/jamia.M3023     Document Type: Article

References (43)

1. Blois M.S. Medicine and the nature of vertical reasoning. N Engl J Med 318 13 (1988 Mar) 847-851
2. Bassingthwaighte J.B. Strategies for the physiome project. Ann Biomed Eng 28 8 (2000 Aug) 1043-1058
3. Tomita M. Whole-cell simulation: a grand challenge of the 21st century. Trends Biotechnol 19 6 (2001 Jun) 205-210
4. Ackerman M.J. The Visible Human Project. J Biocommun 18 2 (1991) 14
5. Lander E.S., Linton L.M., Birren B., et al. Initial sequencing and analysis of the human genome. Nature 409 6822 (2001 Feb) 860-921
6. McCulloch A.D., and Huber G. Integrative biological modelling in silico. Novartis Found Symp 247 (2002) 4-19 discussion 20-5, 84-90, 244-52
7. Benson D.A., Karsch-Mizrachi I., Lipman D.J., Ostell J., and Wheeler D.L. GenBank. Nucleic Acids Res 35 (2007 Jan) D21-D25 (Database issue)
8. Kanehisa M., and Goto S. KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Res 28 1 (2000 Jan) 27-30
9. Altman R.B., Balling R., Brinkley J.F., et al. Commentaries on "Informatics and medicine: from molecules to populations". Methods Inf Med 47 4 (2008) 296-317
10. Hodgkin A.L., and Huxley A.F. Currents carried by sodium and potassium ions through the membrane of the giant axon of Loligo. J Physiol 116 (1952) 449-472
11. Kell D.B. Theodor Bücher Lecture. Metabolomics, modelling and machine learning in systems biology-towards an understanding of the languages of cells. Delivered on 3 July 2005 at the 30th FEBS Congress and the 9th IUBMB conference in Budapest. FEBS J 273 5 (2006 Mar) 873-894
12. Dokos S., Celler B., and Lovell N. Ion Currents Underlying Sinoatrial Node Pacemaker Activity: A New Single Cell Mathematical Model. J Theor Biol 181 (1996) 245-272
13. Fernandez J.W., Mithraratne P., Thrupp S.F., Tawhai M.H., and Hunter P.J. Anatomically based geometric modelling of the musculo-skeletal system and other organs. Biomech Model Mechanobiol 2 3 (2004 March) 139-155
14. Schlessinger L., and Eddy D.M. Archimedes: a new model for simulating health care systems-the mathematical formulation. J Biomed Inform 35 1 (2002 Feb) 37-50
15. Friedman N., Linial M., Nachman I., and Pe'er D. Using Bayesian Networks to Analyze Expression Data. J Comput Biol 7 3-4 (2000) 601-620
16. Regev A., Silverman W., and Shapiro E. Representation and simulation of biochemical processes using the $$-calculus process algebra. Pacific Symposium on Biocomputing (2001) 459-470
17. Matsuno H., Inouye S.-I.T., Okitsu Y., Fujii Y., and Miyano S. A new regulatory interaction suggested by simulations for circadian genetic control mechanism in mammals. J Bioinform Comput Biol 4 1 (2006 Feb) 139-153
18. Searls D.B. Linguistic approaches to biological sequences. Comput Appl Biosci 13 4 (1997 Aug) 333-344
19. King R.D., Muggleton S.H., Srinivasan A., and Sternberg M.J. Structure-activity relationships derived by machine learning: the use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming. Proc Natl Acad Sci USA 93 1 (1996 Jan) 438-442
20. Hau D.T., and Coiera E.W. Learning Qualitative Models of Dynamic Systems. Machine Learning 26 (1993) 177-211
21. Hunter P.J., and Borg T.K. Integration from Proteins to Organs: The Physiome Project. Nature Reviews 4 (2003 March) 237-243
22. Ljung L. System identification: theory for the user (1986), Prentice-Hall, Inc, Upper Saddle River, NJ, USA
23. King R.D., Garrett S.M., and Coghill G.M. On the use of qualitative reasoning to simulate and identify metabolic pathways. Bioinform 21 9 (2005) 2017-2026
24. Reed J.L., Patel T.R., Chen K.H., et al. Systems approach to refining genome annotation. Proc Natl Acad Sci USA 103 46 (2006 November 14) 17480-17484
25. Hucka M., Bolouri H., Finney A., et al. The Systems Biology Markup Language (SBML): A Medium for Representation and Exchange of Biochemical Network Models. Bioinform 19 4 (2003) 513-523
26. Lloyd C.M., Halstead M.D.B., and Nielsen P.F. CellML: Its future, present and past. Prog Biophys Mol Biol 85 2-3 (2004 June) 433-450
27. Tsafnat G. The Field Representation Language. J Biomed Inform 41 1 (2008 Feb) 46-57
28. Barlas Y. Formal Aspects of Model Validity and Validation in System Dynamics. Syst Dyn Rev 12 3 (1996) 183-210
29. Eddy D.M., and Schlessinger L. Archimedes: a trial-validated model of diabetes. Diabetes Care 26 11 (2003 Nov) 3093-3101
30. Tsafnat N., Tsafnat G., Lambert T.D., and Jones S.K. Modelling Heating of Liver Tumours with Heterogeneous Magnetic Microsphere Deposition. {IOP} J Phys Biol 50 12 (2005 June) 2937-2953
31. Tsafnat N., Tsafnat G., and Lambert T.D. A three-dimensional fractal model of tumour vasculature. 26th Annual Conference of the IEEE Engineering in Medicine and Biology Society; 2004 September: Omnipress (2004) 683-686
32. Davis R., and Buchanan B.G. Meta-level knowledge: Overview and applications. Proc Fifth Int J Conf Artif Intell (1977) 920-927
33. Coiera E. Intermediate depth representations. Artif Intell Med 4 (1992) 431-445
34. Felleisen M. On the expressive power of programming languages. Sci Comp Prog 17 1-3 (1991) 35-75
35. Stiles J.R., and Bartol T.M. Monte Carlo Methods for Simulating Realistic Synaptic Microphysiology Using MCell. In: Schutter E.D. (Ed). Computational Neuroscience: Realistic Modeling for Experimentalists (2001), CRC Press 87-127
36. Tsafnat G., Cloherty S.L., and Lambert T.D. AFL and FRL: Abstraction and Representation for Field Interchange. The 26th Annual Conference on Biomedical Engineering; 2004 September (2004), Omnipress 5419-5422
37. Allen J.F. In silico veritas. Data-mining and automated discovery: the truth is in there. EMBO Rep 2 7 (2001 Jul) 542-544
38. Coiera E. Guide to Health Informatics. 2nd Edition (2003), Hodder Arnold, London
39. Hunter A., Kaufman M.H., McKay A., Baldock R., Simmen M.W., and Bard J.B.L. An ontology of human developmental anatomy. J Anat 203 4 (2003 Oct) 347-355
40. Rosse C., and Mejino J.L.V. A reference ontology for biomedical informatics: the Foundational Model of Anatomy. J Biomed Inform 36 6 (2003 Dec) 478-500
41. Coiera E. The Qualitative Representation of Physical Systems. Knowl Eng Rev 7 1 (1992)
42. Popper K. Unended Quest: an intellectual autobiography (1976), William Collins Sons & Co Ltd
43. Muggleton S., and de Raedt L. Inductive Logic Programming: Theory and Methods. J Log Prog 19,20 (1994) 629-679