English
Related papers

Related papers: Digital Scientific Notations as a Human-Computer I…

200 papers

Cybersecurity is a very challenging topic of research nowadays, as digitalization increases the interaction of people, software and services on the Internet by means of technology devices and networks connected to it. The field is broad and…

Artificial Intelligence · Computer Science 2021-07-02 Nuno Oliveira , Norberto Sousa , Isabel Praça

The explosive demand for artificial intelligence (AI) workloads has led to a significant increase in silicon area dedicated to lower-precision computations on recent high-performance computing hardware designs. However, mixed-precision…

Computational Engineering, Finance, and Science · Computer Science 2025-09-09 Aditya Kashi , Hao Lu , Wesley Brewer , David Rogers , Michael Matheson , Mallikarjun Shankar , Feiyi Wang

In this note, I develop my personal view on the scope and relevance of symbolic computation in software science. For this, I discuss the interaction and differences between symbolic computation, software science, automatic programming,…

Symbolic Computation · Computer Science 2021-09-08 Bruno Buchberger

High-quality, usable, and effective software is essential for supporting astronomers in the discovery-focused tasks of data analysis and visualisation. As the volume, and perhaps more crucially, the velocity of astronomical data grows, the…

Instrumentation and Methods for Astrophysics · Physics 2020-09-01 Christopher J. Fluke , Sarah E. Hegarty , Clare O. -M. MacMahon

Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published research mathematics -- subject to continual change. Unfortunately,…

Digital Libraries · Computer Science 2011-05-13 Serge Autexier , Catalin David , Dominik Dietrich , Michael Kohlhase , Vyacheslav Zholudev

Science and technology journalists today face challenges in finding newsworthy leads due to increased workloads, reduced resources, and expanding scientific publishing ecosystems. Given this context, we explore computational methods to aid…

Human-Computer Interaction · Computer Science 2023-11-29 Sachita Nishal , Jasmine Sinchai , Nicholas Diakopoulos

With increased access to data and the advent of computers, the use of statistical tools and numerical simulations is becoming commonplace for ecologists. These approaches help improve our understanding of ecological phenomena and their…

Other Quantitative Biology · Quantitative Biology 2025-04-08 Maxime Clenet , Maxime Dion , F. Guillaume Blanchet

Simulation models are an absolute necessity in the human and social sciences, which can only very exceptionally use experimental science methods to construct their knowledge. Models enable the simulation of social processes by replacing the…

Computers and Society · Computer Science 2020-01-06 J. Raimbault , D. Pumain

A recent normative turn in computer science has brought concerns about fairness, bias, and accountability to the core of the field. Yet recent scholarship has warned that much of this technical work treats problematic features of the status…

Computers and Society · Computer Science 2020-07-10 Rediet Abebe , Solon Barocas , Jon Kleinberg , Karen Levy , Manish Raghavan , David G. Robinson

Modern society is permeated with computers, and the software that controls them can have latent, long-term, and immediate effects that reach far beyond the actual users of these systems. This places researchers in Computer Science and…

General Literature · Computer Science 2007-06-05 David R. Wright

This study describes a vision, how technology can help improving the efficiency in research. We propose a new clean-slate design, where more emphasis is given on the correctness and up-to-dateness of the scientific results, it is more open…

Digital Libraries · Computer Science 2017-11-29 János Tapolcai

Research methods are essential parts in conducting any research project. Although they have been theorized and summarized based on best practices, every field of science requires an adaptation of the overall approaches to perform research…

General Literature · Computer Science 2017-03-16 Hossein Hassani

Visual representations are becoming important in science communication and education. This explorative study investigates the perception of STEM researchers, without any specific visual design background, and the value of visual…

Human-Computer Interaction · Computer Science 2021-06-22 Matteo Zallio

Natural computing offers new opportunities to understand, model and analyze the complexity of the physical and human-created environment. This paper examines the application of natural computing in environmental informatics, by…

Neural and Evolutionary Computing · Computer Science 2018-08-02 Andreas Kamilaris

Scientific discovery is a complex cognitive process that has driven human knowledge and technological progress for centuries. While artificial intelligence (AI) has made significant advances in automating aspects of scientific reasoning,…

Machine Learning · Computer Science 2024-12-24 Chandan K Reddy , Parshin Shojaee

At the frontier of most areas in science, computer simulations play a central role. The traditional division of natural science into experimental and theoretical investigations is now completely outdated. Instead, theory, simulation, and…

Astrophysics · Physics 2008-11-26 Piet Hut

As the twin movements of open science and open source bring an ever greater share of the scientific process into the digital realm, new opportunities arise for the meta-scientific study of science itself, including of data science and…

Statistics Theory · Mathematics 2020-06-17 Evan Patterson

This paper outlines ongoing dissertation research located in the intersection of science fiction, human-computer interaction and computer science. Through an interdisciplinary perspective, drawing from fields such as human-computer…

Human-Computer Interaction · Computer Science 2018-07-26 Philipp Jordan

As testified by new regulations like the European AI Act, worries about the human and societal impact of (autonomous) software technologies are becoming of public concern. Human, societal, and environmental values, alongside traditional…

Software Engineering · Computer Science 2024-12-30 Marco Autili , Martina De Sanctis , Paola Inverardi , Patrizio Pelliccione

Mathematical notation, i.e., the writing system used to communicate concepts in mathematics, encodes valuable information for a variety of information search and retrieval systems. Yet, mathematical notations remain mostly unutilized by…

Digital Libraries · Computer Science 2021-06-23 Andre Greiner-Petter , Moritz Schubotz , Fabian Mueller , Corinna Breitinger , Howard S. Cohl , Akiko Aizawa , Bela Gipp