University of Trento

About: University of Trento is a education organization based out in Trento, Italy. It is known for research contribution in the topics: Population & Context (language use). The organization has 10527 authors who have published 30978 publications receiving 896614 citations. The organization is also known as: Universitá degli Studi di Trento & Universita degli Studi di Trento.

Don't count, predict! A systematic comparison of context-counting vs. context-predicting semantic vectors

Abstract: Context-predicting models (more commonly known as embeddings or neural language models) are the new kids on the distributional semantics block. Despite the buzz surrounding these models, the literature is still lacking a systematic comparison of the predictive models with classic, count-vector-based distributional semantic approaches. In this paper, we perform such an extensive evaluation, on a wide range of lexical semantics tasks and across many parameter settings. The results, to our own surprise, show that the buzz is fully justified, as the context-predicting models obtain a thorough and resounding victory against their count-based counterparts.

Anderson localization of a non-interacting Bose-Einstein condensate.

Abstract: Anderson localization of waves in disordered media was originally predicted fifty years ago, in the context of transport of electrons in crystals. The phenomenon is much more general and has been observed in a variety of systems, including light waves. However, Anderson localization has not been observed directly for matter waves. Owing to the high degree of control over most of the system parameters (in particular the interaction strength), ultracold atoms offer opportunities for the study of disorder-induced localization. Here we use a non-interacting Bose-Einstein condensate to study Anderson localization. The experiment is performed with a one-dimensional quasi-periodic lattice-a system that features a crossover between extended and exponentially localized states, as in the case of purely random disorder in higher dimensions. Localization is clearly demonstrated through investigations of the transport properties and spatial and momentum distributions. We characterize the crossover, finding that the critical disorder strength scales with the tunnelling energy of the atoms in the lattice. This controllable system may be used to investigate the interplay of disorder and interaction (ref. 7 and references therein), and to explore exotic quantum phases.

NuSMV 2: An opensource tool for symbolic model checking

Abstract: This paper describes version 2 of the NuSMV tool. NuSMV is a symbolic model checker originated from the reengineering, reimplementation and extension of SMV, the original BDD-based model checker developed at CMU [15]. The NuSMV project aims at the development of a state-of-the-art symbolic model checker, designed to be applicable in technology transfer projects: it is a well structured, open, flexible and documented platform for model checking, and is robust and close to industrial systems standards [6].

Exome sequencing identifies recurrent SPOP, FOXA1 and MED12 mutations in prostate cancer

Abstract: Prostate cancer is the second most common cancer in men worldwide and causes over 250,000 deaths each year. Overtreatment of indolent disease also results in significant morbidity. Common genetic alterations in prostate cancer include losses of NKX3.1 (8p21) and PTEN (10q23), gains of AR (the androgen receptor gene) and fusion of ETS family transcription factor genes with androgen-responsive promoters. Recurrent somatic base-pair substitutions are believed to be less contributory in prostate tumorigenesis but have not been systematically analyzed in large cohorts. Here, we sequenced the exomes of 112 prostate tumor and normal tissue pairs. New recurrent mutations were identified in multiple genes, including MED12 and FOXA1. SPOP was the most frequently mutated gene, with mutations involving the SPOP substrate-binding cleft in 6-15% of tumors across multiple independent cohorts. Prostate cancers with mutant SPOP lacked ETS family gene rearrangements and showed a distinct pattern of genomic alterations. Thus, SPOP mutations may define a new molecular subtype of prostate cancer.

Inter-coder agreement for computational linguistics

Abstract: This article is a survey of methods for measuring agreement among corpus annotators. It exposes the mathematics and underlying assumptions of agreement coefficients, covering Krippendorff's alpha as well as Scott's pi and Cohen's kappa; discusses the use of coefficients in several annotation tasks; and argues that weighted, alpha-like coefficients, traditionally less used than kappa-like measures in computational linguistics, may be more appropriate for many corpus annotation tasks---but that their use makes the interpretation of the value of the coefficient even harder.