„parameterized system“

Suchergebnisse

245 Treffer

• The Fixed-Parameter Tractability of Model Checking Concurrent Systems
  Göller, Stefan 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• View Abstraction – A Tutorial (Invited Paper)
  Abdulla, Parosh A. ; Haziza, Fréderic ; Holík, Lukáš 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Explaining Data Type Reduction in the Shape Analysis Framework
  Wachter, Björn 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Leveraging deep learning for nonlinear shape representation in anatomically parameterized statistical shape models
  Gheflati, Behnaz ; Mirzaei, Morteza ; Rottoo, Sunil ; Rivaz, Hassan
• Variant of the bimetric theory of gravitation. I. Parameterized post-newtonian formalism
  Avagyan, R. M. ; Yeranyan, A. A.
• Parameterized on-line open-end bin packing
  Zhang, Guochuan
• Performance sensitivities for parameterized Markov systems
  Cao, Xiren ; Zhang, Junyu
• Balanced viscosity (BV) solutions to infinite-dimensional rate-independent systems
  Mielke, Alexander ; Rossi, Riccarda ; Savaré, Giuseppe 2013 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• Balanced viscosity (BV) solutions to infinite-dimensional rate-independent systems
  Mielke, Alexander ; Rossi, Riccarda ; Savaré, Giuseppe 2013 WIAS
• Multi-objective SINDy for parameterized model discovery from single transient trajectory data
  Lemus, Javier ; Herrmann, Benjamin
• Dual backstepping adaptive switching control of parameterized unknown bounded uncertain system with uniform online tuning law
  Yin, Qitian ; Yang, Jianbai ; Mu, Quanqi ; Wang, Dandan ; Yu, Zitang
• Cooperative Coordination and Formation Control for Multi-agent Systems
  Sun, Zhiyong 2018 Springer International Publishing
• On the parameterized complexity of the median and closest problems under some permutation metrics
  Cunha, Luís ; Sau, Ignasi ; Souza, Uéverton
• Parameterized level set method based topology optimization of transient heat conduction structures
  Shen, Yadong ; Li, Jiaxun ; Yang, Chendong
• Parameterized Multi-Scenario Single-Machine Scheduling Problems
  Hermelin, Danny ; Manoussakis, George ; Pinedo, Michael ; Shabtay, Dvir ; Yedidsion, Liron
• Parameterized Algorithms for Max Colorable Induced Subgraph Problem on Perfect Graphs
  Misra, Neeldhara ; Panolan, Fahad ; Rai, Ashutosh ; Raman, Venkatesh ; Saurabh, Saket
• Estimating GPS inter-frequency clock bias to provide a parameterized product
  Li, Haojun ; Yang, Boyu ; Li, Xiaoming ; Xiao, Jingxin
• Parameterized Complexity of Geometric Covering Problems Having Conflicts
  Banik, Aritra ; Panolan, Fahad ; Raman, Venkatesh ; Sahlot, Vibha ; Saurabh, Saket
• Parameterized algorithms of fundamental NP-hard problems: a survey
  Li, Wenjun ; Ding, Yang ; Yang, Yongjie ; Sherratt, R. Simon ; Park, Jong Hyuk ; Wang, Jin
• A Parameterized Algorithmics Framework for Degree Sequence Completion Problems in Directed Graphs
  Bredereck, Robert ; Froese, Vincent ; Koseler, Marcel ; Garlet Millani, Marcelo ; Nichterlein, André ; Niedermeier, Rolf