A model-based approach to language integration

The interactions of several languages within a soft- ware system pose a number of problems. There is several anecdotal and empirical evidence supporting such concerns. This paper presents a solution to achieve proper language integration in the context of language workbenches and with limited effort. A simple example is presented to show how cross- language constraints can be addressed and the quality of the support attainable, which covers error-checking and refactoring. A research agenda is then presented, to support future work in the area of language integration, taking advantage of modern language workbenches features

Sequence Variability of P2-Like Prophage Genomes Carrying the Cytolethal Distending Toxin V Operon in Escherichia coli O157

Cytolethal distending toxins (CDT) are potent cytotoxins of several Gram-negative pathogenic bacteria, including Escherichia coli, in which five types (CDT-I to CDT-V) have been identified so far. CDT-V is frequently associated with Shiga-toxigenic E. coli (STEC), enterohemorrhagic E. coli (EHEC) O157 strains, and strains not fitting any established pathotypes. In this study, we were the first to sequence and annotate a 31.2-kb-long, noninducible P2-like prophage carrying the cdt-V operon from an stx- and eae-negative E. coli O157:H43 strain of bovine origin. The cdt-V operon is integrated in the place of the tin and old phage immunity genes (termed the TO region) of the prophage, and the prophage itself is integrated into the bacterial chromosome between the housekeeping genes cpxP and fieF. The presence of P2-like genes (n = 20) was investigated in a further five CDT-V-positive bovine E. coli O157 strains of various serotypes, three EHEC O157:NM strains, four strains expressing other variants of CDT, and eight CDT-negative strains. All but one CDT-V-positive atypical O157 strain uniformly carried all the investigated genomic regions of P2-like phages, while the EHEC O157 strains missed three regions and the CDT-V-negative strains carried only a few P2-like sequences. Our results suggest that P2-like phages play a role in the dissemination of cdt-V between E. coli O157 strains and that after integration into the bacterial chromosome, they adapted to the respective hosts and became temperate

New Superconducting Toroidal Magnet System for IAXO, the International AXion Observatory

Axions are hypothetical particles that were postulated to solve one of the puzzles arising in the standard model of particle physics, namely the strong CP (Charge conjugation and Parity) problem. The new International AXion Observatory (IAXO) will incorporate the most promising solar axions detector to date, which is designed to enhance the sensitivity to the axion-photon coupling by one order of magnitude beyond the limits of the current state-of-the-art detector, the CERN Axion Solar Telescope (CAST). The IAXO detector relies on a high-magnetic field distributed over a very large volume to convert solar axions into X-ray photons. Inspired by the successful realization of the ATLAS barrel and end-cap toroids, a very large superconducting toroid is currently designed at CERN to provide the required magnetic field. This toroid will comprise eight, one meter wide and twenty one meter long, racetrack coils. The system is sized 5.2 m in diameter and 25 m in length. Its peak magnetic field is 5.4 T with a stored energy of 500 MJ. The magnetic field optimization process to arrive at maximum detector yield is described. In addition, materials selection and their structure and sizing has been determined by force and stress calculations. Thermal loads are estimated to size the necessary cryogenic power and the concept of a forced flow supercritical helium based cryogenic system is given. A quench simulation confirmed the quench protection scheme.Comment: Accepted for publication in Adv. Cryo. Eng. (CEC/ICMC 2013 special issue

Using the Proteus virtual environment to train future IT professionals

Abstract. Based on literature review it was established that the use of augmented reality as an innovative technology of student training occurs in following directions: 3D image rendering; recognition and marking of real objects; interaction of a virtual object with a person in real time. The main advantages of using AR and VR in the educational process are highlighted: clarity, ability to simulate processes and phenomena, integration of educational disciplines, building an open education system, increasing motivation for learning, etc. It has been found that in the field of physical process modelling the Proteus Physics Laboratory is a popular example of augmented reality. Using the Proteus environment allows to visualize the functioning of the functional nodes of the computing system at the micro level. This is especially important for programming systems with limited resources, such as microcontrollers in the process of training future IT professionals. Experiment took place at Borys Grinchenko Kyiv University and Sumy State Pedagogical University named after A. S. Makarenko with students majoring in Computer Science (field of knowledge is Secondary Education (Informatics)). It was found that computer modelling has a positive effect on mastering the basics of microelectronics. The ways of further scientific researches for grounding, development and experimental verification of forms, methods and augmented reality, and can be used in the professional training of future IT specialists are outlined in the article

The long polar fimbriae (lpf) operon and its flanking regions in bovine Escherichia coli O157:H43 and STEC O136:H12 strains

Long polar fimbriae (Lpf) are intestinal adhesins and important virulence factors of pathogenic Escherichia coli strains. We cloned and sequenced the lpf2-1 operon (lpf2ABCD) and its flanking regions of an intimin- and Shiga toxin-negative E. coli O157:H43 strain from bovine origin, and also sequenced the lpf2-1 operon of 6 additional atypical O157 bovine Escherichia coli strains of various serotypes Nucleotide sequence comparison of these lpf operons showed sequence conservation as they contain only four polymorphic nucleotide positions. Investigation of these O157 strains as well as 13 Escherichia coli Reference Collection (ECOR) strains carrying the lpf2-1 allele revealed high degree of sequence conservation in the lpf2 flanking regions. The lpf2-1 allele is also present in a bovine Shiga toxin-producing E. coli STEC O136:H12 strain and in vitro adherence assays revealed that the absence of lpf2-1 in this strain did not affect its host cell-binding properties. Our data indicate that lpf2 loci is highly conserved in E. coli isolates, but its role in adherence might be masked by other uncharacterized adhesins

The landscape of multimedia ontologies in the last decade

Many efforts have been made in the area of multimedia to bridge the socalled “semantic-gap” with the implementation of ontologies from 2001 to the present. In this paper, we provide a comparative study of the most well-known ontologies related to multimedia aspects. This comparative study has been done based on a framework proposed in this paper and called FRAMECOMMON. This framework takes into account process-oriented dimension, such as the methodological one, and outcome-oriented dimensions, like multimedia aspects, understandability, and evaluation criteria. Finally, we derive some conclusions concerning this one decade state-of-art in multimedia ontologies

EDAM: an ontology of bioinformatics operations, types of data and identifiers, topics and formats

Motivation: Advancing the search, publication and integration of bioinformatics tools and resources demands consistent machine-understandable descriptions. A comprehensive ontology allowing such descriptions is therefore required. Results: EDAM is an ontology of bioinformatics operations (tool or workflow functions), types of data and identifiers, application domains and data formats. EDAM supports semantic annotation of diverse entities such as Web services, databases, programmatic libraries, standalone tools, interactive applications, data schemas, datasets and publications within bioinformatics. EDAM applies to organizing and finding suitable tools and data and to automating their integration into complex applications or workflows. It includes over 2200 defined concepts and has successfully been used for annotations and implementations. Availability: The latest stable version of EDAM is available in OWL format from http://edamontology.org/EDAM.owl and in OBO format from http://edamontology.org/EDAM.obo. It can be viewed online at the NCBO BioPortal and the EBI Ontology Lookup Service. For documentation and license please refer to http://edamontology.org. This article describes version 1.2 available at http://edamontology.org/EDAM_1.2.owl.publishedVersio

Towards a practical approach to music theory on the Reactable

This paper builds upon the existing Reactable musical platform and aims at extending and improving its approach to music theory. Sections 1 and 2.2 explain the motivations that led to the development of this proposal from a musical point of view while also giving a music education perspective. In section 2 we'll see a brief survey on tabletop and tangible multi-user systems for audiovisual performance and we'll also briefly introduce the process of implicit learning, we'll formulate a hypothesis about music as a natural language, and describe how the work hereafter presented can help music education. In section 3 we'll describe the current state of the art about music theory on the Reactable, followed by an original proposal about a way to extend and improve it. Finally we'll see how people who had a chance to test the system found it interesting and playful, while also giving important feedback that can be used to improve many practical aspects of the implementation