NA Digest Tuesday, June 18, 2013 Volume 13 : Issue 25

Today's Editor:
Daniel M. Dunlavy
Sandia National Labs

Submissions for NA Digest:

Mail to

Information via email about NA-NET:

Mail to


From: Sylvain CHEVILLARD <>
Date: Tue, 11 Jun 2013 10:21:17 +0200
Subject: Announcing Sollya 4.0

We are pleased to announce the release of Sollya 4.0 available for
download at:

Sollya is both a tool environment and a library for safe
floating-point code development. It offers a convenient way to perform
computations with multiple precision interval arithmetic. It is
particularly targeted to the automatized implementation of
mathematical floating-point libraries (libm).

This 4.0 release is the result of a 2 year effort to bring, amongst
others, the following enhancements and improvements:
* A new, easy-to-use Sollya library C interface that will be
maintained in the future.
* Lots of performance and stability optimizations.
* New commands and functions, such as a rigorous univariate
Chebyshev Model procedure.

Sollya is free software, released under Cecill-C (LGPL like) license.

Please feel free to test and comment on the new release; feature
requests are always welcome, too. Interested users might also want to
subscribe to the sollya-users mailing list at

Kind regards, the Sollya team:
Sylvain Chevillard (APICS team, INRIA, France),
Christoph Lauter (PEQUAN team, UPMC, Paris, France),
and Mioara Joldes (MAC team, LAAS, CNRS, France)


From: SGU <>
Date: Sun, 16 Jun 2013 04:20:23 -0400
Subject: New Books, Network Approximation

Books present theory and application of network approximation for
densely packed high-contrast continuum media and systems of closely
places bodies.

The problem of asymptotic of harmonic capacity (permittance) of
systems of closely places bodies was solved.

A.A. Kolpakov and A.G. Kolpakov "Capacity and Transport in Contrast
Composite Structures: Asymptotic Analysis and Applications." CRC
Press, Boca Raton, FL, 2010 335p. ISBN: 978-1-4398-0175-8 Available at

Publisher review

Is it possible to apply a network model to composites with conical inclusions?
How does the energy pass through contrast composites?

Devoted to the analysis of transport problems for systems of densely
packed, high-contrast composite materials, Capacity and Transport in
Contrast Composite Structures: Asymptotic Analysis and Applications
answers questions such as these and presents new and modified
asymptotic methods for real-world applications in composite materials

A mathematical discussion of phenomena related to natural sciences and
engineering, this book covers historical developments and new progress
in mathematical calculations, computer techniques, finite element
computer programs, and presentation of results of numerical

Introductory course in network approximation theory

L.Berlyand, A.G. Kolpakov, A. Novikov "Introduction to the Network
Approximation Method for Materials Modeling." Series: Encyclopedia of
Mathematics and its Applications (No.148) Cambridge University Press,

Publisher review

In recent years the traditional subject of continuum mechanics has
grown rapidly and many new techniques have emerged. This text provides
a rigorous, yet accessible introduction to the basic concepts of the
network approximation method and provides a unified approach for
solving a wide variety of applied problems. As a unifying theme, the
authors discuss in detail the transport problem in a system of
bodies. They solve the problem of closely placed bodies using the new
method of network approximation for PDE with discontinuous
coefficients, developed in the 2000s by applied mathematicians in the
USA and Russia. Intended for graduate students in applied mathematics
and related fields such as physics, chemistry and engineering, the
book is also a useful overview of the topic for researchers in these


From: "Gal Sorin" <>
Date: Thu, 13 Jun 2013 10:59:32 +0300
Subject: New Book, Overconvergence in Complex Approximation

Springer, New York, 2013, 196 pages
Hardcover ISBN 978-1-4614-7097-7

Link to the Web page of the book :

This monograph deals with the quantitative overconvergence phenomenon
in complex approximation by various operators. The book is divided
into three chapters. First, the results for the Schurer-Faber
operator, Beta operators of first kind, Bernstein-Durrmeyer-type
operators and Lorentz operator are presented. The main focus is on
results for several q-Bernstein kind of operators with q > 1, when the
geometric order of approximation 1/q^n is obtained not only in complex
compact disks but also in quaternion compact disks and in other
compact subsets of the complex plane. The focus then shifts to
quantitative overconvergence and convolution overconvergence results
for the complex potentials generated by the Beta and Gamma Euler's
functions. Finally quantitative overconvergence results for the most
classical orthogonal expansions (of Chebyshev, Legendre, Hermite,
Laguerre and Gegenbauer kinds) attached to vector-valued functions are
presented. Each chapter concludes with a notes and open problems
section, thus providing stimulation for further research. An extensive
bibliography and index complete the text.

Prof. dr. Sorin G. Gal,,


From: Debbie Pillar <>
Date: Tue, 18 Jun 2013 04:55:33 -0400
Subject: Lecturer Position, Software Engineering, Cranfield Univ

Cranfield University, UK
School of Engineering, Engineering Computing Department

Lecturer in Software Engineering for Technical Computing
£39,163 to £43,653 per annum

The Engineering Computing Department in the School of Engineering, has
established a first class reputation for computational science and
engineering covering both a range of engineering applications and work
in HPC and advanced computing environments. We receive funding from
several industrial organisations and the EPSRC.

We are looking for an established academic, with a proven track record
of research and teaching, to help develop our activities in the field
of Software Engineering for Technical Computing. You will develop and
deliver programmes in software engineering – obvious areas are:
automatic testing, parallel computing, GPGPU programming; other
specialisms may be of interest. It is critical that there is synergy
between the computer science activities and engineering applications
work existing in the Department and elsewhere in the School of
Engineering. The Department runs an MSc programme: Computational and
Software Techniques in Engineering with options in CAD/CAE, DSIP, ACEA
and Software Engineering for Technical Computing; this MSc attracts
approximately 100 students each year. In addition to the research and
consultancy activity you will be responsible for the option in SETC
option and will be expected to develop this activity and collaborate
with the ACEA and other options.

You will join an academic group of researchers and lecturers involved
in various aspects of advanced computational engineering applications
and work in HPC and advanced computing environments. Experience of
leading programmes and winning funding in the SETC area and working
with applications specialists will be a definite advantage.

For further details please contact Dr Karl Jenkins, Course Director,
E: or Prof Chris Thompson, Head of
Department, E:

Apply online now at or contact us for further
details on or T: +44 (0)1234 750111
ext. 2343. For any enquiries, please quote reference number 1429.

Closing date for receipt of applications: 17 July 2013


From: Jim Luedtke <>
Date: Fri, 7 Jun 2013 09:41:07 -0400
Subject: MIP2013, USA, Jul 2013

Date: July 22-25, 2013
Location: University of Wisconsin-Madison
Web site:
Registration deadline: July 8, 2013
Hotel block cutoff: June 21, 2013

You are cordially invited to participate in the upcoming Mixed Integer
Programming workshop (MIP 2013). The 2013 Mixed Integer Programming
workshop will be the tenth in a series of annual workshops held in
North America designed to bring the integer programming community
together to discuss very recent developments in the field. The
workshop is especially focused on providing opportunities for junior
researchers to present their most recent work. The workshop series
consists of a single track of invited talks. A list of confirmed
speakers is available at the workshop web site.

The workshop is designed to provide ample time for discussion and
interaction between the participants, as one of its aims is to
facilitate research collaboration. Thanks to the generous support by
our sponsors, registration is free. You can register now through July
8 at

The workshop will also feature a poster session in the evening of
July 22. The list of posters can be found at .
There will also be a workshop dinner in the evening of July 23.

MIP 2013 Organizing Committee,


From: Peter Arbenz <>
Date: Fri, 14 Jun 2013 21:47:34 +0200
Subject: High Performance Computing, Switzerland, Aug 2013

42th SPEEDUP Workshop on High Performance Computing,
August 29/30, 2013, at Paul Scherrer Institute (PSI), Switzerland

The intention of this workshop is to present and discuss the
state-of-the-art in high-performance and parallel scientific
computing. Presentations will focus on algorithms, applications, and
software issues related to high-performance parallel computing. The
focus of the workshop on Thursday Aug 29 will be on Adaptive Mesh
Refinement (AMR). Adaptivity in general hampers load-balance. The
scientific program of Aug 29 consists of six 45-minute talks and a
poster session. Please encourage your collaborators to upload an
abstract. The deadline is Aug 18, 2013.

The scientific program on August 29 consists of six 45-minute talks
and a poster session. Invited Speakers are
* Carsten Burstedde (U of Bonn)
* Ann Almgren (Lawrence Berkeley NL)
* Francesco Miniati (ETH Zurich)
* Martin Kronbichler (TU Munich)
* Rolf Krause (USI Lugano)
* Marie-Christine Sawley (Intel Exascale Lab Paris)

On August 30 we will organize a full-day tutorial on the Intel Xeon
Phi (aka Intel MIC). It will be taught by Herbert Cornelius (Intel).
A hands-on session is included.

Details can be found at .


From: Catherine Crawley <>
Date: Wed, 12 Jun 2013 09:39:56 -0400
Subject: Analyzing Animal Vocal Communication, USA, Oct 2013

The National Institute for Mathematical and Biological Synthesis
(NIMBioS) is now accepting applications for its Investigative
Workshop, "Multidisciplinary Approaches to Analyzing Animal Vocal
Communication Sequences," to be held October 21-23, 2013, at NIMBioS.

The aim of this workshop is to bridge the gap between mathematical and
biological researchers with an interest in the quantitative analysis
of animal vocal sequences. Recent developments in the mathematical
analysis of complex animal communication have generated opportunities
to understand the functional aspects of animal vocalizations, their
role in social organization, and ultimately to explore the origins and
evolution of human language. Until now, however, the collaboration
between mathematicians/computer scientists and biologists/zoologists
in this field has been very limited. We aim to define the state of the
art in this field, explore new horizons for collaboration, and provide
new techniques through a synthesis of the mathematical and biological
approaches to communication analysis. We will also use this unique
gathering to define some of the key questions that need to be posed to
address ultimate and proximate hypotheses about behavior, in the
context of animal vocal communication systems.

Location: NIMBioS at the University of Tennessee, Knoxville

For more information about the workshop and a link to the online
application form, go to

Participation in the workshop is by application only.
Application deadline: June 24, 2013

The National Institute for Mathematical and Biological Synthesis


From: "Daniel B. Szyld" <>
Date: Sat, 15 Jun 2013 09:38:37 -0400 (EDT)
Subject: Mid-Atlantic NA Day, USA, Nov 2013

The Mid-Atlantic NA Day 2013 will take place at Temple University,
Philadelphia, on Friday 22 November 2013.

The purpose of this one-day meeting is to provide a forum for Graduate
Students and Postdoctoral Fellows, i.e., researchers and practitioners
from the Mid-Atlantic region at the very beginning of their careers,
to exchange ideas in numerical analysis, scientific computing, and
related application areas. More established scientists are encouraged
to attend as well.

Keynote speaker: Marsha Berger, Courant Institute, NYU

Abstract submission deadline is 7 October 2013. There will be no
registration fee, but we ask participants to please register.

Submissions, registration, hotel info and more at:

Questions? Write to us at


From: Ahti Salo <>
Date: Fri, 14 Jun 2013 17:52:35 +0300
Subject: Tenure Track Positions, Mathematics, Aalto Univ, Finland

Two tenure track or tenured positions in mathematics at Aalto
University, Finland

The positions are located in the Department of Mathematics and Systems
Analysis ( <>) at Aalto
University ( The main research fields of the
Department are mathematical analysis, numerical analysis, stochastics,
discrete mathematics and systems and operations research. The
appointed candidates are expected to enlarge and strengthen the
research profile of the Department. Both positions include teaching

Through the first position, the Department seeks primarily to continue
and further strengthen its highly visible profile in the area of
numerical analysis. This area is not narrowly defined and applicants
from related areas of mathematics are also encouraged to apply.

Through the second position, the Department seeks to enrich its
research profile and consequently applications are welcome from all
areas of mathematics.

More information about these positions and the application process is at

For information about the Aalto tenure track career system, please


From: Jason Frank <>
Date: Wed, 12 Jun 2013 08:47:27 +0200
Subject: Tenure Track Positions, Utrecht Univ

The Mathematical Institute of Utrecht University invites applications
for the positions of

Two assistant professors of Mathematics (tenure-track)

We are searching for one new colleague in the division of Fundamental
Mathematics, whose expertise is in connection with geometry and/or
mathematical physics, in the broadest sense. This comprises, but is
not limited to, algebraic geometry, automorphic forms, differential
geometry, geometric analysis, and non-commutative geometry.

We are searching for another new colleague in the division of
Mathematical Modelling whose expertise is in dynamical systems in
connection with computational mathematics, in the broadest sense. This
comprises, but is not limited to, applied analysis, numerical
bifurcation theory and scientific computing. Areas of
interdisciplinary research include atmosphere/ocean sciences,
computational life sciences and mathematical biology.

The appointments are at the level of assistant professor
(“universitair docent”, lecturer), initially for a period of 5
years. A review takes place after 4 years. In case of a positive
evaluation, the position becomes permanent.

The vacancies are part of an incentive by which twelve tenure track
positions in mathematics will become available at Dutch universities
and research institutes, made possible by the Ministry of Education,
Culture and Science via the Netherlands Organisation for Scientific
Research (NWO).

Utrecht University specifically encourages female candidates to apply.

Closing date for applications: 7 July 2013.

Please visit for more details.


From: Fredeic Gourdeau <>
Date: Mon, 17 Jun 2013 13:28:24 -0400
Subject: Faculty Position, Numerical Analysis, Laval Univ, Quebec

The Department of Mathematics and Statistics of Université Laval
invites applications for a faculty position in applied mathematics, in
the field of Numerical analysis, and more precisely in Numerical
continuum mechanics. The person hired will play a major leadership
role in GIREF (Groupe interdisciplinaire de recherche en éléments
finis). Preference will be given to an experienced researcher and
hiring will normally be at the rank of associate professor. However,
exceptional applications from young researchers will also be
considered for hiring at the rank of assistant professor. The
appointment would normally start on June 1, 2014.

About Université Laval. The Department of Mathematics and Statistics
(DMS) is in the Faculty of Science and Engineering of Université
Laval, one of the leading research universities in Canada. The DMS
provides an excellent environment for research and teaching. It offers
courses (taught in French) to students in our specialized programs in
Mathematics and Statistics (Bachelor, Masters and PhD), as well as
courses to students in engineering, education, etc. Université Laval
is located in Quebec City, a UNESCO World Heritage Site and the
capital of the province of Quebec. With over 40,000 students, the
university is a stimulating working environment, at the heart of a
metropolitan area of 750,000 inhabitants.

Job Description and Aplications. Your are invited to apply through
mathjobs at There you will
find a complete job description. You can also visit

Applications must be received by October 31, 2013.


From: Jichao Zhao <>
Date: Mon, 10 Jun 2013 17:50:49 -0400
Subject: Postdoc Position, Bioengineering Inst, New Zealand

Postdoctoral Research Fellow, Auckland Bioengineering Institute

We have funding for a postdoctoral fellow to work on novel signal
processing tools for analysing the spatio-temporal charactistics of
electrical activity during atrial fibrillation. Atrial fibrillation
is the most common form of heart rhythm disturbance and electrical
activity is mapped clinically to identify regions of the atria that
give rise to it. Preliminary studies at the Auckland Bioengineering
Institute (ABI) indicate that combination of 3D real-time atrial
electrical mapping with wavelet decomposition provides a particularly
effective approach to the problem of substrate identification in
atrial fibrillation.

This post will suit someone who has recently completed a PhD, has
experience in advanced signal processing methods and wishes to apply
this in biomedical research. The successful candidate will work with
Dr. Jichao Zhao as part of a research group in the ABI and the Faculty
of Medical Health Sciences, that is led by Prof. Bruce Smaill. The
post is initially for 12 months, but extension for up to a further one
or two years is possible.

Specific requirements: A Ph.D. in Engineering, Mathematics or Physics
with a strong background in digital signal processing (frequency
domain and wavelet approaches) and a strong background in computer
programming (eg, C/C++, Matlab).

If you have any queries in relation to this position, contact Dr
Jichao Zhao ( 0064-9 923 6505,


From: George Pau <>
Date: Tue, 11 Jun 2013 08:39:20 -0700
Subject: Postdoc Position, Lawrence Berkeley Nat. Lab.

The hydrogeology department of the LBNL's Earth Science Division has
an an immediate opening for a postdoctoral researcher who is
interested in developing reduced order models for earth system models.

The project will explore multiple reduced order modeling techniques
from different disciplines for applications in subsurface flow models
and, subsequently, other submodels within the Community Land Model
(CLM) and Community Earth System Model (CESM). The project will also
develop methods to accurately quantify the modeling errors and
uncertainties of these reduced order models, and study their impacts
on uncertainty quantification. Details of the position can be found


From: "Jonathan Hu" <>
Date: Tue, 11 Jun 2013 09:23:59 -0700
Subject: Postdoc Position, Mesoscale Materials Modeling, Sandia National Labs

The Multiphysics Simulation Technologies Department at Sandia National
Labs is seeking a qualified post-doctoral researcher to support staff
in research on mathematical and computational methods for mesoscale
materials modeling. Research focuses on development of (1) concurrent
multi-model coupling methods to address the challenge of bridging the
spatial and temporal regimes that are individually described by
distinct mathematical and computational models, and (2) fast solvers
for coupled models. Research also includes numerical software
development and numerical experimentation. The selected candidate will
be expected to work in a multi-disciplinary team and to thrive in an
expanding, fast-paced technical environment.

To apply, visit

and search on opening 643540, or use the direct link

Mike Parks (
Chris Siefert (
Jonathan Hu (


From: Zhonghua Qiao <>
Date: Tue, 18 Jun 2013 04:06:28 -0400
Subject: Contents, Num Mathematics: Theory, Methods and Appl, 6(2)

Numerical Mathematics: Theory, Methods and Applications (NMTMA)
Volume 6, Number 2, 2013

Rongpei Zhang, Xijun Yu, Xia Cui, Xiaohan Long and Tao Feng, A New
Discontinuous Galerkin Method for Parabolic Equations with
Discontinuous Coefficient. Numer. Math. Theor. Meth. Appl. 6 (2013),
pp. 325-342.

Ali Yang, Liantang Wang and Xiaohua Li, A Method for Solving the
Inverse Scattering Problem for Shape and Impedance of Crack.
Numer. Math. Theor. Meth. Appl. 6 (2013), pp. 343-352.

Yanmei Xue, Ning Bi and Yuan Zhang, Conjugate Symmetric Complex Tight
Wavelet Frames with Two Generators. Numer. Math. Theor. Meth. Appl. 6
(2013), pp. 353-363.

Ronald D. Haynes, Weizhang Huan and Paul A. Zegeling, A Numerical
Study of Blowup in the Harmonic Map Heat Flow Using the MMPDE Moving
Mesh Method. Numer. Math. Theor. Meth. Appl. 6 (2013), pp. 364-383.

Jian Deng, Ruo Li, Tao Sun and Shuonan Wu, Robust a Simulation for
Shallow Flows with Friction on Rough Topography.
Numer. Math. Theor. Meth. Appl. 6 (2013), pp. 384-407.

Cunyun Nie, Shi Shu, Haiyuan Yu and Juan Wu, Superconvergence and
Asymptotic Expansions for Bilinear Finite Volume Element
Approximations. Numer. Math. Theor. Meth. Appl. 6 (2013),
pp. 408-423.

Yunxia Wei and Yanping Chen, A Spectral Method for Neutral Volterra
Integro-Differential Equation with Weakly Singular Kernel.
Numer. Math. Theor. Meth. Appl. 6 (2013), pp. 424-446.


From: Zhonghua Qiao <>
Date: Tue, 18 Jun 2013 04:09:33 -0400
Subject: Contents, Communications in Computational Physics, 13(4)

Communications in Computational Physics (CiCP)
Free downloadable -- Volume 13, Number 4, 2013

Craig Collins, Jie Shen and Steven M. Wise, An efficient, energy
stable scheme for the Cahn-Hilliard-Brinkman system.
Commun. Comput. Phys., 13 (2013), pp. 929-957.

Mohammad Hossein Bani-Hashemian, Stefan Hellander and Per Lotstedt,
Efficient sampling in event-driven algorithms for reaction-diffusion
processes. Commun. Comput. Phys., 13 (2013), pp. 958-984.

Guillaume Chiavassa and Bruno Lombard, Wave propagation across
acoustic/Biot's media: a finite-difference method.
Commun. Comput. Phys., 13 (2013), pp. 985-1012.

Haiyang Gao, Z. J. Wang and H. T. Huynh, Differential formulation of
discontinuous Galerkin and Related methods for the Navier-Stokes
equations. Commun. Comput. Phys., 13 (2013), pp. 1013-1044.

Jie Shen, Xiaofeng Yang and Qi Wang, Mass and volume conservation in
phase field models for binary fluids. Commun. Comput. Phys., 13
(2013), pp. 1045-1065.

Yumei Huang, Michael Ng and Tieyong Zeng, The convex relaxation method
on deconvolution model with multiplicative noise.
Commun. Comput. Phys., 13 (2013), pp. 1066-1092.

Han Wang, Dan Hu and Pingwen Zhang, Measuring the spontaneous
curvature of bilayer membranes by molecular dynamics simulations.
Commun. Comput. Phys., 13 (2013), pp. 1093-1106.

Tony W. H. Sheu, L. Y. Liang and J. H. Li, Development of an explicit
symplectic scheme that optimizes the dispersion-relation equation of
the Maxwell's equations. Commun. Comput. Phys., 13 (2013),
pp. 1107-1133.

Jinqing Yu, Xiaolin Jin, Weimin Zhou, Bin Li and Yuqiu Gu, High-order
interpolation algorithms for charge conservation in particle-in-cell
simulations. Commun. Comput. Phys., 13 (2013), pp. 1134-1150.

Liang Wang, Zhaoli Guo, Baochang Shi and Chuguang Zheng, Evaluation of
three lattice Boltzmann models for particulate flows.
Commun. Comput. Phys., 13 (2013), pp. 1151-1172.

Samih Zein, Benoit Colson and Francois Glineur, An efficient sampling
method for regression-based polynomial chaos expansion.
Commun. Comput. Phys., 13 (2013), pp. 1173-1188.

End of NA Digest