Bibliothek

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • 2015-2019
  • 2010-2014  (4)
  • 2005-2009
  • 1965-1969  (9)
  • 1955-1959  (4)
  • 1945-1949
  • 1905-1909
  • 1890-1899
  • 1880-1889
  • 2012  (4)
  • 1967  (9)
  • 1947
  • 1945
  • 1897
  • 1881
  • Unbestimmte Sprache  (10)
  • Japanisch  (2)
  • Italienisch  (1)
Datenquelle
Materialart
Erscheinungszeitraum
Jahr
Sprache
  • 1
    Publikationsdatum: 2022-03-14
    Beschreibung: この論文ではソフトウェア・パッケージSCIP Optimization Suite を紹介し,その3つの構成要素:モデリン グ言語Zimpl, 線形計画(LP: linear programming) ソルバSoPlex, そして,制約整数計画(CIP: constraint integer programming) に対するソフトウェア・フレームワークSCIP, について述べる.本論文では,この3つの 構成要素を利用して,どのようにして挑戦的な混合整数線形計画問題(MIP: mixed integer linear optimization problems) や混合整数非線形計画問題(MINLP: mixed integer nonlinear optimization problems) をモデル化 し解くのかを説明する.SCIP は,現在,最も高速なMIP,MINLP ソルバの1つである.いくつかの例により, Zimpl, SCIP, SoPlex の利用方法を示すとともに,利用可能なインタフェースの概要を示す.最後に,将来の開 発計画の概要について述べる.
    Beschreibung: This paper introduces the SCIP Optimization Suite and discusses the capabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming framework SCIP. We explain how in concert these can be used to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, we give an overview over available interfaces, and outline plans for future development.
    Sprache: Japanisch
    Materialart: reportzib , doc-type:preprint
    Format: application/pdf
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Publikationsdatum: 2022-03-14
    Beschreibung: この論文ではソフトウェア・パッケージSCIP Optimization Suite を紹介し,その3つの構成要素:モデリン グ言語Zimpl, 線形計画(LP: linear programming) ソルバSoPlex, そして,制約整数計画(CIP: constraint integer programming) に対するソフトウェア・フレームワークSCIP, について述べる.本論文では,この3つの 構成要素を利用して,どのようにして挑戦的な混合整数線形計画問題(MIP: mixed integer linear optimization problems) や混合整数非線形計画問題(MINLP: mixed integer nonlinear optimization problems) をモデル化 し解くのかを説明する.SCIP は,現在,最も高速なMIP,MINLP ソルバの1つである.いくつかの例により, Zimpl, SCIP, SoPlex の利用方法を示すとともに,利用可能なインタフェースの概要を示す.最後に,将来の開 発計画の概要について述べる.
    Beschreibung: This paper introduces the SCIP Optimization Suite and discusses the capabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming framework SCIP. We explain how in concert these can be used to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, we give an overview over available interfaces, and outline plans for future development.
    Sprache: Japanisch
    Materialart: conferenceobject , doc-type:conferenceObject
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Titel: Il centenario di Konrad Zuse (1910-1995) : il computer nasce in Europa; Anno XXVIII, Fasc. 1
    Autor: Losano, Mario G.
    Ausgabe: Estratto
    Verlag: Milano :Giuffrè,
    Erscheinungsjahr: 2012
    Seiten: 16 S. ; , 24 cm
    Serie: Il diritto dell' informazione e dell' informatica Anno XXVIII, Fasc. 1
    Materialart: Buch
    Sprache: Italienisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Buch
    Buch
    Köln :Taschen,
    Titel: Information graphics /
    Autor: Rendgen, Sandra
    Beteiligte Person(en): Wiedemann, Julius , Holmes, Nigel
    Verlag: Köln :Taschen,
    Erscheinungsjahr: 2012
    Seiten: 480 S. : , zahlr. Ill., graph. Darst., Kt. ; , 37,5 cm +
    ISBN: 3-8365-2879-7 , 978-3-8365-2879-5
    Materialart: Buch
    Sprache: Unbestimmte Sprache
    Anmerkung: Text in engl., dt. und franz. Sprache
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Zeitschrift/Serie
    Zeitschrift/Serie
    Oxford [u.a.] :Pergamon Press, ; 1.1960 - 19.1995
    Titel: Annual review in automatic programming
    Verlag: Oxford [u.a.] :Pergamon Press,
    Erscheinungsjahr: 1960-1995
    Erscheinungsverlauf: 1.1960 - 19.1995
    ISSN: 0066-4138
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Nachfolgender Titel: Forts. ---〉:Annual reviews in control
    Suppl.: 1=3; 2=6, 3=11, 4=12; 5=13,2 von:International tracts in computer science and technology and their application
    Suppl.: 8=7; 9,2/3=8; 10=10; 11=11; 13,1=13; 14,1=15 von:Real time programming
    Suppl.: 12,1-12,2=2 von:Systems analysis and simulation
    Suppl.: 13,2=5 von:Control applications of nonlinear programming and optimization
    Paralleltitel: Internetausg. ---〉:Annual reviews in control
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Titel: Nachrichtentechnische Zeitschrift : NTZ ; Zeitschrift für Informationstechnik u. Telekommunikation ; Organ der Nachrichtentechnischen Gesellschaft im VDE
    Beteiligte Person(en): Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Verlag: Berlin :VDE-Verl.,
    Erscheinungsjahr: 1955-1995
    Erscheinungsverlauf: 8.1955,10 - 40.1987,2; 40.1987,6 - 48.1995,2
    ISSN: 0027-707X
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Vorheriger Titel: Vorg. ---〉:Fernmeldetechnische Zeitschrift
    Nachfolgender Titel: 40.1987,3-5 u. Forts. ---〉:NTZ
    Anmerkung: Mikro-Elektronik
    Suppl.: Beih. ---〉:Nachrichtentechnische Fachberichte
    Suppl.: Index 1/10=11 von:Nachrichtentechnische Fachberichte
    Paralleltitel: CD-ROM-Ausg. 1994 - 1995 ---〉:Elektronisches Zeitschriftenarchiv
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Titel: SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages of the Association for Computing Machinery
    Autor: Association for Computing Machinery / Special Interest Group on Programming Languages
    Verlag: New York, NY :ACM,
    Erscheinungsjahr: 1966-1991
    Erscheinungsverlauf: 1.1966 - 26.1991,9u.11
    ISSN: 0362-1340
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Nachfolgender Titel: 26.1991,10 u. Forts. ---〉:Association for Computing Machinery / Special Interest Group on Programming Languages: ACM SIGPLAN notices
    Suppl.: 6,2=1971 von:Symposium on Data Structures in Programming Languages: Proceedings of a Symposium on Data Structures in Programming Languages
    Suppl.: 17,4=10,2; 22,10=15,5; 24,spec.iss.=17,2; 26,4=19,2 von:Computer architecture news
    Suppl.: 21,10=1986 von:Workshop on Object Oriented Programming: Transcript
    Suppl.: 11,6=10,1 von:Computer graphics
    Suppl.: 16,6=2,1/2 von:Association for Computing Machinery / Special Interest Group on Office Automation: SIGOA newsletter
    Suppl.: 14,8=1979; 17,6=1982; 19,6=1984; 21,7=1986 von:Symposium on Compiler Construction: Proceedings of the SIGPLAN Symposium on Compiler Construction
    Suppl.: 20,7=1985 von:Symposium on Language Issues in Programming Environments: Proceedings of the ACM SIGPLAN ... Symposium on Language Issues in Programming Environments
    Suppl.: 19,5=1; 22,1=2; 24,2=3 von:Software Engineering Symposium on Practical Software Development Environments: Proceedings of the ACM SIGSOFT SIGPLAN Software Engineering Symposium on Practical Software Development Environments
    Suppl.: 22,10=2; 24,spec.iss.=3 von:International Conference on Architectural Support for Programming Languages and Operating Systems: Proceedings
    Suppl.: 23,7=1988; 24,7=1989; 25,6=1990 von:Conference on Programming Language Design and Implementation: Proceedings of the SIGPLAN ... Conference on Programming Language Design and Implementation
    Suppl.: 21,11=1; 22,12=2; 23,11=3; 24,10=4 von:OOPSLA: Conference proceedings
    Suppl.: 22,10=21,4; 24,spec.iss.=23,spec.iss.; 26,4=25,spec.iss. von:Operating systems review
    Suppl.: 17,4=1982 von:Symposium on Architectural Support for Programming Languages and Operating Systems: Proceedings
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Titel: Elektronische Rechenanlagen : Informationstechnik: Computer, Systeme, Anwendungen
    Beteiligte Person(en): Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Verlag: München ; Wien :Oldenbourg,
    Erscheinungsjahr: 1959-1985
    Erscheinungsverlauf: 1.1959 - 16.1974,5; 27.1985
    ISSN: 0013-5720
    Materialart: Buch
    Sprache: Unbestimmte Sprache
    Nachfolgender Titel: 16.1974,6 - 26.1984 ---〉:Elektronische Rechenanlagen mit Computer-Praxis
    Nachfolgender Titel: Forts. ---〉:Informationstechnik
    Suppl.: Beil. ---〉:Computer-Praxis
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Zeitschrift/Serie
    Zeitschrift/Serie
    Sindelfingen b. Stuttgart :IBM, ; 1.1951 - 22.1972,Febr. = Nr. 104-209
    Titel: IBM-Nachrichten /
    Autor: Internationale Büro-Maschinen-Gesellschaft Deutschland 〈Sindelfingen〉
    Verlag: Sindelfingen b. Stuttgart :IBM,
    Erscheinungsjahr: 1951-1972
    Erscheinungsverlauf: 1.1951 - 22.1972,Febr. = Nr. 104-209
    ISSN: 0018-8662
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Vorheriger Titel: Vorg. ---〉:Hollerith-Nachrichten
    Nachfolgender Titel: Forts. ---〉:IBM Deutschland GmbH 〈Stuttgart〉: IBM-Nachrichten
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    Zeitschrift/Serie
    Zeitschrift/Serie
    Braunschweig ; Wisbaden :Vieweg, ; [1.1959] -[2.]1960 = F. 1-8; [3.]1961 = H. 1-6=F.9-14; [4.]1962 - [5.]1963,1; 5.1963,2 - 12.1970
    Titel: Elektronische Datenverarbeitung : Fachberichte über programmgesteuerte Maschinen u. ihre Anwendung = Electronic data processing
    Verlag: Braunschweig ; Wisbaden :Vieweg,
    Erscheinungsjahr: 1959-1970
    Erscheinungsverlauf: [1.1959] -[2.]1960 = F. 1-8; [3.]1961 = H. 1-6=F.9-14; [4.]1962 - [5.]1963,1; 5.1963,2 - 12.1970
    ISSN: 0374-3012
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Nachfolgender Titel: Forts. ---〉:Angewandte Informatik
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 11
    Titel: Bibliotheksdienst : Organ der Bundesvereinigung Deutscher Bibliotheksverbände (BDB)
    Beteiligte Person(en): Deutscher Büchereiverband , Deutscher Bibliotheksverband 〈Deutschland, Bundesrepublik〉 , Deutsches Bibliotheksinstitut 〈Berlin〉 , Bundesvereinigung Deutscher Bibliotheksverbände , Ehemaliges Deutsches Bibliotheksinstitut 〈Berlin〉 , Zentral- und Landesbibliothek 〈Berlin〉
    Verlag: Berlin [u. a.] :De Gruyter Saur,
    Erscheinungsjahr: 1967
    Erscheinungsverlauf: [1.]1967,Apr. - [16.]1982; 17.1983 -
    ISSN: 0006-1972
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Vorheriger Titel: Vorg. ---〉:Büchereidienst
    Anmerkung: Deutscher Büchereiverband; [8.]1974 - [12.]1978: Deutscher Bibliotheksverband; [12.]1978 - 1989: Deutsches Bibliotheksinstitut; beteil. Körp. anfangs: Arbeitsstelle für das Bibliothekswesen, Deutscher Bibliotheksverband; bis 33.1999: Deutsches Bibliotheksinstitut; 34.2000: Ehemaliges Deutsches Bibliotheksinstitut
    Suppl.: Beil. ---〉:Regeln für den Schlagwortkatalog / Ergänzungen und Berichtigungen
    Suppl.: Beil. ---〉:International Federation of Library Associations and Institutions: IFLA-Tagung
    Suppl.: Beil. ---〉:Neue Sigel, Sigelverweisungen, Wiederaufnahmen, neue Leihverkehrsinformationen und Anschriftenkorrekturen
    Suppl.: Teils darin, teils Beil. ---〉:RSWK-Mitteilung
    Suppl.: Teils darin, teils Beil. ---〉:RAK-Mitteilung
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 12
    Zeitschrift/Serie
    Zeitschrift/Serie
    New York, NY :ACM, ; 1.1967[?] - 39.2005,2. Forts. nur Online
    Titel: Computer graphics : CG ; a quarterly report of Siggraph ACM
    Beteiligte Person(en): Association for Computing Machinery / Special Interest Group on Graphics
    Verlag: New York, NY :ACM,
    Erscheinungsjahr: 1967
    Erscheinungsverlauf: 1.1967[?] - 39.2005,2. Forts. nur Online
    ISSN: 0097-8930
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Suppl.: In 9.1975/76 enth. 2.1975 u. in 11.1977/78 enth. 4.1977 von ---〉:Conference on Computer Graphics and Interactive Techniques: Proceedings of the ... annual Conference on Computer Graphics and Interactive Techniques
    Suppl.: In 10.1976,2 enth. 3.1976 von ---〉:Conference on Computer Graphics, Interactive Techniques, and Image Processing: Proceedings of the ... annual Conference on Computer Graphics, Interactive Techniques, and Image Processing
    Suppl.: 15,3=8; 16,3=9; 17,3=10; 18,3=11; 19,3=12; 20,4=13; 21,4=14; 22,4=15; 23,3=16 von:Association for Computing Machinery / Special Interest Group on Graphics: SIGGRAPH Conference proceedings
    Suppl.: 12,3=5; 13,2=6; 14,3=7 von:Conference on Computer Graphics and Interactive Techniques: Proceedings of the ... annual Conference on Computer Graphics and Interactive Techniques
    Suppl.: 10,1=11,6 von:Association for Computing Machinery / Special Interest Group on Programming Languages: SIGPLAN notices
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 13
    Zeitschrift/Serie
    Zeitschrift/Serie
    New York, NY [u.a.] :Academ. Pr., ; 1.1967 -
    Titel: Journal of computer and system sciences
    Verlag: New York, NY [u.a.] :Academ. Pr.,
    Erscheinungsjahr: 1967
    Erscheinungsverlauf: 1.1967 -
    ISSN: 0022-0000
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Suppl.: 25,1-2=21 von:Symposium on Foundations of Computer Science: Annual Symposium on Foundations of Computer Science
    Suppl.: 28,1=1 von:Symposium on Principles of Database Systems: Papers presented in the form of working abstracts at the ... ACM SIGACT-SIGMOD Symposium on Principles of Database Systems
    Suppl.: 28,2=14; 30,2=15 von:Symposium on Theory of Computing: Conference record of the ... annual ACM Symposium on Theory of Computing
    Suppl.: 34,2/3=1 von:TAPSOFT: Proceedings of the International Joint Conference on Theory and Practice of Software Development
    Paralleltitel: Internetausg. ---〉:Journal of computer and system sciences
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...