Results 1 to 10 of about 913,734 (96)
Bulletin of Luhansk Taras Shevchenko National University, 2023 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 +1 more source
On properties of $B$-terms [PDF]
, 2020 $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
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]
Advances in Multimedia, 2013 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
openaire +4 more sources
On Local Testability in the Non-Signaling Setting [PDF]
, 2020 Non-signaling strategies are a generalization of quantum strategies that have been studied in physics for decades, and have recently found applications in theoretical computer science.
Chiesa, Alessandro +2 more
core +1 more source
A Sound and Complete Axiomatization of Majority-n Logic [PDF]
, 2015 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
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic [PDF]
, 2000 Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Goedel logic based on the truth value set [0,1].
Baaz, Matthias, Zach, Richard
core +4 more sources
inPractice: a practical nursing package for clinical decisions [PDF]
, 2005 This paper examines the recent development of a computer-assisted learning program-in Practice-at the School of Health Science, in the University of Wales Swansea. The project, which began in 2001, was developed in close collaboration with The Meningitis
Cavanna, Annlouise +2 more
core +2 more sources
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation [PDF]
, 2011 AC-completion efficiently handles equality modulo associative and commutative function symbols. When the input is ground, the procedure terminates and provides a decision algorithm for the word problem.
Evelyne Contejean +3 more
core +6 more sources
Universal Arduino-based experimenting system to support teaching of natural sciences [PDF]
, 2019 The rapid evolution of intelligent electronic devices makes information technology, computer science and electronics strongly related to the teaching of natural sciences.
Gingl, Zoltan +6 more
core +2 more sources
The Grand Challenges and Myths of Neural-Symbolic Computation [PDF]
, 2008 The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field.
Lamb, Luis C.
core +1 more source