As model transformations are increasingly used in model-driven engineering, the dependability of model transformation systems becomes crucial to model-driven development deliverables. As any other software, model transformations can contain design faults, be used in inappropriate ways, or may be affected by problems arising in the transformation execution environment at run-time. We propose in ...

We demonstrate that, in contrast with the single-component Abrikosov vortex, in two-component superconductors vortex solutions with an exponentially screened magnetic field exist only in exceptional cases: in the case of vortices carrying an integer number of flux quanta and in a special parameter limit for half-quantum vortices. For all other parameters, the vortex solutions have a delocalized...

Identifying cancer molecular patterns with high accuracy from high-dimensional proteomic pro les presents a challenge for statistical learning and oncology research. In this study, we develop a nonnegative principal component analysis and propose a nonnegative principal component analysis based support vector machine with a sparse coding to conduct e ective feature selection and high-performanc...

While most theorists are tied to the mast of four dimensions, some have found it irresistible to speculate about eleven dimensions, the domain of M-theory. We outline a program which starts from the light-cone description of supergravity, and tracks its divergences to suggest the existence of an infinite component theory which in the light-cone relies on the coset F4/SO(9), long known to be lin...

Davis showed that the topological concordance class of a link in the 3-sphere is uniquely determined by its Alexander polynomial for 2-component links with Alexander polynomial one. A similar result for knots with Alexander polynomial one was shown earlier by Freedman. We prove that these two cases are the only exceptional cases, by showing that the link concordance class is not determined by t...

It was mentioned on multiple occasions that datatype expressions are a necessary component of any production quality knowledge base and will surely play a major role in the upcoming Semantic Web. This paper briefly summarizes the work on improving the support for tractable reasoning with datatype expressions in ELK a highly efficient reasoner. Tests have shown an exceptional speed of ontology c...

It is expected on general grounds that the moduli space of 4d $\mathcal{N}=3$ theories form $\mathbb{C}^{3r}/\Gamma$, with $r$ rank and $\Gamma$ a crystallographic complex reflection group (CCRG). As in case Lie algebras, CCRGs consists several infinite families, together some exceptionals. To date, no theory labelled by an exceptional CCRG (excluding Weyl groups) has been identified. In this w...

let $pounds$ be the category of locally compact abelian groups and $a,cin pounds$. in this paper, we define component extensions of $a$ by $c$ and show that the set of all component extensions of $a$ by $c$ forms a subgroup of $ext(c,a)$ whenever $a$ is a connected group. we establish conditions under which the component extensions split and determine lca groups which are component projective. ...

We consider the zeros of exceptional orthogonal polynomials (XOP). Exceptional were originally discovered as eigenfunctions second order differential operators that exist outside classical Bochner–Brenke classification due to fact XOP sequences omit certain degrees. This omission causes several properties polynomial not extend sequences. One such property is restriction convex hull support meas...