„parameterized“

Suchergebnisse

1.641 Treffer

• MUSO: achieving exact machine unlearning in over-parameterized regimes
  Yang, Ruikai ; He, Mingzhen ; He, Zhenghao ; Qiu, Youmei ; Huang, Xiaolin
• Recursive Backdoors for SAT
  Mählmann, Nikolas ; Siebertz, Sebastian ; Vigny, Alexandre 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Elimination Distance to Bounded Degree on Planar Graphs
  Lindermayr, Alexander ; Siebertz, Sebastian ; Vigny, Alexandre 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bayesian analysis of neutron-star properties with parameterized equations of state: the role of the likelihood functions
  Jiang, Jin-Liang ; Ecker, Christian ; Rezzolla, Luciano 2023 Universitätsbibliothek Johann Christian Senckenberg
• Bayesian analysis of neutron-star properties with parameterized equations of state: the role of the likelihood functions
  Jiang, Jin-Liang ; Ecker, Christian ; Rezzolla, Luciano 2022 Universitätsbibliothek Johann Christian Senckenberg
• Computability and Complexity – Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
  Day, Adam ; Fellows, Michael R. ; Greenberg, Noam ; Khoussainov, Bakhadyr ; Melʹnikov, Aleksandr V. ; Rosamond, Frances 2016 Springer International Publishing
• A Note on a Parameterized Version of the Well-Founded Induction Principle
  Gramlich, Bernhard 1995 Technische Universität Kaiserslautern, Fachbereich Informatik
• Parameterized abstractions used for proof-planning
  Autexier, Serge 1998 DFKI
• Parameterized abstractions used for proof-planning
  Autexier, Serge ; Hutter, Dieter 2011 Saarländische Universitäts- und Landesbibliothek
• Crack growth in polyconvex materials
  Knees, Dorothee ; Zanini, Chiara ; Mielke, Alexander 2008 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• Parameterized Systems in BIP: Design and Model Checking
  Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Joseph Sifakis 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Almost Polynomial Factor Inapproximability for Parameterized k-Clique
  Khot, Subhash ; Karthik C. S. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Equivalence of Parameterized Inapproximability of k-Median, k-Max-Coverage, and 2-CSP
  Lee, Euiwoong ; Manurangsi, Pasin ; Karthik C. S. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Algorithms and Hardness for the Maximum Edge q-Coloring Problem
  Mathew, Rogers ; Panolan, Fahad ; Seshikanth 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized quantum circuits as universal generative models for continuous multivariate distributions
  Barthe, Alice ; Grossi, Michele ; Vallecorsa, Sofia ; Tura, Jordi ; Dunjko, Vedran
• Improving $$\upalpha $$ α -Parameterized New Iterative Method with the Black-Winged Kite Algorithm for Solving Systems of Fuzzy Fractional Partial Differential Equation
  Najeeb, Mustafa Raed ; Qasim, Omar Saber ; Algamal, Zakariya Yahya ; Ismail, Emad A. A. ; Awwad, Fuad A. ; Ahmad, Hijaz
• Consistency Checking Problems: A Gateway to Parameterized Sample Complexity
  Ganian, Robert ; Khazaliya, Liana ; Simonov, Kirill 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The st-Planar Edge Completion Problem Is Fixed-Parameter Tractable
  Khazaliya, Liana ; Kindermann, Philipp ; Liotta, Giuseppe ; Montecchiani, Fabrizio ; Simonov, Kirill 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Long Cycles in Graphs: Extremal Combinatorics Meets Parameterized Algorithms (Invited Talk)
  Fomin, Fedor V. ; Golovach, Petr A. ; Sagunov, Danil ; Simonov, Kirill 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Complexity of Feature Selection for Categorical Data Clustering
  Bandyapadhyay, Sayan ; Fomin, Fedor V. ; Golovach, Petr A. ; Simonov, Kirill 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik