TNC'18: BibTeX Entries

Volume

@proceedings{TNC'18,
  title     = {TNC'18. Trusted Numerical Computations},
  editor    = {Matthieu Martel and Nasrine Damouche and Julien Alexandre Dit Sandretto},
  series    = {Kalpa Publications in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  year      = {2018}}

Papers

@inproceedings{TNC'18:Policy_Iterations_Without_Selection,
  author    = {Assale Adje},
  title     = {Policy Iterations Without Selection Property},
  booktitle = {TNC'18. Trusted Numerical Computations},
  editor    = {Matthieu Martel and Nasrine Damouche and Julien Alexandre Dit Sandretto},
  series    = {Kalpa Publications in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/LNf8},
  doi       = {10.29007/9rn9},
  pages     = {1-10},
  year      = {2018}}


@inproceedings{TNC'18:Improving_Numerical_Accuracy_High,
  author    = {Farah Benmouhoub and Nasrine Damouche and Matthieu Martel},
  title     = {Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization},
  booktitle = {TNC'18. Trusted Numerical Computations},
  editor    = {Matthieu Martel and Nasrine Damouche and Julien Alexandre Dit Sandretto},
  series    = {Kalpa Publications in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/ctp1},
  doi       = {10.29007/tfls},
  pages     = {11-23},
  year      = {2018}}


@inproceedings{TNC'18:Toward_Synthesis_Gauss_Pivoting,
  author    = {Nacera Djehaf and Matthieu Martel and Mikaël Barboteu},
  title     = {Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems},
  booktitle = {TNC'18. Trusted Numerical Computations},
  editor    = {Matthieu Martel and Nasrine Damouche and Julien Alexandre Dit Sandretto},
  series    = {Kalpa Publications in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/G4H6},
  doi       = {10.29007/75kg},
  pages     = {24-37},
  year      = {2018}}


@inproceedings{TNC'18:Numerical_validation_quadruple_precision,
  author    = {Stef Graillat and Fabienne Jézéquel and Romain Picot and François Févotte and Bruno Lathuilière},
  title     = {Numerical validation in quadruple precision using stochastic arithmetic},
  booktitle = {TNC'18. Trusted Numerical Computations},
  editor    = {Matthieu Martel and Nasrine Damouche and Julien Alexandre Dit Sandretto},
  series    = {Kalpa Publications in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/lMs9},
  doi       = {10.29007/5c91},
  pages     = {38-53},
  year      = {2018}}


@inproceedings{TNC'18:Detecting_Unsolvability_Interval_Linear,
  author    = {Jaroslav Horáček and Jan Horáček and Milan Hladík},
  title     = {Detecting Unsolvability of Interval Linear Systems},
  booktitle = {TNC'18. Trusted Numerical Computations},
  editor    = {Matthieu Martel and Nasrine Damouche and Julien Alexandre Dit Sandretto},
  series    = {Kalpa Publications in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/ZNM2},
  doi       = {10.29007/ptx4},
  pages     = {54-69},
  year      = {2018}}


@inproceedings{TNC'18:Enhancing_monotonicity_checking_parametric,
  author    = {Iwona Skalna and Milan Hladík},
  title     = {Enhancing monotonicity checking in parametric interval linear systems},
  booktitle = {TNC'18. Trusted Numerical Computations},
  editor    = {Matthieu Martel and Nasrine Damouche and Julien Alexandre Dit Sandretto},
  series    = {Kalpa Publications in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/B8Cn},
  doi       = {10.29007/1vkp},
  pages     = {70-83},
  year      = {2018}}