33979 articles – 26791 Notices  [english version]
.:. Consultation > Par type de document > Communications sans actes .:.
1966 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Fourth order energy-preserving locally implicit discretization for linear wave equations
Chabassier J., Imperiale S.
Dans Franco-Russian workshop on mathematical geophysics (2014) [hal-01051807 - version 1]
Interactive Join Query Inference with JIM
Bonifati A., Ciucanu R., Staworko S.
Dans Gestion de Données - Principes, Technologies et Applications (BDA) (2014) [hal-01052789 - version 1]
Interactive Inference of Join Queries
Bonifati A., Ciucanu R., Staworko S.
Dans Gestion de Données - Principes, Technologies et Applications (BDA) (2014) [hal-01052764 - version 1]
Absorbing Boundary Conditions for Tilted Transverse Isotropic elastic media
Boillot L., Barucq H., Diaz J., Calandra H.
Dans ECCOMAS, WCCM XI - ECCM V - ECFD VI (2014) [hal-01057581 - version 1]
fulltext access Nested dissection with balanced halo
Casadei A., Ramet P., Roman J.
Dans Sixth SIAM Workshop on Combinatorial Scientific Computing (2014) [hal-00987099 - version 1]
Toward parallel scalable linear solvers suited for large scale hierarchical parallel platforms
Agullo E., Faverge M., Giraud L., Guermouche A., Ramet P., Roman J.
Dans WCCM-ECCM-ECFD (2014) [hal-00987110 - version 1]
fulltext access Application of a Vortex Penalization Method in Solid-Porous-Fluid Media to Passive Flow Control
Mimeau C., Mortazavi I., Cottet G.-H.
Dans ICCFD8 - 8th International Conference on Computational Fluid Dynamics (2014) [hal-00983503 - version 1]
fulltext access Using small scale automation to improve both accessibility and readability of formal proofs in geometry
Boutry P., Narboux J., Schreck P., Braun G.
Dans Automated Deduction in Geometry 2014 (2014) 1-19 [hal-00989781 - version 2]
fulltext access A short note about case distinctions in Tarski's geometry
Boutry P., Narboux J., Schreck P., Braun G.
Dans Automated Deduction in Geometry 2014 (2014) 1-15 [hal-00989785 - version 2]
Abstract Accountability Language
Benghabrit W., Grall H., Royer J.-C., Sellami M., Bernsmed K., Santana De Oliveira A.
Dans IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management (2014) [hal-00973399 - version 1]