Diagrammatic Representation and Inference: 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings

ISBN-13: 9783662440421 / Angielski / Miękka / 2014 / 311 str.

Tim Dwyer;Helen Purchase;Aidan Delaney

Opis

This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Diagrams, Diagrams 2014, held in Melbourne, VIC, Australia in July/August 2014. The 15 revised full papers and 9 short papers presented together with 6 posters were carefully reviewed and selected from 40 submissions. The papers have been organized in the following topical sections: diagram layout, diagram notations, diagramming tools, diagrams in education, empirical studies and logic and diagrams.

Spis treści

Octilinear Force-Directed Layout with Mental Map Preservation for Schematic Diagrams.- Counting Crossings for Layered Hypergraphs.- Evolutionary Meta Layout of Graphs.- Seeing Around Corners: Fast Orthogonal Connector Routing.- Tennis Plots: Game, Set, and Match.- Coloured Modelling Spider Diagrams.- Graphical Representations of Context-Free Languages.- An Example Hyper Venn Proof.- Visualizing Concepts with Euler Diagrams.- Argument Mapping for Mathematics in Proof scape.- Towards a General Diagrammatic Literacy: An Approach to Thinking Critically about Diagrams.- Item Differential in Computer Based and Paper Based Versions of a High Stakes Tertiary Entrance Test: Diagrams and the Problem of Annotation.- Students’ Spontaneous Use of Diagrams in Written Communication Understanding Variations According to Purpose and Cognitive Cost Entailed.- How Communicative Learning Situations Influence Students’ Use of Diagrams: Focusing on Spontaneous Diagram Construction and Protocols during Explanation.- Evaluating the Impact of Clutter in Euler Diagrams.- The Impact of Shape on the Perception of Euler Diagrams.- Alternative Strategies in Processing 3D Objects Diagrams: Static, Animated and Interactive Presentation of a Mental Rotation Test in an Eye Movements Cued Retrospective Study.- Visualizing Sets: An Empirical Comparison of Diagram Types.- Recognising, Knowing and Naming: Can Object Picture Processing Models Accommodate Non-Picture Visuals?.- Exploring the Effects of Colouring Graph Diagrams on People of Various Backgrounds.- An Empirical Study of Diagrammatic Inference Process by Recording the Moving Operation of Diagrams.- Neural Mechanisms of Global Reading.- The Relationship between Aristotelian and Hasse Diagrams.- A Graphical Representation of Boolean Logic.- The Barwise-Seligman Model of Representation Systems: A Philosophical Explication.- Logical and Geometrical Complementarities between Aristotelian Diagrams.- Logical Investigation of Reasoning with Tables.- A Framework for Heterogeneous Reasoning in Formal and Informal Domains.- The Second Venn Diagrammatic System.- Diagrammatically Explaining Peircean Abduction.