OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Ecole Nationale Supérieure de Techniques Avancées - ENSTA (FRANCE)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 27.

Alexandre Dit Sandretto, Julien and Chapoutot, Alexandre and Garion, Christophe and Thirioux, Xavier and Ziat, Ghiles Constraint-based Verification of Formation Control. (2021) In: 60th IEEE Conference on Decision and Control, 14 December 2021 - 17 December 2021 (Austin, United States).

Ziat, Ghiles and Mullier, Olivier and Sandretto, Julien Alexandre dit and Garion, Christophe and Chapoutot, Alexandre and Thirioux, Xavier Abstract domains for constraint programming with differential equations. (2020) In: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 17 November 2020 - 17 November 2020 (United States).

Van Ruymbeke, Bruno and Latrache, Noureddine and Gabillet, Céline and Colin, Catherine Defect-mediated turbulence in bubbly Taylor-Couette flow. (2020) Physical Review Fluids, 5 (3). 034302. ISSN 2469-990X

Plumet, Frédéric and Brière, Yves and Le Bars, Fabrice Les voiliers robotisés. (2018) In: Conception, modélisation et commande en robotique. Techniques de l'ingénieur, 1-23.

Puentes, Cristian and Joulia, Xavier and Paricaud, Patrice and Giampaoli, Pierre and Athès, Violaine and Esteban-Decloux, Martine Vapor–Liquid Equilibrium of Ethyl Lactate Highly Diluted in Ethanol–Water Mixtures at 101.3 kPa. Experimental Measurements and Thermodynamic Modeling Using Semiempirical Models. (2018) Journal of Chemical & Engineering Data, 63 (2). 365-379. ISSN 0021-9568

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Numerical program optimisation by automatic improvement of the accuracy of computations. (2018) International Journal of Intelligent Engineering Informatics, 6 (1/2). 115-145. ISSN 1758-8715

Mercier, Sylvain and Gratton, Serge and Tardieu, Nicolas and Vasseur, Xavier A new preconditioner update strategy for the solution of sequences of linear systems in structural mechanics: application to saddle point problems in elasticity. (2017) Computational Mechanics, 60 (6). 969-982. ISSN 0178-7675

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Improving the numerical accuracy of programs by automatic transformation. (2017) International Journal on Software Tools for Technology Transfer, 19. 427-448. ISSN 1433-2779

Cabalar, Pedro and Diéguez, Martín and Herzig, Andreas and Pearce, David A short biography of Luis Fariñas del Cerro. (2017) Journal of Applied Non-Classical Logics, 27 (3-4). 153-160. ISSN 1166-3081

Mercier, Sylvain and Gratton, Serge and Tardieu, Nicolas and Vasseur, Xavier Limited memory preconditioners for nonsymmetric systems. (2017) In: 13ème Colloque National en Calcul des Structures (CSMA 2017), 15 May 2017 - 19 May 2017 (Giens, France).

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Numerical Accuracy Improvement by Interprocedural Program Transformation. (2017) In: Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017), 12 June 2017 - 13 June 2017 (Sankt Goar, Germany).

Mougel, Jérôme and Doaré, Olivier and Michelin, Sébastien Synchronized flutter of two slender flags. (2016) Journal of Fluid Mechanics, 801. 652-669. ISSN 0022-1120

Ghasemi Hamed, Mohammad and Alligier, Richard and Gianazza, David High Confidence Intervals Applied to Aircraft Altitude Prediction. (2016) IEEE Transactions on Intelligent Transportation Systems, 17 (9). 2515-2527. ISSN 1524-9050

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Amélioration à la Compilation de la Précision de Programmes Numériques. (2016) In: Journées nationales du GDR Génie de la Programmation et du Logiciel, 7 June 2016 - 10 June 2016 (Besançon, France).

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Data-types optimization for floating-point formats by program transformation. (2016) In: International Conference on Control, Decision and Information Technologies (CoDIT 2016), 6 April 2016 - 8 April 2016 (Saint Julian's, Malta).

Hafidhi, Mohamed Mourad and Boutillon, Emmanuel and Dion, Arnaud Demo: Localisation in a faulty digital GPS receiver. (2016) In: Conference on Design and Architectures for Signal and Image Processing (DASIP 2016), 12 October 2016 - 14 October 2016 (Rennes, France).

Gratton, Serge and Mercier, Sylvain and Tardieu, Nicolas and Vasseur, Xavier Limited memory preconditioners for symmetric indefinite problems with application to structural mechanics. (2016) Numerical Linear Algebra with Applications, 23 (5). 865-887. ISSN 1070-5325

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Numerical Accuracy Improvement of Programs: Principles and Experiments. (2016) In: CGO '16: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 12 March 2016 - 18 March 2016 (Barcelona, Spain).

Shinde, Vilas and Longatte, Elisabeth and Baj, Franck and Hoarau, Yannick and Braza, Marianna A Galerkin-free model reduction approach for the Navier–Stokes equations. (2015) Journal of Computational Physics, 309. 148-163. ISSN 0021-9991

Baussard, Alexandre and Tourneret, Jean-Yves Bayesian parameter estimation for asymmetric power distributions. (2015) In: 23rd European Signal Processing Conference (EUSIPCO 2015), 31 August 2015 - 4 September 2015 (Nice, France).

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Transformation of a PID Controller for Numerical Accuracy. (2015) Electronic Notes in Theoretical Computer Science, 317. 47-54. ISSN 1571-0661

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Optimizing the accuracy of a rocket trajectory simulation by program transformation. (2015) In: Proceedings of the 12th ACM International Conference on Computing Frontiers (CF'15), 18 May 2015 - 21 May 2015 (Ischia, Italy).

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. (2015) In: Logic-Based Program Synthesis and Transformation - 25th International Symposium (LOPSTR 2015), 13 July 2015 - 15 July 2015 (Siena, Italy).

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Intra-procedural Optimization of the Numerical Accuracy of Programs. (2015) In: Formal Methods for Industrial Critical Systems - 20th International Workshop (FMICS 2015), 22 June 2015 - 23 June 2015 (Oslo, Norway).

Gaudel, Vincent and Plantec, Alain and Singhoff, Frank and Hugues, Jérôme and Dissaux, Pierre and Legrand, Jérôme Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets. (2013) In: IEEE International Symposium on Rapid System Prototyping, 3 October 2013 - 4 October 2013 (Montreal, Canada).

Aizier, Bruno and Lizy-Destrez, Stéphanie and Schneider, Charlotte and Chapurlat, Vincent and Prun, Daniel and Wippler, Jean-Luc xFFBD: towards a formal yet functional modeling language for system designers. (2012) Incose International Symposium, 22 (1). 170-183.

Haddar, Houssem and Li, Jing Rebeca and Matignon, Denis Efficient solution of a wave equation with fractional-order dissipative terms. (2010) Journal of Computational and Applied Mathematics, 2 (6). 2003-2010. ISSN 0377-0427

This list was generated on Mon Feb 26 17:49:56 2024 CET.