Consideration of the Human-Computer Interface in the Operation Room in the Era of Computer Aided Surgery

2011 ◽  
pp. 72-75 ◽  
Author(s):  
Kazuhiko Shinohara
Keyword(s):  
Computer Interface ◽  
Human Computer Interface ◽  
Computer Aided Surgery ◽  
Operation Room ◽  
Computer Aided

Development of Computer-Aided Manufacturing System for a Jewelry-Making CNC Machine

2014 ◽  
Vol 596 ◽  
pp. 83-89 ◽  
Author(s):  
Ya Miao ◽  
Kai He ◽  
Hai Tao Fang ◽  
Zhi Min Zhou ◽  
Ru Xu Du
Keyword(s):  
Manufacturing System ◽  
Experimental Results ◽  
Machining Process ◽  
Computer Interface ◽  
Machining Parameters ◽  
Basic Design ◽  
Human Computer Interface ◽  
Cnc Machine ◽  
Gold Bead ◽  
Computer Aided

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.

scholarly journals Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface

2018 ◽  
Vol 4 ◽  
pp. e158 ◽  
Author(s):  
Konrad Hinsen
Keyword(s):  
Scientific Information ◽  
Scientific Research ◽  
Theoretical Models ◽  
Black Box ◽  
Point Of View ◽  
Computer Interface ◽  
Human Computer Interface ◽  
Scientific Software ◽  
Computer Aided

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.

scholarly journals Digital scientific notations as a human-computer interface in computer-aided research

2018 ◽  
Author(s):  
Konrad Hinsen
Keyword(s):  
Scientific Information ◽  
Scientific Research ◽  
Theoretical Models ◽  
Black Box ◽  
Point Of View ◽  
Computer Interface ◽  
Human Computer Interface ◽  
Scientific Software ◽  
Computer Aided ◽  
Mathematical Equations

Most of today’s scientific research relies on computers and software not only for administrational tasks, but also 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. The black-box nature of scientific software has thereby become a major cause of mistakes. 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 explicitly designed as a digital scientific notation for models formulated as mathematical equations.

scholarly journals Digital scientific notations as a human-computer interface in computer-aided research

2018 ◽  
Author(s):  
Konrad Hinsen
Keyword(s):  
Scientific Information ◽  
Scientific Research ◽  
Theoretical Models ◽  
Black Box ◽  
Point Of View ◽  
Computer Interface ◽  
Human Computer Interface ◽  
Scientific Software ◽  
Computer Aided ◽  
Mathematical Equations

Most of today’s scientific research relies on computers and software not only for administrational tasks, but also 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. The black-box nature of scientific software has thereby become a major cause of mistakes. 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 explicitly designed as a digital scientific notation for models formulated as mathematical equations.

Sign in / Sign up

Export Citation Format

Share Document