Human-Computer Interaction

Authors and titles for October 2014

[1] arXiv:1410.1087 [pdf, other]

Title: Computer-mediated communication in adults with high-functioning Autism Spectrum Conditions

Christine P.D.M. van der Aa, Monique M.H. Pollmann, Aske Plaat, Rutger Jan van der Gaag

Subjects: Human-Computer Interaction (cs.HC)

[2] arXiv:1410.1648 [pdf, other]

Title: A Survey on Mobile Affective Computing

Shengkai Zhang, Pan Hui

Comments: There will be another paper for this topic. This paper will be no longer updated. Thanks for your attention

Subjects: Human-Computer Interaction (cs.HC)

[3] arXiv:1410.2828 [pdf, other]

Title: A Study on Placement of Social Buttons in Web Pages

Omar Alonso, Vasilis Kandylas

Subjects: Human-Computer Interaction (cs.HC)

[4] arXiv:1410.5907 [pdf, other]

Title: Replacing the computer mouse

Franck Dernoncourt

Subjects: Human-Computer Interaction (cs.HC)

[5] arXiv:1410.7670 [pdf, other]

Title: Immersive and Collaborative Data Visualization Using Virtual Reality Platforms

Ciro Donalek, S.G. Djorgovski, Scott Davidoff, Alex Cioc, Anwell Wang, Giuseppe Longo, Jeffrey S. Norris, Jerry Zhang, Elizabeth Lawler, Stacy Yeh, Ashish Mahabal, Matthew Graham, Andrew Drake

Comments: 6 pages, refereed proceedings of 2014 IEEE International Conference on Big Data, page 609, ISBN 978-1-4799-5665-4

Subjects: Human-Computer Interaction (cs.HC); Instrumentation and Methods for Astrophysics (astro-ph.IM)

[6] arXiv:1410.8221 [pdf, other]

Title: PIDE for Asynchronous Interaction with Coq

Carst Tankink (Inria Saclay - Île-de-France)

Comments: In Proceedings UITP 2014, arXiv:1410.7850

Journal-ref: EPTCS 167, 2014, pp. 73-83

Subjects: Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO)

[7] arXiv:1410.1490 (cross-list from cs.CR) [pdf, other]

Title: Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords

Jeremiah Blocki, Saranga Komanduri, Lorrie Cranor, Anupam Datta

Subjects: Cryptography and Security (cs.CR); Human-Computer Interaction (cs.HC)

[8] arXiv:1410.3560 (cross-list from cs.DL) [pdf, other]

Title: NetworkRepository: An Interactive Data Repository with Multi-scale Visual Analytics

Ryan A. Rossi, Nesreen K. Ahmed

Comments: AAAI 2015 DT

Subjects: Digital Libraries (cs.DL); Human-Computer Interaction (cs.HC); Social and Information Networks (cs.SI)

[9] arXiv:1410.4122 (cross-list from physics.med-ph) [pdf, other]

Title: Analysis of EEG signal by Flicker Noise Spectroscopy: Identification of right/left hand movement imagination

Anna Broniec

Comments: 16 pages, 10 figures

Subjects: Medical Physics (physics.med-ph); Human-Computer Interaction (cs.HC); Neurons and Cognition (q-bio.NC)

[10] arXiv:1410.5129 (cross-list from cs.CY) [pdf, other]

Title: Fostering of innovative usability testing to develop mobile application for mobile collaborative learning (MCL)

Khaled Elleithy, Abdul Razaque

Comments: 8 pages, 5 figures, ICGST-AIML Journal, Volume 12, Issue 1, July 2012

Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[11] arXiv:1410.6752 (cross-list from q-bio.NC) [pdf, other]

Title: The Influence of Decoding Accuracy on Perceived Control: A Simulated BCI Study

Pouyan R. Fard, Moritz Grosse-Wentrup

Subjects: Neurons and Cognition (q-bio.NC); Human-Computer Interaction (cs.HC)

[12] arXiv:1410.7850 (cross-list from cs.LO) [pdf, other]

Title: Proceedings Eleventh Workshop on User Interfaces for Theorem Provers

Christoph Benzmüller, Bruno Woltzenlogel Paleo

Journal-ref: EPTCS 167, 2014

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)

[13] arXiv:1410.8215 (cross-list from cs.LO) [pdf, other]

Title: How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers

Bernhard Beckert (Karlsruhe Institute of Technology (KIT)), Sarah Grebing (Karlsruhe Institute of Technology (KIT)), Florian Böhl (Karlsruhe Institute of Technology (KIT))

Comments: In Proceedings UITP 2014, arXiv:1410.7850

Journal-ref: EPTCS 167, 2014, pp. 4-13

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)

[14] arXiv:1410.8216 (cross-list from cs.LO) [pdf, other]

Title: UTP2: Higher-Order Equational Reasoning by Pointing

Andrew Butterfield (Trinity College Dublin)

Comments: In Proceedings UITP 2014, arXiv:1410.7850

Journal-ref: EPTCS 167, 2014, pp. 14-22

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)

[15] arXiv:1410.8217 (cross-list from cs.LO) [pdf, other]

Title: Tinker, tailor, solver, proof

Gudmund Grov (Heriot-Watt University), Aleks Kissinger (University of Oxford), Yuhui Lin (Heriot-Watt University)

Comments: In Proceedings UITP 2014, arXiv:1410.7850

Journal-ref: EPTCS 167, 2014, pp. 23-34

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)

[16] arXiv:1410.8218 (cross-list from cs.LO) [pdf, other]

Title: Advanced Proof Viewing in ProofTool

Tomer Libal (Microsoft Research - Inria Joint Center, Ecole Polytechnique), Martin Riener (Institute of Computer Languages, Vienna University of Technology), Mikheil Rukhaia (Institute of Applied Mathematics, Tbilisi State University)

Comments: In Proceedings UITP 2014, arXiv:1410.7850

Journal-ref: EPTCS 167, 2014, pp. 35-47

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)

[17] arXiv:1410.8219 (cross-list from cs.LO) [pdf, other]

Title: A Logic-Independent IDE

Florian Rabe (Jacobs University Bremen)

Comments: In Proceedings UITP 2014, arXiv:1410.7850

Journal-ref: EPTCS 167, 2014, pp. 48-60

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)

[18] arXiv:1410.8222 (cross-list from cs.LO) [pdf, other]

Title: System description: Isabelle/jEdit in 2014

Makarius Wenzel (Univ. Paris-Sud, Laboratoire LRI, UMR8623)

Comments: In Proceedings UITP 2014, arXiv:1410.7850

Journal-ref: EPTCS 167, 2014, pp. 84-94

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)