15-й Международный симпозиум GAMM - IMACS
по научным вычислениям, компьютерным
арифметикам и доказательным численным методам
Вид с высоты птичьего полета на проспект Лаврентьева, здание Вычислительного центра и Институт вычислительных технологий, Новосибирск

Принятые тезисы

Электронная версия сборника тезисов симпозиума SCAN'2012

Список включает как секционные, так и пленарные доклады.

  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
    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 Rnc
  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

© 1996-2019, Институт вычислительных технологий СО РАН, Новосибирск