Publications

Filters: First Letter Of Last Name is S  [Clear All Filters]
Audiovisual
Book Chapter
Damova M, Kiryakov A, Grinberg M, et al. Creation and Integration of Reference Ontologies for Efficient LOD Management. In: Stellato DA, Pazienza DMT, eds. Semi-Automatic Ontology Development: Processes and Resources. 1stst ed. Semi-Automatic Ontology Development: Processes and Resources. Hershey PA, USA; 2012:162-201. Available at: http://www.igi-global.com/book/semi-automatic-ontology-development/58294.Array
Ranta A. Machine translation and type theory. In: Dybjer P, Palmgren E, Lindström S, Sundholm G, eds. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Vol 27. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.; 2012:281-311. Available at: http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14.Array Download: final-mttt.pdf (591.34 KB)
Conference Paper
Labaka G, Díaz De Ilarraza A, España-Bonet C, Sarasola K, Màrquez L. Deep evaluation of hybrid architectures: simple metrics correlated with human judgments. In: International Workshop on Using Linguistic Information for Hybrid Machine Translation. International Workshop on Using Linguistic Information for Hybrid Machine Translation. Barcelona, Spain; 2011:50-57.Array Download: LIHMT2011_cameraReady.pdf (183.94 KB)
Caprotti O, Saludes J. The GF Mathematical Grammar Library. In: Conference on Intelligent Computer Mathematics /OpenMath Workshop. 2012th ed. Conference on Intelligent Computer Mathematics /OpenMath Workshop.; 2012.Array Download: gf-mgl.pdf (219.79 KB); GF.matlib.xhtml (10.01 KB)
Saludes J, Xambó S. The GF Mathematics Library. In: Quaresma P, Back R-J, eds. Proceedings First Workshop on CTP Components for Educational Software (THedu'11).Vol Electronic Proceedings in Theoretical Computer Science . Proceedings First Workshop on CTP Components for Educational Software (THedu'11). Wrocław, Poland; 2011:102–110. Available at: http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/THedu11/Papers/22/arXiv.pdf. Abstract Array
van Grondelle J. New Audiences for Ontologies : Dealing with Complexity in Business Processes. In: Simperl E, Cimiano P, Polleres A, Corcho O, Presutti V, eds. The Semantic Web: Research and Applications, Proceedings of ESWC 2012. The Semantic Web: Research and Applications, Proceedings of ESWC 2012. Crete, Greece; 2012:2. Available at: http://link.springer.com/chapter/10.1007/978-3-642-30284-8_2.Array
España-Bonet C, Enache R, Slaski A, et al. Patent translation within the MOLTO project. In: Workshop on Patent Translation, MT Summit XIII. 4thth ed. Workshop on Patent Translation, MT Summit XIII.; 2011:70-78.Array Download: patentsMOLTO4.pdf (282.42 KB)
Ranta A. Translating between Language and Logic: What Is Easy and What is Difficult?. In: Bjørner N, Sofronie-Stokkermans V, eds. CADE-23. Automated Deduction.Vol LNCS/LNAI 6803. CADE-23. Automated Deduction. http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3; 2011:5-25. Available at: http://www.cse.chalmers.se/~aarne/articles/cade2011.pdf.Array
Archambault D, Caprotti O, Ranta A, Saludes J. Using GF in multimodal assistants for mathematics. In: Digitization and E-Inclusion in Mathematics and Science 2012; 2012. Available at: http://www.gaea.jcn.nihon-u.ac.jp/deims12/program.htm. Abstract Array Download: ArchambaultCaprottiRantaSaludes.pdf (179.15 KB)
Conference Proceedings
Koponen M, Aziz W, Ramos L, Specia L. Post-editing Time as a Measure of Cognitive Effort O'Brien S, Simard M, Specia L, eds. AMTA 2012 Workshop on Post-editing Technology and Practice (WPTP). 2012:11-20. Available at: http://amta2012.amtaweb.org/AMTA2012Files/html/13/13_paper.pdf.Array
Saludes J, Xambó S. Toward multilingual mechanized mathematics assistants Sendra JR, Villarino C, eds. EACA 2012 (Proceedings). 2012:163–166.Array
Deliverable
Journal Article
Miscellaneous
Xambó S, Saludes J. Math Exercises Library. 2011. Abstract Array Download: mgl-1.pdf (110.99 KB)
Report
Slide Presentation