Zum Inhalt springen

  1. Hofman, Piotr [VerfasserIn]; Lasota, Slawomir [VerfasserIn]; Mayr, Richard [VerfasserIn]; Totzke, Patrick [VerfasserIn] ; Piotr Hofman and Slawomir Lasota and Richard Mayr and Patrick Totzke [MitwirkendeR]

    Simulation Over One-counter Nets is PSPACE-Complete

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  2. Ballier, Alexis [VerfasserIn]; Durand, Bruno [VerfasserIn]; Jeandal, Emmanuel [VerfasserIn] ; Alexis Ballier and Bruno Durand and Emmanuel Jeandal [MitwirkendeR]

    Structural aspects of tilings

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  3. Muroya, Koko [VerfasserIn]; Sanada, Takahiro [VerfasserIn]; Urabe, Natsuki [VerfasserIn] ; Koko Muroya and Takahiro Sanada and Natsuki Urabe [MitwirkendeR]

    Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  4. Schweighofer, Markus [VerfasserIn]

    Global Optimization of Polynomials Using Gradient Tentacles and Sums of Squares

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KOPS - The Institutional Repository of the University of Konstanz, 2006

    Erschienen in: SIAM Journal on Optimization. 2006, 17(3), pp. 920-942. ISSN 1052-6234. Available under: doi:10.1137/050647098

  5. Slowinski, Roman [VerfasserIn]; Greco, Salvatore [VerfasserIn]; Mousseau, Vincent [VerfasserIn] ; Roman Slowinski and Salvatore Greco and Vincent Mousseau [MitwirkendeR]

    Multi-criteria ranking of a finite set of alternatives using ordinal regression and additive utility functions - a new UTA-GMS method

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  6. Hack, Pedro [VerfasserIn]; Braun, Daniel A. [VerfasserIn]; Gottwald, Sebastian [VerfasserIn]

    The classification of preordered spaces in terms of monotones : complexity and optimization

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2023

    Erschienen in: Theory and decision ; 94(2023), 4 vom: Mai, Seite 693-720

  7. Ghossoub, Mario [VerfasserIn]; Principi, Giulio [VerfasserIn]; Stanca, Lorenzo [VerfasserIn]

    A nonlinear sandwich theorem

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Torino (Italy): Department of Economics and Statistics, University of Torino, [2023]

    Erschienen in: Department of Economics and Statistics working paper series ; 81

  8. Ghossoub, Mario [VerfasserIn]; Principi, Giulio [VerfasserIn]; Stanca, Lorenzo [VerfasserIn]

    A nonlinear sandwich theorem

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Torino: CCA, Fondazione Collegio Carlo Alberto, [2023]

    Erschienen in: Carlo Alberto notebooks ; 694

  9. Bosi, Gianni [VerfasserIn]; Franzoi, Laura [VerfasserIn]

    A simple characterization of the existence of upper semicontinuous order-preserving functions

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2023

    Erschienen in: Economic theory bulletin ; 11(2023), 2 vom: Okt., Seite 203-210

  10. Hack, Pedro [VerfasserIn]; Braun, Daniel A. [VerfasserIn]; Gottwald, Sebastian [VerfasserIn]

    Representing preorders with injective monotones

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Theory and decision ; 93(2022), 4 vom: Nov., Seite 663-690

  11. Kattenbelt, Mark [VerfasserIn]; Huth, Michael [VerfasserIn] ; Mark Kattenbelt and Michael Huth [MitwirkendeR]

    Verification and Refutation of Probabilistic Specifications via Games

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009

  12. Schweighofer, Markus [VerfasserIn]

    Certificates for nonnegativity of polynomials with zeros on compact semialgebraic sets

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KOPS - The Institutional Repository of the University of Konstanz, 2005

    Erschienen in: manuscripta mathematica. 2005, 117(4), pp. 407-428. ISSN 0025-2611. Available under: doi:10.1007/s00229-005-0568-z

  13. Serayet, Mariette [VerfasserIn] ; Aix-Marseille 2 [MitwirkendeR]; Papini, Odile [MitwirkendeR]; Drap, Pierre [MitwirkendeR]

    Raisonnement à partir d'informations structurées et hiérarchisées : application à l'information archéologique ; Reasoning from structured and hierarchized information : application to archeological information

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2010-05-06

  14. Abdulla, Parosh A. [VerfasserIn]; Chen, Yu-Fang [VerfasserIn]; Holik, Lukas [VerfasserIn]; Vojnar, Tomas [VerfasserIn] ; Parosh A. Abdulla and Yu-Fang Chen and Lukas Holik and Tomas Vojnar [MitwirkendeR]

    Mediating for Reduction (on Minimizing Alternating Büchi Automata)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009

  16. Monnin, Pierre [VerfasserIn] ; Université de Lorraine [MitwirkendeR]; Napoli, Amedeo [MitwirkendeR]; Coulet, Adrien [MitwirkendeR]

    Matching and mining in knowledge graphs of the Web of data : Applications in pharmacogenomics ; Appariement et fouille dans les graphes de connaissances du Web des données : Applications en pharmacogénomique

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-12-16

  17. Nguyen, Thi Van Anh [VerfasserIn] ; Tim Römer [MitwirkendeR]; Ngo Viet Trung [MitwirkendeR]

    On Partial Regularities and Monomial Preorders

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Universität Osnabrück: osnaDocs, 2018-06-28