1
Published 2013
Table of Contents: ... Probability Problems with Computer-Generated Diagrams -- Establishing a Cognitive Map of Public Place...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Performative Interaction -- DiCoT: A Methodology for Applying Distributed Cognition to the Design...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... and Visualisation of Current Traffic Situation on Highways -- Computation of Swing-up Signal for Inverted Pendulum...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... with Nonuniform Degrees -- A Mixed-Integer Program for Drawing High-Quality Metro Maps -- Crossing Number...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... approach -- Collaborative Problem Solving with Cases in a Virtual Professional Training -- Students...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... for Visualisation -- Examining an Evaluation Mechanism of Metaphor Generation with Experiments and Computational...
View full text
Electronic eBook
8
Published 2011
Table of Contents: ... Determination Problem in Combinatorial Auctions -- Validation Sets, Genetic Programming and Generalisation -- A...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming -- A...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Interactions among Users in Urban Computing Environments -- Multi-criteria Retrieval in Cultural Heritage...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Staining and Fluorescence Microscopy Techniques for Phytoplasmas -- Visualisation of Phytoplasmas using...
View full text
Electronic eBook