Revised submission for MOF 2.0 query / views / transformations RFP.

This submission presents the QVT-Partners proposal for the MOF 2.0 QVT standard. The proposal consists of a number of key ingredients which we briefly discuss in this section. -Specification and implementation: A common scenario in the development of any artifact is to first create a specification of the form and behaviour of the the artifact, and then realise an implementation which satisfies the specification. The specification is characterised by a lack of implementation details, but having a close correspondence to the requirements; conversely an implementation may lack close correspondence to the requirements. This submission maintains this important distinction. Relations provide a specification oriented view of the relationship between models and are specified in a language that can be easily understood. They say what it means to translate between several models but without saying precisely how the translation is achieved. Those details are realised by mappings which characterise the means by which models are translated. It should be noted though, that while the mappings language is rich enough to provide an implementation of relations it also manages to maintain a requirements oriented focus. This may give rise to a scenario where developers prefer to omit relations and directly define mappings. -Scalability and reuse: Decomposition is a key approach to managing complexity. This submission provides a number of composition mechanisms whereby relations and mappings can be composed to form more complex specifications. These mechanisms also aid reuse since mappings and relations can be treated as reusable components which are composed for specific contexts. -Usability: Diagrammatic notations have been important to the success of many OMG standards. This proposal presents a diagrammatic notation which is an extension of collaboration object diagrams and is therefore familiar to many end users. A criticism often levelled at diagrammatic notations is their scalability. This submission also presents a textual syntax, constructs of the diagrammatic notations are closely aligned with its textual counterpart. Considering the domains of relations and mappings at the generic type level is often too limiting. Instead it often is specific-types of things that are of interest. This submission uses patterns to describe the domains of both relations and mappings. Patterns are a means of succinctly describing specific-types of model elements and enable domains of interest to be rapidly stated with ease. -Semantic soundness: By definition a standard should give rise to consistency across differing implementations. It is important that an end user can get the same results on two different implementations. For this reason, this submission goes to some effort to ensure that all the constructs have a well-defined semantic basis. This is achieved by treating the submission in two parts. The infrastructure part has a small number of constructs which can be easily and consistently understood from informal descriptions (although a mathematical semantics is given in Appendix B for the sake of completeness and rigour). The superstructure part uses the infrastructure as its semantic basis and defines the syntax that the end user deals with. The relationship between the superstructure and the infrastructure is expressed as a translation

A pattern based approach to defining the dynamic infrastructure of UML 2.0.

The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly “stamping out” the definition using a small number of patterns commonly found in software architecture. The patterns, their instantiation, and any further language details are described using precise class diagrams and OCL, this enables the definition to be easily understood. The main focus of the 2U approach is on the static part of the definition. A further concern when modelling software, using languages such as the UML, is describing the dynamic behaviour of the system over time. The contribution of this paper is to provide a template that can be used to “stamp out” the dynamic part of the UML 2.0 infrastructure. We argue for the suitability of the dynamic template because it makes little commitment to concrete abstractions and can, therefore, be used to support a broad spectrum of behavioural languages

Molecular crystallization inhibitors for salt damage control in porous materials. An overview

The use of inhibition chemicals holds the prospect of an efficient strategy to control crystallization in porous materials, thereby potentially contributing to the prevention or mitigation of the salt decay phenomenon in modern as well as historical building materials in a more sustainable manner. In this review, we first provide an essential background on the mechanism of salt crystallization and on the factors influencing this phenomenon; next, we illustrate the mechanism at the basis of the action of crystal growth inhibitors, and critically discuss the major advances in the development of different families of inhibitors, particularly focusing on their influence on salt transport and crystallization within the structure of porous media. Specifically, correlations between the crystallization inhibition processes in porous materials and variables, such as porous substrate composition and properties, contaminant salt type and concentrations, microclimatic conditions, inhibiting solution concentration and properties, and application methods, will be highlighted. Environmental aspects, limitations, and problems associated with some inhibition chemicals are also taken into account. Finally, a survey and a discussion on the most representative experimental techniques and instrumentation available to assess qualitatively and quantitatively the inhibitor effectiveness, as well as recently developed modelling tools are given out

Unambiguous UML submission to UML 2 infrastructure RFP (ad/00-09-01).

This is a response to the UML 2.0 Request for Proposals on Infrastructure (ad/00-09-01). We propose an architecture for the definition of UML 2.0 which supports the layered and extensible definition of UML as a family of languages, and depends on the use of package extension (composition) and package template mechanisms in the metamodelling language. This submission defines that architecture and populates it with the definition of a core foundation for the definition of structural and behavioural modelling constructs for UML. Chapter 3 (“Language Architecture”) identifies all those parts of the architecture defined in any given version of this document

Higher-order nonlinear modes and bifurcation phenomena due to degenerate parametric four-wave mixing

We demonstrate that weak parametric interaction of a fundamental beam with its third harmonic field in Kerr media gives rise to a rich variety of families of non-fundamental (multi-humped) solitary waves. Making a comprehensive comparison between bifurcation phenomena for these families in bulk media and planar waveguides, we discover two novel types of soliton bifurcations and other interesting findings. The later includes (i) multi-humped solitary waves without even or odd symmetry and (ii) multi-humped solitary waves with large separation between their humps which, however, may not be viewed as bound states of several distinct one-humped solitons.Comment: 9 pages, 17 figures, submitted to Phys. Rev.

Gravitational waves from Sco X-1: A comparison of search methods and prospects for detection with advanced detectors

The low-mass X-ray binary Scorpius X-1 (Sco X-1) is potentially the most luminous source of continuous gravitational-wave radiation for interferometers such as LIGO and Virgo. For low-mass X-ray binaries this radiation would be sustained by active accretion of matter from its binary companion. With the Advanced Detector Era fast approaching, work is underway to develop an array of robust tools for maximizing the science and detection potential of Sco X-1. We describe the plans and progress of a project designed to compare the numerous independent search algorithms currently available. We employ a mock-data challenge in which the search pipelines are tested for their relative proficiencies in parameter estimation, computational efficiency, robust- ness, and most importantly, search sensitivity. The mock-data challenge data contains an ensemble of 50 Scorpius X-1 (Sco X-1) type signals, simulated within a frequency band of 50-1500 Hz. Simulated detector noise was generated assuming the expected best strain sensitivity of Advanced LIGO and Advanced VIRGO ($4 \times 10^{-24}$ Hz$^{-1/2}$). A distribution of signal amplitudes was then chosen so as to allow a useful comparison of search methodologies. A factor of 2 in strain separates the quietest detected signal, at $6.8 \times 10^{-26}$ strain, from the torque-balance limit at a spin frequency of 300 Hz, although this limit could range from $1.2 \times 10^{-25}$ (25 Hz) to $2.2 \times 10^{-26}$ (750 Hz) depending on the unknown frequency of Sco X-1. With future improvements to the search algorithms and using advanced detector data, our expectations for probing below the theoretical torque-balance strain limit are optimistic.Comment: 33 pages, 11 figure

Electrical and Magnetic Performance of the LHC Short Straight Sections

The Short Straight Section (SSS) for the Large Hadron Collider arcs, containing in a common cryostat the lattice quadrupoles and correction magnets, have now entered series production. The foremost features of the lattice quadrupole magnets are a two-in-one structure containing two 56 mm aperture, two-layers coils wound from 15.1 mm wide NbTi cables, enclosed by the stainless steel collars and ferromagnetic yoke, and inserted into the inertia tube. Systematic cryogenic tests are performed at CERN in order to qualify these magnets with respect to their cryogenic and electrical integrity, the quench performance and the field quality in all operating conditions. This paper reports the main results obtained during tests and measurements in superfluid helium. The electrical characteristics, the insulation measurements and the quench performance are compared to the specifications and expected performances for these magnets. The field in the main quadrupole is measured using three independent systems: 10-m long twin rotating coils, an automatic scanner, and single stretched wire. A particular emphasis is given to the integrated transfer function which has a spread of around 12 units rms in the production and is a critical issue. The do-decapole harmonic component, which required trimming through a change in coil shims, is also discussed. Finally, the magnetic axis measurements at room temperature and at 1.9 K, providing the nominal vertical shift for installation are reported

TDR-based water content estimation on globigerina limestone through permittivity measurements

Most monuments and historical buildings in the Maltese Islands are made of the local Globigerina Limestone (GL). This type of stone, however, is very delicate and prone to degradation caused by the environmental conditions of the islands. Hence, for the preservation of the Cultural Heritage monuments, it is necessary to promptly assess the health status of these structures and, in particular, their water content (which represents one of the major causes of degradation). Starting from these considerations, in this work, a time domain reflectometry (TDR)-based method for estimating water content of GL is presented. More specifically, the proposed method relies on estimating the water content value of the GL structure from TDR-based dielectric permittivity measurements. To verify the suitability of this system, experimental tests were carried out on a GL sample. The results anticipate the strong potential of the proposed method for practical applications in the Cultural Heritage diagnostics

Direct glia-to-neuron transdifferentiation gives rise to a pair of male-specific neurons that ensure nimble male mating

Sexually dimorphic behaviours require underlying differences in the nervous system between males and females. The extent to which nervous systems are sexually dimorphic and the cellular and molecular mechanisms that regulate these differences are only beginning to be understood. We reveal here a novel mechanism by which male-specific neurons are generated in Caenorhabditis elegans through the direct transdifferentiation of sex-shared glial cells. This glia-to-neuron cell fate switch occurs during male sexual maturation under the cell-autonomous control of the sex-determination pathway. We show that the neurons generated are cholinergic, peptidergic, and ciliated putative proprioceptors which integrate into male-specific circuits for copulation. These neurons ensure coordinated backward movement along the mate’s body during mating. One step of the mating sequence regulated by these neurons is an alternative readjustment movement performed when intromission becomes difficult to achieve. Our findings reveal programmed transdifferentiation as a developmental mechanism underlying flexibility in innate behaviour

The Pfam protein families database

Pfam is a comprehensive collection of protein domains and families, represented as multiple sequence alignments and as profile hidden Markov models. The current release of Pfam (22.0) contains 9318 protein families. Pfam is now based not only on the UniProtKB sequence database, but also on NCBI GenPept and on sequences from selected metagenomics projects. Pfam is available on the web from the consortium members using a new, consistent and improved website design in the UK (http://pfam.sanger.ac.uk/), the USA (http://pfam.janelia.org/) and Sweden (http://pfam.sbc.su.se/), as well as from mirror sites in France (http://pfam.jouy.inra.fr/) and South Korea (http://pfam.ccbb.re.kr/)