We prove quadratic convergence for two-dimensional vortex methods with positive cutoffs. The result is established for flows with initial vorticity three times continuously differentiable and compact support. The proof is based on a refined version of a convergence result. Introduction. The purpose of this paper is to prove that vortex methods with positive cutoffs can converge quadratically if...

A direction sensitive dark matter detector using organic crystals is being developed. It exploits the anisotropic scintillation efficiency of organic crystals with respect to the direction of nuclear recoils relative to crystallographic axes. A variation of about 7% was observed in the scintillation efficiency of carbon recoils in a stilbene crystal for recoil energies of 30 keV to 1MeV. We hav...

Definition 1.1. Given a (undirected) graph G = (V,E), the maximum cut δ(U) for U ⊆ V is the cut with maximal value |δ(U)|. The Maximum Cut Problem consists of finding a maximal cut. We let MaxCut(G) = max{|δ(U)| : U ⊆ V } be the value of the maximum cut in G, and MaxCut′ = MaxCut(G) |E| be the normalized version (note that both normalized and unnormalized maximum cut values are induced by the s...

We have carried out the dark matter search with a 116g direction-sensitive stilbene crystal in Kamioka Observatory. With the crystal fixed to the earth, we searched the modulation of the light output. No modulation signal was found due to the small size of the detector crystal and the higher background rate yet to be eliminated. However, it demonstrated the effectiveness of the method of direct...

In this issue of Structure, Beale et al. (2015) define structurally and functionally a large extracellular domain unique to mammalian peptide transporters and its implications for the transport of basic di- and tri-peptides (Beale et al., 2015).

This paper 1 introduces a new line of research which ensures soundness and completeness in Natural Language text planners on top of an ee-cient control strategy. The work builds on the HUNTER-GATHERER analysis system (Beale, 96; Beale & Nirenburg, 96). That system employs constraint satisfaction, branch-and-bound and solution synthesis techniques to produce near linear-time processing for knowl...

Here, we derive the exact mean and variance of number weakly protected nodes (the that are not leaves at least one their children is a leaf) in binary search trees grown from random permutations. Furthermore, by using contraction method, prove normal limit law for properly normalized version this tree parameter.

This paper 1 introduces a new line of research which ensures soundness and completeness in Natural Language text planners on top of an efficient control strategy. The work builds on the HUNTER-GATItERER analysis system (Beale. 96; Beale & Nirenburg, 96). That system employs constraint satisfaction, branch-and-bound and solution synthesis techniques to produce near linear-time processing for kno...