Since its discovery, differential linear logic (DLL) inspired numerous domains. In denotational semantics, categorical models of DLL are now commune, and the simplest one is Rel, the category of sets and relations. In proof theory this naturally gave birth to differential proof nets that are full and complete for DLL. In turn, these tools can naturally be translated to their intuitionistic coun...

Latent Dirichlet Allocation (LDA) and its variants have been widely used to discover latent topics in textual documents. However, some of topics generated by LDA may be noisy with irrelevant words scattering across these topics. We name this kind of words as topic-indiscriminate words, which tend to make topics more ambiguous and less interpretable by humans. In our work, we propose a new topic...

Since its discovery, differential linear logic (DLL) inspired numerous domains. In denotational semantics, categorical models of DLL are now commune, and the simplest one is Rel, the category of sets and relations. In proof theory this naturally gave birth to differential proof nets that are full and complete for DLL. In turn, these tools can naturally be translated to their intuitionistic coun...

Background In patients with abnormal uterine bleeding, transvaginal ultrasound (TVS) is the first-line diagnostic approach to exclude endometrial pathology. If a thickened endometrium suggests endometrial pathology, sonohysterography, office hysteroscopy or dilatation and curettage are the second-line tests preferred, depending on availability and on the suspected pathology, to exclude malignan...

This paper presents the concept of color space normalization (CSN) and two CSN techniques, i.e., the within-color-component normalization technique (CSN-I) and the across-color-component normalization technique (CSN-II), for enhancing the discriminating power of color spaces for face recognition. Different color spaces usually display different discriminating power, and our experiments on a lar...

In the present study, four detour matrix-based Topological Indices (TIs) termed as augmented path eccentric connectivity indices 1-4 (denoted by (AP)ξ(1)(C), (AP)ξ(2)(C), (AP)ξ(3)(C) and (AP)ξ(4)(C)) as well as their topochemical versions (denoted by (AP)ξ(1c)(C), (AP)ξ(2c)(C), (AP)ξ(3c)(C) and (AP)ξ(4c)(C)) have been conceptualised. A modified detour matrix termed as chemical detour matrix (Δ(...