Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface
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, scien...
Main Author: | Konrad Hinsen |
---|---|
Format: | Article |
Language: | English |
Published: |
PeerJ Inc.
2018-07-01
|
Series: | PeerJ Computer Science |
Subjects: | |
Online Access: | https://peerj.com/articles/cs-158.pdf |
Similar Items
-
An interactive graphic system for computer-aided music transcription
by: Archer, Herbert Sitton
Published: (2008) -
Improved Resource State for Verifiable Blind Quantum Computation
by: Qingshan Xu, et al.
Published: (2020-09-01) -
An object-oriented toolkit for music notation
by: Eales, Andrew Arnold
Published: (1999) -
Episode 3.05 – Introduction to Offset or Biased Notation
by: Tarnoff, David
Published: (2020) -
A kernel to support computer-aided verification of embedded software
by: Grobler, Leon D
Published: (2006)