Showing 1–3 of 3 results for author: Liška, M

Combining Text and Formula Queries in Math Information Retrieval: Evaluation of Query Results Merging Strategies

Authors: Martin Líška, Petr Sojka, Michal Růžička

Abstract: Specific to Math Information Retrieval is combining text with mathematical formulae both in documents and in queries. Rigorous evaluation of query expansion and merging strategies combining math and standard textual keyword terms in a query are given. It is shown that techniques similar to those known from textual query processing may be applied in math information retrieval as well, and lead to a… ▽ More Specific to Math Information Retrieval is combining text with mathematical formulae both in documents and in queries. Rigorous evaluation of query expansion and merging strategies combining math and standard textual keyword terms in a query are given. It is shown that techniques similar to those known from textual query processing may be applied in math information retrieval as well, and lead to a cutting edge performance. Striping and merging partial results from subqueries is one technique that improves results measured by information retrieval evaluation metrics like Bpref. △ Less

Submitted 8 August, 2015; originally announced August 2015.

ACM Class: H.3.3; I.7

Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs

Authors: Martin Líška, Petr Sojka, Michal Růžička

Abstract: We are designing and developing a web user interface for digital mathematics libraries called WebMIaS. It allows queries to be expressed by mathematicians through a faceted search interface. Users can combine standard textual autocompleted keywords with keywords in the form of mathematical formulae in LaTeX or MathML formats. Formulae are shown rendered by the web browser on-the-fly for users' fee… ▽ More We are designing and developing a web user interface for digital mathematics libraries called WebMIaS. It allows queries to be expressed by mathematicians through a faceted search interface. Users can combine standard textual autocompleted keywords with keywords in the form of mathematical formulae in LaTeX or MathML formats. Formulae are shown rendered by the web browser on-the-fly for users' feedback. We describe WebMIaS design principles and our experiences deploying in the European Digital Mathematics Library (EuDML). We further describe the issues addressed by formulae canonicalization and by extending the MIaS indexing engine with Content MathML support. △ Less

Submitted 19 May, 2014; v1 submitted 25 April, 2014; originally announced April 2014.

Comments: Preprint of CICM 2014 (http://cicm-conference.org/2014/) paper: S.M. Watt et al. (Eds.): CICM 2014, LNAI 8543, pp. 444-448, Springer International Publishing Switzerland 2014

ACM Class: H.3.7; H.3.6; H.5.3

Optimizing large applications

Authors: Martin Liška

Abstract: Both uppermost open source compilers, GCC and LLVM, are mature enough to link-time optimize large applications. In case of large applications, we must take into account, except standard speed efficiency and memory consumption, different aspects. We focus on size of the code, cold start-up time, etc. Developers of applications often come up with ad-hoc solutions such as Elfhack utility, start-up of… ▽ More Both uppermost open source compilers, GCC and LLVM, are mature enough to link-time optimize large applications. In case of large applications, we must take into account, except standard speed efficiency and memory consumption, different aspects. We focus on size of the code, cold start-up time, etc. Developers of applications often come up with ad-hoc solutions such as Elfhack utility, start-up of an application via a pre-loading utility and dlopen; prelinking and variety of different tools that reorder functions to fit the order of execution. The goal of the thesis is to analyse all existing techniques of optimization, evaluate their efficiency and design new solutions based on the link-time optimization platform. △ Less

Submitted 27 March, 2014; originally announced March 2014.

Comments: 78 pages, diploma thesis