Alain Miniussi

14
Documents

Publications

Publications

Deposit thumbnail

On inertial forces (indirect terms) in problems with a central body

Aurélien Crida , Clément Baruteau , Philippine Griveaud , Elena Lega , Frédéric Masset et al.

Open Journal of Astrophysics, 2025, 8, ⟨10.33232/001c.141682⟩

Article dans une revue hal-05138211v1
Deposit thumbnail

On the role of density and attenuation in three-dimensional multiparameter viscoacoustic VTI frequency-domain FWI: an OBC case study from the North Sea

S. Operto , A. Miniussi

Geophysical Journal International, 2018, 213 (3), pp.2037 - 2059. ⟨10.1093/gji/ggy103⟩

Article dans une revue hal-01852750v1

Fast 3D frequency-domain full waveform inversion with a parallel Block Low-Rank multifrontal direct solver: application to OBC data from the North Sea

Patrick Amestoy , Romain Brossier , Alfredo Buttari , Jean-Yves L'Excellent , Théo Mary et al.

Geophysics, 2016, 81 (6), pp.R363-R383. ⟨10.1190/geo2016-0052.1⟩

Article dans une revue hal-01349119v1
Deposit thumbnail

TOMO3D: 3-D joint refraction and reflection traveltime tomography parallel code for active-source seismic data—synthetic test

A. Meléndez , J. Korenaga , V. Sallarès , A. Miniussi , C.R. Ranero

Geophysical Journal International, 2015, 203 (1), pp.158-174. ⟨10.1093/gji/ggv292⟩

Article dans une revue hal-02372245v1
Deposit thumbnail

Efficient 3-D frequency-domain mono-parameter full-waveform inversion of ocean-bottom cable data: application to Valhall in the visco-acoustic vertical transverse isotropic approximation

Stéphane Operto , Alain Miniussi , Romain Brossier , Laure Combe , Ludovic Métivier et al.

Geophysical Journal International, 2015, 202 (2), pp.1362-1391. ⟨10.1093/gji/ggv226⟩

Article dans une revue hal-02009486v1

Squeezing Intermediate Construction in Equational Programs

Alain Miniussi , David James Sherman

Lecture Notes in Computer Science, 1996, 1110, pp.284 -302

Article dans une revue hal-00389564v1

Improving Arithmetic Performance using Fine-Grain Unfolding

Timo Metzemakers , Alain Miniussi , David James Sherman , Robert Strandh

Lecture Notes in Computer Science, 1994, pp.324 - 339

Article dans une revue hal-00389567v1

The Semantics of Musical Hierarchies

Barbar Kablan , Myriam Desainte-Catherine , Alain Miniussi

Computer Music Journal, 1993, 17 (4), pp.30-37

Article dans une revue hal-00389560v1

Efficient 3D Frequency-domain Full-waveform Inversion of Ocean-bottom Cable Data - Application to Valhall in the Visco-ac

Stéphane Operto , Alain Miniussi , Romain Brossier , Laure Combe , N. Haller et al.

77th EAGE Conference and Exhibition 2015, Jun 2015, Madrid, Spain. ⟨10.3997/2214-4609.201413200⟩

Communication dans un congrès hal-02009481v1

3D frequency-domain seismic modeling with a Parallel BLR multifrontal direct solver

Patrick Amestoy , Romain Brossier , Alfredo Buttari , Jean-Yves L'Excellent , Théo Mary et al.

SEG Annual meeting, Oct 2015, New Orleans, United States. pp.3606-3611

Communication dans un congrès hal-01237869v1

Efficient 3D frequency-domain full-waveform inversion of ocean-bottom cable data with sparse block low-rank direct solver: a real data case study from the North Sea

Patrick Amestoy , Romain Brossier , Alfredo Buttari , Jean-Yves L'Excellent , Théo Mary et al.

SEG Annual meeting, Oct 2015, New Orleans, United States. pp.1303-1308, ⟨10.1190/segam2015-5713962.1⟩

Communication dans un congrès hal-01239896v1

Data-driven layer-stripping strategy in 3-D joint refraction and reflection travel-time tomography with TOMO3D

Adrià Meléndez , Jun Korenaga , Valentí Sallarès , A. Miniussi , César Ranero

EGU General Assembly, Apr 2015, Vienna, Austria

Communication dans un congrès hal-02372651v1

TOMO3D: new 3-D joint refraction and reflection travel-time tomography parallel code for active-source seismic data - synthetic tests

A. Miniussi , Adrià Meléndez , Jun Korenaga , Valenti Sallarès , César Ranero et al.

16TH SEISMIX International Symposium on Multi-scale Seismic Imaging of the Earth's crust and Upper Mantle., Oct 2014, Barcelonna, Spain

Communication dans un congrès hal-02372689v1

An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems

Alain Miniussi , Robert Strandh

APPIA-GULP-PRODE, Jun 1997, France. pp.445-456

Communication dans un congrès hal-00389566v1