„parameterized system“

Suchergebnisse

245 Treffer

• Efficient nonlinear aeroelastic analysis of a morphing wing via parameterized fictitious mode method
  Zhou, Xinghua ; Huang, Rui
• Endogenous spatial heterogeneity in a multi-patch predator-prey system: insights from a field-parameterized model
  Brown, David ; Bruder, Andrea ; Kummel, Miroslav
• Interpolatory Projection Methods for Parameterized Model Reduction
  Baur, Ulrike ; Beattie, Christopher ; Benner, Peter ; Gugercin, Serkan 2010 Universitätsbibliothek Chemnitz
• Computational Complexity of Verifying Parameterized Systems
  Ayikudi Ramachandrakumar, Balasubramanian ; Esparza Estaun, Francisco Javier ; Abdulla, Parosh Aziz ; Bouajjani, Ahmed 2024 Universitätsbibliothek der TU München
• The Input-Parameterized Linearization around the Equilibrium Manifold Approach to Modeling and Identification
  Fernandes, Pedro R. Bolognese 2006 Shaker
• Mechanical Verification of Parameterized Real-Time Systems
  Göthel, Thomas ; Glesner, Sabine 2012 Universitätsbibliothek der Technischen Universität Berlin
• On the mechanized validation of infinite-state and parameterized reactive and mobile systems
  Röckl, Christine
• Exploring the limits of parameterized system verification
  Stahl, Karsten
• Abstraction-based verification of parameterized networks
  Baukus, Kai
• Foreword: Special Issue on Parameterized and Exact Computation
  Guo, Jiong ; Hermelin, Danny
• Guest Editorial: Special Issue on Parameterized and Exact Computation
  Husfeldt, Thore ; Kanj, Iyad
• Formal Techniques for Distributed Systems – Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  Giese, Holger ; Rosu, Grigore 2012 Springer Berlin Heidelberg
• Formal Techniques for Distributed Systems – Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  Bruni, Roberto ; Dingel, Juergen 2011 Springer Berlin Heidelberg
• Theory and Practice of Algorithms in (Computer) Systems – First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
  Marchetti-Spaccamela, Alberto ; Segal, Michael 2011 Springer Berlin Heidelberg
• Faster, higher, easier – Toward a systematic study of parameterized vertex and edge selection problems
  Schepper, Philipp ; Marx, Dániel ; Bringmann, Karl ; Lampis, Michael 2025 Saarländische Universitäts- und Landesbibliothek
• Algorithmic Differentiation of Numerical Methods: Second-order Adjoint Solvers for Parameterized Systems of Nonlinear Equations
  Safiran, Niloofar ; Lotz, Johannes ; Naumann, Uwe 2016 Universitätsbibliothek der RWTH Aachen
• Second-order Tangent Solvers for Systems of Parameterized Nonlinear Equations
  Safiran, Niloofar ; Lotz, Johannes ; Naumann, Uwe 2015 Universitätsbibliothek der RWTH Aachen
• Logics on data words – Expressivity, satisfiability, model checking
  Kara, Ahmet ; Schwentick, Thomas ; Bollig, Benedikt 2016 Universitätsbibliothek Dortmund
• Model Order Reduction Methods for Parameterized Systems in Electromagnetic Field Simulations
  Stavrakakis, Kynthia Katherina ; Weiland, Thomas ; Dyczij-Edlinger, Romanus 2012 Universitäts- und Landesbibliothek Darmstadt
• Parameterized genuine multipartite entanglement measure based on $$\alpha$$ α -concurrence
  Liang, Rui-Zhou ; Jin, Zhi-Xiang ; Chen, Wei ; Wang, Yan-Ling