{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T02:43:36Z","timestamp":1783737816351,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,7]],"date-time":"2017-08-07T00:00:00Z","timestamp":1502064000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["HCC-1218801"],"award-info":[{"award-number":["HCC-1218801"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,7]]},"DOI":"10.1145\/3077136.3080748","type":"proceedings-article","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T19:35:01Z","timestamp":1501270501000},"page":"1165-1168","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["Layout and Semantics"],"prefix":"10.1145","author":[{"given":"Kenny","family":"Davila","sequence":"first","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard","family":"Zanibbi","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,8,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. NTCIR-12","author":"Davila Kenny","year":"2016","unstructured":"Kenny Davila , Richard Zanibbi , Andrew Kane , and Frank Wm Tompa 2016 . Tangent-3 at the NTCIR-12 MathIR task . In Proc. NTCIR-12 . 338--345. Kenny Davila, Richard Zanibbi, Andrew Kane, and Frank Wm Tompa 2016. Tangent-3 at the NTCIR-12 MathIR task. In Proc. NTCIR-12. 338--345."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. NTCIR-12","author":"Gao Liangcai","year":"2016","unstructured":"Liangcai Gao , Ke Yuan , Yuehan Wang , Zhuoren Jiang , and Zhi Tang 2016 . The math retrieval system of ICST for NTCIR-12 MathIR task . Proc. NTCIR-12 (2016), 318--322. Liangcai Gao, Ke Yuan, Yuehan Wang, Zhuoren Jiang, and Zhi Tang 2016. The math retrieval system of ICST for NTCIR-12 MathIR task. Proc. NTCIR-12 (2016), 318--322."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20615-8_20"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. NTCIR-11","author":"Hambasan Radu","year":"2014","unstructured":"Radu Hambasan , Michael Kohlhase , and Corneliu-Claudiu Prodescu . 2014 . MathWebSearch at NTCIR-11 . In Proc. NTCIR-11 . 114--119. Radu Hambasan, Michael Kohlhase, and Corneliu-Claudiu Prodescu. 2014. MathWebSearch at NTCIR-11. In Proc. NTCIR-11. 114--119."},{"key":"e_1_3_2_1_5_1","unstructured":"H. Hiroya and H. Saito 2013. Partial-match Retrieval with Structure-reflected Indices at the NTCIR-10 Math Task Proc. NTCIR-10. 692--695.  H. Hiroya and H. Saito 2013. Partial-match Retrieval with Structure-reflected Indices at the NTCIR-10 Math Task Proc. NTCIR-10. 692--695."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39320-4_16"},{"key":"e_1_3_2_1_7_1","unstructured":"Giovanni Yoko Kristianto G Topi\u0107 and A Aizawa. 2016. The MCAT math retrieval system for NTCIR-12 MathIR task Proc. NTCIR-12. 323--330.  Giovanni Yoko Kristianto G Topi\u0107 and A Aizawa. 2016. The MCAT math retrieval system for NTCIR-12 MathIR task Proc. NTCIR-12. 323--330."},{"key":"e_1_3_2_1_8_1","volume-title":"A Mathematics Retrieval System for Formulae in Layout Presentations SIGIR","author":"Lin Xiaoyan","unstructured":"Xiaoyan Lin , Liangcai Gao , Xuan Hu , Zhi Tang , Yingnan Xiao , and Xiaozhong Liu . 2014. A Mathematics Retrieval System for Formulae in Layout Presentations SIGIR . ACM , New York, NY, USA , 697--706. Xiaoyan Lin, Liangcai Gao, Xuan Hu, Zhi Tang, Yingnan Xiao, and Xiaozhong Liu. 2014. A Mathematics Retrieval System for Formulae in Layout Presentations SIGIR. ACM, New York, NY, USA, 697--706."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1561\/1500000016"},{"key":"e_1_3_2_1_10_1","volume-title":"Technical aspects of the digital library of mathematical functions. Annals of Mathematics and Artificial Intelligence","author":"Miller Bruce R","year":"2003","unstructured":"Bruce R Miller and Abdou Youssef 2003. Technical aspects of the digital library of mathematical functions. Annals of Mathematics and Artificial Intelligence , Vol. vol. 38 , 1--3 ( 2003 ), 121--136. Bruce R Miller and Abdou Youssef 2003. Technical aspects of the digital library of mathematical functions. Annals of Mathematics and Artificial Intelligence, Vol. vol. 38, 1--3 (2003), 121--136."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2015DAP0023"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. NTCIR-12","author":"R\u00fbzicka M","year":"2016","unstructured":"M R\u00fbzicka , Petr Sojka , and M L\u0131vska . 2016 . Math indexer and searcher under the hood: Fine-tuning query expansion and unification strategies . In Proc. NTCIR-12 . 331--337. M R\u00fbzicka, Petr Sojka, and M L\u0131vska. 2016. Math indexer and searcher under the hood: Fine-tuning query expansion and unification strategies. In Proc. NTCIR-12. 331--337."},{"key":"e_1_3_2_1_13_1","unstructured":"Abhinav Thanda Ankit Agarwal Kushal Singla Aditya Prakash and Abhishek Gupta 2016. A document retrieval system for math queries. (2016) 346--353.  Abhinav Thanda Ankit Agarwal Kushal Singla Aditya Prakash and Abhishek Gupta 2016. A document retrieval system for math queries. (2016) 346--353."},{"key":"e_1_3_2_1_14_1","volume-title":"A mathematical information retrieval system based on RankBoost Proc","author":"Yuan Ke","unstructured":"Ke Yuan , Liangcai Gao , Yuehan Wang , Xiaohan Yi , and Zhi Tang 2016. A mathematical information retrieval system based on RankBoost Proc . JCDL. IEEE , 259--260. Ke Yuan, Liangcai Gao, Yuehan Wang, Xiaohan Yi, and Zhi Tang 2016. A mathematical information retrieval system based on RankBoost Proc. JCDL. IEEE, 259--260."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. NTCIR-12","author":"Zanibbi Richard","year":"2016","unstructured":"Richard Zanibbi , Akiko Aizawa , Michael Kohlhase , Iadh Ounis , Goran Topi\u00e7 , and Kenny Davila . 2016 . NTCIR-12 MathIR Task Overview . In Proc. NTCIR-12 . 299--308. Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Goran Topi\u00e7, and Kenny Davila. 2016. NTCIR-12 MathIR Task Overview. In Proc. NTCIR-12. 299--308."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10032-011-0174-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2911451.2911512"},{"key":"e_1_3_2_1_18_1","volume-title":"OPMES: A Similarity Search Engine for Mathematical Content ECIR","author":"Zhong Wei","unstructured":"Wei Zhong and Hui Fang 2016. OPMES: A Similarity Search Engine for Mathematical Content ECIR . Springer , 849--852. Wei Zhong and Hui Fang 2016. OPMES: A Similarity Search Engine for Mathematical Content ECIR. Springer, 849--852."}],"event":{"name":"SIGIR '17: The 40th International ACM SIGIR conference on research and development in Information Retrieval","location":"Shinjuku Tokyo Japan","acronym":"SIGIR '17","sponsor":["SIGIR ACM Special Interest Group on Information Retrieval"]},"container-title":["Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3077136.3080748","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3077136.3080748","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3077136.3080748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:07Z","timestamp":1750273447000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3077136.3080748"}},"subtitle":["Combining Representations for Mathematical Formula Search"],"short-title":[],"issued":{"date-parts":[[2017,8,7]]},"references-count":18,"alternative-id":["10.1145\/3077136.3080748","10.1145\/3077136"],"URL":"https:\/\/doi.org\/10.1145\/3077136.3080748","relation":{},"subject":[],"published":{"date-parts":[[2017,8,7]]},"assertion":[{"value":"2017-08-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}