Publications

Filters: First Letter Of Title is M  [Clear All Filters]
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   [Show ALL]
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)
Saludes J. Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 KB)
Xambó S, Saludes J. Math Exercises Library. 2011. Abstract Array Download: mgl-1.pdf (110.99 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. Talk given at Xerox Research Centre Europe, Grenoble, 19 January 2012. 2012.Array Download: xrce-molto.pdf (340.05 KB)