Results 261 to 270 of about 24,131 (285)

A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions

Higher-Order and Symbolic Computation, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Classroom sound systems: Not a Green substitute for proper classroom acoustics.

The Journal of the Acoustical Society of America, 2009
The 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

The sound stimulation method and EEG change analysis for development of digital therapeutics that can stimulate the nervous system: Cortical activation and drug substitution potential

CNS Neuroscience and Therapeutics, 2023
Deachang Kim
exaly  

On Foreign Sound Substitution

ITL - International Journal of Applied Linguistics, 1982
openaire   +1 more source

Digital Models and Sensory Substitution Devices: An Inclusive Communication of Architecture Through Sound

The singular nature of architecture, compared to other types of artistic experience, admits the spatial component as the main reference for understanding an object. While scientific advances in the production of digital models have allowed for more and more interaction on the part of the common user, in the field of communication for the blind and ...
Salvatore Di Pace, Alfonso Ippolito, Francisco Juan Vidal   +2 more
openaire   +2 more sources

Sound Absorption in Substituted Methane— Inert-Gas Mixtures

The Journal of Chemical Physics, 1965
E. B. Miller, R. R. Boade, Sam Legvold
openaire   +1 more source

Densities, Viscosities, and Speeds of Sound of the Nitromethane + 1-Pentanol System near the Critical Demixing Temperature:  Effect of Deuterium Substitution

Journal of Chemical & Engineering Data, 2005
Anna Makowska, Jerzy Szydłowski
exaly  

Using Pharmacy Data to Screen for Look-Alike, Sound-Alike Substitution Errors in Pediatric Prescriptions

Academic Pediatrics, 2010
William T Basco, Myla Ebeling, Kit N Simpson   +2 more
exaly  

A Substitution Method for the Measurement of Sound Reflection Coefficients for Thin Layers

1976 Ultrasonics Symposium, 1976
K.K. Shung, J.M. Reid
openaire   +1 more source

Seeing ‘Where’ through the Ears: Effects of Learning-by-Doing and Long-Term Sensory Deprivation on Localization Based on Image-to-Sound Substitution

PLoS ONE, 2008
Michael J Proulx, Eva Ludowig
exaly