Let H0 be an arbitrary self-adjoint n × n matrix and H(n) be an n × n (random) Wigner matrix. We show that t 7→ Tr exp(H(n)−itH0) is positive definite in the average. This partially answers a long-standing conjecture. On the basis of asymptotic freeness our result implies that t 7→ τ(exp(a − itb)) is positive definite whenever the noncommutative random variables a and b are in free relation, wi...

The European Space Agency's Rosetta mission ended operations on 30 September 2016 having spent over 2 years in close proximity to its target comet, 67P/Churyumov-Gerasimenko. Shortly before this, in summer 2016, a discussion meeting was held to examine how the results of the mission could be framed in terms of cometary and solar system science in general. This paper provides a brief history of ...

Language recognition with support vector machines and shifteddelta cepstral features has been an excellent performer in NISTsponsored language evaluation for many years. A novel improvement of this method has been the introduction of hybrid SVM/GMM systems. These systems use GMM supervectors as an SVM expansion for classification. In prior work, methods for scoring SVM/GMM systems have been int...

Creativity assessment commonly uses open-ended divergent thinking tasks. The typical methods for scoring these tasks (uniqueness scoring and subjective ratings) are time-intensive, however, so it is impractical for researchers to include divergent thinking as an ancillary construct. The present research evaluated snapshot scoring of divergent thinking tasks, in which the set of responses receiv...

Prior to the selection of the comet 9P/Tempel 1 as the Deep Impact mission target, the comet was not well observed. From 1999 through the present there has been an intensive world-wide observing campaign designed to obtainmission critical information about the target nucleus, including the nucleus size, albedo, rotation rate, rotation state, phase function, and the development of the dust and g...

E-rater® has been used by the Educational Testing Service for automated essay scoring since 1999. This paper describes a new version of e-rater (V.2) that is different from other automated essay scoring systems in several important respects. The main innovations of e-rater V.2 are a small, intuitive, and meaningful set of features used for scoring; a single scoring model and standards can be us...

Molecular docking is widely used to discovery novel ligands in structure-based drug design (SBDD) [1]. Over the past 15 years, various docking programs have been developed. Generally, flexible docking programs, such as DOCK, AutoDock, FlexX, GOLD and Glide, have the ability to predict protein-ligand complex structures with reasonable accuracy and speed. These docking programs are aimed at predi...

OBJECTIVES Modified adult disease severity scoring systems are being used for childhood FMF. We aim to test the clinical consistency of two common severity scoring systems and to evaluate the correlation of scores with the type of FMF mutations in paediatric FMF patients since certain mutations are prone to severe disease. METHODS Two hundred and fifty-eight children with FMF were cross-secti...