scholarly journals Peer Review #1 of "Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface (v0.2)"

Author(s):  
G Wilson
2018 ◽  
Vol 4 ◽  
pp. e158 ◽  
Author(s):  
Konrad Hinsen

Most of today’s scientific research relies on computers and software for processing scientific information. Examples of such computer-aided research are the analysis of experimental data or the simulation of phenomena based on theoretical models. With the rapid increase of computational power, scientific software has integrated more and more complex scientific knowledge in a black-box fashion. As a consequence, its users do not know, and do not even have a chance of finding out, which assumptions and approximations their computations are based on. This black-box nature of scientific software has made the verification of much computer-aided research close to impossible. The present work starts with an analysis of this situation from the point of view of human-computer interaction in scientific research. It identifies the key role of digital scientific notations at the human-computer interface, reviews the most popular ones in use today, and describes a proof-of-concept implementation of Leibniz, a language designed as a verifiable digital scientific notation for models formulated as mathematical equations.


2022 ◽  
pp. 165-182
Author(s):  
Emma Yann Zhang

With advances in HCI and AI, and increasing prevalence of commercial social robots and chatbots, humans are communicating with computer interfaces for various applications in a wide range of settings. Kissenger is designed to bring HCI to the populist masses. In order to investigate the role of robotic kissing using the Kissenger device in HCI, the authors conducted a modified version of the imitation game described by Alan Turing by including the use of the kissing machine. Results show that robotic kissing has no effect on the winning rates of the male and female players during human-human communication, but it increases the winning rate of the female player when a chatbot is involved in the game.


2014 ◽  
Vol 596 ◽  
pp. 83-89 ◽  
Author(s):  
Ya Miao ◽  
Kai He ◽  
Hai Tao Fang ◽  
Zhi Min Zhou ◽  
Ru Xu Du

Abstract. This paper designs a CAM system for a jewelry-making CNC machine. The CAM system not only provides a human-computer interface for setting machining parameters, but also can generate special NC programs automatically and realize the simulation for the machining process. In addition, the paper gives an efficient application for machining an ellipsoidal gold bead. The basic design of the jewelry-making CAM system and the experimental results are presented.


1997 ◽  
Vol 60 (5) ◽  
pp. 199-204 ◽  
Author(s):  
Kenneth McBain ◽  
Linda B M Renton

Occupational therapists have been exploring and debating the therapeutic use of computers for over 10 years. Much of the literature on this topic is descriptive in nature. There has, however, been some work done in the area of cognitive rehabilitation. This article reviews the literature in relation to the use of computers in occupational therapy and in computer-assisted cognitive rehabilitation (CACR). The benefits of computers and the human computer interface are explored and the restorative versus the adaptive approaches in cognitive rehabilitation are debated. The role of occupational therapy in CACR is discussed and assistive technology literature is used to expand upon this topic. The topic of the contributions of programmers and clinicians in designing software is raised. Software issues are also raised, such as the properties, limitations and development of software. The conclusions suggest that there have been few studies that have explored the efficacy of CACR and that those that have indicate that there is limited clinical benefit. Some of the limiting factors are the hardware the programs were developed on and the lack of theoretical underpinning for using software in a rehabilitation programme. However, when an adaptive rather than a restorative approach is considered, the use of computers in this area appears more promising.


1987 ◽  
Vol 31 (10) ◽  
pp. 1147-1150 ◽  
Author(s):  
Greta L. Myers ◽  
Lisa L. Thrush ◽  
Joseph J. Limanowski

This paper addresses the changing role of the human factors professional in the design of integrated computer systems for telecommunications engineering. Specifically, with the advent of such software, the human-computer interface is at times replaced by a computer-computer interface. With humans removed from the direct processing function, should human factors designers be removed from the design function as well? Our experience has shown that there is in fact a continuing need for our expertise, as long as humans remain in the process in any role. With the changing roles of our users, however, the focus of our efforts should change. The quality and utility of an automated computer system will be optimized by the early and persistent involvement of human factors designers in task analysis, user identification, function allocation, system design, user education and quality assurance.


Sign in / Sign up

Export Citation Format

Share Document