Library

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • ZIB Catalog  (268)
  • Opus Repository ZIB  (55)
  • 1990-1994  (323)
  • 1992  (323)
  • 1
    Book
    Book
    Wien [u.a.] :Springer, ; 1.1977 - 16.2003; damit Ersch. eingest.
    Title: Computing : archives for informatics and numerical computation; Supplementum
    Publisher: Wien [u.a.] :Springer,
    Year of publication: 1977-2003
    Dates of Publication: 1.1977 - 16.2003; damit Ersch. eingest.
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Journal/Serial
    Journal/Serial
    New York, NY :ACM, ; 1.1969 - 7.1975/76; N.S. 1.1976 - 21.2001,1; damit Ersch. eingest.
    Title: SIGBIO newsletter /
    Author: Association for Computing Machinery / Special Interest Group on Biomedical Computing
    Publisher: New York, NY :ACM,
    Year of publication: 1969-2001
    Dates of Publication: 1.1969 - 7.1975/76; N.S. 1.1976 - 21.2001,1; damit Ersch. eingest.
    ISSN: 0163-5697
    Type of Medium: Journal/Serial
    Language: Undetermined
    Parallel Title: Internetausg. ---〉:Biomedical computing
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Journal/Serial
    Journal/Serial
    New York, NY :North-Holland, ; 1.1984 - 46.2000
    Title: ¬The¬ journal of logic programming
    Publisher: New York, NY :North-Holland,
    Year of publication: 1984-2000
    Dates of Publication: 1.1984 - 46.2000
    ISSN: 0743-1066
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:¬The¬ journal of logic and algebraic programming
    Parallel Title: Internetausg. ---〉:¬The¬ journal of logic and algebraic programming
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Book
    Book
    New York, NY :ACM, ; Nachgewiesen 2.1971 - 20.1999,4; damit Ersch. eingest.
    Title: Computer personnel : a quarterly publ. of the Special Interest Group on Computer Personnel Research, SIGCPR
    Publisher: New York, NY :ACM,
    Year of publication: 1971-1999
    Dates of Publication: Nachgewiesen 2.1971 - 20.1999,4; damit Ersch. eingest.
    ISSN: 0160-2497
    Type of Medium: Book
    Parallel Title: Internetausg. ---〉:Computer personnel
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Journal/Serial
    Journal/Serial
    Amsterdam :CWI, ; 1.1988 - 12.1999; damit Ersch. eingest.
    Title: CWI quarterly
    Author: Centrum voor Wiskunde en Informatica 〈Amsterdam〉
    Publisher: Amsterdam :CWI,
    Year of publication: 1988-1999
    Dates of Publication: 1.1988 - 12.1999; damit Ersch. eingest.
    ISSN: 0168-826X , 0922-5366
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Centrum voor Wiskunde en Informatica 〈Amsterdam〉: CWI newsletter
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Journal/Serial
    Journal/Serial
    San Francisco, Calif. :Miller Freeman, ; 1.1983 - 16.1998,3
    Title: Unix review : the publication for the Unix community
    Publisher: San Francisco, Calif. :Miller Freeman,
    Year of publication: 1983-1998
    Dates of Publication: 1.1983 - 16.1998,3
    ISSN: 0742-3136
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Unix review's performance computing
    Parallel Title: Internetausg. ---〉:Unix review.com
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Title: SIGART bulletin : a quarterly publ. of the Special Interest Group on Artificial Intelligence
    Author: Association for Computing Machinery / Special Interest Group on Artificial Intelligence
    Publisher: New York, NY :ACM,
    Year of publication: 1990-1998
    Dates of Publication: 1.1990 - 9.1998
    ISSN: 1053-4830
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Association for Computing Machinery / Special Interest Group on Artificial Intelligence: SIGART newsletter
    Subsequent Title: Forts. ---〉:Intelligence
    Parallel Title: Internetausg. ---〉:Artificial intelligence
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Journal/Serial
    Journal/Serial
    New York, NY :ACM, ; 4.1969 - 33.1998,2; damit Ersch. eingest
    Title: SIGNUM newsletter
    Author: Association for Computing Machinery / Special Interest Group on Numerical Mathematics
    Publisher: New York, NY :ACM,
    Year of publication: 1969-1998
    Dates of Publication: 4.1969 - 33.1998,2; damit Ersch. eingest
    ISSN: 0163-5778
    Type of Medium: Journal/Serial
    Former Title: Vorg. ---〉:Association for Computing Machinery / Special Interest Committee on Numerical Mathematics: SICNUM newsletter
    Additional Information: 16,3=3,2 von:Association for Computing Machinery / Technical Committee on Fortran: FORTEC forum
    Parallel Title: Internetausg. ---〉:Numerical mathematics
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Journal/Serial
    Journal/Serial
    Amsterdam [u.a.] :Elsevier [u.a.], ; 9.1985 - 30.1998
    Title: Computer networks and ISDN systems : the international journal of computer and telecommunications networking
    Publisher: Amsterdam [u.a.] :Elsevier [u.a.],
    Year of publication: 1985-1998
    Dates of Publication: 9.1985 - 30.1998
    ISSN: 0169-7552 , 0376-5075
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Vorg. u. Forts. ---〉:Computer networks
    Note: Computer networks for research in Europe
    Additional Information: In 14,1=15 von:Networkshop: Conference report
    Additional Information: 16,1/2=4; 17,4/5=5 von:European Networkshop: European Networkshop
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Journal/Serial
    Journal/Serial
    Woodbury, NY :AIP, ; 1.1987,1(Nov./Dez.); 2.1988 - 12.1998
    Title: Computers in physics /
    Contributer: American Institute of Physics
    Publisher: Woodbury, NY :AIP,
    Year of publication: 1987-1998
    Dates of Publication: 1.1987,1(Nov./Dez.); 2.1988 - 12.1998
    ISSN: 0894-1866
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Computing in science & engineering
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 11
    Book
    Book
    Bergheim :DATACOM-Zeitschriften-Verl., | Köln Müller -1993,9 ; 11.1973 - 14.1976; 19.1981 - 20.1982; 1983 - 1994; 32.1995 - 34.1997,10
    Title: Online : erfolgreiches Informationsmanagement, ADI-Nachrichten, ÖVD ; Organ d. ADI - Anwenderverband Deutscher Informationsverarbeiter e.V
    Contributer: Anwenderverband Deutscher Informationsverarbeiter
    Publisher: Bergheim :DATACOM-Zeitschriften-Verl., , Köln Müller -1993,9
    Year of publication: 1973-1997
    Dates of Publication: 11.1973 - 14.1976; 19.1981 - 20.1982; 1983 - 1994; 32.1995 - 34.1997,10
    ISSN: 0340-1545 , 0179-6623 , 0342-9393
    Type of Medium: Book
    Language: Undetermined
    Former Title: Vorg. ---〉:Zeitschrift für Datenverarbeitung
    Subsequent Title: 15.1977 - 18.1980 ---〉:ADL-Verband für Informationsverarbeitung: ADL-Nachrichten, Online
    Subsequent Title: Aufgeg. in ---〉:Information week
    Note: Später ohne Zählung
    Additional Information: Beil. ---〉:Drucker spezial
    Additional Information: Beil. ---〉:Online / special
    Additional Information: Darin ---〉:Anwenderverband Deutscher Informationsverarbeiter: ADI-Nachrichten, ÖVD
    Additional Information: Beil. ---〉:Pro info
    Additional Information: Beil. ---〉:Online-Info
    Additional Information: 1996 darin ---〉:Datacom-Special
    Parallel Title: 19.1981 auch in ---〉:Öffentliche Verwaltung und Datenverarbeitung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 12
    Journal/Serial
    Journal/Serial
    Amsterdam :Amsterdam Universities Computing Centre, ; Nr. 1.1984 - 69.1997; damit Ersch. eingest.
    Title: Supercomputer : bimonthly magazine on supercomputing in the Netherlands
    Publisher: Amsterdam :Amsterdam Universities Computing Centre,
    Year of publication: 1984-1997
    Dates of Publication: Nr. 1.1984 - 69.1997; damit Ersch. eingest.
    ISSN: 0168-7875
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: Teils auch mit Jg.-Zählung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 13
    Title: LISP and symbolic computation : an internat. journal ; a forum for current and envolving symbolic computing, focusing on LISP and object-oriented programming
    Publisher: Dordrecht [u.a.] :Kluwer Acad. Publ.,
    Year of publication: 1988-1997
    Dates of Publication: 1.1988 - 10.1997
    ISSN: 0892-4635
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Higher order and symbolic computation
    Parallel Title: Internetausg. ---〉:Higher-order and symbolic computation
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 14
    Journal/Serial
    Journal/Serial
    Thousand Oaks, Calif. :Sage Science Press, ; 1.1987 - 11.1997
    Title: ¬The¬ international journal of supercomputer applications and high performance computing
    Publisher: Thousand Oaks, Calif. :Sage Science Press,
    Year of publication: 1987-1997
    Dates of Publication: 1.1987 - 11.1997
    ISSN: 1078-3482 , 0890-2720
    Type of Medium: Journal/Serial
    Subsequent Title: Forts. ---〉:¬The¬ international journal of high performance computing applications
    Parallel Title: Internetausg. ---〉:¬The¬ international journal of high performance computing applications
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 15
    Journal/Serial
    Journal/Serial
    München :Hanser, ; 1.1983 - 14.1996,6
    Title: Unix mail : Europas erster Informationsdienst für Unix-Hersteller und -Anwender
    Publisher: München :Hanser,
    Year of publication: 1983-1996
    Dates of Publication: 1.1983 - 14.1996,6
    ISSN: 0176-8654
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:¬Die¬ blauen Blätter
    Parallel Title: CD-ROM-Ausg. ---〉:Unix mail, die blauen Blätter
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 16
    Journal/Serial
    Journal/Serial
    Minneapolis, Minn. :Cray Research, Inc., ; Nachgewiesen 6.1984 - 18.1996,2; damit Ersch. eingest.
    Title: Cray channels : a Cray Research, Inc. publication
    Contributer: Cray Research, Inc. 〈Mendota Heights, Minn.〉
    Publisher: Minneapolis, Minn. :Cray Research, Inc.,
    Year of publication: 1984-1996
    Dates of Publication: Nachgewiesen 6.1984 - 18.1996,2; damit Ersch. eingest.
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 17
    Journal/Serial
    Journal/Serial
    Sebastopol, Calif. :O'Reilly, ; 0.1991[Probeh.]; Nr. 1.1992 - 17.1996; damit Ersch. eingest.
    Title: ¬The¬ X resource : a practical journal of the X window system
    Publisher: Sebastopol, Calif. :O'Reilly,
    Year of publication: 1991-1996
    Dates of Publication: 0.1991[Probeh.]; Nr. 1.1992 - 17.1996; damit Ersch. eingest.
    ISSN: 1058-5591
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 18
    Journal/Serial
    Journal/Serial
    New York, NY :ACM Inc., ; 1.1987/88 - 4.1990/91; 5.1992; 6.1992/93; 7.1994 - 8.1995,2; damit Ersch. eingest.
    Title: LISP pointers /
    Publisher: New York, NY :ACM Inc.,
    Year of publication: 1987-1995
    Dates of Publication: 1.1987/88 - 4.1990/91; 5.1992; 6.1992/93; 7.1994 - 8.1995,2; damit Ersch. eingest.
    ISSN: 1045-3563
    Type of Medium: Journal/Serial
    Note: Special Interest Group on Programming Languages (SIGPLAN)
    Parallel Title: Internetausg. ---〉:Association for Computing Machinery / Special Interest Group on Programming Languages: ACM SIGPLAN LISP pointers
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 19
    Journal/Serial
    Journal/Serial
    Stuttgart :IBM, ; 22.1972,Apr. - 45.1995 = Nr. 210-323; damit Ersch. eingest.
    Title: IBM-Nachrichten /
    Author: IBM Deutschland GmbH 〈Stuttgart〉
    Publisher: Stuttgart :IBM,
    Year of publication: 1972-1995
    Dates of Publication: 22.1972,Apr. - 45.1995 = Nr. 210-323; damit Ersch. eingest.
    ISSN: 0018-8662
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Internationale Büro-Maschinen-Gesellschaft Deutschland 〈Sindelfingen〉: IBM-Nachrichten
    Additional Information: Beil. ---〉:Hollerith-Mitteilungen
    Parallel Title: CD-ROM-Ausg. ---〉:IBM Deutschland GmbH 〈Stuttgart〉: IBM-Nachrichten
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 20
    Journal/Serial
    Journal/Serial
    Oxford [u.a.] :Pergamon Press, ; 1.1960 - 19.1995
    Title: Annual review in automatic programming
    Publisher: Oxford [u.a.] :Pergamon Press,
    Year of publication: 1960-1995
    Dates of Publication: 1.1960 - 19.1995
    ISSN: 0066-4138
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Annual reviews in control
    Additional Information: 1=3; 2=6, 3=11, 4=12; 5=13,2 von:International tracts in computer science and technology and their application
    Additional Information: 8=7; 9,2/3=8; 10=10; 11=11; 13,1=13; 14,1=15 von:Real time programming
    Additional Information: 12,1-12,2=2 von:Systems analysis and simulation
    Additional Information: 13,2=5 von:Control applications of nonlinear programming and optimization
    Parallel Title: Internetausg. ---〉:Annual reviews in control
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 21
    Journal/Serial
    Journal/Serial
    Baltimore, Md., ; 1.1989 - 7.1995
    Title: ORSA journal on computing /
    Author: Operations Research Society of America
    Publisher: Baltimore, Md.,
    Year of publication: 1989-1995
    Dates of Publication: 1.1989 - 7.1995
    ISSN: 0899-1499
    Type of Medium: Journal/Serial
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 22
    Title: Nachrichtentechnische Zeitschrift : NTZ ; Zeitschrift für Informationstechnik u. Telekommunikation ; Organ der Nachrichtentechnischen Gesellschaft im VDE
    Contributer: Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Publisher: Berlin :VDE-Verl.,
    Year of publication: 1955-1995
    Dates of Publication: 8.1955,10 - 40.1987,2; 40.1987,6 - 48.1995,2
    ISSN: 0027-707X
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Fernmeldetechnische Zeitschrift
    Subsequent Title: 40.1987,3-5 u. Forts. ---〉:NTZ
    Note: Mikro-Elektronik
    Additional Information: Beih. ---〉:Nachrichtentechnische Fachberichte
    Additional Information: Index 1/10=11 von:Nachrichtentechnische Fachberichte
    Parallel Title: CD-ROM-Ausg. 1994 - 1995 ---〉:Elektronisches Zeitschriftenarchiv
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 23
    Journal/Serial
    Journal/Serial
    Heidelberg :Physica-Verl., ; 16.1972 - 42.1995
    Title: Zeitschrift für Operations-Research : ZOR ; mathematical methods of operations research
    Publisher: Heidelberg :Physica-Verl.,
    Year of publication: 1972-1995
    Dates of Publication: 16.1972 - 42.1995
    ISSN: 0340-9422
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Ablauf- und Planungsforschung
    Subsequent Title: Forts. ---〉:Mathematical methods of operations research
    Note: Ser. A, Theorie = H. 1,3,5,7 d. Jg.; Ser. B, Praxis = H. 2,4,6,8 d. Jg. , Deutsche Gesellschaft für Operations-Research
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 24
    Journal/Serial
    Journal/Serial
    New York, NY :ACM, ; 2.1971/72 - 16.1985; 19.1988 - 26.1995; damit Ersch. eingest.
    Title: SIGMICRO newsletter : a quarterly publ. of the Special Interest Group on Microprogramming
    Author: Association for Computing Machinery / Special Interest Group on Microprogramming
    Publisher: New York, NY :ACM,
    Year of publication: 1971-1995
    Dates of Publication: 2.1971/72 - 16.1985; 19.1988 - 26.1995; damit Ersch. eingest.
    ISSN: 0163-5751 , 1050-916X
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Association for Computing Machinery / Special Interest Committee on Microprocessing: SICMICRO newsletter
    Subsequent Title: 17.1986 - 18.1987 ---〉:Association for Computing Machinery / Special Interest Group on Microprogramming: SIGMICRO TCMICRO newsletter
    Additional Information: Beil. ---〉:Microprogramming bibliography
    Additional Information: 9,4=11; 12,4=14; 13,4=15 von:Micro
    Additional Information: 20,3=22 von:International Workshop on Microprogramming and Microarchitecture: Annual International Workshop on Microprogramming and Microarchitecture
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 25
    Title: Data-base 〈New York,NY〉 : db ; a quarterly publication of the Special Interest Group on Business Information Technology of the Association for Computing Machinery
    Contributer: Association for Computing Machinery / Special Interest Group on Business Data Processing , Association for Computing Machinery / Special Interest Group on Business Information Technology
    Publisher: New York, NY,
    Year of publication: 1971-1994
    Dates of Publication: 3.1971 - 25.1994
    ISSN: 0095-0033
    Type of Medium: Book
    Former Title: Vorg. ---〉 SIGBDP news-letter
    Subsequent Title: Forts. ---〉:¬The¬ data-base for advances in information systems
    Additional Information: Einzelne Bd. zugl. Bd. von:Association for Computing Machinery / Special Interest Group on Management of Data: SIGMOD record
    Additional Information: 12,4u.13,1=2 von:Data-base directions
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 26
    Journal/Serial
    Journal/Serial
    München :Franzis-Verl., ; 1981 - 1994,6
    Title: MC 〈München〉 : Computerpraxis für technische Anwender
    Publisher: München :Franzis-Verl.,
    Year of publication: 1981-1994
    Dates of Publication: 1981 - 1994,6
    ISSN: 0720-4442 , 0941-777X , 0943-5409
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Aufgeg. in ---〉:DOS international
    Note: Auch mit fehlerhafter Jg.-Zählung im Impressum
    Additional Information: 1992 Sonderh. ---〉:WINbox
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 27
    Journal/Serial
    Journal/Serial
    Duluth, Minn. [u.a.], ; 1.1989 - 5.1993; damit Ersch. eingest.
    Title: Impact of computing in science and engineering
    Publisher: Duluth, Minn. [u.a.],
    Year of publication: 1989-1993
    Dates of Publication: 1.1989 - 5.1993; damit Ersch. eingest.
    ISSN: 0899-8248
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 28
    Title: SIGSMALL - PC notes : a publication of the Special Interest Group on Small and Personal Computing Systems and Applications, Association for Computing Machinery
    Author: Association for Computing Machinery / Special Interest Group on Small and Personal Computing Systems and Applications
    Publisher: New York, NY :ACM,
    Year of publication: 1984-1993
    Dates of Publication: 10.1984,4 - 19.1993/94,2(1993)
    ISSN: 0893-2875
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Association for Computing Machinery / Special Interest Group on Small Computing Systems and Applications: SIGSMALL newsletter
    Subsequent Title: Forts. ---〉:Association for Computing Machinery / Special Interest Group on Individual Computing Environments: SIGICE bulletin
    Note: Zählung von "SIGSMALL newsletter" übernommen
    Parallel Title: Internetausg. ---〉:Association for Computing Machinery / Special Interest Group on Small and Personal Computing Systems and Applications: ACM SIGSMALL - PC notes
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 29
    Journal/Serial
    Journal/Serial
    London [u.a.], ; 1.1969 - 39.1993
    Title: International journal of man machine studies
    Publisher: London [u.a.],
    Year of publication: 1969-1993
    Dates of Publication: 1.1969 - 39.1993
    ISSN: 0020-7373
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:International journal of human - computer studies
    Note: Index 1/4.1969/72 in: 4.1972
    Additional Information: 10,3=5 von:Man Computer Communications Conference: Proceedings
    Parallel Title: Internetausg. ---〉:International journal of man machine studies
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 30
    Publication Date: 2014-02-26
    Description: Manufacturing is a topic that provides rich opportunities for important mathematical contributions to real-world problems. The purpose of this paper is to show, by means of several examples, where and how mathematical problems of a discrete nature arise in manufacturing and to demonstrate the savings and improvements that can be achieved by employing the techniques of combinatorial optimization. The topics covered range from the design phase of a product (e. g.,routing, placement and via minimization in VLSI design), the control of CNC machines (e. g., drilling and plotting), to the management of assembly lines, storage systems and whole factories. We also point out difficulties in the modelling of complex situations and outline the algorithmic methods that are used for the solution of the mathematical problems arising in manufacturing. {\bf Key words:} discrete mathematics , combinatorial optimization, applications to manufacturing.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 31
    Publication Date: 2014-02-26
    Description: Large scale combustion simulations show the need for adaptive methods. First, to save computation time and mainly to resolve local and instationary phenomena. In contrast to the widespread method of lines, we look at the reaction- diffusion equations as an abstract Cauchy problem in an appropriate Hilbert space. This means, we first discretize in time, assuming the space problems solved up to a prescribed tolerance. So, we are able to control the space and time error separately in an adaptive approach. The time discretization is done by several adaptive Runge-Kutta methods whereas for the space discretization a finite element method is used. The different behaviour of the proposed approaches are demonstrated on many fundamental examples from ecology, flame propagation, electrodynamics and combustion theory. {\bf Keywords:} initial boundary value problem, Rothe- method, adaptive Runge-Kutta method, finite elements, mesh refinement. {\bf AMS CLASSIFICATION:} 65J15, 65M30, 65M50.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 32
    Publication Date: 2014-02-26
    Description: In this paper we describe a cutting plane algorithm for the Steiner tree packing problem. We use our algorithm to solve some switchbox routing problems of VLSI-design and report on our computational experience. This includes a brief discussion of separation algorithms, a new LP-based primal heuristic and implementation details. The paper is based on the polyhedral theory for the Steiner tree packing polyhedron developed in our companion paper SC 92-8 and meant to turn this theory into an algorithmic tool for the solution of practical problems.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 33
    Publication Date: 2014-02-26
    Description: Let $G=(V,E)$ be a graph and $T\subseteq V$ be a node set. We call an edge set $S$ a Steiner tree with respect to $T$ if $S$ connects all pairs of nodes in $T$. In this paper we address the following problem, which we call the weighted Steiner tree packing problem. Given a graph $G=(V,E)$ with edge weights $w_e$, edge capacities $c_e, e \in E,$ and node sets $T_1,\ldots,T_N$, find edge sets $S_1,\ldots,S_N$ such that each $S_k$ is a Steiner tree with respect to $T_k$, at most $c_e$ of these edge sets use edge $e$ for each $e\in E$, and such that the sum of the weights of the edge sets is minimal. Our motivation for studying this problem arises from the routing problem in VLSI-design, where given sets of points have to be connected by wires. We consider the Steiner tree packing Problem from a polyhedral point of view and define an appropriate polyhedron, called the Steiner tree packing polyhedron. The goal of this paper is to (partially) describe this polyhedron by means of inequalities. It turns out that, under mild assumptions, each inequality that defines a facet for the (single) Steiner tree polyhedron can be lifted to a facet-defining inequality for the Steiner tree packing polyhedron. The main emphasis of this paper lies on the presentation of so-called joint inequalities that are valid and facet-defining for this polyhedron. Inequalities of this kind involve at least two Steiner trees. The classes of inequalities we have found form the basis of a branch & cut algorithm. This algorithm is described in our companion paper SC 92-09.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 34
    Publication Date: 2020-10-05
    Description: The placement in the layout design of electronic circiuts consists of finding a non- overlapping assignment of rectangular cells to positions on the chip so what wireability is guaranteed and certain technical constraints are met.This problem can be modelled as a quadratic 0/1- program subject to linear constraints. We will present a decomposition approach to the placement problem and give results about $NP$-hardness and the existence of $\varepsilon$-approximative algorithms for the involved optimization problems. A graphtheoretic formulation of these problems will enable us to develop approximative algorithms. Finally we will present details of the implementation of our approach and compare it to industrial state of the art placement routines. {\bf Keywords:} Quadratic 0/1 optimization, Computational Complexity, VLSI-Design.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 35
    Publication Date: 2014-02-26
    Description: Dieses Paper enthält die ersten beiden Teile einer geplanten Serie von Aufsätzen über die $CPLEX^2$-Implementierung des Simplex- Verfahrens. Der erste Teil ist eine Einführung: er liefert eine kurze Beschreibung des Verfahrens für Probleme mit beschränkten Variablen, zusammen mit einer relativ ausführlichen Diskussion der numerischen Eigenschaften der Netlib-Probleme. Diese Probleme bilden auch das Fundament der rechnerischen Untersuchungen in den folgenden Teilen. Der zweite Teil enthält die Hauptergebnisse dieses Papers, eine Beschreibung der Methode, die von CPLEX verwendet wird, um eine Startbasis zu konstruieren.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 36
    Publication Date: 2014-02-26
    Description: Models for occupation dynamics in discrete quantum systems lead to large or even infinite systems of ordinary differential equations. Some new mathematical techniques, developed for the simulation of chemical processes, make a numerical solution of countable systems of ordinary differential equations possible. Both, a basic physical concept for the construction of such systems and the structure of the numerical tools for solving them are presented. These conceptual aspects are illustrated by a simulation of an occupation process from spectroscopy. In this example the structures of rotation spectra observed in infrared spectroscopy are explained and some possibilities for an extension of the model are shown.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 37
    Publication Date: 2020-12-14
    Description: We present a polyhedral approach for the general problem of designing a minimum-cost network with specified connectivity requir
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 38
    Publication Date: 2014-02-26
    Description: In two-parameter systems two symmetry breaking bifurcation points of different types coalesce generically within one point. This causes secondary bifurcation points to exist. The aim of this paper is to understand this phenomenon with group theory and the innerconnectivity of irreducible representations of supergroup and subgroups. Colored pictures of examples are included.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 39
    Publication Date: 2014-02-26
    Description: In this paper we investigate separation problems for classes of inequalities valid for the polytope associated with the Steiner tree packing problem, a problem that arises, e.~g., in VLSI routing. The separation problem for Steiner partition inequalities is ${\cal N}\hskip-2pt{\cal P}$-hard in general. We show that it can be solved in polynomial time for those instances that come up in switchbox routing. Our algorithm uses dynamic programming techniques. These techniques are also applied to the much more complicated separation problem for alternating cycle inequalities. In this case we can compute in polynomial time, given some point $y$, a lower bound for the gap $\alpha-a^Ty$ over all alternating cycle inequalities $a^Tx\ge\alpha$. This gives rise to a very effective separation heuristic. A by-product of our algorithm is the solution of a combinatorial optimization problem that is interesting in its own right: Find a shortest path in a graph where the ``length'' of a path is its usual length minus the length of its longest edge.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 40
    Publication Date: 2014-02-27
    Description: Gegeben sei ein Graph $G=(V,E)$ mit positiven Kantenkapazitäten $c_e$ und Knotenmengen $T_1,\ldots,T_N$. Das Steinerbaumpackungs-Problem besteht darin, Kantenmengen $S_1,\ldots,S_N$ zu finden, so da\ss\ jedes $S_k$ die Knoten aus $T_k$ verbindet und jede Kante $e$ in höchstens $c_e$ Kantenmengen aus $S_1,\ldots,S_N$ vorkommt. Eine zulässige Lösung dieses Problems nennen wir eine Steinerbaumpackung. Ist zusätzlich eine Gewichtung der Kanten gegeben und nach einer bezüglich dieser Gewichtung minimalen Steinerbaumpackung gesucht, so sprechen wir vom gewichteten Steinerbaumpackungs-Problem. Die Motivation zum Studium dieses Problems kommt aus dem Entwurf elektronischer Schaltungen. Ein dort auftretendes Teilproblem ist das sogenannte Verdrahtungsproblem, das im wesentlichen darin besteht, gegebene Punktmengen unter bestimmten Nebenbedingungen und Optimalitätskriterien auf einer Grundfläche zu verbinden. Wir studieren das Steinerbaumpackungs-Problem aus polyedrischer Sicht und definieren ein Polyeder, dessen Ecken genau den Steinerbaumpackungen entsprechen. Anschlie\ss end versuchen wir, dieses Polyeder durch gute'' beziehungsweise facetten-definierenden Ungleichungen zu beschreiben. Basierend auf diesen Ungleichungen entwickeln wir ein Schnittebenenverfahren. Die Lösung des Schnittebenenverfahrens liefert eine untere Schranke für die Optimallösung und dient als Grundlage für die Entwicklung guter Primalheuristiken. Wir haben das von uns implementierte Schnittebenenverfahren an einem Spezialfall des Verdrahtungsproblems, dem sogenannten Switchbox-Verdrahtungsproblem, getestet und vielversprechende Ergebnisse erzielt.
    Keywords: ddc:000
    Language: German
    Type: doctoralthesis , doc-type:doctoralThesis
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 41
    Publication Date: 2020-03-06
    Language: English
    Type: conferenceobject , doc-type:conferenceObject
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 42
    Publication Date: 2020-12-15
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 43
    Publication Date: 2020-03-20
    Language: English
    Type: bookpart , doc-type:bookPart
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 44
    Publication Date: 2020-08-05
    Language: English
    Type: conferenceobject , doc-type:conferenceObject
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 45
    Publication Date: 2020-08-05
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 46
    Publication Date: 2020-08-05
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 47
    Publication Date: 2020-08-05
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 48
    Publication Date: 2020-08-05
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 49
    Publication Date: 2014-02-26
    Description: The numerical treatment of Equivariant parameter-dependent onlinear equation systems, and even more its automation requires the intensive use of group theory. This paper illustrates the group theoretic computations which are done in the preparation of the numerical computations. The bifurcation graph which gives the bifurcation subgroups is determined from the interrelationship of the irreducible representations of a group and its subgroups. The Jacobian is transformed to block diagonal structure using a modification of the transformation which transforms to block diagonal structure with respect to a supergroup. The principle of conjugacy is used everywhere to make symbolic and numerical computations even more efficient. Finally, when the symmetry reduced problems and blocks of Jacobian matrices are evaluated numerically, the fact that the given representation is a quasi-permutation representation is exploited automatically.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 50
    Publication Date: 2014-02-26
    Description: {\def\N{{\cal N}} \def\R{\hbox{\rm I\kern-2pt R}} \def\MN{{\rm I\kern-2pt N}} In this paper we study the following problem, which we call the weighted routing problem. Let be given a graph $G=(V,E)$ with non-negative edge weights $w_e\in\R_+$ and integer edge capacities $c_e\in\MN$ and let $\N=\{T_1,\ldots,T_N\}$, $N\ge 1$, be a list of node sets. The weighted routing problem consists in finding edge sets $S_1,\ldots,S_N$ such that, for each $k\in\{1,\ldots,N\}$, the subgraph $(V(S_k),S_k)$ contains an $[s,t]$-path for all $s,t\in T_k$, at most $c_e$ of these edge sets use edge $e$ for each $e\in E$, and such that the sum of the weights of the edge sets is minimal. Our motivation for studying this problem arises from the routing problem in VLSI-design, where given sets of points have to be connected by wires. We consider the weighted routing problem from a polyhedral point of view. We define an appropriate polyhedron and try to (partially) describe this polyhedron by means of inequalities. We briefly sketch our separation algorithms for some of the presented classes of inequalities. Based on these separation routines we have implemented a branch and cut algorithm. Our algorithm is applicable to an important subclass of routing problems arising in VLSI-design, namely to problems where the underlying graph is a grid graph and the list of node sets is located on the outer face of the grid. We report on our computational experience with this class of problem instances.}
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 51
    Publication Date: 2014-02-26
    Description: A new method for the numerical aproximation of an implicitly defined surface is presented. It is a generalization of the Euler- Gauss-Newton method for implicitly defined (one- parameter) curves to the case of (two-parameter) surfaces. The basic task in the more general case is an efficient combination of modern CAGD techniques (such as triangular Bernstein-Bzier patches and the nine parameter Hermite interpolant) and the rank deficient Gauss-Newton method.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 52
    Publication Date: 2021-03-16
    Description: We propose an extended box method which turns out to be a variant of standard finite element methods in the case of pure diffusion and an extension of backward differencing to irregular grids if only convective transport is present. Together with the adaptive orientation proposed in a recent paper and a streamline ordering of the unknowns, this discretization leads to a highly efficient adaptive method for the approximation of internal layers in the case of large local Peclet numbers.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 53
    Publication Date: 2014-02-26
    Description: Based on a simple stability analysis for the semi--implicit Euler discretization a new dynamic sparsing procedure is derived. This procedure automatically eliminates ``small'' elements of the Jacobian matrix. As a consequence, the amount of work needed to handle the linear algebra within a semi--implicit extrapolation integrator can be reduced drastically. Within the course of integration the sparsing criterion, which decides what ``small'' means, is dynamically adapted to ensure stability of the discretization scheme. Thus, stepsize restrictions due to instability can be avoided. Numerical experiments for quite different problems show robustness and efficiency of this dynamic sparsing technique. The techniques developed here in the context of stiff extrapolation integrators can, in principle, be applied to W--methods, where exact Jacobians may be replaced by ``sufficiently good'' approximations. {\bf Keywords:} Large scale integration, extrapolation methods, stiff ODEs, W--methods, sparse matrix techniques.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 54
    Publication Date: 2014-02-26
    Description: In this paper we continue the investigations in [GMW92a] for the \def\sbppo{Steiner tree packing polyhedron} \sbppo. We present several new classes of valid inequalities and give sufficient (and necessary) conditions for these inequalities to be facet-defining. It is intended to incorporate these inequalities into an existing cutting plane algorithm that is applicable to practical problems arising in the design of electronic circuits.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 55
    Publication Date: 2014-02-26
    Description: Subspace decompositions of finite element spaces based on $L2$-like orthogonal projections play an important role for the construction and analysis of multigrid like iterative methods. Recently several authors proved the equivalence of the associated discrete norms with the $H^1$-norm. The present report gives an elementary, self-contained derivation of this result which is based on the use of $ K$-functionals known from the theory of interpolation spaces. {\bf Keywords:} multilevel methods, nonuniform meshes, optimal convergence rates. {\bf AMS(MOS) Subject classifications:} 65N55, 65N30, 65N50.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 56
    Publication Date: 2014-02-26
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 57
    Publication Date: 2014-02-26
    Description: Using the perturbational-variational Rayleigh-Ritz matrix formalism, the 1/Z-expansion for the ground state of the isoelectronic $H_2$ sequence in the range of the internuclear distance $0.2\le R \le 9.0$ is calculated. Also lower bounds of the radius of convergence, based on Kato's theory of linear operators, are given. The numerical results of the 1/Z-expansion can be compared with the exact results and do not converge in the whole R-range. This behavior is in qualitative agreement with the lower bounds for the radius of convergence and enlights some still open properties of 1/Z- expansions for this sequence in the literature. {\bf PACS:} 31.15 + q; 31.20 Di; 31.20 Tz.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 58
    facet.materialart.
    Unknown
    Publication Date: 2019-10-24
    Keywords: ddc:000
    Language: German
    Type: annualzib , doc-type:report
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 59
    Publication Date: 2014-02-26
    Description: Let $\Re$ be the set of all binary relations on a finite set $N$ and $d$ be the symmetric difference distance defined on $\Re$. For a given profile $\Pi = (R_1,...,R_m) \in R^m$, a relation $R* \in \Re $ that minimizes the function $\sum^m_{k=1} d(R_k,R) $ is called a median relation of $\Pi$. A number of problems occuring in the social sciences, in qualitative data analysis and in multicriteria decision making can be modelled as problems of finding medians of a profile of binary relations. In these contexts the profile $\Pi$ represents collected data (preferences, similarities, games) and the objective is that of finding a median relation of $\Pi$ with some special feature (representing e. g., consensus of preferences, clustering of similar objects, ranking of teams, etc.). In this paper we analyse the computational complexity of all such problems in which the median is required to satisfy one or more of the properties: reflexitivity, symmetry, antisymmetry, transitivity and completeness. We prove that whenever transitivity is required (except when symmetry and completeness are also simultaneously required) then the corresponding median problem is $NP$-hard. In some cases we prove that they remain $NP$-hard when the profile $\Pi$ has a fixed number of binary relations.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 60
    Publication Date: 2020-11-16
    Description: MEXX (short for MEXanical systems eXtrapolation integrator) is a Fortran code for time integration of constrained mechanical systems. MEXX is suited for direct integration of the equations of motion in descriptor form. It is based on extrapolation of a time stepping method that is explicit in the differential equations and linearly implicit in the nonlinear constraints. It only requires the solution of well--structured systems of linear equations which can be solved with a computational work growing linearly with the number of bodies, in the case of multibody systems with few closed kinematic loops. Position and velocity constraints are enforced throughout the integration interval, whereas acceleration constraints need not be formulated. MEXX has options for time--continuous solution representation (useful for graphics) and for the location of events such as impacts. The present article describes MEXX and its underlying concepts.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 61
    Publication Date: 2019-05-10
    Description: We consider the approximate solution of selfadjoint elliptic problems in three space dimensions by piecewise linear finite elements with respect to a highly non-uniform tetrahedral mesh which is generated adaptively. The arising linear systems are solved iteratively by the conjugate gradient method provided with a multilevel preconditioner. Here, the accuracy of the iterative solution is coupled with the discretization error. as the performance of hierarchical bases preconditioners deteriorate in three space dimensions, the BPX preconditioner is used, taking special care of an efficient implementation. Reliable a-posteriori estimates for the discretization error are derived from a local comparison with the approximation resulting from piecewise quadratic elements. To illustrate the theoretical results, we consider a familiar model problem involving reentrant corners and a real-life problem arising from hyperthermia, a recent clinical method for cancer therapy.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 62
    Publication Date: 2021-01-21
    Description: A Hamiltonian system subject to smooth constraints can typically be viewed as a Hamiltonian system on a manifold. Numerical computations, however, must be performed in $ R^n$. In this paper, canonical transformations from ``Hamiltonian differential--algebraic equations'' to ODEs in Euclidean space are considered. In \S2, canonical parameterizations or local charts are developed and it is shown how these can be computed in a practical framework. In \S3 we consider the construction of unconstrained Hamiltonian ODE systems in the space in which the constraint manifold is embedded which preserve the constraint manifold as an integral invariant and whose flow reduces to the flow of the constrained system along the manifold. It is shown that certain of these unconstrained Hamiltonian systems force Lyapunov stability of the constraint--invariants, while others lead to an unstable invariant. In \S4, we compare various projection techniques which might be incorporated to better insure preservation of the constraint--invariants in the context of numerical discretization. Numerical experiments illustrate the degree to which the constraint and symplectic invariants are maintained under discretization of various formulations. {\bf Keywords:} differential--algebraic equations, Hamiltonian systems, canonical discretization schemes. {\bf AMS(MOS):} subject classification 65L05.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 63
    Publication Date: 2014-02-26
    Description: In this paper, two classes of second order accurate high resolution schemes are presented on regular triangular meshes for initial value problem of two dimensional conservation laws. The first class are called Runge-Kutta-FVM MmB (locally Maximum- minimum Bounds preserving) schemes, which are first discretized by (FVM) finite volume method in space direction and modifying numerical fluxes, and then by Runge-Kutta methods in time direction; The second class, constructed by Taylor expansion in time, and then by FVM methods and making modifications to fluxes, are called Taylor- FVM MmB schemes. MmB properties of both schemes are proved for 2-D scalar conservation law. Numerical results are given for Riemann problems of 2-D scalar conservation law and 2-D gas dynamics systems and some comparisons are made between the two classes of the schemes. Key words and phrases: MmB schemes, 2-D, conservation laws, gas dynamics systems, Runge-Kutta-FVM, Taylor-FVM.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 64
    Publication Date: 2014-02-26
    Description: This paper deals with systems of $m$ polynomial equations in $n$ unknown, which have only finitely many solutions. A method is presented which decomposes the solution set into finitely many subsets, each of them given by a system of type \begin{displaymath} f_1(x_1)=0, f_2(x_1,x_2)=0,...,f_n(x_1,...,x_n)=0. \end{displaymath} The main tools for the decomposition are from ideal theory and use symbolical manipulations. For the ideal generated by the polynomials which describe the solution set, a lexicographical Gröbner basis is required. A particular element of this basis allows the decomposition of the solution set. A recursive application of these decomposition techniques gives finally the triangular subsystems. The algorithm gives even for non-finite solution sets often also usable decompositions. {\bf Keywords:} Algebraic variety decomposition, Gröbner bases, systems of nonlinear equations.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/x-tar
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 65
    Publication Date: 2014-02-26
    Description: A new adaptive approach for one-dimensional scalar conservation laws with convex flux is proposed. The initial data are approximated on an adaptive grid by a problem dependent, monotone interpolation procedure in such a way, that the multivalued problem of characteristic transport can be easily and explicitly solved. The unique entropy solution is chosen by means of a selection criterion due to LAX. For arbitrary times, the solutions is represented by an adaptive monotone spline interpolation. The spatial approximation is controlled by local $L^1$-error estimated. As a distinctive feature of the approach, there is no discretization in time. The method is monotone on fixed grids. Numerical examples are included, to demonstrate the predicted behavior. {\bf Key words.} method of characteristics, adaptive grids, monotone interpolation, $L^1$-error estimates {\bf AMS(MOS) subject classification.} 65M15, 65M25, 65M50.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 66
    Publication Date: 2014-02-26
    Description: The matchings in a complete bipartite graph form a simplicial complex, which in many cases has strong structural properties. We use an equivalent description as chessboard complexes: the complexes of all non-taking rook positions on chessboards of various shapes. In this paper we construct `certificate $k$-shapes' $\Sigma(m,n,k)$ such that if the shape $A$ contains some $\Sigma(m,n,k)$, then the $(k{-}1)$-skeleton of the chessboard complex $\Delta(A)$ is vertex decomposable in the sense of Provan & Billera. This covers, in particular, the case of rectangular chessboards $A=[m]{\times}[n]$, for which $\Delta(A)$ is vertex decomposable if $n\ge 2m{-}1$, and the $(\lfloor{m+n+1\over3}\rfloor{-}1)$-skeleton is vertex decomposable in general. The notion of vertex decomposability is a very convenient tool to prove shellability of such combinatorially defined simplicial complexes. We establish a relation between vertex decomposability and the CL-shellability technique (for posets) of Björner & Wachs.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 67
    Publication Date: 2014-02-26
    Description: The numerical solutions of Riemann problems in three, four, five and six pieces, which only contain contact discontinuities, are presented by using Taylor FVM MmB schemes on regular triangular meshes for 2-D gas dynamics systems. The 2-D Riemann initial data are as defined in [1], under the assumption that each jump in initial data outside of the origin projects exactly one planar wave of shocks, centered rarefaction waves , or contact discontinuities. The main ends of the paper are that spirals will be shown for some configurations and the relations of the solutions between different distibutions of Riemann initial data are explained by the numerical solutions of modified Riemann problems. Key words and phrases: Riemann problem, gas dynamics systems, spiral, MmB schemes.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 68
    Publication Date: 2014-02-26
    Description: Whereas optimization of a linear function over an efficient set is a favourite topic for theoretical studies, the problem ($P^I$) of finding a maximal value of a linear function $dx$ over an integer efficient set is still open. The problem ($P^I$) is NP-hard and it is very unlikely that the maximal objective value of the integer problem ($P^I$) in many cases is greater than the maximal objective value of it's corresponding continuous problem ($P$). In this paper we pay atention to the study of the problem ($P^I$) and some related properties of the problem ($P$). In particular, we establish conditions determining whether or not an optimal solution to the problem ($P$) is an optimal solution to the it's corresponding linear program. For the problem ($P^I$) we find an upper bound for it's optimal objective value and present an algorithm which gives a global optimal solution after a finite number of steps. We also study two particular classes of problems ($P^I$) : the bicriteria case and the case when $d$ is a nonnegative linear combination of the vectors-criteria defining the efficient set. Key words: Multiple objective linear programming, integer efficient set, efficient cone, cutting plane.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 69
    Publication Date: 2014-02-26
    Description: Two commercially available molecular electronic structure software packages GAUSSIAN90 and GAMESS-UK are compared. Basis for this comparison is a benchmark suite which is designed to highlight the typical range of calculations commonly performed by the ab initio computational chemist.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 70
    Publication Date: 2014-02-26
    Description: The following report intends to provide a survey over the computational chemistry molecular structure software installed on the supercomputers CRAY X-MP/216 and CRAY Y-MP2E/164 at ZIB. It shows what kind of problems can be tackled with the existing chemistry software, which covers a wide range of ab initio, semiempirical, molecular mechanics, and dynamics applications.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 71
    Publication Date: 2014-02-27
    Description: Die vorliegende Arbeit beschäftigt sich mit dem Plazierungsproblem, welches beim Entwurf elektronischer Schaltungen auftritt. Das Plazierungsproblem modellieren wir als ein quadratisches 0/1 Optimierungsproblem unter linearen Nebenbedingungen und untersuchen das Modell komplexitätstheoretisch. Der zweite Aspekt der Arbeit bezieht sich auf die Lösung praktischer Problembeispiele im sogenannten Sea of cells"-Entwurfsstil. Zur Lösung dieser Beispiele wurde ein Prototyp implementiert und mit state of the art"-Plazierungsverfahren verglichen. Schlie\ss lich werden wir uns mit dem Clusteringproblem, das eine Variante des Mehrfachschnitt-Problems darstellt, beschäftigen. Dabei steht einerseits im Vordergrund, wie diese Probleme heuristisch gelöst werden können und wie die Integration des Ansatzes in das Plazierungsprogramm erfolgt. Andererseits soll das Clusteringproblem polyedrisch untersucht werden.
    Keywords: ddc:000
    Language: German
    Type: doctoralthesis , doc-type:doctoralThesis
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 72
    Publication Date: 2014-02-26
    Description: This report presents new codes for the numerical solution of highly nonlinear systems. They realize the most recent variants of affine invariant Newton Techniques due to Deuflhard. The standard method is implemented in the code NLEQ1, whereas the code NLEQ2 contains a rank reduction device additionally. The code NLEQ1S is the sparse version of NLEQ1, i.e. the arising linear systems are solved with sparse matrix techniques. Within the new implementations a common design of the software in view of user interface and internal modularization is realized. Numerical experiments for some rather challenging examples illustrate robustness and efficiency of algorithm and software.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 73
    Publication Date: 2014-02-26
    Description: In this paper we describe a modular implementation of the well-established extrapolation codes EULEX, EULSIM and DIFEX for initial value problems of ordinary differential equations. The basic module embodies an abstract extrapolation method with order and stepsize control. Based on this module the particular integration codes only have to provide the underlying discretization schemes.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Publication Date: 2014-02-26
    Description: Scientists intending to employ scientific visualization techniques are confronted with the unpleasant task of choosing visualization software that meets their specific needs. A good choice requires consideration of several aspects. Most important are functionality, i.e. the set of supported visual representations, and restrictions due to the user's production environment (i.e. available hardware and software platforms, software compatibility constraints, need of specific input and output formats, network distribution requirements). Crucial are quality demands, ranging from simple graphics for interactive control of simulations, to images of highest quality (glossy prints, slides or video movies) for presentation purposes. Further aspects of consideration are: ease of use, level on which the user is willing to program, portability, conformity to prevalent standards, availability in the world-wide user community, future dissemination, as well as emerging trends in computer graphics and scientific visualization. The aim of this manual is to give a survey on the graphics and visualization software that is currently being provided at ZIB (mainly for internal use). The whole range of computer graphics software relevant in mathematical, natural and technical sciences is covered: image synthesis (basic and higher graphics libraries, plot programs, visualization environments, combined text and drawing programs, renderers), image processing and storage (raster and vector formats, page description languages, raster toolkits for image processing and format conversion), capturing of images as well as printing on paper and recording on photographic film or video tape. This information together with a glossary and recommendations for further reading should help prospective users in getting started and assist them in making good choices of graphics and visualization software.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 75
    Publication Date: 2014-02-26
    Description: Im Bereich der Mathematik entwickelte sich in Deutschland die elektronische Fachinformation in Form der Online-Datenbank MATH und der CD-ROM CompactMATH auf der Grundlage der Arbeiten des Referateorgans "Zentralblatt für Mathematik und Ihre Grenzgebiete". Das "Zentralblatt" fand weithin Anerkennung und Verbreitung. Die Rezeption elektronischer Fachinformation ging jedoch - nicht nur im Bereich der Mathematik - nur zögerlich vonstatten. Die Gründe dafür werden in einer vom Bundesminister für Forschung und Technologie (BMFT) initiierten Studie analysiert. Ein kürzlich von der Deutschen Mathematiker - Vereinigung begonnenes und vom BMFT gefördertes Vorhaben hat die "Verbesserung des benutzerorientierten Zugriffs auf fachspezifische Online-Datenbanken und CD-ROM für Mathematische Institute in der Bundesrepublik Deutschland" zum Ziel. Insgesamt 51 mathematische Fachbereiche und Institute nehmen daran teil. Elektronische Fachinformation soll zu einem festen Bestandteil des methodischen Instrumentariums der wissenschaftlichen Arbeit werden. Diese Schrift soll die Ausgangslage in den Fachbereichen darstellen und die organisatorischen und technischen Infrastrukturmaßnahmen erläutern, mit denen den spezifischen Nutzungshemmnissen begegnet werden soll.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 76
    Publication Date: 2022-07-07
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 77
    Publication Date: 2022-07-07
    Language: English
    Type: conferenceobject , doc-type:conferenceObject
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 78
    Publication Date: 2022-07-07
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 79
    Publication Date: 2022-07-19
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 80
    Publication Date: 2022-07-19
    Language: English
    Type: other , doc-type:Other
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 81
    Publication Date: 2022-07-19
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 82
    Publication Date: 2022-07-19
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 83
    Publication Date: 2022-07-19
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 84
    Publication Date: 2023-08-14
    Language: English
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 85
    Book
    Book
    Berlin u.a. :de Gruyter,
    Title: ¬The¬ Stefan problem; 3
    Author: Meirmanov, Anvarbek M.
    Publisher: Berlin u.a. :de Gruyter,
    Year of publication: 1992
    Pages: 245 S.
    Series Statement: de Gruyter expositions in mathematics 3
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 86
    Book
    Book
    Berlin u.a. :Springer,
    Title: ¬Das¬ geistige Umfeld der Informationstechnik
    Author: Zemanek, Heinz
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1992
    Pages: 303 S.
    Series Statement: Edition SEL-Stiftung
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 87
    Title: Computer graphics and mathematics
    Contributer: Falcidieno, Bianca , Pienovi, Caterina
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1992
    Pages: 315 S.
    Series Statement: Focus on computer graphics
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 88
    Title: ¬Der¬ elektronische Schnitt : alles über die elektronische Schnittbearbeitung
    Author: Müller, Arnold H.
    Contributer: Driemeyer, Rolf
    Publisher: Hamburg :Hausemann,
    Year of publication: 1992
    Pages: 368 S.
    Series Statement: GTC Broadcast Praxis
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 89
    Title: Background: mathematical structures; 1
    Contributer: Abramsky, S. , Gabbay, Dov M. , Maibaum, T. S. E.
    Publisher: Oxford u.a. :Oxford University Pr.,
    Year of publication: 1992
    Pages: 827 S.
    Series Statement: Handbook of logic in computer science 1
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 90
    Book
    Book
    Berlin u.a. :Springer,
    Title: Chaotic transport in dynamical systems; 2
    Author: Wiggins, Stephen
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1992
    Pages: 301 S.
    Series Statement: Interdisciplinary applied mathematics 2
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 91
    Book
    Book
    Boston u.a. :Jones and Bartlett,
    Title: Wavelets and their applications
    Contributer: Ruskai, Mary Beth
    Publisher: Boston u.a. :Jones and Bartlett,
    Year of publication: 1992
    Pages: 474 S.
    Series Statement: Jones and Bartlett books in mathematics
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 92
    Book
    Book
    Berlin u.a. :Springer,
    Title: Axioms and hulls; 606
    Author: Knuth, Donald E.
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1992
    Pages: 109 S.
    Series Statement: Lecture notes in computer science 606
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 93
    Title: Mathematical research today and tomorrow: viewpoints of seven Fields medalists; 1525
    Contributer: Casacuberta, Carles , Castellet, Manuel
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1992
    Pages: 112 S.
    Series Statement: Lecture notes in mathematics 1525
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 94
    Book
    Book
    Berlin u.a. :Springer,
    Title: Design of survivable networks; 1531
    Author: Stoer, Mechthild
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1992
    Pages: 204 S.
    Series Statement: Lecture notes in mathematics 1531
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 95
    Book
    Book
    Reading, MA u.a. :Addison-Wesley,
    Title: Inside the toolbox using THINK C; Vol. 1
    Author: Mark, Dave
    Contributer: Reed, Cartwright
    Publisher: Reading, MA u.a. :Addison-Wesley,
    Year of publication: 1992
    Pages: 656 S.
    Series Statement: Macintosh C programming primer Vol. 1
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 96
    Book
    Book
    Berlin u.a. :Springer,
    Title: Evolution problems I technology; Vol. 5
    Author: Dautray, Robert
    Contributer: Lions, Jacques-Louis
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1992
    Series Statement: Mathematical analysis and numerical methods for science and technology Vol. 5
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 97
    Book
    Book
    London u.a. :Academic Press,
    Title: Spectral analysis and time series. 7th printing
    Author: Priestley, M.B.
    Publisher: London u.a. :Academic Press,
    Year of publication: 1992
    Pages: 890 S.
    Series Statement: Prohability & mathematical statistical series
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 98
    Book
    Book
    Deutsch-Französisches Forschungsinstut Saint-Louis :Deutsch-Französisches Forschungsinstut Saint-Louis,
    Title: 3rd international workshop on computer algebra, Saint-Louis 1-6. 6. 1992 : proceedings
    Contributer: Carriere, Alain , Oudin, Louis-R. , Fleck, Volker
    Publisher: Deutsch-Französisches Forschungsinstut Saint-Louis :Deutsch-Französisches Forschungsinstut Saint-Louis,
    Year of publication: 1992
    Series Statement: Rapport
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 99
    Title: Computer, Software und Vernetzungen für die Lehre: ¬Das¬ Computer-Investitions-Programm (CIP) in der Nutzanwendung; Beiträge zum 3. CIP-Status-Kongress, 1989, Berlin; 2
    Contributer: Dette, Klaus
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1992
    Pages: 761 S.
    Series Statement: Reihe: Mikrocomputer-Forum für Bildung und Wissenschaft 2
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 100
    Book
    Book
    Berlin u.a. :Springer,
    Title: Singularities in boundary value problems; 22
    Author: Grisvard, P.
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1992
    Pages: 198 S.
    Series Statement: Research notes in applied mathematics 22
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...