In the research on IR (information retrieval), lots of clustering algorithms have been developed, and in most of them some parameters should be determined by hand. However, it is very difficult to determine them manually without any prior domain knowledge. To solve this problem, an applicable and efficient clustering algorithm is presented. It aims at avoiding any parameter to be determined by ...

We investigate how to add coercive structural subtyping to a type system for simply-typed lambda calculus with Hindley-Milner polymorphism. Coercions allow to convert between different types, and their automatic insertion can greatly increase readability of terms. We present a type inference algorithm that, given a term without type information, computes a type assignment and determines at whic...

Material examined. Lectotype: female: (yellow label) = [China], A-tun-tse, (Nord-Yunnan), obere Höhe ca. 4500 m, 24.7.1937 H. Höne; (red label) = Prp.Nr.: 12008 ZFMK f, Lectotypus Polia sublimis (Draudt, 1950), Prp. Behounek 2012; here designated, coll. ZFMK. Other material: 1 male, Likiang. (China), Nord-Yuennan, 16.5.1935. H. Höne (X); 44 males and females, same locality and collector, 3.7.-2...

This paper suggests a novel segmentation algorithm for separating moving objects from the background in video sequences without any prior information of the sequence nature. We formulate the problem as a connectivity analysis of region adjacency graph (RAG) based on temporal information. The nodes of the RAG represent homogeneous regions and the edges represent temporal information, which is ob...

1 Galie N, Corris PA, Frost A, et al. Updated treatment algorithm of pulmonary arterial hypertension. J Am Coll Cardiol 2013; 62: Suppl. 25, D60–D72. 2 Gibbs JS. National Audit of Pulmonary Hypertension 2014. Health and Social Care Information Centre, 2015. www.hscic.gov.uk/catalogue/PUB17264/nati-pulm-hype-audi-2014-rep.pdf 3 Marra AM, Egenlauf B, Bossone E, et al. Principles of rehabilitation...

   Cromolyn sodium, a mast cell stabilizing agent, provides an immediate protective effect against the exercise-induced bronchoconstriction while being used before the exercise. However, cromolyn is ineffective in reversing asthmatic bronchospasm; it is used as a maintenance therapy and has a prophylactic role in chronic asthma.    The purpose of this study was to determine the extent of change...

In the past few decades, Time Difference of Arrival location technology in distributed high-frequency surface wave radar has attracted wide attention due to its simple system, low cost, and higher positioning accuracy. Based on time difference direction-finding algorithm, this article presents new mathematical expressions geometric dilution precision systems. The reveals that angle measurements...

The type specimens of sawflies (Hymenoptera: Symphyta) housed in the Museo Nacional de Ciencias Naturales, Madrid, were examined. Lectotypes are designated and illustrated for the following 32 nominal taxa (preserved in the MNCN collection if not stated otherwise): Tenthredo acutiscutis Konow, 1908; Tenthredo aericeps Konow, 1907; Allantus albipectus Konow, 1907; Athalia bolivari Dusmet, 1896; ...

This work introduces a generalised hybridisation strategy which utilises the information sharing mechanism deployed in Stochastic Di usion Search when applied to a number of population-based algorithms, e ectively merging this nature-inspired algorithm with some population-based algorithms. The results reported herein demonstrate that the hybrid algorithm, exploiting information-sharing within ...