We prove the vanishing of the geometric Bloch–Kato Selmer group for the adjoint representation of a Galois representation associated to regular algebraic polarized cuspidal automorphic representations under an assumption on the residual image. Using this, we deduce that the localization and completion of a certain universal deformation ring for the residual representation at the characteristic ...

In existing works that learn representation for object detection, the relationship between a candidate window and the ground truth bounding box of an object is simplified by thresholding their overlap. This paper shows information loss in this simplification and picks up the relative location/size information discarded by thresholding. We propose a representation learning pipeline to use the re...

An unified language for the communicative acts between agents is essential for the design of multi-agents architectures. Whatever the type of interaction (linguistic, multimodal, including particular aspects such as force feedback), whatever the type of application (command dialogue, request dialogue, database querying), the concepts are common and we need a generic meta-model. In order to tend...

An overview of the uniied model (proposed earlier by us) for compiling systolic computations for multicomputers is given. Subsequently, we consider the diagonal and farming implementationalobjects which represent two speciic cases of the implementational objects deened in the model. For these two objects, we give prototype codes in the Occam language and give performance models for multi-transp...

This paper introduces Caramel, a concept representation markup language system for generic programming in C++. Concepts, as abstract interface descriptions for templates, have a central role in generic programming. However, there is no language support for them in C++ and as a result they are only represented implicitly (in the form of documentation) and have no power to enforce interface adher...

As a very recent IT paradigm, Cloud Computing is gaining momentum and receiving more and more interest in literature. With various characteristics such as offering flexibility, cost reductions, platform independence and on-demand service, cloud approach opens up tremendous opportunities from Supply Chain (SC) perspective. However, extant literature reveals that adoption and assimilation of the ...

This paper considers the structure of the injective objects IVn in the category F of functors between F2-vector spaces. A co-Weyl object Jλ is defined, for each simple functor Fλ in F . A functor is defined to be J-good if it admits a finite filtration of which the quotients are co-Weyl objects. Properties of J-good functors are considered and it is shown that the indecomposable injectives in F...

Several modeling domains make use of three-dimensional representations, e.g., the “ball-and-stick” models of molecules. Our generator framework DEViL3D supports the design and implementation of visual 3D languages for such modeling purposes. The front-end of a language implementation generated by DEViL3D is a dedicated 3D graphical structure editor, which is used to construct programs in that d...

Statistical methods have shown a remarkable ability to capture semantics. The word2vec method is a frequently cited method for capturing meaningful semantic relations between words from a large text corpus. It has the advantage of not requiring any tagging while training. The prevailing view is, however, that it lacks the ability to capture semantics of word sequences and is virtually useless f...

The interoperability of educational systems, encouraged by the development of specifications, standards and tools related to the Semantic Web is limited to the exchange of information in domain and student models. High system interoperability requires that a common framework be defined that represents the functional essence of educational systems. To address this need, we developed a generic mo...