Recherche
-
Specimens: "most of" generic NPs in a contextually flexible type theory
Communication dans un congrès -
Semi-intrusive and non-intrusive stochastic methods for aerospace applications
Communication dans un congrès -
Automated Code Generation for Lattice Quantum Chromodynamics and beyond
Communication dans un congrès -
Development of a collision force model for ice impact within a level set method
Communication dans un congrès -
Implementation of FEM Application on GPU with StarPU
Communication dans un congrès -
High order preserving residual distribution schemes for the laminar and turbulent Navier Stokes on arbitrary grids
Communication dans un congrès -
Efficient Exploration of Anonymous Undirected Graphs
Communication dans un congrès -
High Performance Code Generation for Stencil Computation on Heterogeneous Multi-device Architectures
Communication dans un congrès