First, we reconstruct Wim Veldman’s result that Open Induction on Cantor space can be derived from Double-negation Shift and Markov’s Principle. In doing this, we notice that one has to use a countable choice axiom in the proof and that Markov’s Principle is replaceable by slightly strengthening the Double-negation Shift schema. We show that this strengthened version of Double-negation Shift ca...

The paper formulates projective dependency grammars in terms of constraints on a string based encoding of dependency trees and develops an approach to obtain a regular approximation for these grammars. In the approach, dependency analyses are encoded with balanced bracketing that encodes dependency relations among the words of the analyzed sentence. The brackets, thus, indicate dependencies rat...

In this study EMA has been used to observe speech articulator movements during successive productions of a variety of novel polysyllabic nonsense words conforming to English phonotactics. Analysis of sensor trajectories comparing initial and final repetitions shows in general reduction of overall duration and distance travelled, lower variability, and fewer acceleration peaks. Comparison of con...

We present sound and complete environmental bisimilarities for a variant of Dybvig et al.’s calculus of multi-prompted delimited-control operators with dynamic prompt generation. The reasoning principles that we obtain generalize and advance the existing techniques for establishing program equivalence in calculi with single-prompted delimited control. The basic theory that we develop is present...

In sign language research, technically it has been possible to investigate prominence around a unit of sign movements that realizes strong visual impression. Based on the researches of speech prominence, this study proposes techniques to delimit a sequential hand-movement into small units, and investigates the prominence by the comparisons of physical properties on each unit between emphasized ...

SOL (Suda On Line) is a collaborative internet-based project involving dozens of researchers to transform the Suda, a 10th-century Byzantine Greek historical encyclopedia, into a searchable electronic text in English translation. The text will include SGML tags to delimit content such as personal names, places, and treatises and will also contain bibliographic and other references, many of whic...

This paper describes a new method for hypsometric tinting for small-scale maps. The method generalises digital elevation models by removing small unnecessary details and accentuating major valleys and ridgelines. The elevation data are filtered with lower and upper quartile filters that are combined using a drainage network. The lower quartile filter is applied in valleys, delimited by the drai...

Harmonic plus Noise Model (HNM) is the two-band speech model which assumes the speech signal to be composed of a harmonic part and a noise part. It is very important to determine the reasonable maximum voiced frequency which delimit harmonic and noise parts for highquality synthetic speech. In this paper, a new analysis method for HNM, especially maximum voiced frequency, is proposed, whereby t...

Normalised citation counts are routinely used to assess the average impact of research groups or nations. There is controversy over whether confidence intervals for them are theoretically valid or practically useful. In response, this article introduces the concept of a group’s underlying research capability to produce impactful research. It then investigates whether confidence intervals could ...

Solanum section Petota has been the subject of intensive taxonomic work since the description of the cultivated potato in 1753. In total, there are 494 epithets for wild taxa and 626 epithets for cultivated taxa. Different taxonomists applied various taxonomic philosophies and species concepts to the section. Hypotheses of the number of species and their interrelationships have differed greatly...