TNC'18: Author Index

AuthorPapers
A
Adje, AssalePolicy Iterations Without Selection Property
B
Barboteu, MikaëlToward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
Benmouhoub, FarahImproving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
D
Damouche, NasrineImproving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
Djehaf, NaceraToward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
F
Févotte, FrançoisNumerical validation in quadruple precision using stochastic arithmetic
G
Graillat, StefNumerical validation in quadruple precision using stochastic arithmetic
H
Hladík, MilanDetecting Unsolvability of Interval Linear Systems
Enhancing monotonicity checking in parametric interval linear systems
Horáček, JanDetecting Unsolvability of Interval Linear Systems
Horáček, JaroslavDetecting Unsolvability of Interval Linear Systems
J
Jézéquel, FabienneNumerical validation in quadruple precision using stochastic arithmetic
L
Lathuilière, BrunoNumerical validation in quadruple precision using stochastic arithmetic
M
Martel, MatthieuImproving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
P
Picot, RomainNumerical validation in quadruple precision using stochastic arithmetic
S
Skalna, IwonaEnhancing monotonicity checking in parametric interval linear systems