Results 1 to 10 of about 1,247,273 (259)
The Safeguard of Audio Collections: A Computer Science Based Approach to Quality Control—The Case of the Sound Archive of the Arena di Verona [PDF]
In the field of multimedia, very little attention is given to the activities involved in the preservation of audio documents. At the same time, more and more archives storing audio and video documents face the problem of obsolescing and degrading media, which could largely benefit from the instruments and the methodologies of research in multimedia ...
BERNARDINI BRESSAN, FEDERICA +4 more
semanticscholar +6 more sources
“You Cannot Sound Like GPT": Signs of language discrimination and resistance in computer science publishing [PDF]
LLMs have been celebrated for their potential to help multilingual scientists publish their research. Rather than interpret LLMs as a solution, we hypothesize their adoption can be an indicator of existing linguistic exclusion in scientific writing. Using the case study of ICLR, an influential, international computer science conference, we examine how ...
Haley Lepp, Daniel Scott Smith
semanticscholar +5 more sources
The article substantiates the relevance of the development and use of the components of the methodical system for teaching sound processing technologies to high school students in computer science classes. This is due to the need to develop the ability to work with sound and develop the skills of creating, processing, and editing sound effects and ...
Nataliia Khmil +2 more
openaire +3 more sources
This paper reflects on our experiences with musical live coding as an entry point to computer science education in both school-based and public contexts. Based on formats such as teaching units, teacher training, and an interactive booth at the "Lange Nacht der Technik" we explore how tools like Strudel can foster accessible engagement with algorithmic
Sterzel, Martin, Grimm, Frank
+4 more sources
Analysis of an automatic grading system within first year Computer Science programming modules
Reliable and pedagogically sound automated feedback and grading systems are highly coveted by educators. Automatic grading systems are useful for ensuring equity of grading of student submissions to assignments and providing timely feedback on the work ...
Emlyn Hegarty-Kelly, Aidan Mooney
semanticscholar +1 more source
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs [PDF]
Optimizing the expected values of probabilistic processes is a central problem in computer science and its applications, arising in fields ranging from artificial intelligence to operations research to statistical computing.
Alexander K. Lew +3 more
semanticscholar +1 more source
Effective Assessment of Computer Science Capstone Projects and Student Outcomes
A capstone project is a culminating experience that entails creativity, critical thinking, and advanced problem-solving skills. To that end, capstone projects enable students to prove their abilities, demonstrate their attained skills, and carry out a ...
F. Salem +3 more
semanticscholar +1 more source
On properties of $B$-terms [PDF]
$B$-terms are built from the $B$ combinator alone defined by $B\equiv\lambda fgx. f(g~x)$, which is well known as a function composition operator.
Ikebuchi, Mirai, Nakano, Keisuke
core +2 more sources
A Sound and Complete Axiomatization of Majority-n Logic [PDF]
Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the
Amaru, Luca +3 more
core +2 more sources

