An Approach to Interface Synthesis

This paper present a novel interface synthesis approach based on a one-sided interface description. Whereas most other approaches consider interface synthesis as optimizing a channel to existing client/server modules, we consider the interface synthesis as part of the client/server module synthesis (which may contain the re-use of existing mod-ules). The interface synthesis approach describes the basic transformations needed to transform the server interface description into an interface description on the client side of the communication medium. The synthesis approach is illustrated through a point-to-point communication, but is applicable to synthesis of a multiple client/server environ-ment. The interface description is based on a formalization of communication events.

Artimate: an articulatory animation framework for audiovisual speech synthesis

We present a modular framework for articulatory animation synthesis using speech motion capture data obtained with electromagnetic articulography (EMA). Adapting a skeletal animation approach, the articulatory motion data is applied to a three-dimensional (3D) model of the vocal tract, creating a portable resource that can be integrated in an audiovisual (AV) speech synthesis platform to provide realistic animation of the tongue and teeth for a virtual character. The framework also provides an interface to articulatory animation synthesis, as well as an example application to illustrate its use with a 3D game engine. We rely on cross-platform, open-source software and open standards to provide a lightweight, accessible, and portable workflow.Comment: Workshop on Innovation and Applications in Speech Technology (2012

Adaptable transition systems

We present an essential model of adaptable transition systems inspired by white-box approaches to adaptation and based on foundational models of component based systems. The key feature of adaptable transition systems are control propositions, imposing a clear separation between ordinary, functional behaviours and adaptive ones. We instantiate our approach on interface automata yielding adaptable interface automata, but it may be instantiated on other foundational models of component-based systems as well. We discuss how control propositions can be exploited in the specification and analysis of adaptive systems, focusing on various notions proposed in the literature, like adaptability, control loops, and control synthesis

Sodium hydroxide pretreatment as an effective approach to reduce the dye/holes recombination reaction in P-Type DSCs

We report the synthesis of a novel squaraine dye (VG21-C12) and investigate its behavior as p-type sensitizer for p-type Dye-Sensitized Solar Cells. The results are compared with O4-C12, a well-known sensitizer for p-DSC, and sodium hydroxide pretreatment is described as an effective approach to reduce the dye/holes recombination. Various variable investigation such as dipping time, dye loading, photocurrent, and resulting cell efficiency are also reported. Electrochemical impedance spectroscopy (EIS) was utilized for investigating charge transport properties of the different photoelectrodes and the recombination phenomena that occur at the (un)modified electrode/electrolyte interface

Compressible, inviscid Rayleigh-Taylor instability

We consider the Rayleigh-Taylor problem for two compressible, immiscible, inviscid, barotropic fluids evolving with a free interface in the presence of a uniform gravitational field. After constructing Rayleigh-Taylor steady-state solutions with a denser fluid lying above the free interface with the second fluid, we turn to an analysis of the equations obtained from linearizing around such a steady state. By a natural variational approach, we construct normal mode solutions that grow exponentially in time with rate like e^{t \sqrt{\abs{\xi}}}, where $\xi$ is the spatial frequency of the normal mode. A Fourier synthesis of these normal mode solutions allows us to construct solutions that grow arbitrarily quickly in the Sobolev space $H^k$, which leads to an ill-posedness result for the linearized problem. Using these pathological solutions, we then demonstrate ill-posedness for the original non-linear problem in an appropriate sense. More precisely, we use a contradiction argument to show that the non-linear problem does not admit reasonable estimates of solutions for small time in terms of the initial data.Comment: 31 pages; v2: updated grant informatio

Performing high-level synthesis via program transformations within a theorem prover

In this paper, we present a new methodology towards performing high-level synthesis. During high-level synthesis an algorithmic description is mapped to a structure of hardware components. In our approach, high-level synthesis is performed via program transformations. All transformations are performed within a higher order logic theorem prover thus guaranteeing correctness. Our approach is not restricted to data flow graphs but supports arbitrary computable functions, i.e. mixed control/data flow graphs. Furthermore, the treatment of algorithmic and interface descriptions is orthogonalised, allowing systematic reuse of designs

Computational design of patterned interfaces using reduced order models

Patterning is a familiar approach for imparting novel functionalities to free surfaces. We extend the patterning paradigm to interfaces between crystalline solids. Many interfaces have non-uniform internal structures comprised of misfit dislocations, which in turn govern interface properties. We develop and validate a computational strategy for designing interfaces with controlled misfit dislocation patterns by tailoring interface crystallography and composition. Our approach relies on a novel method for predicting the internal structure of interfaces: rather than obtaining it from resource-intensive atomistic simulations, we compute it using an efficient reduced order model based on anisotropic elasticity theory. Moreover, our strategy incorporates interface synthesis as a constraint on the design process. As an illustration, we apply our approach to the design of interfaces with rapid, 1-D point defect diffusion. Patterned interfaces may be integrated into the microstructure of composite materials, markedly improving performance.United States. Dept. of Energy. Office of Basic Energy Sciences (Award 2008LANL1026)National Science Foundation (U.S.) (Grant 1150862

Exploring the relationship between the Engineering and Physical Sciences and the Health and Life Sciences by advanced bibliometric methods

We investigate the extent to which advances in the health and life sciences (HLS) are dependent on research in the engineering and physical sciences (EPS), particularly physics, chemistry, mathematics, and engineering. The analysis combines two different bibliometric approaches. The first approach to analyze the 'EPS-HLS interface' is based on term map visualizations of HLS research fields. We consider 16 clinical fields and five life science fields. On the basis of expert judgment, EPS research in these fields is studied by identifying EPS-related terms in the term maps. In the second approach, a large-scale citation-based network analysis is applied to publications from all fields of science. We work with about 22,000 clusters of publications, each representing a topic in the scientific literature. Citation relations are used to identify topics at the EPS-HLS interface. The two approaches complement each other. The advantages of working with textual data compensate for the limitations of working with citation relations and the other way around. An important advantage of working with textual data is in the in-depth qualitative insights it provides. Working with citation relations, on the other hand, yields many relevant quantitative statistics. We find that EPS research contributes to HLS developments mainly in the following five ways: new materials and their properties; chemical methods for analysis and molecular synthesis; imaging of parts of the body as well as of biomaterial surfaces; medical engineering mainly related to imaging, radiation therapy, signal processing technology, and other medical instrumentation; mathematical and statistical methods for data analysis. In our analysis, about 10% of all EPS and HLS publications are classified as being at the EPS-HLS interface. This percentage has remained more or less constant during the past decade