Variable typing: Assigning meaning to variables in mathematical text

Information about the meaning of mathematical variables in text is useful in NLP/IR tasks such as symbol disambiguation, topic modeling and mathematical information retrieval (MIR). We introduce variable typing, the task of assigning one mathematical type (multi-word technical terms referring to mathematical concepts) to each variable in a sentence of mathematical text. As part of this work, we also introduce a new annotated data set composed of 33,524 data points extracted from scientific documents published on arXiv. Our intrinsic evaluation demonstrates that our data set is sufficient to successfully train and evaluate current classifiers from three different model architectures. The best performing model is evaluated on an extrinsic task: MIR, by producing a typed formula index. Our results show that the best performing MIR models make use of our typed index, compared to a formula index only containing raw symbols, thereby demonstrating the usefulness of variable typing

Mathematical Information Retrieval based on type embeddings and query expansion

We present an approach to mathematical information retrieval (MIR) that exploits a special kind of technical terminology, referred to as a mathematical type. In this paper, we present and evaluate a type detection mechanism and show its positive effect on the retrieval of research-level mathematics. Our best model, which performs query expansion with a type-aware embedding space, strongly outperforms standard IR models with state-of-the-art query expansion (vector space-based and language modelling-based), on a relatively new corpus of research-level queries

Development of a safe dexamethasone-eluting electrode array for cochlear implantation

Objectives: Cochlear implantation can result in trauma leading to increased tissue response and loss of residual hearing. A single intratympanic application of the corticosteroid dexamethasone is sometimes used clinically during surgery to combat the potential effect of trauma on residual hearing. This project looked at the safety and efficacy of dexamethasone eluted from an intracochlear array in vivo. Methods: Three trials were conducted using normal hearing adult guinea pigs implanted with successive iterations of dexamethasone-eluting (DX1, DX2, and DX3) or non-eluting (control) intracochlear electrode arrays. The experimental period for each animal was 90 days during which hearing tests were performed at multiple time points. Results: There was no significant difference between matched control array and dexamethasone array groups in terms of spiral ganglion neuron density, organ of Corti condition, or fibrosis and ossification. A cochleostomy seal was present in all implanted cochleae. There were no differences in the degree of hearing threshold shifts between DX1 and DX3 and their respective control arrays. Cochleae implanted with DX2 arrays showed less hearing loss and marginally better spiral ganglion neuron survival than their control array counterparts. Post-explant inspection of the DX2 and DX3 arrays revealed a difference in pore density following dexamethasone elution. Conclusion: The dexamethasone doses used were safe in the guinea pig cochlea. Dexamethasone did not inhibit formation of a cochleostomy seal. The level of hearing protection afforded by dexamethasone eluting from an intracochlear array may depend upon the degree of elution and level of trauma inflicted.10 page(s