Search results for “integrals”
32 results
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
Charge Collection After Heavy-Ion Strikes: A Material Parameter Sweep in a 2001 TCAD Solver
2026NotesAlexey Legoshin
A pilot study mapping ion-induced charge collection against bandgap and carrier mobility, and what it revealed about the cost of getting the time integration wrong
0
00
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
ISE TCAD 7.0 on Apple Silicon: Running a 2001 Semiconductor Package on a MacBook Air M1
Notes
How to bring up a twenty-year-old Unix TCAD package under emulation on an ARM Mac, drive it from Jupyter, and parse its data formats in Python
0
0
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