Auflistung nach Schlagwort "Parameterized"

Sortiert nach: Sortierung: Ergebnisse:

  • Analysis of an experimental setup for structural damping identification 
    Hentschel, Olaf Peter; Bonhage, Marius; Panning-von Scheidt, Lars; Wallaschek, Jörg; Denk, Markus; Masserey, Pierre-Alain (Warsaw : Polish Society of Theoretical and Allied Mechanics, 2016)
    In the present paper, an experimental setup for structural damping determination arising from energy dissipations within the material is presented. The experimental setup is developed in such a way that all unintended ...
  • Backdoors for linear temporal logic 
    Meier, Arne; Ordyniak, Sebastian; Sridharan, Ramanujan; Schindler, Irena (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017)
    In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized ...
  • Deciding circular-arc graph isomorphism in parameterized logspace 
    Chandoo, Maurice (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016)
    We compute a canonical circular-arc representation for a given circular-arc (CA) graph which implies solving the isomorphism and recognition problem for this class. To accomplish this we split the class of CA graphs into ...