Concept
Système de coordonnées curvilignes
Publications associées (63)
High-order accurate entropy stable adaptive moving mesh finite difference schemes for special relativistic (magneto)hydrodynamics
This paper develops high-order accurate entropy stable (ES) adaptive moving mesh finite difference schemes for the two- and three-dimensional special relativistic hydrodynamic (RHD) and magnetohydrodynamic (RMHD) equations, which is the high-order accurate ...
ACADEMIC PRESS INC ELSEVIER SCIENCE2022Local invertibility and sensitivity of atomic structure-feature mappings
Michele Ceriotti, Sergey Pozdnyakov
Background: The increasingly common applications of machine-learning schemes to atomic-scale simulations have triggered efforts to better understand the mathematical properties of the mapping between the Cartesian coordinates of the atoms and the variety o ...
2021Development of a semi-implicit contact methodology for finite volume stress solvers
Andreas Pautz, Carlo Fiorina, Alessandro Scolaro
The past decades have seen numerous efforts to apply the finite volume methodology to solid mechanics problems. However, only limited work has been done by the finite volume community toward the simulation of mechanical contact. In this article, we present ...
WILEY2021A Mechanized Theory of Quoted Code Patterns
The pattern matching on code from the new macro system of Scala 3 is modeled by a calculus called λ half-circle. We present a mechanized proof of soundness of the calculus in Coq and discuss encountered challenges. ...
2020Analysis and Transfer of Human Movement Manipulability in Industry-like Activities
Sylvain Calinon, Noémie Laure Gwendoline Jaquier
Humans exhibit outstanding learning, planning and adaptation capabilities while performing different types of industrial tasks. Given some knowledge about the task requirements, humans are able to plan their limbs motion in anticipation of the execution of ...
IEEE2020Instanton theory of ground-state tunneling splittings with general paths
Christophe Louis Joseph Jean-Luc Vaillant, Mihael Erakovic
We derive a multidimensional instanton theory for calculating ground-state tunneling splittings in Cartesian coordinates for general paths. It is an extension of the method by Mil'nikov and Nakamura [J. Chem. Phys. 115, 6881 (2001)] to include asymmetric p ...
2020Code Integration, Data Verification, and Models Validation Using the ITER Integrated Modeling and Analysis System (IMAS) in EUROfusion
Olivier Sauter, Antoine Pierre Emmanuel Alexis Merle, Giovanni Tardini
The ITER Integrated Modelling and Analysis System (IMAS) has been adopted by the EUROfusion Consortium as a platform to facilitate the analysis and verification of data from multiple tokamaks for the integration of physics codes and the validation of physi ...
TAYLOR & FRANCIS INC2020Open-Source Implementation and Validation of a 3D Inverse Design Method for Francis Turbine Runners
François Avellan, Sebastián Camilo Leguizamón Sarmiento
The hydraulic design of Francis turbines and pump-turbines is an expensive project-specific engineering effort that typically involves a direct iterative exploration of the design space. An inverse design method for turbomachinery has been previously intro ...
2020Convex Optimization using Sparsified Stochastic Gradient Descent with Memory
Jean-Baptiste Francis Marie Juliette Cordonnier
The interest for distributed stochastic optimization has raised to train complex Machine Learning models with more data on distributed systems. Increasing the computation power speeds up the training but it faces a communication bottleneck between workers ...
2018Coordinate Descent with Bandit Sampling
Patrick Thiran, Laura Elisa Celis, Farnood Salehi
Coordinate descent methods usually minimize a cost function by updating a random decision variable (corresponding to one coordinate) at a time. Ideally, we would update the decision variable that yields the largest decrease in the cost function. However, f ...
NEURAL INFORMATION PROCESSING SYSTEMS (NIPS)2018