A methodology for the rigorous verification of plasma simulation codes
Publications associées (45)
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
Recently there has been a growing interest in designing efficient methods for the solution of ordinary/ partial differential equations with random inputs. To this end, stochastic Galerkin methods appear to be superior to other nonsampling methods and, in m ...
A numerical method for the simulation of the motion of a glacier in two and three dimensions is presented. Glacier ice is treated as an incompressible viscous fluid. The model equations are based on mass, momentum, energy conservation and a specific rheolo ...
We present a numerical study of noise correlations, i.e., density-density correlations in momentum space, in the extended fermionic Hubbard model in one dimension. In experiments with ultracold atoms, these noise correlations can be extracted from time-of- ...
In this thesis we address the numerical approximation of the incompressible Navier-Stokes equations evolving in a moving domain with the spectral element method and high order time integrators. First, we present the spectral element method and the basic to ...
We present a cryptographically t-private protocol for electronic auctions whose low resource demands make it viable for practical use. Our construction is based on Yao's garbled circuits and pseudorandom number generators (PRNGs). Our protocol involves a f ...
The mechanical design of hydraulic turbines is conditioned by the dynamic response of the runner that is usually estimated by a computational model. Nevertheless, the runner has complex boundary conditions that are difficult to include in the computational ...
International Association For Hydraulic Research2006
Series of Pseudo Random Numbers are often used as simulation input, and they strongly Influence the results. Thus, their usage and the usage of their generator need to be taken care of very well. Qualified generators are available on the web as source code ...
Soc Computer Simulation Int, Po Box 17900, San Diego, Ca 92177 Usa2008
Starting from from a high-order local nonreflecting boundary condition (NBC) for single scattering [25], we derive a local NBC for time-dependent multiple scattering problems in three space dimensions, which is completely local both in space and time. To d ...
A numerical approach, named TransChlor, is proposed to simulate transport phenomena of various substances in concrete. This approach is a theoretical model based on finite elements and finite differences methods. The model consists of coupled nonlinear par ...
The numerical analysis of a dynamic constrained optimization problem is presented. It consists of a global minimization problem that is coupled with a system of ordinary differential equations. The activation and the deactivation of inequality constraints ...