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