Subject: NA Digest, V. 16, # 23

<br /><br />NA Digest  Monday, June 06, 2016  Volume 16 : Issue 23

<br /><br />Today's Editor:

<br /><br /> &nbsp; Daniel M. Dunlavy
<br /> &nbsp; Sandia National Labs
<br /> &nbsp; <a href='mailto:dmdunla@sandia.gov'>dmdunla@sandia.gov</a>

<br /><br />Today's Topics:

<br /><br />Alan Turing and interval arithmetic
<br />Call for nominations, ICS Prize
<br />Codes for Fast QR Factorization with Column Pivoting
<br />New Book, Nonlinear ODEs. Analytical Approximation and Numerical Methods
<br />Optimization Techniques for Inverse Problems, Italy, Sep 2016
<br />Research Software Engineer Position, STFC, United Kingdom
<br />Research Fellow Position, Computational Modelling of Blast Waves
<br />Special Issue, Frontiers of Mathematics in China
<br />Contents,  BIT Numerical Mathematics, 56 (2)
<br />
<br />Subscribe, unsubscribe, change address, or for na-digest archives:
<br /> &nbsp; <a href='http://www.netlib.org/na-digest-html/faq.html'>http://www.netlib.org/na-digest-html/faq.html</a>

<br /><br />Submissions for NA Digest:
<br /> &nbsp; http://icl.cs.utk.edu/na-digest/

<br /><br />-------------------------------------------------------

<br /><br />From: Rump <a href="malito:rump@tuhh.de">rump@tuhh.de</a>
<br />Date: June 03, 2016
<br />Subject: Alan Turing and interval arithmetic

<br /><br />Wilkinson mentions in his famous 1971 SIAM Review article [1] in
<br />Section 11 (p. 566):
<br />
<br />"Attempts have been made to obtain automatic error bounds on the
<br />computer itself, by means of interval arithmetic and significant digit
<br />arithmetic. It is not generally realized that A.M. Turing thought a
<br />good deal about these modes of operation as early as 1946 and
<br />considered a possibility of including appropriate hardware in the
<br />computer."
<br />
<br />In his 1970 Turing Lecture he was [2] more specific (p. 140): "While I
<br />was preparing this talk an early Mathematics Division report was
<br />unearthed. It was written by Turing in 1946 for the Executive
<br />Committee of N.P.L. [...] It is perhaps salutary to be reminded that
<br />as early as 1946 Turing had considered the possibility of working with
<br />both interval and significant digit arithmetic ..."
<br />
<br />Does anybody know of documents by Turing on interval or siginificant
<br />digit arithmetic?
<br />
<br />P.S.: The mentioned report might be Turing's 'Proposal for Development
<br />in the Mathematics Division of an Automatic Computing Engine (ACE)',
<br />however, I could not find something on error bounds in there.
<br />
<br />[1] J.H. Wilkinson: Modern Error Analysis, SIAM Review, 13(4),
<br />548-568, 1971.
<br />[2] J.H. Wilkinson: , J. of the ACM, 18(2), 137-147, 1971.
<br />

<br /><br />-------------------------------------------------------

<br /><br />From: Nick Sahinidis <a href="malito:sahinidis@cmu.edu">sahinidis@cmu.edu</a>
<br />Date: June 03, 2016
<br />Subject: Call for nominations, ICS Prize

<br /><br />The INFORMS Computing Society (ICS) Prize is an annual award for the
<br />best English language paper or group of related papers dealing with
<br />the Operations Research/Computer Science interface.  The award is
<br />accompanied by a certificate and a $1,000 honorarium.  The award will
<br />be presented at the ICS Business Meeting that will take place during
<br />the INFORMS Annual Meeting in Nashville November 13-16, 2016.
<br />
<br />The goals of the prize are:
<br />- To promote the development of high-quality work advancing the state
<br />  of the art in the operations research/computer science interface;
<br />- To publicize and reward the contributions of those
<br />  authors/researchers who have advanced the state of the art; and
<br />- To increase the visibility of excellent work in the field.
<br />
<br />Conditions for eligibility:
<br />- Published in the open literature;
<br />- Pertinent to the interface of operations research and computer
<br />  science;
<br />- Written in English.
<br />
<br />The nomination package should consist of a cover letter and a copy of
<br />each nominated work.  The cover letter should provide the title,
<br />author's name, place and date of publication as well as a
<br />justification for the nomination.  Self-nominations are allowed but
<br />discouraged.  All nominations should be submitted electronically to
<br />icsprize@mail.informs.org by midnight EDT, July 15, 2016.  All
<br />submissions will be acknowledged by the committee chair.
<br />Hard-to-reproduce works, such as books, may be submitted in hard copy
<br />form to the mailing address below.  In the case of hard copy
<br />submission, three copies of each item in the nomination packet should
<br />be submitted to the chair of the committee, and an e-mail indicating a
<br />hard copy submission should be sent to icsprize@mail.informs.org .

<br /><br />-------------------------------------------------------

<br /><br />From: Gregorio Quintana, for the HQRRP team <a href="malito:gquintan@icc.uji.es">gquintan@icc.uji.es</a>
<br />Date: June 02, 2016
<br />Subject: Codes for Fast QR Factorization with Column Pivoting

<br /><br />Householder transformation based QR factorization with column pivoting
<br />is an important algorithm for many problems and applications.
<br />Recently, techniques that use randomized sampling have been developed
<br />that do achieve high performance by casting most computation in terms
<br />of matrix-matrix multiplication.
<br />
<br />Two weeks ago we announced to NA Digest a fast C code to compute it
<br />that can be easily linked to LAPACK.  This week, we release the
<br />implementation of this algorithm, which we call HQRRP, using the more
<br />modern libflame library.  The benefits of libflame is that it allows
<br />the code to closely reflect how the algorithm is explained in our
<br />paper, uses the somewhat more elegant UT transform for the application
<br />of multiple Householder transformations, and exposes an alternative
<br />object based interface.  Rather than linking to LAPACK, the user links
<br />to the libflame library (available from
<br />https://github.com/flame/libflame), which has full LAPACK
<br />functionality and an LAPACK backward compatibility interface.
<br />
<br />The new implementation is also faster than usual QR factorization with
<br />column pivoting. It can be downloaded from
<br />https://github.com/flame/HQRRP/.
<br />

<br /><br />-------------------------------------------------------

<br /><br />From: HERMANN, Martin <a href="malito:martin.hermann@uni-jena.de">martin.hermann@uni-jena.de</a>
<br />Date: June 02, 2016
<br />Subject: New Book, Nonlinear ODEs. Analytical Approximation and Numerical Methods

<br /><br />Nonlinear Ordinary Differential Equations. Analytical Approximation
<br />and Numerical Methods, Springer India 2016, 320 pages,
<br />ISBN 978-81-322- 2810-3
<br />
<br />The book discusses the solutions to nonlinear ordinary differential
<br />equations (ODEs) using analytical and numerical approximation methods.
<br />Recently, analytical approximation methods have been largely used in
<br />solving linear and nonlinear lower-order ODEs. It also discusses using
<br />these methods to solve some strong nonlinear ODEs.  There are two
<br />chapters devoted to solving nonlinear ODEs using numerical methods, as
<br />in practice high-dimensional systems of nonlinear ODEs that cannot be
<br />solved by analytical approximate methods are common. Moreover, it
<br />studies analytical and numerical techniques for the treatment of
<br />parameter-depending ODEs.
<br />
<br />The book explains various methods for solving nonlinear-oscillator and
<br />structural-system problems, including the energy balance method,
<br />harmonic balance method, amplitude frequency formulation, variational
<br />iteration method, homotopy perturbation method, iteration perturbation
<br />method, homotopy analysis method, simple and multiple shooting method,
<br />and the nonlinear stabilized march method. This book comprehensively
<br />investigates various new analytical and numerical approximation
<br />techniques that are used in solving nonlinear-oscillator and
<br />structural- system problems.
<br />

<br /><br />-------------------------------------------------------

<br /><br />From: Marco Prato <a href="malito:marco.prato@unimore.it">marco.prato@unimore.it</a>
<br />Date: June 02, 2016
<br />Subject: Optimization Techniques for Inverse Problems, Italy, Sep 2016

<br /><br />WORKSHOP: OPTIMIZATION TECHNIQUES FOR INVERSE PROBLEMS (OIP2016)
<br />Modena, Italy, September, 19-21, 2016
<br />
<br />The format of the third edition of the workshop is made by a limited
<br />number of extended talks held by international experts in numerical
<br />optimization and inverse problems. The workshop aims at strengthening
<br />the interaction between inverse problems and optimization, providing
<br />space for exchanges of information and ideas from the two areas. Both
<br />theoretical and applied aspects of optimization techniques will be
<br />faced, with particular attention to related developments in specific
<br />inverse problems as machine learning and signal and image restoration.
<br />
<br />Speakers: Stefania Bellavia, Università di Firenze; Mario Bertero,
<br />Università di Genova; Laure Blanc-Féraud, Université Nice Sophia
<br />Antipolis; Silvia Bonettini, Università di Ferrara; Alessandro Chiuso,
<br />Università di Padova; Christian Clason, Universität Duisburg-Essen;
<br />Christine De Mol, Université Libre de Bruxelles; Daniela di Serafino,
<br />Seconda Università di Napoli; Marco Donatelli, Università
<br />dell'Insubria; Mário Figueiredo, Instituto Superior Técnico, Lisboa;
<br />Roger Fletcher, University of Dundee; Dmitri Kvasov, Università della
<br />Calabria; Germana Landi, Università di Bologna; Ignace Loris,
<br />Université Libre de Bruxelles; Jean-Christophe Pesquet, Université
<br />Paris-Est; Michele Piana, Università di Genova; Thomas Pock, Graz
<br />University of Technology; Saverio Salzo, Istituto Italiano di
<br />Tecnologia
<br />
<br />All the information about the workshop can be found at the website
<br />http://www.oip2016.unimore.it/
<br />

<br /><br />-------------------------------------------------------

<br /><br />From: Ilian Todorov <a href="malito:ilian.todorov@stfc.ac.uk">ilian.todorov@stfc.ac.uk</a>
<br />Date: June 02, 2016
<br />Subject: Research Software Engineer Position, STFC, United Kingdom

<br /><br />Location: Warrington, United Kingdom
<br />Salary: £29,900 to £43,164 depending on experience
<br />Contract Type: Fixed Term (3 Years), Full Time
<br />Application Closes: 19th June 2016
<br />Interview Date: 5th July 2016 (TBC)
<br />Job Reference: IRC224189
<br />
<br />You will join the DL_POLY team at the Computational Chemistry Group,
<br />part of the Scientific Computing Department.  You will work with other
<br />research software developers and a range of customers including
<br />scientists, external visitors, engineers and administrative staff.
<br />
<br />You need to love code, be versed in application mathematics and
<br />statistical physics and have experience in computational modelling.
<br />You need to be able to work with other members of the team to design
<br />and craft solutions in a portable and sustainable manner with
<br />supplementary user and technical documentation.
<br />
<br />The ability to design, specify and implement complex algorithms in
<br />software using high-level programming languages (e.g. Fortran and C)
<br />is essential.
<br />
<br />Experience of developing/enhancing models for particle-based
<br />simulation methods and techniques such as reactive force-fields,
<br />charge optimisation/polarisation/penetration, implicit solvation,
<br />multiple time-stepping, direct Poison solvers is highly desirable.
<br />
<br />You will have experience and expertise in the area of application
<br />mathematics for chemistry, physics or materials.  Apply at
<br />http://www.topcareer.jobs/Vacancy/irc224189_6391.aspx

<br /><br />-------------------------------------------------------

<br /><br />From: Shaun Forth <a href="malito:S.A.Forth@cranfield.ac.uk">S.A.Forth@cranfield.ac.uk</a>
<br />Date: June 01, 2016
<br />Subject: Research Fellow Position, Computational Modelling of Blast Waves

<br /><br />Cranfield University at the UK's Defence Academy has a vacancy for a
<br />Research Fellow to assist in developing software for computational
<br />modelling of blast waves arising from explosions and their loading on
<br />buildings. The work is applied and focussed on providing tools for
<br />damage assessments in safety engineering and the insurance sector.
<br />
<br />Underlying flow solver is a Cartesian grid finite volume scheme using
<br />MUSCL-Hancock time integration and AUSM-DV approximate Riemann solver.
<br />
<br />Tasks may include work on a few of the following (depending on project
<br />priorities, the experience of the appointee and their subsequent
<br />development): improved input of street geometries; modelling of
<br />explosive charge shape; improved equations of state and multicomponent
<br />gases; modelling of explosive product afterburning; improving
<br />performance, eg, parallelisation for distributed memory supercomputers
<br />or GPUs; CFD algorithm improvements; improving data output.
<br />
<br />Further details at
<br />https://jobs.cranfield.ac.uk/vacancy/research-fellow-in-computational-modelling-
<br />266778.html

<br /><br />-------------------------------------------------------

<br /><br />From: Shmuel Friedland <a href="malito:friedlan@uic.edu">friedlan@uic.edu</a>
<br />Date: May 31, 2016
<br />Subject: Special Issue, Frontiers of Mathematics in China

<br /><br />An international journal: Frontiers of Mathematics in China
<br />http://www.springer.com/mathematics/journal/11464
<br />
<br />will publish a special issue on "Tensors: Theory, Computations and
<br />Applications"
<br />
<br />All international researchers are welcome to contribute papers to this
<br />special issue.
<br />
<br />Guest Editors:
<br />Shmuel Friedland (USA),
<br />Liqun Qi (Hong Kong),
<br />Yimin Wei,
<br />Qingzhi Yang.
<br />
<br />Deadline: 30, September, 2016.
<br />

<br /><br />-------------------------------------------------------

<br /><br />From: Lars Elden <a href="malito:lars.elden@liu.se">lars.elden@liu.se</a>
<br />Date: June 02, 2016
<br />Subject: Contents,  BIT Numerical Mathematics, 56 (2)

<br /><br />BIT Numerical Mathematics. Volume 56 Number 2
<br />
<br />Editorial Preface: "Advances in numerical algebra and scientific
<br />computing", Zhong-Zhi Bai and Lothar Reichel
<br />
<br />Rigorous convergence analysis of alternating variable minimization
<br />with multiplier methods for quadratic programming problems with
<br />equality constraints, Zhong-Zhi Bai and Min Tao
<br />
<br />A simplified HSS preconditioner for generalized saddle point problems,
<br />Yang Cao, Zhi-Ru Ren and Quan Shi
<br />
<br />Analysis of a new dimension-wise splitting iteration with selective
<br />relaxation for saddle point problems, Martin J. Gander, Qiang Niu and
<br />Yingxiang Xu
<br />
<br />Projected nonstationary iterated Tikhonov regularization, Guangxin
<br />Huang, Lothar Reichel and Feng Yin
<br />
<br />Spectrum analysis of a more general augmentation block preconditioner
<br />for generalized saddle point matrices, Yi-Fen Ke and Chang-Feng Ma
<br />
<br />A triple-parameter modified SSOR method for solving singular saddle
<br />point problems, Jing Li and Nai-Min Zhang
<br />
<br />Variants of the accelerated parameterized inexact Uzawa method for
<br />saddle-point problems, Zhao-Zheng Liang and Guo-Feng Zhang
<br />
<br />The generalized HSS method with a flexible shift-parameter for
<br />non-Hermitian positive definite linear systems, Guo-Yan Meng, Rui-Ping
<br />Wen and Qing-Shan Zhao
<br />
<br />Accelerated SOR-like method for augmented linear systems, Patrick Njue
<br />Njeru and Xue-Ping Guo
<br />
<br />Computational fluid dynamics for nematic liquid crystals, Alison
<br />Ramage and Andre M. Sonnet
<br />
<br />A variant of the deteriorated PSS preconditioner for nonsymmetric
<br />saddle point problems, Juli Zhang and Chuanqing Gu
<br />
<br />Nonautonomous systems with transversal homoclinic structures under
<br />discretization, Alina Girod and Thorsten Huls
<br />
<br />Analysis and numerical solution of linear delay differential-algebraic
<br />equations, Phi Ha and Volker Mehrmann
<br />
<br />Monotone finite point method for non-equilibrium radiation diffusion
<br />equations, Zhongyi Huang and Ye Li
<br />
<br />Well-posedness, stability and conservation for a discontinuous
<br />interface problem, Cristina La Cognata and Jan Nordstrom
<br />
<br />The error norm of Clenshaw-Curtis and related quadrature formulae,
<br />Sotirios E. Notaris
<br />
<br />Simple floating-point filters for the two-dimensional orientation
<br />problem, Katsuhisa Ozaki, Florian Bunger, Takeshi Ogita, Shin'ichi
<br />Oishi and Siegfried M. Rump
<br />
<br />Matrix-equation-based strategies for convection-diffusion equations,
<br />Davide Palitta and Valeria Simoncini
<br />
<br />Structural-algebraic regularization for coupled systems of DAEs, Lena
<br />Scholz and Andreas Steinbrecher
<br />

<br /><br />-------------------------------------------------------
<br />End of Digest
<br />**************************
<br />
if (! preg_match( "/\d+/", $volume ) && preg_match( "/\d+/", $issue )  ) {
    exit( 'Invalid parameters' );
  }