561 | -- | 575 | Matthew L. Bolton, Noelia Jimenez, Marinus M. van Paassen, Maite Trujillo. Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction |
576 | -- | 590 | Gabriel Gelman, Karen M. Feigh, John M. Rushby. Example of a Complementary Use of Model Checking and Human Performance Simulation |
591 | -- | 602 | Jennifer A. Mindock, David M. Klaus. Contributing Factor Map: A Taxonomy of Influences on Human Performance and Health in Space |
603 | -- | 613 | Patrick Stahl, Birsen Donmez, Greg A. Jamieson. Anticipation in Driving: The Role of Experience in the Efficacy of Pre-event Conflict Cues |
614 | -- | 624 | Enid N. H. Montague, Jie Xu, Erin Chiou. Shared Experiences of Technology and Trust: An Experimental Study of Physiological Compliance Between Active and Passive Users in Technology-Mediated Collaborative Encounters |
625 | -- | 637 | Tony Tung, Randy Gomez, Tatsuya Kawahara, Takashi Matsuyama. Multiparty Interaction Understanding Using Smart Multimodal Digital Signage |
638 | -- | 649 | Xiangfeng Luo, Jun Zhang, Qing Li, Xiao Wei, Lei Lu. Measuring Algebraic Complexity of Text Understanding Based on Human Concept Learning |
650 | -- | 663 | Manoj Ramanathan, Wei-Yun Yau, Eam Khwang Teoh. Human Action Recognition With Video Data: Research and Evaluation Challenges |
664 | -- | 677 | Sushmita Mitra, B. Uma Shankar. Integrating Radio Imaging With Gene Expressions Toward a Personalized Management of Cancer |
678 | -- | 688 | Chin Hooi Tan, Keem Siah Yap, Hisao Ishibuchi, Yusuke Nojima, Hwa Jen Yap. Application of Fuzzy Inference Rules to Early Semi-automatic Estimation of Activity Duration in Software Project Management |
689 | -- | 700 | Nana Yaw Asabere, Feng Xia, Wei Wang, Joel J. P. C. Rodrigues, Filippo Basso, Jianhua Ma. Improving Smart Conference Participation Through Socially Aware Recommendation |