Modeling surgical processes: A four-level translational approach
暂无分享,去创建一个
Thomas Neumuth | Heinrich Herre | Frank Loebe | Dayana Neumuth | T. Neumuth | H. Herre | F. Loebe | D. Neumuth
[1] Z. Vendler. Linguistics in Philosophy , 1967 .
[2] Nassir Navab,et al. Modeling and Online Recognition of Surgical Phases Using Hidden Markov Models , 2008, MICCAI.
[3] Heinrich Herre,et al. Semantic foundations of medical information systems based on top-level ontologies , 2006, Knowl. Based Syst..
[4] Heinrich Herre,et al. A Meta-ontological Architecture for Foundational Ontologies , 2005, OTM Conferences.
[5] C G Cao,et al. Gaze patterns in laparoscopic surgery. , 1999, Studies in health technology and informatics.
[6] Nihan Kesim Cicekli,et al. Formalizing the specification and execution of workflows using the event calculus , 2006, Inf. Sci..
[7] José L. V. Mejino,et al. A reference ontology for biomedical informatics: the Foundational Model of Anatomy , 2003, J. Biomed. Informatics.
[8] M. Frecker,et al. Sequence and task analysis of instrument use in common laparoscopic procedures , 2002, Surgical Endoscopy And Other Interventional Techniques.
[9] Emmon Bach,et al. The algebra of events , 1986, The Language of Time - A Reader.
[10] David R. Dowty,et al. Word Meaning and Montague Grammar , 1979 .
[11] Susan Rothstein,et al. FINE-GRAINED STRUCTURE IN THE EVENTUALITY DOMAIN: THE SEMANTICS OF PREDICATIVE ADJECTIVE PHRASES AND BE , 1999 .
[12] Frank van Harmelen,et al. Web Ontology Language: OWL , 2004, Handbook on Ontologies.
[13] C. M. Sperberg-McQueen,et al. Extensible markup language , 1997 .
[14] Michael Rosemann,et al. Integrated Process Modeling: An Ontological Evaluation , 2000, Inf. Syst..
[15] T. Neumuth,et al. Structured recording of intraoperative surgical workflows , 2006, SPIE Medical Imaging.
[16] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[17] Joerg Evermann,et al. A UML and OWL description of Bunge’s upper-level ontology model , 2009, Software & Systems Modeling.
[18] S. Hartmann,et al. Models in Science , 2006 .
[19] Bernard Comrie. Aspect: An Introduction to the Study of Verbal Aspect and Related Problems , 1976 .
[20] Pierre Jannin,et al. Surgical models for computer-assisted neurosurgery , 2007, NeuroImage.
[21] Paul M. Pietroski,et al. Events and Semantic Architecture , 2005 .
[22] Nassir Navab,et al. A Boosted Segmentation Method for Surgical Workflow Analysis , 2007, MICCAI.
[23] Michael Thielscher,et al. A unifying action calculus , 2011, Artif. Intell..
[24] Terence Parsons,et al. Events in the Semantics of English: A Study in Subatomic Semantics , 1990 .
[25] C. M. Sperberg-McQueen,et al. Extensible Markup Language (XML) , 1997, World Wide Web J..
[26] Thomas Neumuth,et al. Assessment of technical needs for surgical equipment by surgical process models , 2009, Minimally invasive therapy & allied technologies : MITAT : official journal of the Society for Minimally Invasive Therapy.
[27] Christopher Piñón,et al. Achievements in an Event Semantics , 1997 .
[28] Sushil Jajodia,et al. Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling , 2001 .
[29] Vladimir Lifschitz,et al. Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .
[30] Pierre Jannin,et al. Toward models of surgical procedures: analyzing a database of neurosurgical cases , 2005, SPIE Medical Imaging.
[31] Peter J. F. Lucas. Computer-based Medical Guidelines and Protocols: A Primer and Current Trends , 2008 .
[32] Pietro Torasso,et al. TIME, ACTION‐TYPES, AND CAUSATION: AN INTEGRATED ANALYSIS , 1995, Comput. Intell..
[33] Kees M. van Hee,et al. Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.
[34] Ivar Jacobson,et al. Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .
[35] L. Ridder. Mereologie : ein beitrag zur ontologie und erkenntnistheorie , 2002 .
[36] L. MacKenzie,et al. Hierarchical decomposition of laparoscopic surgery: a human factors approach to investigating the operating room environment , 2001, Minimally invasive therapy & allied technologies : MITAT : official journal of the Society for Minimally Invasive Therapy.
[37] Zahir Tari,et al. On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE , 2002, Lecture Notes in Computer Science.
[38] Heinz Wörn,et al. Operation planning of robot supported surgical interventions , 2000, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113).
[39] Stephen A. White,et al. BPMN modeling and reference guide : understanding and using BPMN : develop rigorous yet understandable graphical representations of business processes , 2008 .
[40] G. Ryle,et al. 心的概念 = The concept of mind , 1962 .
[41] P S White,et al. Using human reliability analysis to detect surgical error in endoscopic DCR surgery. , 2003, Clinical otolaryngology and allied sciences.
[42] Peter Buneman,et al. Semistructured data , 1997, PODS.
[43] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.
[44] Shahram Payandeh,et al. Task and Motion Analyses in Endoscopic Surgery , 1996, Dynamic Systems and Control.
[45] Johanna Seibt. Process Theories: Crossdisciplinary Studies in Dynamic Categories , 2004 .
[46] C. R. Ramakrishnan,et al. Logic based modeling and analysis of workflows , 1998, PODS '98.
[47] Jixin Ma,et al. Ontological considerations of time, meta-predicates and temporal propositions , 2007, Appl. Ontology.
[48] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[49] Dov M. Gabbay,et al. Handbook of Temporal Reasoning in Artificial Intelligence , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.
[50] Steffen Staab,et al. International Handbooks on Information Systems , 2013 .
[51] P. Jannin,et al. Model of Surgical Procedures for Multimodal Image-Guided Neurosurgery , 2003, Computer aided surgery : official journal of the International Society for Computer Aided Surgery.
[52] Elpida T. Keravnou,et al. Temporal representation and reasoning in medicine: Research directions and challenges , 2006, Artif. Intell. Medicine.
[53] Wojciech Ziarko,et al. A METHOD FOR COMPUTING ALL MAXIMALLY GENERAL RULES IN ATTRIBUTE‐VALUE SYSTEMS , 1996, Comput. Intell..
[54] J Dankelman,et al. Quantitative analysis of the functionality and efficiency of three surgical dissection techniques: a time-motion analysis. , 1999, Journal of laparoendoscopic & advanced surgical techniques. Part A.
[55] Thomas Neumuth,et al. Analysis of surgical intervention populations using generic surgical process models , 2010, International Journal of Computer Assisted Radiology and Surgery.
[56] Mark Steedman,et al. Temporal Ontology and Temporal Reference , 1988, CL.
[57] J. Barnes,et al. The Complete Works of Aristotle the Revised Oxford Translation , 1984 .
[58] Nicola Guarino,et al. WonderWeb Deliverable D18 Ontology Library , 2003 .
[59] Gero Strauß,et al. Research Paper: Validation of Knowledge Acquisition for Surgical Process Models , 2009, J. Am. Medical Informatics Assoc..
[60] D. Kirsh. Foundations of Artificial Intelligence , 1991 .
[61] Peter Gärdenfors,et al. Conceptual spaces - the geometry of thought , 2000 .
[62] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[63] Gero Strauß,et al. Acquisition of Process Descriptions from Surgical Interventions , 2006, DEXA.
[64] Luca Anselma,et al. Planning: Supporting and Optimizing Clinical Guidelines Execution , 2008, Computer-based Medical Guidelines and Protocols.
[65] A. Kenny. Action, Emotion And Will , 1965 .
[66] Nassir Navab,et al. Recovery of Surgical Workflow: a Model-based Approach , 2007 .
[67] Robert Hoehndorf,et al. General Formal Ontology (GFO) - A Foundational Ontology Integrating Objects and Processes [Version 1.0] , 2006 .
[68] James A. Hendler,et al. UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning , 1994, AIPS.
[69] V. Rajaratnam,et al. Surgical process re-engineering: carpal tunnel decompression--a model. , 2004, Hand surgery : an international journal devoted to hand and upper limb surgery and related research : journal of the Asia-Pacific Federation of Societies for Surgery of the Hand.
[70] Wil M. P. van der Aalst,et al. Research Paper: A Pattern-based Analysis of Clinical Computer-interpretable Guideline Modeling Languages , 2007, J. Am. Medical Informatics Assoc..
[71] Joerg Evermann,et al. Towards Ontologically Based Semantics for UML Constructs , 2001, ER.
[72] Katharina Kaiser,et al. Computer-interpretable Guideline Formalisms , 2008, Computer-based Medical Guidelines and Protocols.
[73] Ian Horrocks,et al. From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..
[74] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[75] Nassir Navab,et al. Recovery of Surgical Workflow Without Explicit Models , 2006, MICCAI.
[76] Craig Schlenoff,et al. The Process Specification Language (PSL) Overview and Version 1.0 Specification , 2000 .
[77] Michael W. Vannier,et al. The operating room and the need for an IT infrastructure and standards , 2006, International Journal of Computer Assisted Radiology and Surgery.
[78] Frank van Harmelen,et al. Web Ontology Language , 2004 .
[79] Yuval Shahar,et al. The Temporal Aspects of Clinical Guidelines , 2008, Computer-based Medical Guidelines and Protocols.