This paper suggests not only an automated design methodology for synthesizing designs for multi-domain systems, such as mechatronic systems, but also a type of fine control of modularity and several innovative GP search methods. The domain of mechatronic systems includes mixtures of, for example, electrical, mechanical, hydraulic, pneumatic, and thermal components, making it difficult to design...

Although Hidden Markov Model based speech synthesis has been proved to have good performance, there are still some factors which degrade the quality of synthesized speech: vocoder, model accuracy and over-smoothing. This paper analyzes these factors separately. Modifications for removing different factors are proposed. Experimental results show that over-smoothing in frequency domain mainly aff...

A domain-specific language (DSL) is a framework which is designed to precisely meet the needs of a particular application. Domain-specific languages exist for a variety of reasons. As productivity tools, they are used to make application prototyping and development faster and more robust in the presence of evolving requirements. Furthermore, by bridging the “semantic gap” between an application...

Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific software applications for computer-based systems. MIC is a model-based approach to software development, allowing the synthesis of application programs from models created using customized, domain-specific model integrated pr...

Recent progress in precision control of pulse repetition rate and carrierenvelope phase of ultrafast lasers has established a strong connection between optical frequency metrology and ultrafast science. A wide range of applications has ensued, including measurement of absolute optical frequencies, precision laser spectroscopy, optical atomic clocks, and optical frequency synthesis in the freque...

Cells expressing the yeast retrotransposon Ty3 form concentrated foci of Ty3 proteins and RNA within which virus-like particle (VLP) assembly occurs. Gag3, the major structural protein of the Ty3 retrotransposon, is composed of capsid (CA), spacer (SP), and nucleocapsid (NC) domains analogous to retroviral domains. Unlike the known SP domains of retroviruses, Ty3 SP is highly acidic. The curren...

Near-field Compensated Higher Order Ambisonics (NFC-HOA) is an approach to the physical synthesis of sound fields. The typical interpretation of the modern NFC-HOA approach is that the sound field to be synthesized and the spatial transfer function of the employed loudspeakers are expanded into series of spherical harmonics in order to determine the loudspeaker driving signals for spherical arr...

This paper describes a new approach to program optimization that allows general purpose code to benefit from the optimization power of domain-specific compilers. The key to this approach is a synthesis-based technique to raise the level of abstraction of general-purpose code to enable aggressive domain-specific optimizations. We have been implementing this approach in an extensible system calle...

Constructing certifiably reliable software systems is difficult. Deductive program synthesis techniques (Flener 1995, Manna and Waldinger 1980) can currently be used to construct small software systems or to organize small sets of software components in a reliable manner. In order for synthesis techniques to be applicable to real-world problems outside the experimental laboratory, they must be ...