Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Ноябрь 2011   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

Система компьютерной алгебры GAP: HYBRID METHODOLOGIES FOR SYMBOLIC-NUMERIC COMPUTATION



Final Call for Participation: Fields Institute Workshop on

HYBRID METHODOLOGIES FOR SYMBOLIC-NUMERIC COMPUTATION

November 16-19, 2011

The University of Waterloo, Waterloo, Ontario, Canada

http://www.cs.uwaterloo.ca/conferences/hybrid2011/

The workshop is FREE to attend, but we request that you
PLEASE REGISTER AS SOON AS POSSIBLE so that we can arrange
refreshments and facilities.

To register please fill out the form linked from the web page.

Invited Speakers:
* Laurent Bernardin, Maplesoft, Canada
* Xiao-Wen Chang, McGill University, Canada
* Annie Cuyt, Universiteit Antwerpen (CMI), Belgium
* Maryam Fazel, University of Washington, USA
* Wayne Hayes, University of California Irvine, USA
* Hoon Hong, North Carolina State University, USA
* Ken Jackson, University of Toronto, Canada
* David Jeffrey, University of Western Ontario, Canada
* Erich Kaltofen, North Carolina State University, USA
* Wen-shin Lee, Universiteit Antwerpen (CMI), Belgium
* Kosaku Nagasaka, Kobe, Japan
* Tateaki Sasaski, Tsukuba University, Japan
* Adam Strzebonski, Wolfram Research, USA
* Gilles Villard, ENS Lyon, France
* Stephen Watt, University of Western Ontario, Canada
* Hitoshi Yanami, Fujitsu Laboratories, Japan

Young Researcher Presentations:
* Aure'lien Greuet, Universite' de Versailles
and SALSA Team (INRIA/CNRS/UPMC/LIP6), France
* Feng Guo, Chinese Academy of Sciences, Beijing, China
and NC State University, USA
* Bingyu Li, Chinese Academy of Sciences, Beijing, China
* Daniel S. Roche, US Naval Academy, USA
* Olivier Ruatta, Universite' de Limoges, France
* Dan Steffy, Zuse Institute Berlin, Germany and Oakland University, USA
* Katya Vladislavleva, Evolved Analytics, Belgium
* Min Wu, East China Normal University, Shanghai, China

Tutorial Speakers
* Anton Leykin, Georgia Tech, USA
* Steve Vavasis, University of Waterloo, Canada

Tutorials will be appropriate for graduate students and researchers
looking to explore some conference themes in depth.

Overview
--------
Hybrid symbolic-numeric computation methods have been gaining
considerable prominence recently. Algorithms have been developed
that improve numeric robustness using symbolic techniques. Semidefinite
programming is being employed in solving finding real roots of polynomials
systems. Traditionally symbolic algorithms have seen speed improvements
from adaptation of numeric methods. There is an emerging approach of
characterizing, locating, and solving ``interesting nearby problems''.
Many novel techniques have been developed in these complementary areas,
but there is a general belief that a more overarching understanding and
approach will foster future progress. Problems we are interested in are
driven by applications in control theory, dynamic modelling of large-scale
continuous and hybrid discrete-continuous dynamical systems, model
simplification, computational physics, dynamics, and robotics. Emphasis
will be given to validated (certified) outputs via algebraic and exact
techniques, error estimation, interval techniques or global optimization
strategies based on semidefinite programming and exact sums-of-squares.

This workshop will follow up on the exciting SIAM/MSRI Workshop on Hybrid
Methodologies for Symbolic-Numeric Computation, held in November 2010.
It will provide a forum for researchers on all sides of hybrid symbolic-numeric
computation.


Posters and Software Demonstrations
-----------------------------------
Proposals are invited for poster presentations and software
demonstrations on topics related to symbolic-numeric methods.

Organizers
----------
* Mark Giesbrecht (Organizing Chair), University of Waterloo, Canada
* Erich Kaltofen, North Carolina State University, USA
* George Labahn, University of Waterloo, Canada
* Daniel Lichtblau, Wolfram Research, USA
* Lihong Zhi, Chinese Academy of Sciences, China

Sponsors
--------
* The Fields Institute
* The Cheriton School of Computer Science, University of Waterloo
* The Faculty of Mathematics, University of Waterloo
* Maplesoft
* Wolfram Research

For more information, email fields-hybrid-2011@uwaterloo.ca
В избранное