Cu2SnS3 (CTS) nanorods were synthesized with a controllable aspect ratio via a facile phosphine-free colloidal synthesis. This synthesis can be readily extended to obtain Cu2ZnSnS4 (CZTS) nanorods with tunable Zn content.

Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a comput...

We concentrate on the design of a FIR lter for a fast transform based sinusoidal sound synthesis engine using linear programming and the construction of controller modules that emulate the behavior of contemporary and vintage commercial synthesizers or synthesis techniques. We will show that it is possible to create an entire highly controllable (playable) synthesis framework on top of the tran...

Verification is the problem of checking whether the behavior of a closed system satisfies a given property. The system is closed in the sense that its behavior is fully specified. Synthesis is the problem of finding a way to “close” an open system, so that the behavior of the closed system satisfies a given property. The system is open in the sense that its behavior is under-specified: it can b...

Due to the lack of parallel data in current grammatical error correction (GEC) task, models based on sequence framework cannot be adequately trained obtain higher performance. We propose two synthesis methods which can control rate and ratio types synthetic data. The first approach is corrupt each word monolingual corpus with a fixed probability, including replacement, insertion deletion. Anoth...