Accepted abstracts
Electronic version of Book of Abstracts of SCAN'2012
This list includes plenary lectures too.
-
Todor ANGELOV (Russia)
Solvability of systems of interval linear equations via the codifferential descent method -
Ekaterina AUER, Stefan KIEL (Germany)
Uses of verified methods for solving non-smooth initial value problems -
Tatyana AVERINA (Russia)
Verified solution of systems with random structure given by stochastic differential equations -
Fayruza BADRTDINOVA (Russia)
Interval of uncertainty in the solution of inverse problems of chemical kinetics -
Mamurjon BAZAROV, Lazizjon OTAKULOV, Kadir ASLONOV (Uzbekistan)
Software package for investigation of dynamic properties of control systems under interval uncertainty -
Irina BUROVA (Russia)
On constructing nonpolynomial spline formulas -
Michal CERNY, Miroslav RADA (Czech Republic)
On the OLS set in linear regression with interval data -
Alexandre CHAPOUTOT, Laurent-Stéphane DIDIER, Fanny VILLERS (France)
A statistical inference model for the dynamic range of LTI systems -
Alexandre CHAPOUTOT, Thibault HILAIRE, Philippe CHEVREL (France)
Interval-based robustness of linear parameterized filters -
Chin-Yun CHEN (Taiwan)
Acceleration of the computational convergence of extended interval Newton method for a special class of functions -
Chin-Yun CHEN (Taiwan)
Numerical comparison of some verified approaches for approximate integration -
Boris S. DOBRONETS, Olga A. POPOVA (Russia)
Numerical probabilistic analysis under aleatory and epistemic uncertainty -
Vladimir V. DOMBROVSKII, Elena V. CHAUSOVA (Russia)
Model predictive control of discrete linear systems with interval and stochastic uncertainties -
Thomas DÖTSCHEL, Andreas RAUH, Ekaterina AUER, Harald ASCHEMANN (Germany)
Numerical verification and experimental validation of sliding mode control design for uncertain thermal SOFC models -
Vadim S. DRONOV (Russia)
Limitations of complex interval Gauss-Seidel iterations -
Tomas DZETKULIC (Czech Republic)
Rigorous computation with function enclosures in Chebyshev basis -
Tomas DZETKULIC (Czech Republic)
Endpoint and midpoint interval representations — theoretical and computational comparison -
Pierre FORTIN, Mourad GOUICEM, Stef GRAILLAT (France)
Solving the Table Maker's Dilemma by reducing divergence on GPU -
Stepan GATILOV (Russia)
Efficient angle summation algorithm for point inclusion test and its robustness -
Alexander HARIN (Russia)
Subinterval analysis. First results -
Alexander HARIN (Russia)
Theorem of interval character of incomplete knowledge. Subinterval analysis of incomplete information -
Jennifer HARLOW, Raazesh SAINUDIIN (New Zealand), Warwick TUCKER (Sweden)
Arithmetic and algebra of mapped regular pavings -
Behnam HASHEMI (Iran)
Verified computation of symmetric solutions to continuous-time algebraic Riccati matrix equations -
Oliver HEIMLICH, Marco NEHMEIER, Jürgen WOLFF VON GUDENBERG (Germany)
Computing interval power functions -
Oliver HEIMLICH, Marco NEHMEIER, Jürgen WOLFF VON GUDENBERG (Germany)
Computing reverse interval power functions -
Milan HLADÍK (Czech Republic)
New directions in interval linear programming -
Jaroslav HORACEK, Milan HLADÍK (Czech Republic)
Computing enclosures of overdetermined interval linear systems -
Arnault IOUALALEN, Matthieu MARTEL (France)
Sardana: an automatic tool for numerical accuracy optimization -
Luc JAULIN (France)
Interval analysis and robotics -
Maksim KARPOV (Russia)
Using interval branch-and-prune algorithm for lightning protection systems design -
Masahide KASHIWAGI (Japan)
An algorithm to reduce the number of dummy variables in affine arithmetic -
Akitoshi KAWAMURA (Japan), Norbert MÜLLER, Carsten RÖSNICK, Martin ZIEGLER (Germany)
Uniform second-order polynomial-time computable operators and data structures for real analytic functions -
Ralph Baker KEARFOTT (USA)
On rigorous upper bounds to a global optimum -
Oleg KHAMISOV (Russia)
Bounding optimal value function in linear programming under interval uncertainty -
Stefan KIEL, Ekaterina AUER, Andreas RAUH (Germany)
An Environment for verified modeling and simulation of solid oxide fuel cells -
Olga KOSHELEVA, Vladik KREINOVICH (USA)
Use of Grothendieck's inequality in interval computations: quadratic terms are estimated accurately modulo a constant factor -
Elena KOSTOUSOVA (Russia)
On boundedness and unboundedness of polyhedral estimates for reachable sets of linear systems -
Walter KRÄMER (Germany)
Arbitrary precision real interval and complex interval computations -
Vladik KREINOVICH (USA)
Decision making under interval uncertainty -
Bartlomiej Jacek KUBICA (Poland)
Excluding regions using Sobol sequences in an interval branch-and-bound method -
Bartlomiej Jacek KUBICA, Adam WOZNIAK (Poland)
Interval methods for computing various refinements of Nash equilibria -
Sergey I. KUMKOV, Yuliya V. MIKUSHINA (Russia)
Interval approach to identification of parameters of experimental process model -
Olga KUPRIIANOVA, Christoph LAUTER (France)
The libieee754 compliance library for the IEEE 754-2008 standard -
Boris I. KVASOV (Russia)
Monotone and convex interpolation by weighted quadratic splines -
Anatoliy V. LAKEYEV (Russia)
On unboundedness of generalized solution sets for interval linear systems -
Christoph LAUTER, Valérie MÉNISSIER-MORAIN (France)
There's no reliable computing without reliable access to rounding modes -
Xuefeng LIU, Shin'ichi OISHI (Japan)
A framework of high precision eigenvalue estimation for selfadjoint elliptic differential operator -
Dmitry Yu. LYUDVIN, Sergey P. SHARY (Russia)
Comparisons of implementations of Rohn's modification in PPS-methods for interval linear systems -
Shinya MIYAJIMA (Japan)
Componentwise inclusion for solutions in least squares problems and underdetermined systems -
Shinya MIYAJIMA (Japan)
Verified computations for all generalized singular values -
Yurii MOLORODOV (Russia)
Information support of scientific symposia -
Sethy MONTAN, Jean-Marie CHESNEAUX, Christophe DENIS, Jean-Luc LAMOTTE (France)
Towards an efficient implementation of CADNA in the BLAS: example of the routine DgemmCADNA -
Yusuke MORIKURA, Katsuhisa OZAKI, Shin'ichi OISHI (Japan)
Verification methods for linear systems on a GPU -
Christophe MOUILLERON, Amine NAJAHI, Guillaume REVY (France)
Approach based on instruction selection for fast and certified code generation -
Dmitry NADEZHIN, Sergei ZHILIN (Russia)
JInterval library: principles, development, and perspectives -
Markus NEHER (Germany)
Verified integration of ODEs with Taylor models -
Sergey I. NOSKOV (Russia)
Searching solutions to the interval multi-criteria linear programming problem -
Takeshi OGITA (Japan)
Verified solutions of sparse linear systems -
Tomoaki OKAYAMA (Japan)
Error estimates with explicit constants for Sinc quadrature and Sinc indefinite integration over infinite intervals -
Nikolay OSKORBIN, Sergei ZHILIN (Russia)
On methodological foundations of interval analysis of empirical dependencies -
Katsuhisa OZAKI, Takeshi OGITA (Japan)
Performance comparison of accurate matrix multiplication -
Valentin N. PANOVSKIY (Russia)
Methods of interval global unconstrained optimization: software package -
Anatoly PANYUKOV (Russia)
Application of redundant positional notations for increasing of scalability arithmetic algorithms -
Anatoly PANYUKOV, Valentin GOLODOV (Russia)
Computing the best possible pseudo-solutions to interval linear systems of equations -
Valeriy PERMINOV (Russia)
Mathematical modeling of forest fire initiation, development and ecological consequences -
Evgenija D. POPOVA (Bulgaria)
Properties and estimations of parametric AE-solution sets -
Alexander PROLUBNIKOV (Russia)
An interval approach to the recognition of numerical matrices -
Maxim I. PUSHKAREV, Sergey A. GAIVORONSKY (Russia)
Maximizing stability degree of interval systems using coefficient method -
Andreas RAUH, Ekaterina AUER, Ramona WESTPHAL, Harald ASCHEMANN (Germany)
Exponential enclosure techniques for the computation of guaranteed state enclosures in ValEncIA-IVP -
Andreas RAUH, Luise SENKEL, Thomas DÖTSCHEL, Julia KERSTEN, Harald ASCHEMANN (Germany)
Interval methods for model-predictive control and sensitivity-based state estimation of solid oxide fuel cell systems -
Alexander RESHETNYAK, Andrei KULESHOV, Vladimir STARICHKOV (Russia)
On computer-aided proof of the correctness of non-polynomial oscillator realization of the generalized Verma module for non-linear superalgebras -
Siegfried M. RUMP (Germany)
Interval arithmetic over finitely many endpoints -
Gennady G. RYABOV, Vladimir A. SEROV (Russia)
The bijective coding in constructive world of Rnc -
Ilshat R. SALAKHOV, Olga G. KANTOR (Russia)
Estimation of model parameters -
Pavel SARAEV (Russia)
Interval pseudo-inverse matrices: computation and applications -
Alexander O. SAVCHENKO (Russia)
Calculation of potential and attraction force of an ellipsoid -
Kouta SEKINE, Akitoshi TAKAYASU, Shin'ichi OISHI (Japan)
A numerical verification method for solutions to systems of elliptic partial differential equations -
Konstantin K. SEMENOV, Gennady N. SOLOPCHENKO (Russia), Vladik KREINOVICH (USA)
Processing measurement uncertainty: from intervals and p-boxes to nested intervals -
Yaroslav D. SERGEYEV (Italy)
Deterministic global optimization using the Lipschitz condition -
Yaroslav D. SERGEYEV (Italy)
The Infinity Computer and numerical computations with infinite and infinitesimal numbers -
Christian SERVIN, Craig TWEEDIE, Aaron VELASCO (USA)
Towards a more realistic treatment of uncertainty in Earth and environmental sciences: beyond a simplified subdivision into interval and random components -
Irene A. SHARAYA (Russia)
Boundary intervals and visualization of AE-solution sets for interval system of linear equations -
Sergey P. SHARY, Nikita V. PANOV (Russia)
Randomized interval methods for global optimization -
Nikolay SHILOV (Russia)
Verified templates for design of combinatorial algorithms -
Semen I. SPIVAK (Russia)
Informativity of a experiment and uncertainty regions of model parameters -
Semen I. SPIVAK, Albina S. ISMAGILOVA (Russia)
Analysis of non-uniqueness of the solution of inverse problems in the presence of measurements errors -
Semen I. SPIVAK, Olga G. KANTOR (Russia)
Interval estimation of system dynamics model parameters -
Irina SURODINA, Ilya LABUTIN (Russia)
Algorithm for sparse approximate inverse preconditioners refinement in conjugate gradient method -
Akitoshi TAKAYASU, Shin'ichi OISHI (Japan)
Computer-assisted error analysis for second-order elliptic equations in divergence form -
Lev S. TEREKHOV, Andrey A. LAVRUKHIN (Russia)
On affinity of physical processes of computing and measurements -
Laurent THÉVENOUX, Matthieu MARTEL, Philippe LANGLOIS (France)
Automatic code transformation to optimize accuracy and speed in floating-point arithmetic -
Philippe THÉVENY, Nathalie REVOL (France)
Interval matrix multiplication on parallel architectures -
Naoya YAMANAKA, Shin'ichi OISHI (Japan)
Fast infimum-supremum interval operations for double-double arithmetic in rounding-to-nearest -
Ziyavidin YULDASHEV, Alimjan IBRAGIMOV, Shukhrat TADJIBAEV (Uzbekistan)
Interval interpolation polynomials for data with restricted oscillation amplitude -
Sergei ZHILIN (Russia)
ANOVA, ANCOVA and time trends modeling: solving statistical problems using interval analysis -
Vladimir ZHITNIKOV, Nataliya SHERYKHALINA, Sergey PORECHNY (Russia)
Repeated filtration of numerical results for reliable error estimation