Enhanced Carrier Spatial Separation and Interfacial Transfer for Photocatalytic Cyanation of Olefins

Author(s):  
Shuyi Zhang ◽  
Changqing Chu ◽  
Min Huang ◽  
Bo Wu ◽  
Liangshu Zhong ◽  
...  
2019 ◽  
Vol 62 (3) ◽  
pp. 745-757 ◽  
Author(s):  
Jessica M. Wess ◽  
Joshua G. W. Bernstein

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.


2018 ◽  
Vol 8 (23) ◽  
pp. 6173-6179 ◽  
Author(s):  
Xu Jin ◽  
Rengui Li ◽  
Yue Zhao ◽  
Xiaodan Liu ◽  
Xiaoqi Wang ◽  
...  

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


Materials ◽  
2021 ◽  
Vol 14 (12) ◽  
pp. 3150
Author(s):  
Ignas Nevinskas ◽  
Zenius Mockus ◽  
Remigijus Juškėnas ◽  
Ričardas Norkus ◽  
Algirdas Selskis ◽  
...  

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.


2021 ◽  
Vol 5 (EICS) ◽  
pp. 1-18
Author(s):  
Hae-Na Lee ◽  
Vikas Ashok ◽  
IV Ramakrishnan

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.


2021 ◽  
Vol 31 ◽  
Author(s):  
THOMAS VAN STRYDONCK ◽  
FRANK PIESSENS ◽  
DOMINIQUE DEVRIESE

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).


2020 ◽  
Vol 10 (1) ◽  
pp. 53-61
Author(s):  
E. Mysen

AbstractA network of pointwise available height anomalies, derived from levelling and GPS observations, can be densified by adjusting a gravimetric quasigeoid using least-squares collocation. The resulting type of Corrector Surface Model (CSM) is applied by Norwegian surveyors to convert ellipsoidal heights to normal heights expressed in the official height system NN2000. In this work, the uncertainty related to the use of a CSM to predict differences in height anomaly was sought. As previously, the application of variograms to determine the local statistical properties of the adopted collocation model led to predictions that were consistent with their computed uncertainties. For the purpose of predicting height anomaly differences, the effect of collocation was seen to be moderate in general for the small spatial separations considered (< 10 km). However, the relative impact of collocation could be appreciable, and increasing with distance, near the network. At last, it was argued that conservative uncertainties of height anomaly differences may be obtained by rescaling output of a grid interpolation by \sqrt \Delta, where Δ is the spatial separation of the two locations for which the difference is sought.


Sign in / Sign up

Export Citation Format

Share Document