Model Transformations in Practice Workshop

Model Transformations in Practice (MTiP) 2005 was a workshop which provided a forum for the model transformation community to discuss practical model transformation issues. Although many different model transformation approaches have been proposed and explored in recent years, there has been little work on comparing and contrasting various approaches. Without such comparisons, it is hard to assess new model transformation approaches such as the upcoming OMG MOF/QVT recommendation, or to discern sensible future paths for the area. Our aims with the workshop were to create a forum that would help lead to an increased understanding of the relative merits of different model transformation techniques and approaches. A more advanced understanding of such merits is of considerable benefit to both the model transformation and wider modelling communities

Calculation of Mutual Information for Partially Coherent Gaussian Channels with Applications to Fiber Optics

The mutual information between a complex-valued channel input and its complex-valued output is decomposed into four parts based on polar coordinates: an amplitude term, a phase term, and two mixed terms. Numerical results for the additive white Gaussian noise (AWGN) channel with various inputs show that, at high signal-to-noise ratio (SNR), the amplitude and phase terms dominate the mixed terms. For the AWGN channel with a Gaussian input, analytical expressions are derived for high SNR. The decomposition method is applied to partially coherent channels and a property of such channels called "spectral loss" is developed. Spectral loss occurs in nonlinear fiber-optic channels and it may be one effect that needs to be taken into account to explain the behavior of the capacity of nonlinear fiber-optic channels presented in recent studies.Comment: 30 pages, 9 figures, accepted for publication in IEEE Transactions on Information Theor

Développer le concept de Smart Canton de Genève

Les villes sont aujourd’hui confrontées à de nombreux défis. En effet, elles doivent faire face aux problématiques liées aux changements climatiques, à l’augmentation de la population et à la préservation des ressources naturelles. Pour répondre à ces défis, il est nécessaire que les villes modifient leur fonctionnement, et c’est là que la technologie entre en jeu ! Les possibilités qu’offrent les nouvelles technologies en matière de gestion des données et de communication, permettent aux villes de devenir plus intelligentes et durables. C’est ce que l’on appelle des Smart Cities. Le concept de Smart City répond à ces enjeux en combinant plusieurs technologies dans le but d’utiliser et de créer les ressources de manière efficace, tout en réduisant l’impact environnemental, afin d’offrir une meilleure qualité de vie aux habitants. Ce concept n’est pas un nouveau phénomène et pourtant, il offre de grandes opportunités pour les collectivités. Dans le cadre de ma formation spécialisée en management durable, je suis consciente des challenges que rencontrent le canton de Genève pour favoriser la croissance économique et améliorer la qualité de vie de ses citoyens, tout en sauvegardant l’environnement. C’est pourquoi, la transition du canton de Genève, en Smart Canton pourrait être une réelle opportunité à saisir pour le futur. Ce travail a pour objectif de mettre en évidence comment développer le concept de Smart Canton de Genève. Pour ce faire, de nombreuses analyses ont été réalisées sur les différentes facettes des Smart Cities aux niveaux mondial et Suisse. Une analyse de terrain a également été effectuée afin d’identifier le contexte actuel dans lequel évolue le canton. Ensuite, des hypothèses d’applications de « smart » services à l’échelle du canton ont été réalisées, dans le but d’illustrer les réels avantages tant aux niveaux écologique, qu’économique, apportés par ces d’investissements. Ainsi, l’ensemble de ces analyses a permis d’élaborer des recommandations pour le développement du concept de Smart Canton de Genève qui nécessitent l’implication de nouveaux acteurs, grâce à une approche plus participative et transparente

The MHC class II-associated invariant chain contains two endosomal targeting signals within its cytoplasmic tail

The oligomeric complex formed by major histocompatibility complex (MHC) class II alpha and beta chains and invariant chain (Ii) assembles in the endoplasmic reticulum and is then transported via the Golgi complex to compartments of the endocytic pathway. When Ii alone is expressed in CV1 cells it is sorted to endosomes. The Ii cytoplasmic tail has been found to be essential for targeting to these compartments. In order to characterize further the signals responsible for endosomal targeting, we have deleted various segments of the cytoplasmic tail. The Ii mutants were transiently expressed and the cellular location of the proteins was analyzed biochemically and morphologically. The cytoplasmic tail of Ii was found to contain two endosomal targeting sequences within its cytoplasmic tail; one targeting sequence was present within amino acid residues 12-29 and deletion of this segment revealed the presence of a second endosomal targeting sequence, located within the first 11 amino acid residues. The presence of a leucine-isoleucine pair at positions 7 and 8 within this sequence was foundto be essential for endosomal targeting. In addition, the presence of this L-I motif lead to accumulation of Ii molecules in large endosomal vacuoles containing lysosomal marker proteins. Both wild type Ii and Ii mutant molecules containing only one endosomal targeting sequence were rapidly internalized from the plasma membrane. When the Ii cytoplasmic tail was fused to the membrane-spanning region of neuraminidase, a resident plasma membrane protein, the resulting chimera (INA)was found in endocytic compartments containing lysosomal marker proteins. Thus the cytoplasmic tail of Ii is sufficient for targeting to the endocytic/lysosomal pathway

Sur quelques extensions au cadre Banachique de la notion d'op\'erateur de Hilbert-Schmidt

In this work we discuss several ways to extend to the context of Banach spaces the notion of Hilbert-Schmidt operators: $p$-summing operators, $\gamma$-summing or $\gamma$-radonifying operators, weakly $*1$-nuclear operators and classes of operators defined via factorization properties. We introduce the class $PS_2(E; F)$ of pre-Hilbert-Schmidt operators as the class of all operators $u:E\to F$ such that $w\circ u \circ v$ is Hilbert-Schmidt for every bounded operator $v: H_1\to E$ and every bounded operator $w:F\to H_2$, where $H_1$ et $H_2$ are Hilbert spaces. Besides the trivial case where one of the spaces $E$ or $F$ is a "Hilbert-Schmidt space", this space seems to have been described only in the easy situation where one of the spaces $E$ or $F$ is a Hilbert space.Comment: 18 pages, in Frenc

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an approach for symbolic conformance checking of action systems, which are well-suited to specify reactive systems. We also consider nondeterminism in our models. Hence, we do not check for equivalence, but for refinement. We encode the transition relation as well as the conformance relation as a constraint satisfaction problem and use a constraint solver in our reachability and refinement checking algorithms. Explicit conformance checking techniques often face state space explosion. First experimental evaluations show that our approach has potential to outperform explicit conformance checkers.Comment: In Proceedings MBT 2012, arXiv:1202.582