LEADER 06239nam 22008415 450 001 996198259803316 005 20200629203553.0 010 $a3-662-44043-1 024 7 $a10.1007/978-3-662-44043-8 035 $a(CKB)3710000000219527 035 $a(SSID)ssj0001296393 035 $a(PQKBManifestationID)11893193 035 $a(PQKBTitleCode)TC0001296393 035 $a(PQKBWorkID)11347978 035 $a(PQKB)11761425 035 $a(DE-He213)978-3-662-44043-8 035 $a(MiAaPQ)EBC6287381 035 $a(MiAaPQ)EBC5594505 035 $a(Au-PeEL)EBL5594505 035 $a(OCoLC)885326811 035 $a(PPN)179925636 035 $a(EXLCZ)993710000000219527 100 $a20140723d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDiagrammatic Representation and Inference$b[electronic resource] $e8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings /$fedited by Tim Dwyer, Helen Purchase, Aidan Delaney 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XVIII, 311 p. 107 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v8578 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-662-44042-3 327 $aOctilinear 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. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence ;$v8578 606 $aUser interfaces (Computer systems) 606 $aApplication software 606 $aComputer graphics 606 $aComputers and civilization 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 615 0$aUser interfaces (Computer systems). 615 0$aApplication software. 615 0$aComputer graphics. 615 0$aComputers and civilization. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 14$aUser Interfaces and Human Computer Interaction. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputer Graphics. 615 24$aComputers and Society. 615 24$aArtificial Intelligence. 615 24$aDiscrete Mathematics in Computer Science. 676 $a006.6 702 $aDwyer$b Tim$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPurchase$b Helen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDelaney$b Aidan$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996198259803316 996 $aDiagrammatic Representation and Inference$9772658 997 $aUNISA LEADER 01049nam0 22002651i 450 001 UON00315222 005 20231205104114.632 100 $a20080911d1950 |0itac50 ba 101 $arus 102 $aSU 105 $a|||| 1|||| 200 1 $aSovetskoe administrativnoe pravo$fS. S. Studenikin 205 $aIzdanie drugoe$bispravlennoe i dopolnennoe 210 $aMoskva$cGosudarstvennoe izdatel'stvo juridiceskoj literatury$d1950 215 $a403 p.$d21 cm 606 $aUNIONE SOVIETICA$xDiritto amministrativo$3UONC068831$2FI 620 $aRU$dMoskva$3UONL003152 700 1$aSTUDENIKIN$bS. S.$3UONV179992$0697794 712 $aJuridi?eskaja literatura$3UONV266013$4650 801 $aIT$bSOL$c20241213$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00315222 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI FONDO NAP NAPOLITANO 0678 $eSI SC 44070 5 0678 996 $aSovetskoe administrativnoe pravo$91373709 997 $aUNIOR