Results 281 to 290 of about 273,099 (311)
Some of the next articles are maybe not open access.
THE SOUNDNESS OF EXPLICIT SUBSTITUTION WITH NAMELESS VARIABLES
International Journal of Foundations of Computer Science, 1998We show the soundness of a λ-calculus ℬ where de Bruijn indices are used, substitution is explicit, and reduction is step-wise. This is done by interpreting ℬ in the classical calculus where the explicit substitution becomes implicit and de Bruijn indices become named variables.
openaire +2 more sources
Audio Substituting Haptic System to Aware the Sound from Backwards
The Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019A person with hearing impairments is difficult to notice greets and calling attention from their back due to low ability of listening, and it leads the decline of the ability of sensing danger and the wrong guess at beginning communication. Therefore, we propose the system conveying the information of sound from backwards through haptic feedback ...
Ryota Sakuma, Yuki Fujita, Keiichi Zempo
openaire +1 more source
Sound substitution into modal contexts
1991I review the problems involved in substituting into modal contexts, and state a rule which permits this to be done soundly. Such a rule justifies a expanded substitution process for modal logic. The process is syntactic but incurs proof obligations. I show constructs that permit the naming of objects outside the current modal contexts.
openaire +1 more source
TactualPlot: Spatializing Data as Sound Using Sensory Substitution for Touchscreen Accessibility
IEEE Transactions on Visualization and Computer GraphicsTactile graphics are one of the best ways for a blind person to perceive a chart using touch, but their fabrication is often costly, time-consuming, and does not lend itself to dynamic exploration. Refreshable haptic displays tend to be expensive and thus unavailable to most blind individuals. We propose TACTUALPLOT, an approach to sensory substitution
Pramod Chundury +4 more
openaire +3 more sources
Common mechanisms underlying perseverative and non‐perseverative sound and word substitutions
Aphasiology, 2007Background: Perseverations of sounds and words are common errors in aphasia. Understanding their mechanisms is of considerable interest to theories of word retrieval and also to treatment of anomia. Here, we explore the hypothesis that perseveration errors are generated by the same mechanisms as non‐perseverative errors: weak activation of the intended
Nadine Martin, Gary S. Dell
openaire +1 more source
Effect of saliva substitutes on mineral content of demineralized and sound dental enamel
Supportive Care in Cancer, 2001The aim of this in vitro study was to evaluate the effects of commercially available saliva substitutes on the mineral content of pre-demineralized and sound enamel. From 56 bovine incisors 224 enamel specimens were prepared and hand-polished. The specimens were partially covered with nail varnish (control of sound enamel). In group 1, 112 samples were
Kielbassa, Andrej M. +2 more
openaire +3 more sources
Friction sounds for sensory substitution
2004This paper explores the use of a physics-based sound model of continuous contact for auditory display in interactive settings. An audio-visual interactive display is developed in which the sound model is controlled by the user's gestures. The display is used to investigate to what extent audition can substitute for haptic feedback in conveying ...
AVANZINI F., ROCCHESSO D., SERAFIN S.
openaire +4 more sources
Classroom sound systems: Not a Green substitute for proper classroom acoustics.
The Journal of the Acoustical Society of America, 2009The author will discuss the negative environmental impact that individual classroom sound systems create when used as a substitute for good acoustical design. School systems are being targeted by marketers of classroom sound systems and being convinced that they are a cost effective al-ternative to the standards that are put forth by ANSI S12.60-2002 ...
openaire +1 more source
2022 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF), 2022
O. B. Popov +3 more
openaire +1 more source
O. B. Popov +3 more
openaire +1 more source
A comparative study of sound substitutions used by “normal” first grade children
Speech Monographs, 1964(1964). A comparative study of sound substitutions used by “normal” first grade children. Speech Monographs: Vol. 31, No. 2, pp. 135-141.
openaire +1 more source