The genericity theorem and the notion of parametricity in the polymorphic [lambda]-calculus

von Longo, Giuseppe
Veröffentlicht 1992

Reibungs- und Temperaturberechnung an Festkörper- und Mischreibungskontakten

von Solovyev, Sergey
Veröffentlicht 2007

Field-Split Iterative Solver Vs Direct One for Quasi-Static Biot Equation

von Solovyev, Sergey
Veröffentlicht in Russian Supercomputing Days (9. : 2023 : Moskau) Supercomputing ; Part 1 (2023)

Logical aspects of computational linguistics : 8th international conference ; proceedings

Veröffentlicht 2014

Numerical Solution of Anisotropic Biot Equations in Quasi-static State

von Solovyev, Sergey
Veröffentlicht in International Conference on Computational Science and its Applications (22. : 2022 : Málaga; Online) Computational science and its applications - ICCSA 2022 workshops ; Part 2 (2022)

Software Package USPARS for Large Sparse Systems of Linear Equations

von Bykov, Dmitry
Veröffentlicht in Russian Supercomputing Days (9. : 2023 : Moskau) Supercomputing ; Part 1 (2023)

Numerical Solution of Biot Equations in Quasi-static State

von Solovyev, Sergey
Veröffentlicht in ICCSA (21. : 2021 : Cagliari; Online) Computational science and its applications - ICCSA 2021 ; Part 1 (2021)

HOUSEKEEPING TELEMETRY ANALYSIS FOR SPACECRAFT HEALTH MONITORING AND PREDICTIVE DIAGNOSIS USING MACHINE LEARNING

von Mukhachev, Petr
Veröffentlicht in IAF Space Operations Symposium (2020 : Online) IAF Space Operations Symposium 2020 (2021)