Publications

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
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)
Xambó S, Saludes J. Math Exercises Library. 2011. Abstract Array Download: mgl-1.pdf (110.99 KB)
Saludes J. Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 KB)
Saludes J. MathBar.pgf. 2013. Abstract Array Download: MathBar.pgf (616.21 KB)
Caprotti O, Ranta A. MOLTO Enlarged EU - Multilingual Online Translation. In: 16th Annual Conference of the European Association for Machine Translation. 16th Annual Conference of the European Association for Machine Translation. Trento, Italy; 2012. Available at: http://hltshare.fbk.eu/EAMT2012/html/Papers/16.pdf.Array Download: OnePageFinal4MOLTO.pdf (90.91 KB); EAMT2012.pdf (3.14 MB)
Saludes J, Xambó S. MOLTO Mathematical Grammar Library. 2010.Array Download: mOlto-MGL.pdf (605.86 KB)
Ranta A. MOLTO: Multilingual Online Translation. Monnet-MOLTO Meeting, Utrecht, 19 September 2012. 2012.Array Download: utrecht-molto-2012.pdf (667.58 KB)
Ranta A. MOLTO: Multilingual On-Line Translation. Using Grammatical Framework to Build Production-Quality Translation Systems. 2011. Available at: http://www.uoc.edu/freerbmt11/resources/Slides/ranta-freerbmt-2011.pdf.Array