Intelligent Network Provisioning for Dynamically Downloadable Applications in Beyond 3G Mobile Networks

Mobile communications beyond 3G will integrate different (but complementary) access technologies into a common platform to deliver value-added services and multimedia content in an optimum way. However, the numerous possible configurations of mobile networks complicated the dynamic deployment of mobile applications. Therefore, research is intensely seeking a service provisioning framework that is technology-independent, supports multiple wireless network technologies, and can interwork high-level service management tasks to network management operations. This paper presents an open value chain paradigm, a model for downloadable applications and a mediating platform for service provisioning in beyond 3G mobile settings. Furthermore, we introduce mechanisms that support a coupled interaction between service deployment and network configuration operations, focusing on the dynamic provisioning of QoS state to data path devices according to the requirements of dynamically downloadable mobile value-added services (VAS).

A structured marketplace for arbitrary services

Creating simple marketplaces with common rules, that enable the dynamic selection and consumption of functionality, is the missing link to allow small businesses to enter the cloud, not only as consumers, but also as vendors. In this paper, we present the concepts behind a hybrid service and process repository that can act as the foundation for such a marketplace, as well as a prototype that allowed us to test various real-world scenarios. The advantage of a hybrid service and process repository is that, it not only holds a flat list of services, but also exposes a generic set of use cases, that it obtains information on how specific services can be used to implement the use cases as well as information to select services at run-time according to customer’s goal functions.     

SEON: a pyramid of ontologies for software evolution and its applications

The Semantic Web provides a standardized, well-established framework to define and work with ontologies. It is especially apt for machine processing. However, researchers in the field of software evolution have not really taken advantage of that so far. In this paper, we address the potential of representing software evolution knowledge with ontologies and Semantic Web technology, such as Linked Data and automated reasoning. We present Seon, a pyramid of ontologies for software evolution, which describes stakeholders, their activities, artifacts they create, and the relations among all of them. We show the use of evolution-specific ontologies for establishing a shared taxonomy of software analysis services, for defining extensible meta-models, for explicitly describing relationships among artifacts, and for linking data such as code structures, issues (change requests), bugs, and basically any changes made to a system over time. For validation, we discuss three different approaches, which are backed by Seon and enable semantically enriched software evolution analysis. These techniques have been fully implemented as tools and cover software analysis with web services, a natural language query interface for developers, and large-scale software visualization.     

Growth of epitaxial Cu on MgO(001) by magnetron sputter deposition

100-nm-thick Cu layers were grown on MgO(001) substrates by ultra-high vacuum magnetron sputter deposition at substrate temperatures T_s ranging from 40 to 300 °C. X-ray diffraction ω−2θ scans, ω-rocking curves, and pole figures show that layers grown at T_s = 40 and 100 °C are complete single crystals with a cube-on-cube epitaxial relationship with the substrate: (001)_Cu||(001)_MgO with [100]_Cu||[100]_MgO. In contrast, T_s ≥ 200 °C leads to polycrystalline Cu layers with 001, 203, and 1¯75-oriented grains. The transition from a single- to a polycrystalline microstructure with increasing T_s is attributed to temperature-induced mass transport that allows Cu nuclei to sample a larger orientational space and find lower energy (and/or lower lattice mismatch) configurations. The large Cu- to-MgO lattice mismatch of 14% is relieved by 7 × 7 Cu unit cells occupying 6 × 6 MgO cells. In addition, for T_s ≥ 200 °C, the 001-oriented grains relax by tilting by 4° or 15° about 〈110〉 or 〈100〉 axes, respectively, while the 203 and 1¯75-oriented grains exhibit complex epitaxial relationships with the substrate: (203)_Cu||(001)_MgO with [010]_Cu||[110]_MgO and [302¯]_Cu||[11¯0]_MgO; and (1¯75)_Cu||(001)_MgO with [211¯]_Cu||[100]_MgO and [43¯5]_Cu||[010]_MgO. The surface roughness, as determined by X-ray reflectivity, increases with growth temperature. The smoothest layers are grown at 40 °C and exhibit an rms surface and buried interface roughness of 0.7 and 1.4 nm, respectively.     

In formation: Support for flexibility, mobility, collaboration, and coherence

This paper describes support for flexibility, mobility and collaboration in engaging with, and making sense of, information. Our focus lies on the transitions people make between different, dynamic configurations of digital and physical materials, technologies, people and spaces. The technologies we describe have been developed in partnership with landscape architects over the past two years. We show that appliances and people can come together in a way that creates scope for such transitions, collaboration, and the emergence of new ways of working.     

Thermomechanical formation and recovery of nanoindents in a shape memory polymer studied using a heated tip

This paper investigates the thermomechanical formation and recovery of nanometer-scale indents in a shape memory polymer (SMP), studied using a heated atomic force microscope (AFM) tip and hot-stage atomic force microscopy. The material tested is a tert-butyl acrylate (tBA)-based polymer, which has a glass transition temperature of 60 degrees C. The AFM tip forms indents in the polymer in the temperature range 25-250 degrees C. The shape recovery of the indents is studied while the polymer is heated up to 100 degrees C. The temperature required for complete annealing of the indents depends upon the indentation formation conditions, with higher temperature formation corresponding to higher temperature recovery.     

Electrically Tunable Nanoporous Carbon Hybrid Actuators

A novel nanoporous carbon/electrolyte hybrid material is reported for use in actuation. The nanoporous carbon matrix provides a 3D network that combines mechanical strength, light weight, and low cost with an extremely high surface area. In contrast to lower dimensional nanomaterials, the nanoporous carbon matrix can be prepared in the form of macroscopic monolithic samples that can be loaded in compression. The hybrid material is formed by infiltrating the free internal pore volume of the carbon with an electrolyte. Actuation is prompted by polarizing the internal interfaces via an applied electric bias. It is found that the strain amplitude is proportional to the Brunauer‐Emmett‐Teller (BET) mass specific surface area, with reversible volume strain amplitudes up to the exceptionally high value of 6.6%. The mass‐specific strain energy density compares favorably to reported values for piezoceramics and for nanoporous metal actuators.     

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using abstract interpretation techniques which provide an overapproximation of the transitions to disable. We then extend our algorithms to controllers with memory and to online controllers. We also propose improvements in the synthesis of controllers in the finite case which, to our knowledge, provide more permissive solutions than what was previously proposed in the literature. Our tool SMACS gives an empirical validation of our methods by showing their feasibility, usability and efficiency.     

A Comprehensive Review of Genetically Engineered Mouse Models for Prader-Willi Syndrome Research

Prader-Willi syndrome (PWS) is a neurogenetic multifactorial disorder caused by the deletion or inactivation of paternally imprinted genes on human chromosome 15q11-q13. The affected homologous locus is on mouse chromosome 7C. The positional conservation and organization of genes including the imprinting pattern between mice and men implies similar physiological functions of this locus. Therefore, considerable efforts to recreate the pathogenesis of PWS have been accomplished in mouse models. We provide a summary of different mouse models that were generated for the analysis of PWS and discuss their impact on our current understanding of corresponding genes, their putative functions and the pathogenesis of PWS. Murine models of PWS unveiled the contribution of each affected gene to this multi-facetted disease, and also enabled the establishment of the minimal critical genomic region (PWScr) responsible for core symptoms, highlighting the importance of non-protein coding genes in the PWS locus. Although the underlying disease-causing mechanisms of PWS remain widely unresolved and existing mouse models do not fully capture the entire spectrum of the human PWS disorder, continuous improvements of genetically engineered mouse models have proven to be very powerful and valuable tools in PWS research.