LibreTimes

Search results for “integrals”

32 results

IMO 2016

Problem sheet

57th International Mathematical Olympiad. Hong Kong, 2016.
0
0

A curiosity: “supersmooth” varieties

Theory

A rigidity condition on schemes, strictly stronger than smoothness, introduced with examples and a look at where it fails to be geometric — no known application, just a curiosity.
0
0

An example of a non-reduced Picard scheme

Theory

An example, due to Serre, of a smooth projective surface in positive characteristic whose Picard scheme fails to be reduced, worked out via the two governing dimension inequalities.
0
0

Reranking Hypotheses in Translation Models Using Human Markup

2024Journal articleK. V. Vorontsov, N. A. Skachkov

Journal of Computer and Systems Sciences International

Modern machine translation systems are trained on large volumes of parallel data obtained using heuristic methods of bypassing the Internet. The poor quality of the data leads to systematic translation errors, which can be quite noticeable to humans. To fix such errors, human-based models for reranking hypotheses is introduced in this study. In this paper the use of human markup is shown not only to increase the overall quality of the translation but also to significantly reduce the number of systematic translation errors. In addition, the relative simplicity of human markup and its integration in the model training process opens up new opportunities in the field of domain adaptation of translation models for new domains like online retail.
0
1

Hypotheses re-ranking in translation models using human markup

2024Journal articleK. V. Vorontsov, N. A. Skachkov

Известия Российской академии наук Теория и системы управления

Modern machine translation systems are trained on large volumes of parallel data obtained using heuristic methods of the Internet bypassing. The poor quality of the data leads to systematic translation errors, which can be quite noticeable from the human point of view. To fix such errors a human based models hypotheses re-ranking is introduced in this work. In this paper the use of human markup is shown not only to increase the overall quality of translation, but also to significantly reduce the number of systematic translation errors. In addition, the relative simplicity of human markup and its integration in the model training process opens up new opportunities in the field of domain adaptation of translation models for new domains like online retail.
0
1

IMO 1988

Problem sheet

International mathematics competition for pre-university students, held annually since 1959. Six problems over two days.
0
0

IMO 1994

Problem sheet

International mathematics competition for pre-university students, held annually since 1959. Six problems over two days.
0
0