Search
-
Langue des signes et schémas
(Revue TAL : traitement automatique des langues. vol. 48, n° 3, pp. 205--229, 2007)Article de revue -
Intensional Models for the Theory of Types
(The Journal of Symbolic Logic. vol. 72, n° 1, pp. 98--118, 2007)Article de revue -
Separating Syntax and Combinatorics in Categorial Grammar
(Research on Language and Computation. vol. 5, n° 3, pp. 267--285, 2007)Article de revue -
Meta-communications in Component-base Communication Frameworks for Grids
(Cluster Computing. vol. 10, n° 3, pp. 253-263, 2007-06)Article de revue -
On the numerical approximation on first-order Hamilton-Jacobi equations
(International Journal of Applied Mathematics and Computer Science. vol. 17, n° 3, 2007)Article de revue -
A Lagrangian scheme for multidimensional compressible flow problems.
(SIAM Journal on Scientific Computing. vol. 29, 2007)Article de revue -
Multifluid numerical approximations based on multipressure formulation
(Computers and Fluids. vol. 36, n° 2, pp. 467--479, 2007)Article de revue -
The effect of interfacial pressure in the discrete-equation multiphase model
(Computers and Fluids. vol. 36, n° 4, pp. 742--757, 2007)Article de revue -
Application of conservative residual distribution schemes to the solution of the shallow water equations on unstructured meshes
(Journal of Computational Physics. vol. 222, n° 1, pp. 287-331, 2007)Article de revue -
Spanners for Bounded Tree-Length Graphs
(Theoretical Computer Science. vol. 383, n° 1, pp. 34-44, 2007-09)Article de revue