摘要 :
We introduce the (phi, 2, alpha)-bounded variation of a function, a concept that generalizes the phi-bounded variation introduced by Medvedev. We also provide a characterization to find out the (phi, 2, alpha)-variation of a funct...
展开
We introduce the (phi, 2, alpha)-bounded variation of a function, a concept that generalizes the phi-bounded variation introduced by Medvedev. We also provide a characterization to find out the (phi, 2, alpha)-variation of a function f in the sense of Riesz.
收起
摘要 :
Spiniform macrosetae have been useful as a taxonomic trait in the genus Diplocentrus, such as the telotarsal spiniform macrosetae formula widely used to separate species. Basitarsal spiniform macrosetae have been studied in the fa...
展开
Spiniform macrosetae have been useful as a taxonomic trait in the genus Diplocentrus, such as the telotarsal spiniform macrosetae formula widely used to separate species. Basitarsal spiniform macrosetae have been studied in the family Scorpionidae butnot in its sister family (Diplocentridae). In this study, we analyzed the variation in the position and number of spiniform macrosetae on the basitarsus of one species of the genus Diplocentrus. We found minimal ontogenetic, intersexual and geographicalvariation within the species. We also compare the pattern found in Diplocentrus tehuacanus Hoffmann 1931 to those of two morphologically similar species, and found that the basitarsal macrosetal pattern is also a good, reliable taxonomic character at the interspecific level.
收起
摘要 :
We examine patterns of morphological and genetic variation in Chaerephon leucogaster (family Molossidae) on Madagascar, Mayotte in the Comoros Archipelago, and the offshore Tanzanian island of Pemba. Five external, 10 cranial, and...
展开
We examine patterns of morphological and genetic variation in Chaerephon leucogaster (family Molossidae) on Madagascar, Mayotte in the Comoros Archipelago, and the offshore Tanzanian island of Pemba. Five external, 10 cranial, and eight dental measurements of animals from different Malagasy populations (grouped according to bioclimatic regions) show differences in the degree of sexual dimorphism and size variation. Further, the population on Mayotte is largely identical in size to those from western Madagascar, and animals from Pemba are notably larger than those from Madagascar and Mayotte. Cytochrome b genetic distances across samples from these islands were low (maximum 0.0035) and animals from Pemba and Mayotte shared cytochrome b haplotypes with Malagasy bats. D-loop data showed some concordance between haplotype distribution, geographical position (latitude and island), and the bioclimatic zones. Animals from Pemba and Mayotte formed a unique D-loop haplotype, which was a minimum of six mutational steps different from Malagasy haplotypes. Within Madagascar, certain haplotypes were exclusive to the north (13 degrees S latitude band) and and southwest (22 degrees and 23 degrees S latitudes) regions. In general, there was no clear concordance between variation in haplotype distribution, latitude, altitude or gender. Where concordance occurred, the genetic distances involved were not sufficiently high to warrant the definition of new taxonomic units. Hence, based on current genetic information, patterns of morphological variation of the Madagascar populations and differences between Pemba and Mayotte/Madagascar are best explained as inter-population variation and may be adaptive, associated with different climatic regimes and associated ecological variables.
收起
摘要 :
We examine patterns of morphological and genetic variation in Chaerephon leucogaster (family Molossidae) on Madagascar, Mayotte in the Comoros Archipelago, and the offshore Tanzanian island of Pemba. Five external, 10 cranial, and...
展开
We examine patterns of morphological and genetic variation in Chaerephon leucogaster (family Molossidae) on Madagascar, Mayotte in the Comoros Archipelago, and the offshore Tanzanian island of Pemba. Five external, 10 cranial, and eight dental measurements of animals from different Malagasy populations (grouped according to bioclimatic regions) show differences in the degree of sexual dimorphism and size variation. Further, the population on Mayotte is largely identical in size to those from western Madagascar, and animals from Pemba are notably larger than those from Madagascar and Mayotte. Cytochrome b genetic distances across samples from these islands were low (maximum 0.0035) and animals from Pemba and Mayotte shared cytochrome b haplotypes with Malagasy bats. D-loop data showed some concordance between haplotype distribution, geographical position (latitude and island), and the bioclimatic zones. Animals from Pemba and Mayotte formed a unique D-loop haplotype, which was a minimum of six mutational steps different from Malagasy haplotypes. Within Madagascar, certain haplotypes were exclusive to the north (13 degrees S latitude band) and and southwest (22 degrees and 23 degrees S latitudes) regions. In general, there was no clear concordance between variation in haplotype distribution, latitude, altitude or gender. Where concordance occurred, the genetic distances involved were not sufficiently high to warrant the definition of new taxonomic units. Hence, based on current genetic information, patterns of morphological variation of the Madagascar populations and differences between Pemba and Mayotte/Madagascar are best explained as inter-population variation and may be adaptive, associated with different climatic regimes and associated ecological variables.
收起
摘要 :
Morphometric variation in 30 craniometric characters of 465 skulls of the European badgers (Meles meles) from across Europe was analysed. Multivariate analyses revealed that the populations from Norway, Sweden, and Finland differ ...
展开
Morphometric variation in 30 craniometric characters of 465 skulls of the European badgers (Meles meles) from across Europe was analysed. Multivariate analyses revealed that the populations from Norway, Sweden, and Finland differ from other European populations in having smaller skulls. The analyses also revealed significant differences between the 'south-western Norwegian' and 'main Fennoscandian' forms. On average, badgers from south-west Norway were smaller than those of the remaining Fennoscandia. Morphological differences between the 'south-western Norwegian' and 'main Fennoscandian' populations of M. meles suggest a possible in situ semisympatric divergence since the beginning of the Holocene warming, or a complex history of two groups involving at least two colonization routes. The small-sized Scandinavian badgers may be close to the ancestral form that used to be widespread in Denmark and throughout Europe. The animals from south-west Norway may instead be descendants of ancestors that were the first to penetrate the southern parts of the Scandinavian Peninsula. The 'main Fennoscandian' badgers are likely to have been the descendants of the second wave of recolonization of Scandinavia. Specifically, they might have colonized the Scandinavian Peninsula from the east after the last glaciation.
收起
摘要 :
In this paper, I extend the result that any strong martingale shows path independent variation, which was introduced by Cairoli and Walsh for the plane. to set indexed strong martingales, and I also analyse the connection between ...
展开
In this paper, I extend the result that any strong martingale shows path independent variation, which was introduced by Cairoli and Walsh for the plane. to set indexed strong martingales, and I also analyse the connection between path independent variation and independent increment set indexed processes.
收起
摘要 :
Through the use of conditional compilation and related tools, many software projects can be used to generate a huge number of related programs. The problem of typing such variational software is difficult. The brute-force strategy...
展开
Through the use of conditional compilation and related tools, many software projects can be used to generate a huge number of related programs. The problem of typing such variational software is difficult. The brute-force strategy of generating all variants and typing each one individually is: (1) usually infeasible for efficiency reasons and (2) produces results that do not map well to the underlying variational program. Recent research has focused mainly on efficiency and addressed only the problem of type checking. In this work we tackle the more general problem of variational type inference and introduce variational types to represent the result of typing a variational program. We introduce the variational lambda calculus (VLC) as a formal foundation for research on typing variational programs. We define a type system for VLC in which VLC expressions are mapped to correspondingly variational types. We show that the type system is correct by proving that the typing of expressions is preserved over the process of variation elimination, which eventually results in a plain lambda calculus expression and its corresponding type. We identify a set of equivalence rules for variational types and prove that the type unification problem modulo these equivalence rules is unitary and decidable; we also present a sound and complete unification algorithm. Based on the unification algorithm, the variational type inference algorithm is an extension of algorithm W. We show that it is sound and complete and computes principal types. We also consider the extension of VLC with sum types, a necessary feature for supporting variational data types, and demonstrate that the previous theoretical results also hold under this extension. Finally, we characterize the complexity of variational type inference and demonstrate the efficiency gains over the brute-force strategy.
收起
摘要 :
The wide use of the coefficient of variation in detecting sincerity of effort is puzzling since existing research findings regarding its effectiveness are contradictory. The lack of empirical support in the literature raises the q...
展开
The wide use of the coefficient of variation in detecting sincerity of effort is puzzling since existing research findings regarding its effectiveness are contradictory. The lack of empirical support in the literature raises the question of whether or not the coefficient of variation is a valid measure for detecting sincerity of effort. Many clinicians, especially those who use a computer software to calculate the coefficient of variation, may not understand how the coefficient of variation is derived and what it is based on. The coefficient of variation is a measure of relative variability and would be used correctly only if the average and the standard deviation of grip strength trials increased proportionally. This case study, however, demonstrated that the average and standard deviation of grip strength are independent. Thus, the coefficient of variation is not a valid measure of sincerity of effort. In addition, this study indicated that the coefficient of variation may be inflated in individuals after carpal tunnel release surgery. The author, therefore, cautions clinicians against the use of the coefficient of variation as a measure of sincerity of effort especially in injured individuals with compromised hand strength.
收起
摘要 :
In this paper, we propose a new technique to achieve accurate decomposition of process variation by efficiently performing spatial pattern analysis. We demonstrate that the spatially correlated systematic variation can be accurate...
展开
In this paper, we propose a new technique to achieve accurate decomposition of process variation by efficiently performing spatial pattern analysis. We demonstrate that the spatially correlated systematic variation can be accurately represented by the linear combination of a small number of templates. Based on this observation, an efficient sparse regression algorithm is developed to accurately extract the most adequate templates to represent spatially correlated variation. In addition, a robust sparse regression algorithm is proposed to automatically remove measurement outliers. We further develop a fast numerical algorithm that may reduce the computational time by several orders of magnitude over the traditional direct implementation. Our experimental results based on both synthetic and silicon data demonstrate that the proposed sparse regression technique can capture spatially correlated variation patterns with high accuracy and efficiency.
收起
摘要 :
We propose a subthreshold Static Random Access Memory (SRAM) circuit architecture with improved write ability. Even though the circuits can achieve ultra-low power dissipation in subthreshold digital circuits, the performance is s...
展开
We propose a subthreshold Static Random Access Memory (SRAM) circuit architecture with improved write ability. Even though the circuits can achieve ultra-low power dissipation in subthreshold digital circuits, the performance is significantly degraded with threshold voltage variations due to the fabrication process and temperature. Because the write operation of SRAM is prone to failure due to the unbalance of threshold voltages between the nMOSFET and pMOSFET, stable operation cannot be ensured. To achieve robust write operation of SRAM, we developed a compensation technique by using an adaptive voltage scaling technique that uses an on-chip threshold voltage monitoring circuit. The monitoring circuit detects the threshold voltage of a MOSFET with the on-chip circuit configuration. By using the monitoring voltage as a supply voltage for SRAM cells, write operation can be compensated without degrading cell stability. Monte Carlo simulations demonstrated that the proposed SRAM architecture exhibits a smaller write operation failure rate and write time variation than a conventional 6T SRAM.
收起