TNC'18: Keyword Index

Keyword	Papers
$
$p$-solution	Enhancing monotonicity checking in parametric interval linear systems
a
Accuracy	Numerical validation in quadruple precision using stochastic arithmetic
approximated and guaranteed optimal solutions	Policy Iterations Without Selection Property
c
code synthesis	Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
Convergence Acceleration	Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
f
floating-point arithmetic	Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization Numerical validation in quadruple precision using stochastic arithmetic
full column rank	Detecting Unsolvability of Interval Linear Systems
g
Gauss pivoting	Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
h
High Performance Computing	Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
i
IEEE 754-2008 standard	Numerical validation in quadruple precision using stochastic arithmetic
ill-conditioning	Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
interval linear systems	Detecting Unsolvability of Interval Linear Systems
l
linear systems	Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
m
Mechanical problems	Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
monotonicity approach	Enhancing monotonicity checking in parametric interval linear systems
n
Numerical accuracy	Improving 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
numerical validation	Numerical validation in quadruple precision using stochastic arithmetic
p
parallel programs	Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
parametric interval linear systems	Enhancing monotonicity checking in parametric interval linear systems
Policy iterations	Policy Iterations Without Selection Property
q
Quadruple precision	Numerical validation in quadruple precision using stochastic arithmetic
r
rounding errors	Numerical validation in quadruple precision using stochastic arithmetic
s
Stochastic arithmetic	Numerical validation in quadruple precision using stochastic arithmetic
t
Transformation of program	Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
u
unsolvability	Detecting Unsolvability of Interval Linear Systems
unsolvability gap	Detecting Unsolvability of Interval Linear Systems
v
verification	Policy Iterations Without Selection Property