Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
18 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

18 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method.
    Le Coënt, Adrien ; Fribourg, Laurent ; et al.
    In: IFAC-PapersOnLine ; 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 ADHS'18, 2018
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method.
    Le Coënt, Adrien ; Fribourg, Laurent ; et al.
    In: IFAC-PapersOnLine ; 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 ADHS'18, 2018
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    On Functions Weakly Computable by Petri Nets and Vector Addition Systems
    Leroux, Jérôme ; Schnoebelen, Ph ; et al.
    In: Reachability Problems - 8th International Workshop, {RP} 2014 ; https://hal.archives-ouvertes.fr/hal-01084971 ; Reachability Problems - 8th International Workshop, 2014
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    On Functions Weakly Computable by Petri Nets and Vector Addition Systems
    Leroux, Jérôme ; Schnoebelen, Ph ; et al.
    In: Reachability Problems - 8th International Workshop, {RP} 2014 ; https://hal.science/hal-01084971 ; Reachability Problems - 8th International Workshop, 2014
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Taming Past LTL and Flat Counter Systems
    Demri, Stéphane ; Kumar Dhar, Amit ; et al.
    In: Automated Reasoning ; 6th International Joint Conference, IJCAR 2012 ; https://hal.science/hal-03202398 ; 6th International Joint Conference, 2012
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Taming Past LTL and Flat Counter Systems
    Demri, Stéphane ; Kumar Dhar, Amit ; et al.
    In: Automated Reasoning ; 6th International Joint Conference, IJCAR 2012 ; https://hal.archives-ouvertes.fr/hal-03202398 ; 6th International Joint Conference, 2012
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Taming Past LTL and Flat Counter Systems
    Demri, Stéphane ; Kumar Dhar, Amit ; et al.
    In: Automated Reasoning ; 6th International Joint Conference, IJCAR 2012 ; https://hal.science/hal-03202398 ; 6th International Joint Conference, 2012
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Finite Bisimulations for Dynamical Systems with Overlapping Trajectories
    Bérard, Béatrice ; Bouyer, Patricia ; et al.
    In: LIPICS ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) ; https://hal.sorbonne-universite.fr/hal-02077795 ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.26:1--26:17, ⟨10.4230/LIPIcs.CSL.2018.26⟩, 2018
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Finite Bisimulations for Dynamical Systems with Overlapping Trajectories
    Bérard, Béatrice ; Bouyer, Patricia ; et al.
    In: LIPICS ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) ; https://hal.sorbonne-universite.fr/hal-02077795 ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.26:1--26:17, ⟨10.4230/LIPIcs.CSL.2018.26⟩, 2018
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Finite Bisimulations for Dynamical Systems with Overlapping Trajectories
    Bérard, Béatrice ; Bouyer, Patricia ; et al.
    In: LIPICS ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) ; https://hal.sorbonne-universite.fr/hal-02077795 ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.26:1--26:17, ⟨10.4230/LIPIcs.CSL.2018.26⟩, 2018
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Finite Bisimulations for Dynamical Systems with Overlapping Trajectories
    Bérard, Béatrice ; Bouyer, Patricia ; et al.
    In: LIPICS ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) ; https://hal.sorbonne-universite.fr/hal-02077795 ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.26:1--26:17, ⟨10.4230/LIPIcs.CSL.2018.26⟩, 2018
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Finite Bisimulations for Dynamical Systems with Overlapping Trajectories
    Bérard, Béatrice ; Bouyer, Patricia ; et al.
    In: LIPICS ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) ; https://hal.sorbonne-universite.fr/hal-02077795 ; 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.26:1--26:17, ⟨10.4230/LIPIcs.CSL.2018.26⟩, 2018
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Space-Efficient Fragments of Higher-Order Fixpoint Logic
    Bruse, Florian ; Lange, Martin ; et al.
    In: RP ; https://hal.science/hal-01920599 ; RP, 2017, London, United Kingdom, 2017
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Space-Efficient Fragments of Higher-Order Fixpoint Logic
    Bruse, Florian ; Lange, Martin ; et al.
    In: RP ; https://hal.science/hal-01920599 ; RP, 2017, London, United Kingdom, 2017
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Space-Efficient Fragments of Higher-Order Fixpoint Logic
    Bruse, Florian ; Lange, Martin ; et al.
    In: RP ; https://hal.archives-ouvertes.fr/hal-01920599 ; RP, 2017, London, United Kingdom, 2017
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Guaranteed control of switched control systems using model order reduction and state-space bisection
    Le Coënt, Adrien ; de Vuyst, Florian ; et al.
    In: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015) ; https://hal.science/hal-01588728 ; 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015), Apr 2015, Londres, United Kingdom, 2015
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Guaranteed control of switched control systems using model order reduction and state-space bisection
    Le Coënt, Adrien ; de Vuyst, Florian ; et al.
    In: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015) ; https://hal.science/hal-01588728 ; 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015), Apr 2015, Londres, United Kingdom, 2015
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Guaranteed control of switched control systems using model order reduction and state-space bisection
    Le Coënt, Adrien ; De Vuyst, Florian ; et al.
    In: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015) ; https://hal.archives-ouvertes.fr/hal-01588728 ; 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015), Apr 2015, Londres, United Kingdom, 2015
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -