首页>外文会议>其他>International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics

International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Tight Bounds on the Radius of Nonsingularity

机译：无缠结半径的紧张界限
- 作者：David Hartman;Milan Hladik
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Radius of nonsingularity;
- Bounds;
- Semidefinite programming;
2.Interval Regularization Approach to the Firordt Method of the Spectrophotometric Analysis of the Non-separated Mixtures

机译：非分离混合物分光光度分析的Firordt方法的间隔正则化方法
- 作者：Valentin Golodov
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- System of linear equations;
- Interval uncertainty;
- Interval regularization;
- Firordt method;
- Exact computations;
3.Replacing Branches by Polynomials in Vectorizable Elementary Functions

机译：用多项式更换分支，在矢量化基本功能中
- 作者：Olga Kupriianova;Christoph Lauter
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Mathematical functions;
- Branching;
- Vectorizable code;
- Interpolation;
- Reconstruction;
4.Convergence and Inclusion Isotonicity of the Tensorial Rational Bernstein Form

机译：趋势伯恩斯坦形式趋势和包涵体的融合和包容性
- 作者：Jurgen Garloff;Tareq Hamadneh
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Bernstein polynomial;
- Rational function;
- Range bounding;
5.Efficiency of Reproducible Level 1 BLAS

机译：可重复级别1 BLA的效率
- 作者：Chemseddine Chohra;Philippe Langlois;David Parello
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
6.Outer Bounds for the Parametric Controllable Solution Set with Linear Shape

机译：用于线性形状的参数控制解决方案的外界
- 作者：Evgenija D. Popova
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Interval linear systems;
- Parameter dependencies;
- AE-solution set;
- Controllable solution set;
- Solution enclosure;
- Iteration method;
7.Curve Veering for the Parameter-dependent Clamped Plate

机译：曲线为参数依赖夹板转向
- 作者：Henning Behnke
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
8.Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues

机译：多个共轭复杂特征值的初始值问题的指数外壳技术
- 作者：Andreas Rauh;Ramona Westphal;Harald Aschemann;Ekaterina Auer
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Ordinary differential equations;
- Initial value problems;
- Complex interval arithmetic;
- VALENCIA-IVP;
9.Bibliography of Prof. Walter Kramer

机译：沃尔特克拉默教授的参考书目
- 作者：Werner Hofschuster;Evgenija D. Popova;Ralph Baker Kearfott
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
10.Optimal Preconditioning for the Interval Parametric Gauss-Seidel Method

机译：间隔参数高斯-Seidel方法的最佳预处理
- 作者：Milan Hladik
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Interval computation;
- Interval parametric system;
- Preconditioner;
- Linear programming;
11.Hausdorff Continuous Interval Functions and Approximations

机译：Hausdorff连续间隔功能和近似值
- 作者：Roumen Anguelov;Svetoslav Markov
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
12.How Much for an Interval? a Set? a Twin Set? a p-Box? A Kaucher Interval? Towards an Economics-Motivated Approach to Decision Making Under Uncertainty

机译：间隔多少钱？一套？一套双胞胎套装？一个p-box？ Kaucher间隔？朝着不确定性下的经济学激励方法
- 作者：Joe Lorkowski;Vladik Kreinovich
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Decision making;
- Interval uncertainty;
- Set uncertainty;
- P-box;
13.Numerical Verification for Elliptic Boundary Value Problem with Nonconforming P_1 Finite Elements

机译：不合格P_1有限元椭圆边值问题的数值验证
- 作者：Tomoki Uda
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Nakao's method;
- Numerical verification;
- Elliptic boundary value problem;
- Nonconforming P_1 finite element;
14.Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides

机译：具有非平滑右侧的动态系统的验证参数识别
- 作者：Andreas Rauh;Luise Senkel;Harald Aschemann
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
15.Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators

机译：关于反线性椭圆算子严格估计的一些评论
- 作者：Takehiko Kinoshita;Yoshitaka Watanabe;Mitsuhiro T. Nakao
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
16.Numerical Probabilistic Approach for Optimization Problems

机译：优化问题的数值概率方法
- 作者：Boris Dobronets;Olga Popova
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
17.Reproducible and Accurate Matrix Multiplication

机译：可重复和准确的矩阵乘法
- 作者：Roman Iakymchuk;David Defour;Sylvain Collange;Stef Graillat
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Matrix multiplication;
- Reproducibility;
- Accuracy;
- Kulisch long accumulator;
- Error-free transformation;
- Floating-point expansion;
- Rounding-to-nearest;
- GPUs;
18.Towards the Possibility of Objective Interval Uncertainty

机译：朝着客观间隔不确定性的可能性
- 作者：Luc Longpre;Olga Kosheleva;Vladik Kreinovich
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Interval uncertainty;
- Algorithmic randomness;
- Physics;
19.The Bernstein Branch-and-Bound Unconstrained Global Optimization Algorithm for MINLP Problems

机译：伯尔斯坦分支和绑定的MINLP问题的非束缚全局优化算法
- 作者：Bhagyesh V. Patil;P. S. V. Nataraj
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
20.The Forthcoming IEEE Standard 1788 for Interval Arithmetic

机译：即将举行的IEEE标准1788用于间隔算术
- 作者：John Pryce
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
21.Computing Capture Tubes

机译：计算捕获管
- 作者：Luc Jaulin;Daniel Lopez;Vincent Le Doze;Stephane Le Menec;Jordan Ninin;Gilles Chabert;Mohamed Saad Ibnseddik;Alexandru Stancu
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Capture tube;
- Contractors;
- Interval arithmetic;
- Robotics;
- Stability;
22.Sliding Mode Approaches Considering Uncertainty for Reliable Control and Computation of Confidence Regions in State and Parameter Estimation

机译：考虑状态和参数估计中置信区的不确定性的滑动模式方法
- 作者：Luise Senkel;Andreas Rauh;Harald Aschemann
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Sliding mode techniques;
- Uncertainty;
- Interval arithmetics;
23.Reserve of Characteristic Inclusion as Recognizing Functional for Interval Linear Systems

机译：特征夹杂物作为识别间隔线性系统功能
- 作者：Irene A. Sharaya;Sergey P. Shary
- 会议名称：《International Symposium on Scientiﬁcomputing, Computer Arithmetic, and Validated Numerics》 | 2016年
- Interval linear system;
- AE-solutions;
- Quantifier solutions;
- Solution set;
- Characteristic inclusion;
- Reserve;
- Recognizing functional;