EDBT 2026 Demo / reviewers in the wild / expert
Daniel W. Lozier
dblp:05/4291
· DBLP profile ↗
9ranked-venue papers
5as first author
0since 2021 · last 2014
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 2 first-authorSystems, architecture and hardware · 2 · 2 first-authorSoftware engineering, systems software and programming languages · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Mathematical optimization · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Mathematical optimization › numerical analysis
interval arithmetic |
0.0 | 1 | 1983 | The Use of Floating-Point and Interval Arithmetic in the Computation of Error Bounds · IEEE Trans. Computers 1983 |
Mathematical optimization
numerical computation |
0.0 | 1 | 1983 | The Use of Floating-Point and Interval Arithmetic in the Computation of Error Bounds · IEEE Trans. Computers 1983 |
Mathematical optimization › numerical computation
floating-point arithmetic |
0.0 | 1 | 1983 | The Use of Floating-Point and Interval Arithmetic in the Computation of Error Bounds · IEEE Trans. Computers 1983 |
Methods — techniques the papers use, named apart from their topics
interval floating-point arithmetic · 0.0inner-product accumulation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2014 | Validated evaluation of special mathematical functions
Franky Backeljauw, Stefan Becuwe, Annie A. M. Cuyt, Joris Van Deun, Daniel W. Lozier |
Sci. Comput. Program. | 5 |
| 2004 | Computation of complex Airy functions and their zeros using asymptotics and the differential equationabstractWe describe a method by which one can compute the solutions of Airy's differential equation, and their derivatives, both on the real line and in the complex plane. The computational methods are numerical integration of the differential equation and summation of asymptotic expansions for large argument. We give details involved in obtaining all of the parameter values, and we control the truncation errors rigorously. Using the same computational methods, we describe an algorithm that computes the zeros and associated values of the Airy functions and their derivatives, and the modulus and phase functions on the negative real axis. Bruce R. Fabijonas, Daniel W. Lozier, Frank W. J. Olver |
ACM Trans. Math. Softw. | 2 |
| 1993 | An underflow-induced graphics failure solved by SLI arithmeticabstractFloating-point underflow is often regarded as either harmless or as an indication that the computational algorithm is in need of scaling. A counterexample to this view is given of a function for which contour plotting is difficult due to floating-point underflow. The function arose as an asymptotic solution to a model problem in turbulent combustion in which two chemical species (fuel and oxidizer) mix and react in a vortex field. Scaling is not a viable option because of extreme sensitivity to a small physical parameter. Standard graphics software packages produce erroneous contours without any indication of difficulty. This example provides support for considering symmetric level-index arithmetic, a new form of computer arithmetic which is immune to underflow and overflow.> Daniel W. Lozier |
IEEE Symposium on Computer Arithmetic | 1 |
| 1989 | Some performance comparisons for a fluid dynamics code
Daniel W. Lozier, Ronald G. Rehm |
Parallel Comput. | 1 |
| 1983 | The Use of Floating-Point and Interval Arithmetic in the Computation of Error BoundsabstractThree forms of interval floating-point arithmetic are defined in terms of absolute precision, relative precision, and combined absolute and relative precision. The absolute-precision form corresponds to the centered form of conventional rounded-interval arithmetic. The three forms are compared on the basis of the number of floating-point operations needed to generate error bounds for inner-product accumulation. Daniel W. Lozier |
IEEE Trans. Computers | 1 |
| 1981 | Algorithm 567: Extended-Range Arithmetic and Normalized Legendre Polynomials [A1], [C1]abstractThis algorithm consists of two logically distinct parts: (1) a package of six F O R T R A N subroutines to facilitate the use of a special form of computer floating-point arithmetic that we call extended-range arithmetic; and (2) a FOR-T R A N subroutine that computes values of normalized Legendre polynomials according to an algorithm that generates (for some inputs) floating-point numbers that are outside the range of any computer.Our desire to produce a robust F O R T R A N subroutine to compute these polynomials stimulated the development of the extended-range software package.This package may prove to be useful for many other computations.Normalized Legendre polynomials are defined by the formula ~) (1 -x~) ~/2 d P.(x),where ~ and ~ are nonnegative integers, x is a real variable lying in the closed interval [ -1 , 1], and P,(x) is the ordinary Legendre polynomial.These functions satisfy a three-term recurrence relation in ~ that is useful in c o m p u t i n g / ~( x ) for fixed ~ and x, and sequences #1, ~1 + 1 , . . ., #2 of values of #.For stability reasons, the recurrence is applied in the backward direction, starting at # = r + 1 and # -v and proceeding through ~ -1, p -2 . . . . .#1. T h e starting value of P~(x) is determined from a first-order recurrence relation, and P;+l(x) = 0 for all r, x.When x is close to =i:l and r is moderately large, this method fails because of Recewed Daniel W. Lozier, J. M. Smith |
ACM Trans. Math. Softw. | 1 |
| 1981 | Extended-Range Arithmetic and Normalized Legendre PolynomialsabstractNahonal Bureau of StandardsAn algorithm is presented for the computation of normalrzed Legendre polynomials.In order to permit wide ranges of argument, degree, and order of these functions, an "extended-range" arithmetic is introduced whereby a separate storage location is allocated to the exponent of a floatmg-pomt number.Since this device may have other applications, separate subroutines are developed for addition of extended-range numbers and also for conversion to and from ordinary floating-point form. J. M. Smith, Frank W. J. Olver, Daniel W. Lozier |
ACM Trans. Math. Softw. | 3 |
| 1976 | A Portable Extended Precision Arithmetic Package and Library With Fortran Precompilerabstractarticle Free Access Share on A Portable Extended Precision Arithmetic Package and Library with Fortran Precompiler Authors: W. T. Wyatt Harry, Diamond Laboratories, Adelphi, MD Harry, Diamond Laboratories, Adelphi, MDView Profile , D. W. Lozier Mathematical Analysis Section, Institute Basic Standards, National Bureau of Standards, Washington, DC Mathematical Analysis Section, Institute Basic Standards, National Bureau of Standards, Washington, DCView Profile , D. J. Orser Mathematical Analysis Section, Institute Basic Standards, National Bureau of Standards, Washington, DC Mathematical Analysis Section, Institute Basic Standards, National Bureau of Standards, Washington, DCView Profile Authors Info & Claims ACM Transactions on Mathematical SoftwareVolume 2Issue 3Sept. 1976 pp 209–231https://doi.org/10.1145/355694.355695Published:01 September 1976Publication History 22citation422DownloadsMetricsTotal Citations22Total Downloads422Last 12 Months7Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF W. T. Wyatt Jr., Daniel W. Lozier, D. J. Orser |
ACM Trans. Math. Softw. | 2 |
| 1973 | A Bit Comparison Program for Algorithm TestingabstractIn view of the increasingly important role of the computer in scientific calculations, the development of computer algorithms for elementary and special functions has been given a great deal of attention. The development of algorithms cannot be divorced from their evaluation, for a computer algorithm is judged solely on the basis of its performance characteristics. These include storage requirements, speed and accuracy. The present paper will deal only with the accuracy aspect of algorithm testing. The other two aspects must be evaluated in the context in which the algorithm is used. In this paper by an algorithm we mean a computer algorithm, i.e. an implementation of a mathematical algorithm in a specific environment. The environment is taken to include factors that may affect the algorithm, e.g. the operating system under which the program is run and hardware algorithms for arithmetic operations. Whereas in some instances mathematical algorithm have been successfully used to locate hardware malfunctions that were not traceable by normal trouble shooting tests, any malfunctions of the software or hardware will not be considered here to be part of the environment. Daniel W. Lozier, Leonard C. Maximon, W. L. Sadowski |
Comput. J. | 1 |