Development of a model for testing to reduce the spatial separation requirements of IEEE standard 384 for physical independence

1988 ◽  
Vol 3 (3) ◽  
pp. 601-606
Author(s):  
J. Disosway ◽  
M. Petrizzo ◽  
J. Hazeltine
Keyword(s):  
Spatial Separation ◽  
Physical Independence ◽  
Ieee Standard

The Effect of Nonlinear Amplitude Growth on the Speech Perception Benefits Provided by a Single-Sided Vocoder

2019 ◽  
Vol 62 (3) ◽  
pp. 745-757 ◽  
Author(s):  
Jessica M. Wess ◽  
Joshua G. W. Bernstein
Keyword(s):  
Transfer Functions ◽  
Spatial Configuration ◽  
Free Field ◽  
Spatial Separation ◽  
Compression And Expansion ◽  
Interaural Difference ◽  
Interaural Differences ◽  
Single Sided Deafness ◽  
Perceptual Separation ◽  
Loudness Growth

PurposeFor listeners with single-sided deafness, a cochlear implant (CI) can improve speech understanding by giving the listener access to the ear with the better target-to-masker ratio (TMR; head shadow) or by providing interaural difference cues to facilitate the perceptual separation of concurrent talkers (squelch). CI simulations presented to listeners with normal hearing examined how these benefits could be affected by interaural differences in loudness growth in a speech-on-speech masking task.MethodExperiment 1 examined a target–masker spatial configuration where the vocoded ear had a poorer TMR than the nonvocoded ear. Experiment 2 examined the reverse configuration. Generic head-related transfer functions simulated free-field listening. Compression or expansion was applied independently to each vocoder channel (power-law exponents: 0.25, 0.5, 1, 1.5, or 2).ResultsCompression reduced the benefit provided by the vocoder ear in both experiments. There was some evidence that expansion increased squelch in Experiment 1 but reduced the benefit in Experiment 2 where the vocoder ear provided a combination of head-shadow and squelch benefits.ConclusionsThe effects of compression and expansion are interpreted in terms of envelope distortion and changes in the vocoded-ear TMR (for head shadow) or changes in perceived target–masker spatial separation (for squelch). The compression parameter is a candidate for clinical optimization to improve single-sided deafness CI outcomes.

Spatial separation of dual-cocatalysts on bismuth vanadate for selective aerobic oxidation of benzylalcohols to benzaldehydes under visible light irradiation

2018 ◽  
Vol 8 (23) ◽  
pp. 6173-6179 ◽  
Author(s):  
Xu Jin ◽  
Rengui Li ◽  
Yue Zhao ◽  
Xiaodan Liu ◽  
Xiaoqi Wang ◽  
...  
Keyword(s):  
Visible Light ◽  
Visible Light Irradiation ◽  
Aerobic Oxidation ◽  
Spatial Separation ◽  
Bismuth Vanadate ◽  
Light Irradiation ◽  
Selective Aerobic Oxidation

Efficient converting of alcohols to aldehydes under visible light can be achieved on BiVO4 crystals with spatial separation of dual-cocatalysts.

scholarly journals Terahertz Photoconductivity Spectra of Electrodeposited Thin Bi Films

Materials ◽  
2021 ◽  
Vol 14 (12) ◽  
pp. 3150
Author(s):  
Ignas Nevinskas ◽  
Zenius Mockus ◽  
Remigijus Juškėnas ◽  
Ričardas Norkus ◽  
Algirdas Selskis ◽  
...  
Keyword(s):  
Spatial Separation ◽  
Thz Radiation ◽  
Electron Dynamics ◽  
Optical Pulses ◽  
Electrolyte Additive ◽  
Spectra Analysis ◽  
Grain Sizes ◽  
Carrier Scattering ◽  
Bismuth Films ◽  
Triton X

Electron dynamics in the polycrystalline bismuth films were investigated by measuring emitted terahertz (THz) radiation pulses after their photoexcitation by tunable wavelength femtosecond duration optical pulses. Bi films were grown on metallic Au, Pt, and Ag substrates by the electrodeposition method with the Triton X-100 electrolyte additive, which allowed us to obtain more uniform films with consistent grain sizes on any substrate. It was shown that THz pulses are generated due to the spatial separation of photoexcited electrons and holes diffusing from the illuminated surface at different rates. The THz photoconductivity spectra analysis has led to a conclusion that the thermalization of more mobile carriers (electrons) is dominated by the carrier–carrier scattering rather than by their interaction with the lattice.

scholarly journals Bringing Things Closer: Enhancing Low-Vision Interaction Experience with Office Productivity Applications

2021 ◽  
Vol 5 (EICS) ◽  
pp. 1-18
Author(s):  
Hae-Na Lee ◽  
Vikas Ashok ◽  
IV Ramakrishnan
Keyword(s):  
Assistive Technology ◽  
User Study ◽  
State Of The Art ◽  
Low Vision ◽  
Spatial Separation ◽  
Usability Study ◽  
Presentation Software ◽  
Screen Magnifier ◽  
Word Processors ◽  
Grid Layout

Many people with low vision rely on screen-magnifier assistive technology to interact with productivity applications such as word processors, spreadsheets, and presentation software. Despite the importance of these applications, little is known about their usability with respect to low-vision screen-magnifier users. To fill this knowledge gap, we conducted a usability study with 10 low-vision participants having different eye conditions. In this study, we observed that most usability issues were predominantly due to high spatial separation between main edit area and command ribbons on the screen, as well as the wide span grid-layout of command ribbons; these two GUI aspects did not gel with the screen-magnifier interface due to lack of instantaneous WYSIWYG (What You See Is What You Get) feedback after applying commands, given that the participants could only view a portion of the screen at any time. Informed by the study findings, we developed MagPro, an augmentation to productivity applications, which significantly improves usability by not only bringing application commands as close as possible to the user's current viewport focus, but also enabling easy and straightforward exploration of these commands using simple mouse actions. A user study with nine participants revealed that MagPro significantly reduced the time and workload to do routine command-access tasks, compared to using the state-of-the-art screen magnifier.

scholarly journals Linear capabilities for fully abstract compilation of separation-logic-verified code

2021 ◽  
Vol 31 ◽  
Author(s):  
THOMAS VAN STRYDONCK ◽  
FRANK PIESSENS ◽  
DOMINIQUE DEVRIESE
Keyword(s):  
Spatial Separation ◽  
Separation Logic ◽  
Target Language ◽  
Fine Grained ◽  
Dynamic Contract ◽  
Modular Verification ◽  
Source Program ◽  
Memory Accesses ◽  
Memory Resources ◽  
Efficient Memory

Abstract Separation logic is a powerful program logic for the static modular verification of imperative programs. However, dynamic checking of separation logic contracts on the boundaries between verified and untrusted modules is hard because it requires one to enforce (among other things) that outcalls from a verified to an untrusted module do not access memory resources currently owned by the verified module. This paper proposes an approach to dynamic contract checking by relying on support for capabilities, a well-studied form of unforgeable memory pointers that enables fine-grained, efficient memory access control. More specifically, we rely on a form of capabilities called linear capabilities for which the hardware enforces that they cannot be copied. We formalize our approach as a fully abstract compiler from a statically verified source language to an unverified target language with support for linear capabilities. The key insight behind our compiler is that memory resources described by spatial separation logic predicates can be represented at run time by linear capabilities. The compiler is separation-logic-proof-directed: it uses the separation logic proof of the source program to determine how memory accesses in the source program should be compiled to linear capability accesses in the target program. The full abstraction property of the compiler essentially guarantees that compiled verified modules can interact with untrusted target language modules as if they were compiled from verified code as well. This article is an extended version of one that was presented at ICFP 2019 (Van Strydonck et al., 2019).

Sign in / Sign up

Export Citation Format

Share Document