|
Bergische Universität Wuppertal
|
|
|
|
|
Bergische Universität Wuppertal
|
|
|
| Go to year |
2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993 - 1992 - 1991 - 1989
| 2005 |
| [1] |
Thomas Beelitz, Andreas Frommer, Bruno Lang, and Paul Willems.
Symbolic-numeric techniques for solving nonlinear systems, 2005. [ Preprint | Abstract ] |
| [2] |
Jens Gräbel, Bruno Lang, and Peer Ueberholz.
Performance optimization for the parallel Gauss-Seidel smoother,
2005. [ Preprint | Abstract ] |
| [3] |
Tatjana Eitrich and Bruno Lang.
Parallel tuning of support vector machine learning parameters for
large and unbalanced data sets, 2005. [ Preprint | Abstract ] |
| [4] |
Thomas Beelitz, Andreas Frommer, Bruno Lang, and Paul Willems.
A framework for existence tests based on the topological degree and
homotopy, 2005. [ Preprint | Abstract ] |
| [5] |
Tatjana Eitrich and Bruno Lang.
Efficient optimization of support vector machine learning parameters
for unbalanced datasets, 2005. [ Preprint | Abstract ] |
| [6] |
Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, and Emil
Slusanschi.
Automatic differentiation of large-scale simulation codes is no
illusion, 2005. [ Preprint | Abstract ] |
| [7] |
Paul R. Willems, Bruno Lang, and Christof Vömel.
Computing the bidiagonal SVD using multiple relatively robust
representations, 2005. [ Preprint | Abstract ] |
| [8] |
Thomas Beelitz, Christian H. Bischof, and Bruno Lang.
Efficient task scheduling in the parallel result-verifying solution
of nonlinear systems, 2005. [ Preprint | Abstract ] |
| [9] |
Benedikt Großer and Bruno Lang.
On symmetric eigenproblems induced by the bidiagonal SVD.
SIAM J. Matrix Anal. Appl., 26(3):599-620, 2005. [ Abstract ] |
| 2004 |
| [1] |
Thomas Beelitz, Christian H. Bischof, Bruno Lang, and Paul Willems.
SONIC-A framework for the rigorous solution of nonlinear
problems, 2004. [ Preprint | Abstract ] |
| [2] |
Andreas Frommer, Fatmir Hoxha, and Bruno Lang.
Proving existence of zeros using the topological degree and interval
arithmetic, 2004. [ Preprint | Abstract ] |
| [3] |
Andreas Frommer and Bruno Lang.
On preconditioners for the Borsuk existence test.
Proc. Appl. Math. Mech., 4:638-639, 2004. [ Abstract ] |
| [4] |
Thomas Beelitz, Christian H. Bischof, and Bruno Lang.
A hybrid subdivision strategy for result-verifying nonlinear solvers.
Proc. Appl. Math. Mech., 4:632-633, 2004. [ Abstract ] |
| [5] |
H.Martin Bücker, Bruno Lang, Hans-Joachim Pflug, and Andre Vehreschild.
Threads in an undergraduate course: A Java example illuminating
different multithreading approaches.
In A. Laganà, M. L. Gavrilova, V. Kumar, Y. Mun, C. J. K. Tan,
and O. Gervasi, editors, Computational Science and Its Applications -
ICCSA 2004, Proc. Intl. Conf. Computational Science and its Applications,
Assisi, Italy, May 14-17, 2004. Part II, number 3044 in Lecture Notes in
Computer Science, pages 882-891. Springer, Berlin, 2004. [ Abstract ] |
| [6] |
Thomas Beelitz, Christian Bischof, Bruno Lang, and Klaus Schulte Althoff.
Result-verifying solution of nonlinear systems in the analysis of
chemical processes.
In René Alt, Andreas Frommer, R.Baker Kearfott, and Wolfram
Luther, editors, Numerical Software with Result Verification - Proc. Intl. Dagstuhl Seminar, January 19-24, 2003, Dagstuhl Castle, Germany,
number 2991 in Lecture Notes in Computer Science, pages 198-205. Springer,
Berlin, 2004. [ Abstract ] |
| [7] |
Martin Mönnigmann, Wolfgang Marquardt, Christian H. Bischof, Thomas
Beelitz, Bruno Lang, and Paul Willems.
A hybrid approach for efficient robust design of dynamic systems,
2004. [ Preprint | Abstract ] |
| [8] |
Andreas Frommer, Bruno Lang, and Marco Schnurr.
A comparison of the Moore and Miranda existence tests.
Computing, 72:349-354, 2004. [ Abstract ] |
| [9] |
Stefanie Krivsky and Bruno Lang.
Using interval arithmetic for determining the structure of convex
hulls.
Numer. Alg., 37(1-4):233-240, December 2004. [ Abstract ] |
| 2003 |
| [1] |
H.Martin Bücker, Bruno Lang, Hans-Joachim Pflug, and Andreas Wolf.
A hybrid MPI-OpenMP implementation of the conjugate gradient
method in Java.
In Dieter an Mey, editor, Proc. EWOMP '03, Fifth European
Workshop on OpenMP, September 22-26, 2003, Aachen, Germany, pages 205-213,
Aachen, Germany, 2003. Center for Computing and Communication, Aachen
University. [ Abstract ] |
| [2] |
Thomas Beelitz, Christian H. Bischof, and Bruno Lang.
Intervals and OpenMP: Towards an efficient parallel
result-verifying nonlinear solver.
In Dieter an Mey, editor, Proc. EWOMP '03, Fifth European
Workshop on OpenMP, September 22-26, 2003, Aachen, Germany, pages 119-125,
Aachen, Germany, 2003. Center for Computing and Communication, Aachen
University. [ Abstract ] |
| [3] |
H. Martin Bücker, Bruno Lang, Arno Rasch, and Christian H. Bischof.
Automatic parallelism in differentiation of Fourier transforms.
In Chin-Cheng Hung, Henry Hexmoor, et al., editors, Proc. 2003
ACM Symposium on Applied Computing (SAC 2003), March 9-12, 2003, Melbourne,
FL, pages 148-152, New York, NY, 2003. ACM, Inc. [ Abstract ] |
| [4] |
Andreas Frommer and Bruno Lang.
Existence tests for solutions of nonlinear equations using Borsuk's
theorem, 2003. [ Abstract ] |
| [5] |
Christian H. Bischof, H. Martin Bücker, Bruno Lang, and Arno Rasch.
An interactive environment for supporting the paradigm shift from
simulation to optimization.
Scientific Programming, 11(4):263-272, 2003. [ Abstract ] |
| [6] |
H. Martin Bücker, Bruno Lang, and Christian H. Bischof.
Parallel programming in computational science: An introductory
practical training course for computer science at Aachen University.
Future Generation Computer Systems, 19:1309-1319, 2003. [ Abstract ] |
| [7] |
Christian H. Bischof, H. Martin Bücker, Bruno Lang, and Arno Rasch.
Solving large-scale optimization problems with EFCOSS.
Advances in Engineering Software, 34(10):633-639, 2003. [ Abstract ] |
| [8] |
Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, and
Jakob W. Risch.
Extending the functionality of the general-purpose finite element
package SEPRAN by automatic differentiation.
Internat. J. Numer. Methods Engrg., 58(14):2225-2238, 2003. [ Abstract ] |
| [9] |
Christian H. Bischof, H. Martin Bücker, Bruno Lang, and Arno Rasch.
Automated gradient calculation.
In Josef Ballmann, editor, Flow Modulation and Fluid-Structure
Interaction at Airplane Wings, number 84 in Notes on Numerical Fluid
Mechanics and Multidisciplinary Design, pages 205-224. Springer, Berlin,
2003. [ Abstract ] |
| [10] |
Benedikt Großer and Bruno Lang.
An O( n2 ) algorithm for the bidiagonal SVD.
Linear Algebra Appl., 358(1-3):45-70, January 2003. [ Abstract ] |
| [11] |
Christian H. Bischof, Bruno Lang, and Andre Vehreschild.
Automatic differentiation for MATLAB programs.
Proc. Appl. Math. Mech., 2(1):50-53, March 2003.
Proc. GAMM-Jahrestagung, March 25-28, 2002, Augsburg, Germany. [ Abstract ] |
| [12] |
Stefanie Krivsky and Bruno Lang.
Verified computation of higher-dimensional convex hulls and the
solution of linear systems.
Electron. J. Math. Comput., 1:21-35, March 2003. [ Abstract ] |
| 2002 |
| [1] |
Christian H. Bischof, H. Martin Bücker, and Bruno Lang.
Automatic differentiation for computational finance.
In Erricos John Kontoghiorghes, Berc Rustem, and Stavros
Siokos, editors, Computational Methods in Decision-Making, Economics and
Finance Proc., Neuchâtel, August 16, 2000, chapter 15, pages 297-310.
Kluwer Academic Publishers, Dordrecht, The Netherlands, 2002. [ Abstract ] |
| [2] |
H. Martin Bücker, Bruno Lang, Dieter an Mey, Arno Rasch, and Christian H.
Bischof.
Explicit loop scheduling in OpenMP for parallel automatic
differentiation.
In Jalal N. Almhana and C.Bhavsar Virendrakumar, editors,
Proc. 16th Annual International Symposium on High Performance Computing
Systems and Applications (HPCS 2002), Moncton, Canada, June 16-19, 2002,
pages 121-126, Los Alamitos, CA, 2002. IEEE Computer Society. [ Abstract ] |
| [3] |
H. Martin Bücker, Bruno Lang, Arno Rasch, and Christian H. Bischof.
Computation of sensitivity information for aircraft design by
automatic differentiation.
In Peter M. A. Sloot, C. J. Kenneth Tan, Jack J. Dongarra, and
Alfons G. Hoekstra, editors, Computational Science - ICCS 2002
International Conference, April 21-24, 2002, Amsterdam, The Netherlands,
Proceedings, Part II, number 2330 in Lecture Notes in Computer Science,
pages 1069-1076, Berlin, 2002. Springer-Verlag. [ Abstract ] |
| [4] |
H. Martin Bücker, Bruno Lang, Arno Rasch, and Christian H. Bischof.
Sensitivity analysis of an airfoil simulation using automatic
differentiation.
In M. H. Hamza, editor, Proc. International IASTED Conference
on Modelling, Identification, and Control (MIC 2002), Innsbruck, Austria,
February 18-21, 2002, pages 73-76, Anaheim, CA, 2002. ACTA Press. [ Abstract ] |
| [5] |
Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, and Emil
Slusanschi.
Efficient and accurate derivatives for a software process chain in
airfoil shape optimization, 2002. [ Abstract ] |
| [6] |
Rainer Steiger, Christian H. Bischof, Bruno Lang, and Walter Thiel.
Using automatic differentiation to compute derivatives of a
quantum-chemical computer program, 2002. [ Abstract ] |
| [7] |
H. Martin Bücker, Bruno Lang, Arno Rasch, and Christian H. Bischof.
Computing sensitivities of the electrostatic potential by automatic
differentiation.
Comput. Phys. Comm., 147(1-2):720-723, August 2002. [ Abstract ] |
| [8] |
Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, and Andre
Vehreschild.
Combining source transformation and operator overloading techniques
to compute derivatives for MATLAB programs.
In Proc. 2nd IEEE Intl. Workshop on Source Code Analysis and
Manipulation (SCAM 2002), October 1, 2002, Montreal, Canada, pages 65-72,
Los Alamitos, CA, November 2002. IEEE Computer Society. [ Abstract ] |
| 2001 |
| [1] |
H. Martin Bücker, Bruno Lang, Dieter an Mey, and Christian H. Bischof.
Bringing together automatic differentiation and OpenMP.
In M. Furnari and E. Gallopoulos, editors, Proceedings
International Conference on Supercomputing, ICS 2001, Sorrento, Italy, June
17-21, 2001, pages 246-251, New York, NY, 2001. ACM Press. [ Abstract ] |
| [2] |
Christian H. Bischof, Bruno Lang, Wolfgang Marquardt, and Martin
Mönnigmann.
Verified determination of singularities in chemical processes.
In Walter Krämer and Jürgen Wolff von Gudenberg, editors,
Scientific Computing, Validated Numerics, Interval Methods, pages
305-316, New York, 2001. Kluwer Academic/Plenum Publishers. [ Abstract ] |
| [3] |
H. Martin Bücker, Bruno Lang, Arno Rasch, and Christian H. Bischof.
From analytic to automated derivatives: A case study of the
electrostatic potential.
In Algorithms and Software for Mobile Communications, Proc. 10th Aachen Symposium on Signal Theory, Aachen, Germany, September 20-21,
2001, pages 255-260, Berlin, 2001. VDE Verlag. [ Abstract ] |
| [4] |
Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, and
Jakob W. Risch.
A CORBA-based environment for coupling large-scale simulation and
optimization software.
In H. R. Arabnia, editor, Proceedings of the International
Conference on Parallel and Distributed Processing Techniques and
Applications, PDPTA'2001, Las Vegas, Nevada, June 25-28, 2001, volume 1,
pages 68-72. CSREA Press, 2001. [ Abstract ] |
| [5] |
H. Martin Bücker, Bruno Lang, and Christian H. Bischof.
Teaching different parallel programming paradigms using Java.
In Proceedings of the Third Annual Workshop on Java for
High-Performance Computing, Sorrento, Italy, June 17, 2001, pages 73-81,
2001. [ Abstract ] |
| [6] |
Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, and
Jakob W. Risch.
On the use of a differentiated finite element package for sensitivity
analysis.
In Vassil N. Alexandrov, Jack J. Dongarra, Benjoe A. Juliano,
René S. Renner, and C. J. Kenneth Tan, editors, Computational
Science - ICCS 2001 International Conference San Francisco, CA, May 2001,
Proceedings, Part I, volume 2073 of Lecture Notes in Computer Science,
pages 795-801, Berlin, 2001. Springer. [ Abstract ] |
| [7] |
Bruno Lang.
A comparison of techniques for evaluating centered forms.
In Ulrich Kulisch, Rudolf Lohner, and Axel Facius, editors,
Perspectives on Enclosure Methods, pages 149-155. Springer-Verlag, Wien,
2001. [ Abstract ] |
| [8] |
Christian H. Bischof, H. Martin Bücker, Jörg Henrichs, and Bruno
Lang.
Hands-on training for undergraduates in high-performance computing
using Java.
In Tor Sørevik, Fredrik Manne, Randi Moe, and Assefaw Hadish
Gebremedhin, editors, Applied Parallel Computing-New Paradigms for HPC
in Industry and Academia, Proceedings 5th International Workshop, PARA 2000,
Bergen, Norway, June 2000, volume 1947 of Lecture Notes in Computer
Science, pages 306-315, Berlin, 2001. Springer-Verlag. [ Abstract ] |
| [9] |
Bruno Lang.
Derivative-based subdivision in multi-dimensional verified Gaussian
quadrature.
In Götz Alefeld, Jiri Rohn, Siegfried Rump, and Tetsuro
Yamamoto, editors, Symbolic Algebraic Methods and Verification Methods,
pages 145-152, Wien, 2001. Springer-Verlag. [ Abstract ] |
| 2000 |
| [1] |
Christian H. Bischof, H. Martin Bücker, Jörg Henrichs, and Bruno
Lang.
Software-Praktikum Paralleles Programmieren mit Java.
Report RWTH-CS-SC-00-13, RWTH Aachen, Lehrstuhl für
Hochleistungsrechnen, 2000. [ Abstract ] |
| [2] |
Bruno Lang.
Direct solvers for symmetric eigenvalue problems.
In Johannes Grotendorst, editor, Modern Methods and Algorithms
of Quantum Chemistry, Jülich, February 21-25, 2000, Proceedings, 2nd
Edition, pages 231-259, Jülich, 2000. John von Neumann Institute for
Computing. [ Abstract ] |
| [3] |
Bruno Lang.
Out-of-core solution of large symmetric eigenproblems.
Z. Angew. Math. Mech., 80:S 809-S 810, 2000. [ Abstract ] |
| [4] |
Christian H. Bischof, Bruno Lang, and Xiaobai Sun.
Algorithm 807: The SBR toolbox-software for successive band
reduction.
ACM Trans. Math. Software, 26(4):602-616, December 2000. [ Abstract ] |
| [5] |
Christian H. Bischof, Bruno Lang, and Xiaobai Sun.
A framework for symmetric band reduction.
ACM Trans. Math. Software, 26(4):581-601, December 2000. [ Abstract ] |
| 1999 |
| [1] |
Bruno Lang.
A comparison of subdivision strategies for verified multi-dimensional
Gaussian quadrature.
In Tibor Csendes, editor, Developments in Reliable Computing -
SCAN-98 Proceedings, pages 67-75, Dordrecht, The Netherlands, 1999. Kluwer
Academic Publishers. [ Abstract ] |
| [2] |
Benedikt Großer and Bruno Lang.
Using pentangular factorizations for the reduction to banded form.
In P. Amestoy, P. Berger, M. Daydé, I. Duff, V. Frayssé,
L. Giraud, and D. Ruiz, editors, EuroPar'99 Parallel Processing, volume
1685 of Lecture Notes in Computer Science, pages 1088-1095, Berlin,
1999. Springer-Verlag. [ Abstract ] |
| [3] |
Benedikt Großer and Bruno Lang.
Efficient parallel reduction to bidiagonal form.
Parallel Comput., 25(8):969-986, 1999. [ Abstract ] |
| [4] |
Bruno Lang.
Efficient algorithms for reducing banded matrices to bidiagonal and
tridiagonal form.
In Peter Arbenz, Marcin Paprzycki, Ahmed Sameh, and Vivek Sarin,
editors, High Performance Algorithms for Structured Matrix Problems,
volume 2 of Advances in the Theory of Computation and Computational
Mathematics, pages 75-89. Nova Science Publishers, Commack, NY, 1999. [ Abstract ] |
| [5] |
Bruno Lang.
Efficient eigenvalue and singular value computations on shared memory
machines.
Parallel Comput., 25(7):845-860, 1999. [ Abstract ] |
| [6] |
Rudolf Berrendorf, Christian Bischof, Holger Brunst, Martin Bücker,
Ulrich Detert, Rüdiger Esser, Michael Gerndt, Johannes Grotendorst,
Inge Gutheil, Hans-Christian Hoppe, Friedel Hoßfeld, Bernd Körfgen,
Bruno Lang, Dieter an Mey, Bernd Mohr, Wolfgang E. Nagel, Karl Solchenbach,
Godehard Sutmann, Valentina Tikko, and Lothar Wollschläger.
Gekoppelte SMP-Systeme im wissenschaftlich-technischen
Hochleistungsrechnen - Status und Entwicklungsbedarf (GoSMP).
Analyse im Auftrag des BMBF, Zentralinstitut für Angewandte
Mathematik, Forschungszentrum Jülich GmbH, December 1999. [ Abstract ] |
| 1998 |
| [1] |
Bruno Lang.
Verified quadrature in determining Newton's constant of
gravitation.
J.UCS, 4(1):16-24, 1998. [ Abstract ] |
| [2] |
Bruno Lang.
Using level 3 BLAS in rotation-based algorithms.
SIAM J. Sci. Comput., 19(2):626-634, March 1998. [ Abstract ] |
| 1997 |
| [1] |
Bruno Lang.
Using level 3 BLAS in the QR algorithm.
Z. Angew. Math. Mech., 77(S2):S 607-S 608, 1997. [ Abstract ] |
| [2] |
Bruno Lang.
Effiziente Orthogonaltransformationen bei der Eigen- und
Singulärwertberechnung.
Habilitationsschrift, Fachbereich Mathematik, Bergische
Universität GH Wuppertal, 1997. |
| 1996 |
| [1] |
Bruno Lang.
Reduction of banded matrices to bidiagonal form.
Z. Angew. Math. Mech., 76(Supplement 1: ICIAM/GAMM 95
Proceedings):155-158, 1996. [ Abstract ] |
| [2] |
Götz Alefeld, Andreas Frommer, and Bruno Lang, editors.
Scientific Computing and Validated Numerics - SCAN-95
Proceedings, volume 90 of Mathematical Research, Berlin, 1996.
Akademie Verlag. [ Abstract ] |
| [3] |
Oliver Holzmann, Bruno Lang, and Holger Schütt.
Newton's constant of gravitation and verified numerical quadrature.
Reliab. Comput., 2(3):229-239, 1996. [ Abstract ] |
| [4] |
Bruno Lang.
Parallel reduction of banded matrices to bidiagonal form.
Parallel Comput., 22:1-18, 1996. [ Abstract ] |
| 1995 |
| [1] |
Bruno Lang.
Verifizierte Lösung von Gleichungs- und
Ungleichungssystemen.
Z. Angew. Math. Mech., 75(S II):S541-S542, 1995. [ Abstract ] |
| 1994 |
| [1] |
Christian H. Bischof, Bruno Lang, and Xiaobai Sun.
Parallel tridiagonalization through two-step band reduction.
In Proceedings of the Scalable High-Performance Computing
Conference, Knoxville, Tennessee, May 23-25, 1994, pages 23-27, Los
Alamitos, CA, 1994. IEEE Computer Society. [ Abstract ] |
| [2] |
Bruno Lang.
Parallele Berechnung von Eigensystemen symmetrischer
Bandmatrizen.
Z. Angew. Math. Mech., 74(6):T541-T544, 1994. [ Abstract ] |
| 1993 |
| [1] |
Bruno Lang.
A parallel algorithm for reducing symmetric banded matrices to
tridiagonal form.
SIAM J. Sci. Comput., 14(6):1320-1338, November 1993. [ Abstract ] |
| 1992 |
| [1] |
Bruno Lang.
Reducing symmetric banded matrices to tridiagonal form-A
comparison of a new parallel algorithm with two serial algorithms on the
iPSC/860.
In L. Bougé, M. Cosnard, Y. Robert, and D. Trystram, editors,
Parallel Processing: CONPAR 92-VAPP V - Proceedings Second Joint
International Conference on Vector and Parallel Processing, Lyon, France,
September 1992, volume 634 of Lecture Notes in Computer Science, pages
271-282, Berlin, 1992. Springer-Verlag. [ Abstract ] |
| 1991 |
| [1] |
Bruno Lang.
Matrix vector multiplication for symmetric matrices on parallel
computers and applications.
Z. Angew. Math. Mech., 71(6):T807-T808, 1991. [ Abstract ] |
| [2] |
Bruno Lang.
Parallele Reduktion symmetrischer Bandmatrizen auf
Tridiagonalgestalt.
Dissertation, Fakultät für Mathematik,
Universität Karlsruhe, 1991. |
| 1989 |
| [1] |
Stephan Abramowski, Bruno Lang, and Heinrich Müller.
Moving regular k-gons in contact.
In J. van Leeuwen, editor, Graph-Theoretic Concepts in Computer
Science, International Workshop WG '88 Proceedings, Amsterdam, June 15-17,
1988, pages 229-242, Berlin, 1989. Springer-Verlag. [ Abstract ] |
|