Search - Université Toulouse 1 Capitole Access content directly

Filter your results

119 Results
Domains : info.info-na
Image document

A certificate-based approach to formally verified approximations

Florent Bréhard , Assia Mahboubi , Damien Pous
ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩
Conference papers hal-02088529v2
Image document

Sparse Wavelet Representations of Spatially Varying Blurring Operators

Paul Escande , Pierre Weiss
2014
Preprints, Working Papers, ... hal-00971549v6
Image document

The MOOD method in the three-dimensional case: Very-High-Order Finite Volume Method for Hyperbolic Systems.

Steven Diot , Raphaël Loubère , Stéphane Clain
2012
Preprints, Working Papers, ... hal-00764114v1
Image document

Fault Tolerant Implementation of Peer-to-Peer Distributed Iterative Algorithms

The Tung Nguyen , Didier El Baz
15th IEEE International Conference on Computational Science and Engineering, Dec 2012, Paphos, Cyprus. 9p., ⟨10.1109/ICCSE.2012.103⟩
Conference papers hal-01153169v1
Image document

La première preuve d'optimalité pour le cluster de Lennard-Jones à cinq atomes

Charlie Vanaret , Jean-Baptiste Gotteland , Nicolas Durand , Jean-Marc Alliot
Onzièmes Journées Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France
Conference papers hal-01168111v1

Accelerating scientific computations with mixed precision algorithms

Marc Baboulin , Alfredo Buttari , Jack J. Dongarra , Jakub Kurzak , Julie Langou et al.
Computer Physics Communications, 2009, 180 (12), pp.2526-2533. ⟨10.1016/j.cpc.2008.11.005⟩
Journal articles hal-02420940v1
Image document

Efficient computation of condition estimates for linear least squares problems

Marc Baboulin , Serge Gratton , Rémi Lacroix , Alan J. Laub
[Research Report] RR-8065, INRIA. 2012, pp.15
Reports hal-00731136v2

Guest Editor's Introduction: Special Section on Green Computing in Internet of Things

Haijun Zhang , Didier El Baz , Victor C. M. Leung
IEEE Transactions on Emerging Topics in Computing, 2020, 8 (3), pp.750-751. ⟨10.1109/TETC.2020.2999237⟩
Journal articles hal-02960835v1
Image document

An online Minorization-Maximization algorithm

Hien Duy Nguyen , Florence Forbes , Gersende Fort , Olivier Cappé
17th Conference of the International Federation of Classification Societies, Jul 2022, Porto, Portugal
Conference papers hal-03542180v1

Using Mixed Precision for Sparse Matrix Computations to Enhance the Performance while Achieving 64-bit Accuracy

Alfredo Buttari , Jack J. Dongarra , Jakub Kurzak , Piotr Luszczek , Stanimir Tomov et al.
ACM Transactions on Mathematical Software, 2008, 34 (4), pp.1-22. ⟨10.1145/1377596.1377597⟩
Journal articles hal-02421028v1
Image document

Towards a Meta-analysis-based User Assistant for Analysis Processes

William Raynaut , Julien Aligon , Philippe Roussille , Chantal Soulé-Dupuy , Nathalie Vallès-Parlangeau et al.
11th International Conference on Computer Science and Information Technology (CSIT 2017), Sep 2017, Yerevan, Armenia. pp.63-66
Conference papers hal-02559799v1
Image document

Exponential decay for the growth-fragmentation/cell-division equation

Philippe Laurençot , Benoît Perthame
Communications in Mathematical Sciences, 2009, 7 (2), p. 503-510. ⟨10.4310/CMS.2009.v7.n2.a12⟩
Journal articles hal-00387408v1
Image document

Does 3D frequency-domain FWI of full-azimuth/long-offset OBN data feasible? The Gorgon case study

S. Operto , Patrick Amestoy , Hossein Aghamiry , Stephen Beller , Alfredo Buttari et al.
2023
Preprints, Working Papers, ... hal-03922986v1
Image document

Numerical convergence of a parameterisation method for the solution of a highly anisotropic two-dimensional elliptic problem.

Philippe Guillaume , Vladimir Latocha
Journal of Scientific Computing, 2005, 25, pp.3, 423-444
Journal articles hal-00092918v1
Image document

Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle

Florent Bréhard
Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN032⟩
Theses tel-02337901v1
Image document

Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report

Costas D. Koutras , Konstantinos Liaskos , Christos Moyzes , Christos Rantsoudis
16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Oct 2018, Tempe, Arizona, United States. pp.267-276
Conference papers hal-03623002v1
Image document

Parallelization of subdomain methods with overlapping for linear and nonlinear convection-diffusion problems

Pierre Spiteri , Ronan Guivarch , Didier El Baz , Chau Ming
11-th International Conference on Parallel, Distributed and Network based Processing, Feb 2003, Gennes, Italy. pp.341-348, ⟨10.1109/EMPDP.2003.1183609⟩
Conference papers hal-01153602v1
Image document

First spacecraft demise workshop - Test case description and results

Martin Spel , Vincent Rivola , Bastien Plazolles
8th European Symposium on Aerothermodynamics for Space Vehicles, Mar 2015, Lisbonne, Portugal. 8p
Conference papers hal-02175370v1

Keynote speech: Parallel and distributed computing issues in cyber-physical systems and the fourth industrial revolution

Didier El Baz
Fourth International Scientific School Incident Management and Countering Targeted Cyber-Physical Attacks in distributed large-scale critical systems (IM & CTCPA 2018), Igor Kotenko, Oct 2018, Saint-Petersbourg, Russia
Conference papers hal-02112607v1
Image document

Efficient parallelization for 3D-3V sparse grid Particle-In-Cell: shared memory systems architectures

Fabrice Deluzet , Gwenael Fubiani , Laurent Garrigues , Clément Guillet , Jacek Narski et al.
Journal of Computational Physics, 2023, 480, pp.112022. ⟨10.1016/j.jcp.2023.112022⟩
Journal articles hal-03773216v1
Image document

Les indicateurs structurels d'un graphe: calculs, visualisation, interactivité

Brigitte Gay , Bernard Dousset , Radwen Wanassi
5ème séminaire de Veille Stratégique Scientifique & Technologique (VSST 2013), Oct 2013, Nancy, France. pp.0
Conference papers hal-02639447v1

Hybridization of evolutionary algorithms and interval-based methods for optimizing difficult problems (BFG 2015)

Charlie Vanaret , Jean-Baptiste Gotteland , Nicolas Durand , Jean-Marc Alliot
17th British-French-German Conference on Optimization (BFG 2015), Department of Computing, Imperial College London; Centre for Process Systems Engineering, Imperial College London; Imperial College Business School, Jun 2015, Londres, Royaume-Uni
Conference papers hal-03193120v1

The Small Octagons of MaximalWidth

Charles Audet , Pierre Hansen , Frédéric Messine , Jordan Ninin
Discrete and Computational Geometry, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩
Journal articles hal-00847250v1
Image document

A Contractor Based on Convex Interval Taylor

Ignacio Araya , Gilles Trombettoni , Bertrand Neveu
[Research Report] RR-7887, INRIA. 2012, pp.23
Reports hal-00673447v1
Image document

Physically-constrained data-driven inversions to infer the bed topography beneath glaciers flows. Application to East Antarctica

Jérôme Monnier , Jiamin Zhu
Computational Geosciences, 2021, 25 (5), pp.1793-1819. ⟨10.1007/s10596-021-10070-1⟩
Journal articles hal-01926620v4
Image document

A merit function approach for direct search

Serge Gratton , Luis Vicente
SIAM Journal on Optimization, 2014, 24 (4), pp.1980-1998. ⟨10.1137/130917661⟩
Journal articles hal-03519555v1
Image document

A fuzzy multi attribute decision framework with integration of QFD and grey relational analysis

Morteza Yazdani , Cengiz Kahraman , Pascale Zaraté , Sezi Cevik Onar
Expert Systems with Applications, 2019, 115, pp.474-485. ⟨10.1016/j.eswa.2018.08.017⟩
Journal articles hal-02484226v1
Image document

Adversarial attacks via backward error analysis

Théo Beuzeville , Pierre Boudier , Alfredo Buttari , Serge Gratton , Théo Mary et al.
2021
Preprints, Working Papers, ... hal-03296180v3
Image document

Contributions en mathématiques de l'imagerie

Pierre Weiss
Analyse numérique [math.NA]. Université toulouse 3 Paul Sabatier, 2019
Habilitation à diriger des recherches tel-02309309v1
Image document

SPATIALLY VARYING BLUR RECOVERY. Diagonal Approximations in the Wavelet Domain

Paul Escande , Pierre Weiss , François Malgouyres
2012
Reports hal-00733194v2