Linearized Coulomb Collision Operator for Simulation of Interpenetrating Plasma Streams
Publications associées (37)
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.
The connection between derivative operators and wavelets is well known. Here we generalize the concept by constructing multiresolution approximations and wavelet basis functions that act like Fourier multiplier operators. This construction follows from a s ...
This paper introduces Cloud9, a platform for automated testing of real-world software. Our main contribution is the scalable parallelization of symbolic execution on clusters of commodity hardware, to help cope with path explosion. Cloud9 provides a system ...
We show under general conditions that the linearized force-based quasicontinuum (QCF) operator has a real, positive spectrum. The spectrum is identical to that of the quasinon-local quasicontinuum (QNL) operator in the case of second-neighbor interactions. ...
End-user software is executed billions of times daily, but the corresponding execution details (“by-products”) are discarded. We hypothesize that, if suitably captured and aggregated, these by-products could substantially speed up the process of testing pr ...
This paper is concerned with the eigenvalue decay of the solution to operator Lyapunov equations with right-hand sides of finite rank. We show that the kth (generalized) eigenvalue decays exponentially in root k, provided that the involved operator A gener ...
In this paperwe obtain a global characterization of the dynamics of even solutions to the one-dimensional nonlinear Klein–Gordon (NLKG) equation on the line with focusing nonlinearity |u|p−1u, p > 5, provided their energy exceeds that of the ground state o ...
We introduce a generic convex energy functional that is suitable for both grayscale and vector-valued images. Our functional is based on the eigenvalues of the structure tensor, therefore it penalizes image variation at every point by taking into account t ...
The connection between derivative operators and wavelets is well known. Here we generalize the concept by constructing multiresolution approximations and wavelet basis functions that act like Fourier multiplier operators. This construction follows from a s ...
Traditional testing is inadequate for the complexity of modern cloud application software stacks. While the platform-as-a-service (PaaS) model has streamlined application development and deployment, its multiple abstraction layers and dependencies have mad ...
Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...