Buscar
-
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 -
Taking advantage of hybrid systems for sparse direct solvers via task-based runtimes
(2014-01-06)Rapport -
Probabilistic grammatical model for helix‐helix contact site classification
(Algorithms for Molecular Biology. vol. 8, n° 1, pp. 31, 2013)Article de revue -
Upwind residual discretization of enhanced Boussinesq equations for wave propagation over complex bathymetries
(Journal of Computational Physics. vol. 271, pp. 306-341, 2014)Article de revue -
Assessing the performance of energy-aware mappings
(Parallel Processing Letters. vol. 23, n° 2, 2013)Article de revue -
Development of a collision force model for ice impact within a level set method
Communication dans un congrès