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.

Populist Human-Computer Interface

2022 ◽  
pp. 165-182
Author(s):  
Emma Yann Zhang
Keyword(s):  
Computer Interface ◽  
Human Computer Interface ◽  
Human Communication ◽  
Imitation Game ◽  
Male And Female ◽  
Alan Turing ◽  
Computer Interfaces ◽  
Female Player ◽  
Wide Range

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.

scholarly journals Platforms for publishing and archiving computer-aided research

F1000Research ◽  
2014 ◽  
Vol 3 ◽  
pp. 289 ◽  
Author(s):  
Konrad Hinsen
Keyword(s):  
Computational Methods ◽  
Computational Models ◽  
Journal Article ◽  
Scientific Research ◽  
Software Tools ◽  
Computing Environment ◽  
Scientific Software ◽  
Important Place ◽  
Computer Aided

Computational models and methods take an ever more important place in modern scientific research. At the same time, they are becoming ever more complex, to the point that many such models and methods can no longer be adequately described in the narrative of a traditional journal article. Often they exist only as part of scientific software tools, which causes two important problems: (1) software tools are much more complex than the models and methods they embed, making the latter unnecessarily difficult to understand, (2) software tools depend on minute details of the computing environment they were written for, making them difficult to deploy and often completely unusable after a few years. This article addresses the second problem, based on the experience gained from the development and use of a platform specifically designed to facilitate the integration of computational methods into the scientific record.

Sign in / Sign up

Export Citation Format

Share Document