Accepted abstracts

Electronic version of Book of Abstracts of SCAN'2012

This list includes plenary lectures too.

1. Todor ANGELOV (Russia)
   Solvability of systems of interval linear equations via the codifferential descent method
2. Ekaterina AUER, Stefan KIEL (Germany)
   Uses of verified methods for solving non-smooth initial value problems
3. Tatyana AVERINA (Russia)
   Verified solution of systems with random structure given by stochastic differential equations
4. Fayruza BADRTDINOVA (Russia)
   Interval of uncertainty in the solution of inverse problems of chemical kinetics
5. Mamurjon BAZAROV, Lazizjon OTAKULOV, Kadir ASLONOV (Uzbekistan)
   Software package for investigation of dynamic properties of control systems under interval uncertainty
6. Irina BUROVA (Russia)
   On constructing nonpolynomial spline formulas
7. Michal CERNY, Miroslav RADA (Czech Republic)
   On the OLS set in linear regression with interval data
8. Alexandre CHAPOUTOT, Laurent-Stéphane DIDIER, Fanny VILLERS (France)
   A statistical inference model for the dynamic range of LTI systems
9. Alexandre CHAPOUTOT, Thibault HILAIRE, Philippe CHEVREL (France)
   Interval-based robustness of linear parameterized filters
10. Chin-Yun CHEN (Taiwan)
    Acceleration of the computational convergence of extended interval Newton method for a special class of functions
11. Chin-Yun CHEN (Taiwan)
    Numerical comparison of some verified approaches for approximate integration
12. Boris S. DOBRONETS, Olga A. POPOVA (Russia)
    Numerical probabilistic analysis under aleatory and epistemic uncertainty
13. Vladimir V. DOMBROVSKII, Elena V. CHAUSOVA (Russia)
    Model predictive control of discrete linear systems with interval and stochastic uncertainties
14. 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
15. Vadim S. DRONOV (Russia)
    Limitations of complex interval Gauss-Seidel iterations
16. Tomas DZETKULIC (Czech Republic)
    Rigorous computation with function enclosures in Chebyshev basis
17. Tomas DZETKULIC (Czech Republic)
    Endpoint and midpoint interval representations — theoretical and computational comparison
18. Pierre FORTIN, Mourad GOUICEM, Stef GRAILLAT (France)
    Solving the Table Maker's Dilemma by reducing divergence on GPU
19. Stepan GATILOV (Russia)
    Efficient angle summation algorithm for point inclusion test and its robustness
20. Alexander HARIN (Russia)
    Subinterval analysis. First results
21. Alexander HARIN (Russia)
    Theorem of interval character of incomplete knowledge. Subinterval analysis of incomplete information
22. Jennifer HARLOW, Raazesh SAINUDIIN (New Zealand), Warwick TUCKER (Sweden)
    Arithmetic and algebra of mapped regular pavings
23. Behnam HASHEMI (Iran)
    Verified computation of symmetric solutions to continuous-time algebraic Riccati matrix equations
24. Oliver HEIMLICH, Marco NEHMEIER, Jürgen WOLFF VON GUDENBERG (Germany)
    Computing interval power functions
25. Oliver HEIMLICH, Marco NEHMEIER, Jürgen WOLFF VON GUDENBERG (Germany)
    Computing reverse interval power functions
26. Milan HLADÍK (Czech Republic)
    New directions in interval linear programming
27. Jaroslav HORACEK, Milan HLADÍK (Czech Republic)
    Computing enclosures of overdetermined interval linear systems
28. Arnault IOUALALEN, Matthieu MARTEL (France)
    Sardana: an automatic tool for numerical accuracy optimization
29. Luc JAULIN (France)
    Interval analysis and robotics
30. Maksim KARPOV (Russia)
    Using interval branch-and-prune algorithm for lightning protection systems design
31. Masahide KASHIWAGI (Japan)
    An algorithm to reduce the number of dummy variables in affine arithmetic
32. 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
33. Ralph Baker KEARFOTT (USA)
    On rigorous upper bounds to a global optimum
34. Oleg KHAMISOV (Russia)
    Bounding optimal value function in linear programming under interval uncertainty
35. Stefan KIEL, Ekaterina AUER, Andreas RAUH (Germany)
    An Environment for verified modeling and simulation of solid oxide fuel cells
36. Olga KOSHELEVA, Vladik KREINOVICH (USA)
    Use of Grothendieck's inequality in interval computations: quadratic terms are estimated accurately modulo a constant factor
37. Elena KOSTOUSOVA (Russia)
    On boundedness and unboundedness of polyhedral estimates for reachable sets of linear systems
38. Walter KRÄMER (Germany)
    Arbitrary precision real interval and complex interval computations
39. Vladik KREINOVICH (USA)
    Decision making under interval uncertainty
40. Bartlomiej Jacek KUBICA (Poland)
    Excluding regions using Sobol sequences in an interval branch-and-bound method
41. Bartlomiej Jacek KUBICA, Adam WOZNIAK (Poland)
    Interval methods for computing various refinements of Nash equilibria
42. Sergey I. KUMKOV, Yuliya V. MIKUSHINA (Russia)
    Interval approach to identification of parameters of experimental process model
43. Olga KUPRIIANOVA, Christoph LAUTER (France)
    The libieee754 compliance library for the IEEE 754-2008 standard
44. Boris I. KVASOV (Russia)
    Monotone and convex interpolation by weighted quadratic splines
45. Anatoliy V. LAKEYEV (Russia)
    On unboundedness of generalized solution sets for interval linear systems
46. Christoph LAUTER, Valérie MÉNISSIER-MORAIN (France)
    There's no reliable computing without reliable access to rounding modes
47. Xuefeng LIU, Shin'ichi OISHI (Japan)
    A framework of high precision eigenvalue estimation for selfadjoint elliptic differential operator
48. Dmitry Yu. LYUDVIN, Sergey P. SHARY (Russia)
    Comparisons of implementations of Rohn's modification in PPS-methods for interval linear systems
49. Shinya MIYAJIMA (Japan)
    Componentwise inclusion for solutions in least squares problems and underdetermined systems
50. Shinya MIYAJIMA (Japan)
    Verified computations for all generalized singular values
51. Yurii MOLORODOV (Russia)
    Information support of scientific symposia
52. 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
53. Yusuke MORIKURA, Katsuhisa OZAKI, Shin'ichi OISHI (Japan)
    Verification methods for linear systems on a GPU
54. Christophe MOUILLERON, Amine NAJAHI, Guillaume REVY (France)
    Approach based on instruction selection for fast and certified code generation
55. Dmitry NADEZHIN, Sergei ZHILIN (Russia)
    JInterval library: principles, development, and perspectives
56. Markus NEHER (Germany)
    Verified integration of ODEs with Taylor models
57. Sergey I. NOSKOV (Russia)
    Searching solutions to the interval multi-criteria linear programming problem
58. Takeshi OGITA (Japan)
    Verified solutions of sparse linear systems
59. Tomoaki OKAYAMA (Japan)
    Error estimates with explicit constants for Sinc quadrature and Sinc indefinite integration over infinite intervals
60. Nikolay OSKORBIN, Sergei ZHILIN (Russia)
    On methodological foundations of interval analysis of empirical dependencies
61. Katsuhisa OZAKI, Takeshi OGITA (Japan)
    Performance comparison of accurate matrix multiplication
62. Valentin N. PANOVSKIY (Russia)
    Methods of interval global unconstrained optimization: software package
63. Anatoly PANYUKOV (Russia)
    Application of redundant positional notations for increasing of scalability arithmetic algorithms
64. Anatoly PANYUKOV, Valentin GOLODOV (Russia)
    Computing the best possible pseudo-solutions to interval linear systems of equations
65. Valeriy PERMINOV (Russia)
    Mathematical modeling of forest fire initiation, development and ecological consequences
66. Evgenija D. POPOVA (Bulgaria)
    Properties and estimations of parametric AE-solution sets
67. Alexander PROLUBNIKOV (Russia)
    An interval approach to the recognition of numerical matrices
68. Maxim I. PUSHKAREV, Sergey A. GAIVORONSKY (Russia)
    Maximizing stability degree of interval systems using coefficient method
69. Andreas RAUH, Ekaterina AUER, Ramona WESTPHAL, Harald ASCHEMANN (Germany)
    Exponential enclosure techniques for the computation of guaranteed state enclosures in ValEncIA-IVP
70. 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
71. 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
72. Siegfried M. RUMP (Germany)
    Interval arithmetic over finitely many endpoints
73. Gennady G. RYABOV, Vladimir A. SEROV (Russia)
    The bijective coding in constructive world of Rⁿ_c
74. Ilshat R. SALAKHOV, Olga G. KANTOR (Russia)
    Estimation of model parameters
75. Pavel SARAEV (Russia)
    Interval pseudo-inverse matrices: computation and applications
76. Alexander O. SAVCHENKO (Russia)
    Calculation of potential and attraction force of an ellipsoid
77. Kouta SEKINE, Akitoshi TAKAYASU, Shin'ichi OISHI (Japan)
    A numerical verification method for solutions to systems of elliptic partial differential equations
78. Konstantin K. SEMENOV, Gennady N. SOLOPCHENKO (Russia), Vladik KREINOVICH (USA)
    Processing measurement uncertainty: from intervals and p-boxes to nested intervals
79. Yaroslav D. SERGEYEV (Italy)
    Deterministic global optimization using the Lipschitz condition
80. Yaroslav D. SERGEYEV (Italy)
    The Infinity Computer and numerical computations with infinite and infinitesimal numbers
81. 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
82. Irene A. SHARAYA (Russia)
    Boundary intervals and visualization of AE-solution sets for interval system of linear equations
83. Sergey P. SHARY, Nikita V. PANOV (Russia)
    Randomized interval methods for global optimization
84. Nikolay SHILOV (Russia)
    Verified templates for design of combinatorial algorithms
85. Semen I. SPIVAK (Russia)
    Informativity of a experiment and uncertainty regions of model parameters
86. Semen I. SPIVAK, Albina S. ISMAGILOVA (Russia)
    Analysis of non-uniqueness of the solution of inverse problems in the presence of measurements errors
87. Semen I. SPIVAK, Olga G. KANTOR (Russia)
    Interval estimation of system dynamics model parameters
88. Irina SURODINA, Ilya LABUTIN (Russia)
    Algorithm for sparse approximate inverse preconditioners refinement in conjugate gradient method
89. Akitoshi TAKAYASU, Shin'ichi OISHI (Japan)
    Computer-assisted error analysis for second-order elliptic equations in divergence form
90. Lev S. TEREKHOV, Andrey A. LAVRUKHIN (Russia)
    On affinity of physical processes of computing and measurements
91. Laurent THÉVENOUX, Matthieu MARTEL, Philippe LANGLOIS (France)
    Automatic code transformation to optimize accuracy and speed in floating-point arithmetic
92. Philippe THÉVENY, Nathalie REVOL (France)
    Interval matrix multiplication on parallel architectures
93. Naoya YAMANAKA, Shin'ichi OISHI (Japan)
    Fast infimum-supremum interval operations for double-double arithmetic in rounding-to-nearest
94. Ziyavidin YULDASHEV, Alimjan IBRAGIMOV, Shukhrat TADJIBAEV (Uzbekistan)
    Interval interpolation polynomials for data with restricted oscillation amplitude
95. Sergei ZHILIN (Russia)
    ANOVA, ANCOVA and time trends modeling: solving statistical problems using interval analysis
96. Vladimir ZHITNIKOV, Nataliya SHERYKHALINA, Sergey PORECHNY (Russia)
    Repeated filtration of numerical results for reliable error estimation

Print page