Modeling Target-Side Inflection in Neural Machine Translation

NMT systems have problems with large vocabulary sizes. Byte-pair encoding (BPE) is a popular approach to solving this problem, but while BPE allows the system to generate any target-side word, it does not enable effective generalization over the rich vocabulary in morphologically rich languages with strong inflectional phenomena. We introduce a simple approach to overcome this problem by training a system to produce the lemma of a word and its morphologically rich POS tag, which is then followed by a deterministic generation step. We apply this strategy for English-Czech and English-German translation scenarios, obtaining improvements in both settings. We furthermore show that the improvement is not due to only adding explicit morphological information.Comment: Accepted as a research paper at WMT17. (Updated version with corrected references.

Introducing Quantified Cuts in Logic with Equality

Cut-introduction is a technique for structuring and compressing formal proofs. In this paper we generalize our cut-introduction method for the introduction of quantified lemmas of the form $\forall x.A$ (for quantifier-free $A$) to a method generating lemmas of the form $\forall x_1\ldots\forall x_n.A$. Moreover, we extend the original method to predicate logic with equality. The new method was implemented and applied to the TSTP proof database. It is shown that the extension of the method to handle equality and quantifier-blocks leads to a substantial improvement of the old algorithm

Genetic variants of methionine metabolism and X-ALD phenotype generation: results of a new study sample

X-linked adrenoleukodystrophy (X-ALD) is the most common inherited leukodystrophy. Nevertheless, no genotype-phenotype correlation has been established so far. Unidentified modifier genes or other cofactors are suspected to modulate phenotype and prognosis. We recently described polymorphisms of methionine metabolism as possible disease modifiers in X-ALD. To retest these findings, we analyzed 172 new DNA samples of X-ALD patients from different populations (France, Germany, USA, China) by genotyping eight genetic variants of methionine metabolism, including DHFR c.594+59del19bp, CBS c.844_855ins68, MTR c.2756A>G, MTHFR c.677C>T and c.1298A>C, MTRR c.60A>G, RFC1 c.80G>A, and Tc2 c.776C>G. We compared three X-ALD phenotypes: childhood-onset cerebral demyelinating inflammatory type (CCALD; n=82), adulthood onset with focal cerebral demyelination (ACALD; n=38), and adulthood onset without cerebral demyelination (AMN; n=52). The association of genotypes and phenotypes was analyzed with univariate two-sided Pearson's χ 2. In the comparison between AMN and CCALD, the G allele of Tc2 c.776C>G was associated with X-ALD phenotypes (χ 2=6.1; P=0.048). The prevalence of the GG genotype of Tc2 c.776C>G was higher in patients with CNS demyelination compared to those without CNS demyelination (χ 2=4.42; P=0.036). The GG genotype was also more frequent in CCALD compared to AMN (χ 2=4.7; P=0.031). The other polymorphisms did not show any significant associations in this study sample. Whereas the influence of other polymorphisms of methionine metabolism was not confirmed, the present study supports the previously made observation that the Tc2 genotype contributes to X-ALD phenotype generatio

WHOI Hawaii Ocean Timeseries Station (WHOTS) : WHOTS-2 mooring turnaround cruise report

The Woods Hole Oceanographic Institution (WHOI) Hawaii Ocean Timeseries (HOT) Site (WHOTS), 100 km north of Oahu, Hawaii, is intended to provide long-term, high-quality air-sea fluxes as a coordinated part of the HOT program and contribute to the goals of observing heat, fresh water and chemical fluxes at a site representative of the oligotrophic North Pacific Ocean. This report documents recovery of the WHOTS-1 mooring, deployed in August 2004 near 22.75°N, 158°W, and deployment of the WHOTS-2 mooring at the same site. Both moorings were outfitted with Air-Sea Interaction Meteorology (ASIMET) systems to measure, record, and transmit the surface meteorological variables necessary to compute air-sea fluxes of heat, moisture and momentum. In cooperation with R. Lukas of the University of Hawaii, the upper 155 m of the moorings were outfitted with oceanographic sensors for the measurement of temperature, conductivity and velocity. The WHOTS mooring turnaround was done on the Scripps Institution of Oceanography Ship Melville, Cruise TUIM-10MV. The cruise took place between 23 and 30 July 2005.Funding was provided by the National Oceanic and Atmospheric Administration under Grant No. NA17RJ1223 and the Cooperative Institute for Climate and Ocean Research (CICOR)

Separate Universes Do Not Constrain Primordial Black Hole Formation

Carr and Hawking showed that the proper size of a spherical overdense region surrounded by a flat FRW universe cannot be arbitrarily large as otherwise the region would close up on itself and become a separate universe. From this result they derived a condition connecting size and density of the overdense region ensuring that it is part of our universe. Carr used this condition to obtain an upper bound for the density fluctuation amplitude with the property that for smaller amplitudes the formation of a primordial black hole is possible, while larger ones indicate a separate universe. In contrast, we find that the appearance of a maximum is not a consequence of avoiding separate universes but arises naturally from the geometry of the chosen slicing. Using instead of density a volume fluctuation variable reveals that a fluctuation is a separate universe iff this variable diverges on superhorizon scales. Hence Carr's and Hawking's condition does not pose a physical constraint on density fluctuations. The dynamics of primordial black hole formation with an initial curvature fluctuation amplitude larger than the one corresponding to the maximum density fluctuation amplitude was previously not considered in detail and so we compare it to the well-known case where the amplitude is smaller by presenting embedding and conformal diagrams of both types in dust spacetimes.Comment: Updated version corresponds to the published version 10.1103/PhysRevD.83.124025, 22 pages, 22 figure

The Influence of Fat Suppression Technique on Diffusion-weighted (DW) MRI in Lung Cancer

Purpose: To qualitatively and quantitatively investigate the effect of common vendor-related sequence variations in fat suppression techniques on the diagnostic performance of free-breathing DW protocols for lung imaging.Methods: 8 patients with malignant lung lesions were scanned in free breathing using two diffusion-weighted (DW) protocols with different fat suppression techniques: DWA used short-tau inversion recovery (STIR), and DWB used Spectral Adiabatic Inversion Recovery (SPAIR). Both techniques were obtained at two time points, between 1 hour and 1 week apart. Image quality was assessed using a 5-point scoring system. The number of lesions visible within lung, mediastinum and at thoracic inlet on the DW (b=800 s/mm2) images was compared. Signal-to-noise ratios (SNR) were calculated for lesions and para-spinal muscle. Repeatability of ADC values of the lesions was estimated for both protocols together and separately.Results: There was a signal void at the thoracic inlet in all patients with DWB but not with DWA. DWA images were rated significantly better than DWB images overall quality domains. (Cohens κ = 1). Although 8 more upper mediastinal/thoracic inlet lymph nodes were detected with DWA than DWB, this did not reach statistical significance (p = 0.23). Tumour ADC values were not significantly different between protocols (p=0.93), their ADC reproducibility was satisfactory (CoV=7.7%) and repeatability of each protocol separately was comparable (CoVDWA=3.7% (95% CI 2.5 7.1%) and CoVDWB=4.6% (95% CI 3.18.8%)).Conclusion: In a free-breathing DW-MRI protocol for lung, STIR fat suppression produced images of better diagnostic quality than SPAIR, while maintaining comparable SNR and providing repeatable quantitative ADC acceptable for use in a multicentre trial setting

Survival Estimates of Western Gray Whales \u3ci\u3eEschrichtius robustus\u3c/i\u3e Incorporating Individual Heterogeneity and Temporary Emigration

Gray whales Eschrichtius robustus exist as a 2 geographically and genetically distinct populations in the eastern and western North Pacific. Subjected to intensive commercial whaling during the 19th and 20th centuries, the western population presently numbers approximately 100 individuals and is regarded as one of the most endangered baleen whale populations in the world