Научная программа
24 сентября 2012 года (понедельник)
Дом Учёных СО РАН
08:30 – 09:30 — регистрация в холле Малого Зала
09:30 – 10:40 — пленарное заседание (Малый Зал)
Председатель — проф. С.П. Шарый
- Открытие симпозиума SCAN'2012
- Церемония вручения премии имени Р.Е.Мура
-
Luc JAULIN (France)
Interval analysis in robotics
10:40 – 11:05 — перерыв на чай и кофе
11:05 – 12:45 — секционные заседания
Секция «Компьютерные арифметики и программные средства – 1» (Малый Зал)
Председатель — проф. Ю. Вольф фон Гуденберг
-
Tomás DZETKULIČ (Czech Republic)
Endpoint and midpoint interval representations — theoretical and computational comparison -
Olga KUPRIYANOVA, Christoph LAUTER (France)
The libieee754 compliance library for the IEEE 754-2008 standard -
Laurent THÉVENOUX, Matthieu MARTEL, Philippe LANGLOIS (France)
Automatic code transformation to optimize accuracy and speed in floating-point arithmetic -
Naoya YAMANAKA, Shin'ichi OISHI (Japan)
Fast infimum-supremum interval operations for double-double arithmetic in rounding-to-nearest
Секция «Динамические системы» (Музыкальный Салон)
Председатель — проф. М. Неер
-
Ekaterina AUER, Stefan KIEL (Germany)
Uses of verified methods for solving non-smooth initial value problems -
Elena KOSTOUSOVA (Russia)
On boundedness and unboundedness of polyhedral estimates for reachable sets of linear systems -
Andreas RAUH, Ekaterina AUER, Ramona WESTPHAL, Harald ASCHEMANN (Germany)
Exponential enclosure techniques for the computation of guaranteed state enclosures in ValEncIA-IVP -
Vladimir V. DOMBROVSKII, Elena V. CHAUSOVA (Russia)
Model predictive control of discrete linear systems with interval and stochastic uncertainties
12:45 – 14:30 — обед
14:30 – 16:10 — пленарное заседание (Малый Зал)
Председатель — проф. Вальтер Кремер
-
Markus NEHER (Germany)
Verified integration of ODEs with Taylor models -
Yaroslav D. SERGEYEV (Russia-Italy)
Deterministic global optimization using the Lipschitz condition
16:10 – 16:35 — перерыв на чай и кофе
16:35 – 17:50 — секционные заседания
Секция «Компьютерные арифметики и программные средства – 2» (Малый Зал)
Председатель — проф. Я.Д. Сергеев
-
Christoph LAUTER, Valérie MÉNISSIER-MORAIN (France)
There's no reliable computing without reliable access to rounding modes -
Walter KRÄMER (Germany)
Arbitrary precision real interval and complex interval computations -
Arnault IOUALALEN, Matthieu MARTEL (France)
Sardana: an automatic tool for numerical accuracy optimization
Секция «Доказательные численные методы для дифференциальных уравнений» (Музыкальный Салон)
Председатель — проф. Л. Жолен
-
Akitoshi TAKAYASU, Shin'ichi OISHI (Japan)
Computer-assisted error analysis for second-order elliptic equations in divergence form -
Kouta SEKINE, Akitoshi TAKAYASU, Shin'ichi OISHI (Japan)
A numerical verification method for solutions to systems of elliptic partial differential equations -
Xuefeng LIU, Shin'ichi OISHI (Japan)
A framework of high precision eigenvalue estimation for selfadjoint elliptic differential operator
19:00 — Товарищеский ужин (ресторан Дома Учёных СО РАН)
25 сентября 2012 года (вторник)
Институт вычислительных технологий СО РАН
09:00 – 10:40 — секционные заседания
Секция «Компьютерные арифметики и программные средства – 3» (комн. 411)
Председатель — д-р Г. Реви
-
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 -
Yaroslav D. SERGEYEV (Italy)
The Infinity Computer and numerical computations with infinite and infinitesimal numbers -
Séthy MONTAN, Jean-Marie CHESNEAUX, Christophe DENIS, Jean-Luc LAMOTTE (France)
Towards an efficient implementation of CADNA in the BLAS: example of the routine DgemmCADNA
Секция «Линейные задачи – 1» (комн. 513)
Председатель — д-р Е. Попова
-
Vadim S. DRONOV (Russia)
Limitations of complex interval Gauss-Seidel iterations -
Michal ČERNY, Miroslav RADA (Czech Republic)
On the OLS set in linear regression with interval data -
Irene A. SHARAYA (Russia)
Boundary intervals and visualization of AE-solution sets for interval system of linear equations -
Dmitri Yu. LYUDVIN, Sergey P. SHARY (Russia)
Comparisons of implementations of Rohn's modification in PPS-methods for interval linear systems
10:40 – 11:05 — перерыв на чай и кофе
11:05 – 12:45 — секционные заседания
Секция «Компьютерные арифметики и программные средства – 4» (комн. 411)
Председатель — д-р В. Мениссер-Морен
-
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 -
Katsuhisa OZAKI, Takeshi OGITA (Japan)
Performance comparison of accurate matrix multiplication -
Philippe THÉVENY, Nathalie REVOL (France)
Interval matrix multiplication on parallel architectures
Секция «Линейные задачи – 2» (комн. 513)
Председатель — проф. В. Крейнович
-
Behnam HASHEMI (Iran)
Verified computation of symmetric solutions to continuous-time algebraic Riccati matrix equations -
Jaroslav HORAČEK, Milan HLADÍK (Czech Republic)
Computing enclosures of overdetermined interval linear systems -
Alexander PROLUBNIKOV (Russia)
An interval approach to the recognition of numerical matrices
12:45 – 14:30 — обед
14:30 – 16:10 — секционные заседания
Секция «Линейные задачи – 3» (комн. 411)
Председатель — д-р Б. Хашеми
-
Pavel SARAEV (Russia)
Interval pseudo-inverse matrices: computation and applic -
Irina SURODINA, Ilya LABUTIN (Russia)
Algorithm for sparse approximate inverse preconditioners refinement in conjugate gradient -
Anatoly V. PANYUKOV, Valentin A. GOLODOV (Russia)
Computing the best possible pseudo-solutions to interval linear systems of equations
Секция «Методы обработки данных – 1» (комн. 513)
Председатель — д-р С.И. Кумков
-
Semyon I. SPIVAK (Russia)
Informativity of experiments and uncertainty regions of model parameters -
Semyon I. SPIVAK, Albina S. ISMAGILOVA (Russia)
Analysis of non-uniqueness of the solution of inverse problems in the presence of measurements errors -
Sergei ZHILIN (Russia)
ANOVA, ANCOVA and time trends modeling: solving statistical problems using interval analysis -
Konstantin K. SEMENOV, Gennady N. SOLOPCHENKO (Russia), Vladik KREINOVICH (USA)
Processing measurement uncertainty: from intervals and p-boxes to nested intervals
16:10 – 16:35 — перерыв на чай и кофе
16:35 – 17:50 — секционные заседания
Секция «Теория принятия решений» (комн. 411)
Председатель — доцент Н.В. Шилов
-
Boris S. DOBRONETS, Olga A. POPOVA (Russia)
Numerical probabilistic analysis under aleatory and epistemic uncertainty -
Bartlomiej Jacek KUBICA, Adam WOZNIAK (Poland)
Interval methods for computing various refinements of Nash equilibria -
Alexander HARIN (Russia)
Subinterval analysis. First results
Секция «Методы обработки данных – 2» (комн. 513)
Председатель — доцент П.В. Сараев
-
Lev S. TEREKHOV, Andrey A. LAVRUKHIN (Russia)
On affinity of physical processes of computing and measurements -
Semyon I. SPIVAK, Olga G. KANTOR (Russia)
Interval estimation of system dynamics model parameters -
Ilshat R. SALAKHOV, Olga G. KANTOR (Russia)
Estimation of model parameters
26 сентября 2012 года (среда)
Дом Учёных СО РАН
09:00 –10:40 — пленарное заседание (Малый Зал)
Председатель — проф. Н. Револь
-
Takeshi OGITA (Japan)
Verified solutions of sparse linear systems -
Dmitry NADEZHIN, Sergei ZHILIN (Russia)
JInterval library: principles, development, and perspectives
10:40 – 11:05 — перерыв на чай и кофе
11:05 – 12:45 — пленарное заседание (Малый Зал)
Председатель — проф. З.М.Румп
-
Milan HLADÍK (Czech Republic)
New directions in interval linear programming -
Evgenija D. POPOVA (Bulgaria)
Properties and estimations of parametric AE-solution sets
12:45 – 14:30 — обед
Экскурсия в Центральный Сибирский геологический музей
и экскурсия в музей Института археологии и этнографии
(Собираемся около Дома Ученых)
18:00 – Автобусный тур “Вечерний Новосибирск”
(Собираемся у входа в гостиницу "Золотая Долина")
27 сентября 2012 года (четверг)
Институт вычислительных технологий СО РАН
09:00 – 10:40 — секционные заседания
Секция «Компьютерные арифметики и программные средства – 5» (комн. 411)
Председатель — д-р Такеши Огита
-
Pierre FORTIN, Mourad GOUICEM, Stef GRAILLAT (France)
Solving the Table Maker's Dilemma by reducing divergence on GPU -
Siegfried M. RUMP (Germany)
Interval arithmetic over finitely many endpoints -
Anatoly PANYUKOV (Russia)
Application of redundant positional notations for increasing scalability of arithmetic algorithms
Секция «Методы глобального поиска» (комн. 513)
Председатель — доцент А.В. Пролубников
-
Bartlomiej Jacek KUBICA (Poland)
Excluding regions using Sobol sequences in an interval branch-and-bound method -
Sergey P. SHARY, Nikita V. PANOV (Russia)
Randomized interval methods for global optimization -
Jennifer HARLOW, Raazesh SAINUDIIN (New Zealand), Warwick TUCKER (Sweden)
Arithmetic and algebra of mapped regular pavings
10:40 – 11:05 — перерыв на чай и кофе
11:05 – 12:45 — секционные заседания
Секция «Линейные задачи – 4» (комн. 411)
Председатель — д-р М. Хладик
-
Shinya MIYAJIMA (Japan)
Componentwise inclusion for solutions in least squares problems and underdetermined systems -
Shinya MIYAJIMA (Japan)
Verified computations for all generalized singular values -
Anatoliy V. LAKEYEV (Russia)
On unboundedness of generalized solution sets for interval linear systems -
Yusuke MORIKURA, Katsuhisa OZAKI, Shin'ichi OISHI (Japan)
Verification methods for linear systems on a GPU
Секция «Теория и алгоритмы доказательных вычислений – 1» (комн. 513)
Председатель — д-р Б.Я. Кубица
-
Olga KOSHELEVA, Vladik KREINOVICH (USA)
Use of Grothendieck's inequality in interval computations: quadratic terms are estimated accurately modulo a constant factor -
Stepan GATILOV (Russia)
Efficient angle summation algorithm for point inclusion test and its robustness -
Tomás DZETKULIČ (Czech Republic)
Rigorous computation with function enclosures in Chebyshev basis -
Alexander HARIN (Russia)
Theorem of interval character of incomplete knowledge. Subinterval analysis of incomplete information
12:45 – 14:30 — обед
14:30 – 16:10 — секционные заседания
Секция «Теория и алгоритмы доказательных вычислений – 2» (комн. 411)
Председатель — д-р Сюйфенг Лю
-
Tomoaki OKAYAMA (Japan)
Error estimates with explicit constants for Sinc quadrature and Sinc indefinite integration over infinite intervals -
Alexander O. SAVCHENKO (Russia)
Calculation of potential and attraction force of an ellipsoid -
Chin-Yun CHEN (Taiwan)
Numerical comparison of some verified approaches for approximate integration -
Chin-Yun CHEN (Taiwan)
Acceleration of the computational convergence of extended interval Newton method for a special class of functions
Секция «Системы управления» (комн. 513)
Председатель — доцент С.И. Жилин
-
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 -
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 -
Stefan KIEL, Ekaterina AUER, Andreas RAUH (Germany)
An environment for verified modeling and simulation of solid oxide fuel cells
16:10 – 16:35 — перерыв на чай и кофе
Свободное время
28 сентября 2012 года (пятница)
Дом Учёных СО РАН
09:00 – 10:40 — секционные заседания
Секция «Методы обработки данных – 3» (Малый Зал)
Председатель — проф. С.И. Спивак
-
Nikolay OSKORBIN, Sergei ZHILIN (Russia)
On methodological foundations of interval analysis of empirical dependencies -
Sergey I. KUMKOV, Yuliya V. MIKUSHINA (Russia)
Interval approach to identification of parameters of experimental process model -
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 -
Maxim I. PUSHKAREV, Sergey A. GAIVORONSKY (Russia)
Maximizing stability degree of interval systems using coefficient method
Секция «Теория и алгоритмы доказательных вычислений – 3» (Музыкальный Салон)
Председатель — д-р К. Лаутер
-
Christophe MOUILLERON, Amine NAJAHI, Guillaume REVY (France)
Approach based on instruction selection for fast and certified code generation -
Nikolay SHILOV (Russia)
Verified templates for design of combinatorial algorithms -
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 -
Masahide KASHIWAGI (Japan)
An algorithm to reduce the number of dummy variables in affine arithmetic
10:40 – 11:05 — перерыв на чай и кофе
11:05 – 12:45 — пленарное заседание (Малый Зал)
Председатель — проф. С.П. Шарый
-
Vladik KREINOVICH (USA)
Decision making under interval uncertainty - Зарытие симпозиума SCAN'2012
- Добро пожаловать на SCAN'2014 в Вюрцбург
Экскурсия в Институт археологии и этнографии СО РАН:
коллекция скелетов доисторических животных
15:00 — Ежегодное заседание комитета IEEE P1788 по стандартизации интервальных вычисленийй
(Институт вычислительных технологий, комн. 411),
Председатель — проф. Натали Револь