NA Digest Sunday, August 16, 2009 Volume 09 : Issue 33

Today's Editor:
Tamara G. Kolda
Sandia National Labs

Submissions for NA Digest:

Mail to

Information via email about NA-NET:

Mail to


From: Marco Colombo <>
Date: Wed, 12 Aug 2009 10:18:55 -0400
Subject: Release of Structured Modelling Language (SML)

We are pleased to announce the release of SML (Structured Modelling Language),
version 0.7.1.

SML (Structured Modelling Language) is an implementation of a
structure-conveying extension to the AMPL modelling language. SML extends AMPL
with features that allow to construct models from sub-models and facilitate
the formulation of stochastic programming problems with recourse.

The AMPL language is extended by the block keyword that groups together model
entities and allows them to be repeated over indexing sets. Unlike traditional
modelling languages, the new approach does not scramble the block structure of
the problem, and thus it enables the passing of this structure on to the
solver. Its design allows the problem generation phase to be parallelisable

SML is described in the following preprint:
M. Colombo, A. Grothey, J. Hogg, K. Woodsend, J. Gondzio,
A Structure-Conveying Modelling Language for Mathematical and Stochastic
Technical Report ERGO 09-003, School of Mathematics and Maxwell Institute,
University of Edinburgh, Scotland

SML is released under the LGPLv3 license. SML is distributed with a demo
version of OOPS (Object-Orientated Parallel Solver by Gondzio and Grothey)
limited to 5000 variables and constraints. The OOPS library is distributed
under a closed-source license and may only be linked with the LGPL SML
library. Its use without SML is not allowed.

For further details and download, please see:


From: Andrzej Cichocki <>
Date: Tue, 11 Aug 2009 12:13:17 -0400
Subject: New book, Matrix and tensor facorizations

I would like to announce a new book (monograph) related to Multi-way
analysis and tensor decompositions

Nonnegative Matrix and Tensor Factorizations:
Applications to Exploratory Multi-way Data Analysis
and Blind Source Separation, John Wiley,
ISBN: 978-0-470-74666-0, (504 pages), September 2009,
by A. Cichocki, R. Zdunek, A.-H. Phan, and S. Amari:

Selected material (preprint) are available at

For details, please see also our web pages

Andrzej Cichocki
Laboratory for Advanced Brain Signal Processing,
RIKEN Brain Science Institute, JAPAN


From: Rommel Bustinza <>
Date: Fri, 14 Aug 2009 16:01:13 -0400
Subject: Numerical Analysis of PDEs (WONAPDE), Chile, Jan 2010

First Anouncement and Call for Papers
January 11th - 15th, University of Concepcion, Concepcion, CHILE

Workshop Website :
Workshop contact :

The main purpose of the workshop is to discuss and present new developments
in numerical methods for Partial Differential Equations. All contributions
related to this subject will be welcome (finite elements, finite
volumes, boundary elements, stabilized methods, numerical
methods for multiscale phenomena, stochastic differential equations, etc.).

Deadlines for Abstract Submission : November the 15th

Preliminary List of Plenary Speakers:
A. Bermudez (Santiago de Compostela, Spain)
A. Buffa (Pavia, Italy)
R. Codina (Barcelona, Spain)
M. Dauge (Rennes, France)
L. Demkowickz (Austin, USA)
R. Donat (Valencia, Spain)
P. Hansbo (Göteborg, Sweden)
N. Heuer (Santiago, Chile)
Ch. Rohde (Stuttgart, Germany)
R. Stenberg (Helsinki, Finland)

For the hotel information and details about Concepcion please visit our
website (

We look forward to meet you in Concepcion!

Rommel Bustinza
(Local Organizing Committee)


From: Craig Lucas <>
Date: Fri, 14 Aug 2009 10:02:56 -0400
Subject: Free HPC Courses for UK researchers

NAG is pleased to announce four new High Performance Computing (HPC) courses
free for UK researchers and running in the next few months.

Quad Core Training - In this 2 day course we discuss architecture its impact
on performance, profiling tools and the use of mixed mode OpenMP/MPI
programming and also briefly introduce the use of System V.

Parallel I/O - This course will present MPI-IO and the NetCDF and HDF5 libraries.

Best Practice in HPC Software Development - A course designed for those
embarking on a major software development project. It is a five day course and
covers hardware, compilers and optimization, tools, parallel I/O, testing and
benchmarking code and portability and maintainability issues.

Core Algorithms for High Performance Scientific Computing - This course
addresses computational linear algebra and optimization. We will develop a
solid grounding in the mathematics of these algorithms; discuss the efficient
implementation in standard libraries.

NAG provides CSE support for HECToR, the UK Supercomputing Service. You are
eligible for training, for which there is no charge, if your work is covered
by the remit of either EPSRC, BBSRC or NERC. We provide a regular schedule of
courses that cover Fortran 95, general HPC topics, such as MPI and OpenMP, as
well material specific to HECToR.

For further information and our current training schedule and locations please


From: "Beichl, Isabel" <>
Date: Fri, 14 Aug 2009 14:03:10 -0400
Subject: Publish in Computing in Science & Engineering

Publish in Computing in Science & Engineering

The magazine, Computing in Science & Engineering (CiSE) is published by
the IEEE and the AIP and publishes articles in computational science. We
are looking for articles on uses of numerical methods and computer science in
the sciences. If you send me your address, I will send you a sample copy.

CiSE is also a magazine rather than a journal, so we have a wide audience.
You can reach people who would not ordinarily read your publications.
People read CiSE to educate themselves on computing outside their specialty.
So we try to get people to write in a "breezy" style, with enough background
for non-specialists and pointers to journal articles. We also have a quick
turn-around time. After an article is reviewed it comes out in 1 or 2
months. And finally, it's a way to get more publicity and visibility
for ideas that you may have already published in journals. Make a breezy
version for a more general audience with pointers to the journal article.
CiSE appears electronically and on paper.
Links back to your journal article will be active in the electronic version.

Please let me know if there is anything else I can tell you about the magazine.
Here are the links. I hope you or your students can send us articles.
author guidelines at

Isabel Beichl, CiSE Editor in Chief,


From: Ronald Cools <>
Date: Sat, 15 Aug 2009 11:55:05 +0200
Subject: Tenure track position Mathematical Engineering @ K.U.Leuven

K.U.Leuven (Belgium) invites applications for a full-time tenured academic
position in Mathematical Engineering at the Department of Computer Science.
We are looking for a dynamic and motivated individual (m/f) with an
excellent research record in one or more areas of mathematical engineering.

For more information on this position, see
select in the right margin "Newsflash" -> New senior staff positions
and scroll down to ref. 24/2003.

Details about the application procedure at K.U.Leuven can be found at .
Electronic applications are accepted until September 30, 2009.
The appointment will start in October 2010.


From: Michael Winckler <>
Date: Wed, 12 Aug 2009 13:33:04 +0200
Subject: Junior Professor in Computer Graphics and Visualization

In the framework of the German Excellence Initiative, the
Ruprecht-Karls- University of Heidelberg invites applications for a

Junior Professor (f/m) in Computer Graphics and Visualization

The position will be associated with the Faculty for Mathematics and
Computer Science. It is an integral part of the "Heidelberg Graduate
School of Mathematical and Computational Methods for the Sciences"
( and will play an important role in the future
development of the Interdisciplinary Center for Scientific Computing
(IWR). Importantly, it will also be at the heart of a future
Collaborative Research Center / Sonderforschungsbereich that the IWR
currently applies for.
The successful applicant will be entirely independent. Possible research
directions include computer graphics, navigation in and visualization of
very large data sets from experiment or simulation, extraction and
abstract representation of information, visualization of multimodal data
with high resolution in space, time and wavelength.
We expect applications from outstanding individuals at the outset of
their scientific career. Apart from research in computational algorithms
or novel hardware implementations, the successful candidate is expected
to collaborate closely with surrounding groups in scientific
computing, image processing, microscopy and biology, and is invited to
explore new application areas in the graduate school, in particular in
the humanities and the cultural sciences.

The University generally encourages the application of female
scientists, and would be particularly glad to fill this position with an
outstanding female scientist. Handicapped persons with equivalent
qualifications will be given preference.

Applications (hardcopy and electronic) including CV, list of publication
and a detailed research statement that emphasizes possible local
collaborations should be sent to the Dean of the Faculty of Mathematics
and Computer Science, Prof. R. Weissauer, Im Neuenheimer Feld 288,
D-69120 Heidelberg by October 12, 2009. The application procedure will
remain open until the position is filled.

Please send copies, applications cannot be returned.


From: Steven Dufour <>
Date: Tue, 11 Aug 2009 23:08:36 -0400
Subject: Postdoc in Scientific Computing at Ecole Polytechnique, Montreal

A post-doctoral position is open in the field of scientific computing
and electrical engineering. The joint project between the Department
of Mathematics and Industrial Engineering and the Department of
Electrical Engineering of École Polytechnique de Montréal, and
financed in part by MITACS, Hydro- Québec and LANL, will involve the
development of an adaptive finite element solver for modeling coupled
and thermal problems in superconductors. The project would begin this

The successful candidate should have a Ph.D in computational
mathematics with a strong applied component, preferably in
engineering, or in electrical engineering with a strong computational
component. Candidates with a different background that is related to
the project will also be considered. The candidate will have hands-on
experience developing or participating in the development of a finite
element solver. Good scientific programming skills are therefore
important. Knowledge of a posteriori error estimation and mesh
adaptivity will be an asset, although not essential. Knowledge in
electromagnetic modeling (especially eddy current problems) is
desirable. Experience in the field of supraconducting materials,
although not expected, will be considered. Excellent communication
skills are essential.

The initial contract will be for 12 months, and the initial salary
will be 35 k$ CAN (tax income level less than 10 %). The renewal for
a second year will depend on the quality of the work realized and the
availability of further funding. For more information or to send your
vita with a list of publications, a sample paper and a list of
references, please contact Professor Frédéric Sirois
( or Professor Steven Dufour


From: Craig Lucas <>
Date: Fri, 14 Aug 2009 10:45:42 -0400
Subject: PhD studentship in algorithms for novel HPC, U Bristol UK

The University of Bristol have a PhD CASE studentship in collaboration with
NAG Ltd, to work on new mathematical algorithms for novel, massively parallel
computer architectures.

Applicants must be UK citizens, or EU citizens resident in the UK for at least
3 years.

The studentship funds fees, and will pay an enhanced, tax-free stipend to the
student to cover living expenses, starting at approx. £17,500 per annum.
During this CASE studentship the student will be expected to spend at least
three months working with NAG at their offices in Oxford.

The studentship will be particularly suitable for someone who has just
completed a mathematics degree, or someone with a strong mathematics and
computer science background. Experience in a High Performance Computing (HPC)
related field would be desirable, as would a background in parallel
programming and use of multi- or many-core processors such as the latest
GPGPUs. Candidates must have a strong first or upper second class degree.

This project will:
* Develop new algorithms for important numerical functions that exploit the
latest many-core processors and hybrid systems
* Investigate fault tolerance as part of this problem
* Address variation in answers when computating on different systems
* Investigate software approaches that can automatically and dynamically adapt
to the available hardware resources
* Use emerging industry standards, such as OpenCL, where possible

For further ans application details please see:


From: "Jounal" <>
Date: Tue, 11 Aug 2009 11:18:01 -0600
Subject: Contents, Intl J Numerical Analysis Modeling IJNAM, 6(2), 2009

International Journal Numerical Analysis Modeling,
Volume 6, No. 2, 6 (2009).

B. Lamichhane
Mortar finite elements for coupling compressible and nearly incompressible
materials in elasticity.
Int. J. Numer. Anal. Mod., 6 (2009), pp. 177-192.

H. Fahs
Development of a hp-like discontinuous Galerkin time-domain method on
non-conforming simplicial meshes for electromagnetic wave propagation.
Int. J. Numer. Anal. Mod., 6 (2009), pp. 193-216.

K. Wang and H. Wang
An optimal-order error estimate to the modified method of characteristics for
a degenerate convection-diffusion equation.
Int. J. Numer. Anal. Mod., 6 (2009), pp. 217-231.

F. Zhai and L. Cao
Multiscale asymptotic method for heat transfer equations in lattice-type
Int. J. Numer. Anal. Mod., 6 (2009), pp. 232-255.

Y. Cao, Z. Chen and M. Gunzburger
ANOVA expansions and efficient sampling methods for parameter dependent
nonlinear PDES.
Int. J. Numer. Anal. Mod., 6 (2009), pp. 256-273.

B. Stehlikova and D. Sevcovic
Approximate formulae for pricing zero-coupon bonds and their asymptotic analysis.
Int. J. Numer. Anal. Mod., 6 (2009), pp. 274-283.

R. Gao, J. Song and X. Tai
Image zooming algorithm based on partial differential equations technique.
Int. J. Numer. Anal. Mod., 6 (2009), pp. 284-292.

D. Shi and J. Ren
Nonconforming mixed finite element method for the stationary
conduction-convection problem.
Int. J. Numer. Anal. Mod., 6 (2009), pp. 293-310.

N. Chumchob and K. Chen
A robust affine image registration method.
Int. J. Numer. Anal. Mod., 6 (2009), pp. 311-334.

L. Ge, W. Liu and D. Yang
L2 norm equivalent a posteriori error estimate for a constrained optimal
control problem.
Int. J. Numer. Anal. Mod., 6 (2009), pp. 335-353.


From: Oleg Burdakov <>
Date: Tue, 11 Aug 2009 14:46:02 -0400
Subject: Contents, Optimization Methods and Software

Table of Contents
Optimization Methods and Software (OMS), Volume 24, Numbers 4-5
(August-October, 2009)
Special issue on global optimization
Guest-Editor: Nick Sahinidis

Xiaowei Bao, Nikolaos V. Sahinidis, and Mohit Tawarmalani
Multiterm polyhedral relaxations for nonconvex,
quadratically-constrained quadratic programs

Andreas Lundell and Tapio Westerlund
Convex underestimation strategies for signomial functionse

Samuel Burer and Jieqiu Chen
A p-cone sequential relaxation procedure for 0-1 integer programs

Joaquim J. Judice, Hanif D. Sherali, Isabel M. Ribeiro and Silverio S. Rosa
On the asymmetric eigenvalue complementarity problem

Wei Wang, Archis Ghate and Zelda B. Zabinsky
Adaptive parameterized Improving Hit-and-Run for global optimization

Pietro Belotti, Jon Lee, Leo Liberti, Francois Margot and Andreas Wachter
Branching and bounds tightening techniques for non-convex MINLP

Zsolt Ugray, Leon Lasdon, John C. Plummer, and Michael Bussieck
Dynamic filters and randomized drivers for the multi-start global
optimization algorithm MSNLP

Youdong Lin and Linus Schrage
The global solver in the LINDO API

A.I.F. Vaz and L.N. Vicente
PSwarm: A hybrid solver for linearly constrained global
derivative-free optimization

R. Baker Kearfott
GlobSol User Guide

Y. Lebbah
ICOS: A branch and bound based solver for rigorous
global optimization

Ferenc Domes
GloptLab - A configurable framework for the rigorous global
solution of quadratic constraint satisfaction problems

L. Pal and T. Csendes
INTLAB implementation of an interval global optimization algorithm

Didier Henrion, Jean-Bernard Lasserre and Johan Lofberg
GloptiPoly 3: moments, optimization and semidefinite programming

Joao M. Natali and Jose M. Pinto
Piecewise polynomial interpolations and approximations of
one-dimensional functions through mixed integer linear programming

M.F. Anjos, and G. Yen
Provably near-optimal solutions for very large single-row
facility layout problems

Andrea Cassioli, Marco Locatelli and Fabio Schoen
Global optimization of binary Lennard-Jones clusters

Scott R. McAllister and Christodoulos A. Floudas
Enhanced bounding techniques to reduce the protein
conformational search space

Dale Henderson and J. Cole Smith
An exact reformulation-linearization technique algorithm for
solving a parameter extraction problem arising in compact
thermal models

Order this special issue only for £30 / US$50 / EUR40:

Forthcoming papers and complete table of contents for the journal OMS:

Instructions for Authors and Online sample copy:

Discounted individual subscription:

End of NA Digest