In this article, the problem of synthesizing switching controllers is considered through the synthesis of a “control certificate”. Control certificates include control barrier and Lyapunov functions, which represent control strategies, and allow for automatic controller synthesis. Our approach encodes the controller synthesis problem as quantified nonlinear constraints. We extend an approach ca...

Unlike other branches of science, the scientific products of synthetic chemistry are not only ideas but also new substances that change our material world, for the benefit or harm of living beings. This paper provides for the first time a systematical analysis of moral issues arising from chemical synthesis, based on concepts of responsibility and general morality. Topics include the questionin...

A dynamic texture (DT) refers to a sequence of images that exhibit temporal regularities and has many applications in computer vision and graphics. Given an exemplar of dynamic texture, it is a dynamic but challenging task to generate new samples with high quality that are perceptually similar to the input exemplar, which is known to be example-based dynamic texture synthesis (EDTS). Numerous a...

Pitch model is very important for speech synthesis, and it mainly describes the variation of pitch. The models that are now being used in Chinese speech synthesis are described qualitatively and with low precision. We try to find the pitch model from actual speech samples by data mining. A prototype called SpeechDM has been implemented to learn the pattern of the pitch variation in Chinese two-...

A system for the synthesis of singing on the basis of an articulatory speech synthesizer is presented. To enable the synthesis of singing, the speech synthesizer was extended in many respects. Most importantly, a rule-based transformation of a musical score into a gestural score for articulatory gestures was developed. Furthermore, a pitch-dependent articulation of vowels was implemented. The r...

In this paper, we extend the set of library components which are usually considered in architectural synthesis by components with built-in chaining. For such components, the result of some internally computed arithmetic function is made available as an argument to some other function through a local connection. These components can be used to implement chaining in a datapath in a single compone...

Mobile audio-enabled technology is a commodity by now. However access to these technologies for audio research, algorithmic synthesis and interactive performance is currently limited. We describe an effort to port the Synthesis Toolkit (STK) developed by Perry Cook and Gary Scavone to the Symbian operating system, which is used by a number of mobile phone manufacturers.

This paper presents an automatic speech segmentation method based on HMM alignment and a categorized multiple-expert fine adjustment. The accuracy of syllable boundaries is significantly improved (72.8% and 51.9% for starting and ending boundaries of syllables, respectively) after the fine adjustment. Moreover, a novel phonetic verification method for checking inconsistency between text script ...

This paper describes the realization of a corpus-based Chinese speech synthesis system, including the corpus design and unit selection procedure. The system selects the synthesis unit according to context similarity between target unit and candidate unit. Neither prosody parameter prediction nor prosody feature modification is needed. The informal test shows that the synthesized speech is quite...

two novel 3-amino-5-(4-choloro-2-phenoxyphenyl)-4h-1,2,4-triazole derivatives were prepared and their anticonvulsant activity was measured by evaluation of the ability of these compounds to protect mice against convulsion induced by lethal doses of pentylenetetrazole (ptz). diazepam (sigma) was considered as a positive control drug with anticonvulsant effect [ed50 = 1.2 (0.5-1.9) mg/kg]. amongs...