This article has two-fold aims: it reports firstly the improvement of a speech database in Catalan for speech synthesis (Festcat) with the information about prosodic boundaries using the break index labels proposed in the ToBI system; and secondly, it presents the experiments undergone to determine the acoustic markers that can differentiate among the break-indexes. Several experiments using di...

Sketching is a new form of localized software synthesis that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer’s ability to manage low-level details. In sketching, the programmer uses partial programs to describe the desired implementation strategy, and leaves the low-level details of the implementation to an automated synthesis procedure. This p...

Im Studiengang Softwaretechnik an der Universität Stuttgart müssen alle Studierenden im Hauptdiplom an zwei Studienprojekten teilnehmen. Das erste Studienprojekt (Studienprojekt A) wird von den Informatikinstituten ausgegeben, das zweite Studienprojekt (B) wird im Anwendungsfach von Instituten anderer Fakultäten durchgeführt [Stu05]. Die Teilnehmer an einem Studienprojekt sollen die wesentliche...

This tutorial surveys the state of the art in high-level synthesis of digital drcuits. It will be published in Advances in Computers, Volume 35, edited by M. Yovits.

Physical synthesis, the integration of logic synthesis with physical design information, was born in the mid to late 1990s, which means it is about to enter its teenage years. Today, physical synthesis tools are a major part of the EDA industry, accounting for hundreds of millions of dollars in revenue. This work looks at how technology and design trends have affected physical synthesis over th...

“How can a blind person surpass the difficulty in reading an on-line document’s mathematical expressions? Why wasn’t this completely solved yet? Is it not necessary? Is not easy?” – These questions are only the top of the iceberg of a big problem with accessibility in the Internet. This concerns technical, scientific or even simple documents presented on-line that involve mathematical expressio...

Albayzı́n 2010 Text-to-Speech Evaluation Campaign was the second biannual Albayzı́n Campaign. A Spanish corpus was provided by the Group of Multimedia Technologies of the University of Vigo, and six teams developed a total of ten systems for the evaluation. A set of test sentences was released to be synthesized, and an on-line evaluation was conducted, focusing on naturalness, similarity to the o...

silver nanoparticles (agnps) are amongst the most investigated materials in nanotechnology in view of their unique physio-chemical features and applications in restorative science. their progressive usages in different fields of science besides some predominant restrictions with conventional methods for their synthesis have demanded analysts to discover green courses for their creation. biologi...

| This paper describes a novel approach to high-level synthesis of arbitrarily complex pipelined circuits, including pipelined circuits with feedback, and the synthesis algorithm that makes the approach viable in practice. Our approach provides a high-level, modular speciication language with an eecient implementation. In our system, the designer speciies the circuit as a set of independent mod...