„Dynamic Verification“

Suchergebnisse

397 Treffer

• A problem-oriented approach for dynamic verification of heterogeneous embedded systems
  Mendoza Cervantes, Francisco 2014 KIT Scientific Publ.
• Runtime verification – 4th international conference ; proceedings
  Legay, Axel ; Bensalem, Saddek 2013 Springer
• Experimental verification of a twin-rotor CRP optimal design with end-plate effect in bollard state
  Chen, Chen-Wei ; Zhou, Zhaoye ; Chen, Xupeng
• Shear Criterion and Experimental Verification for Antivibration Fatigue Design
  Luo, Robert Keqi
• FE Analysis of Dynamical Recrystallization during the Seamless Tube Extrusion of Semicontinuous Casting Magnesium Alloy and Experimental Verification
  Lin, Tao ; Liu, Yun-teng ; Zhou, Ji-xue ; Yang, Yuan-sheng ; Yang, Zhu
• Tanks in Series Model with Dynamic Shortcut Flows for a Straight Tundish. Verification by Tracer Experiments on Production Heats
  Grip,, Carl-Erik ; Öhman,, Stig ; Nilsson,, Christer ; Johansson,, Hakan
• Experimental verification of the effect of different preionization systems on the implosion dynamics of an argon double gas puff
  Rousskikh, A. G. ; Baksht, R. B. ; Labetsky, A. Yu ; Shishlov, A. V. ; Fedyunin, A. V.
• Dynamic authentication on mobile devices: evaluating continuous identity verification through swiping gestures
  Sejjari, Anass ; Moujahdi, Chouaib ; Assad, Noureddine ; Abdelfatteh, Haidine
• Dynamics and control of underactuated mechanical systems: analysis and simple experimental verification
  Blajer, Wojciech ; Dziewiecki, Krzysztof ; Kołodziejczyk, Krzysztof ; Mazur, Zenon
• Simulation and verification of dynamic systems – executive summary
  Nicol, David M. ; Riis-Nielson, Hanne ; Priami, Corrado ; Uhrmacher, Adelinde 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• High Dynamic Range Retarding Potential Analyzer Operation Verification
  Maystrenko, D. A. ; Shagayda, A. A. ; Kravchenko, D. A. ; Tomilin, D. A. ; Selivanov, M. Yu
• A Deep Study of Resistance Switching Phenomena in TaO x ReRAM Cells: System‐Theoretic Dynamic Route Map Analysis and Experimental Verification
  Ascoli, Alon ; Menzel, Stephan ; Rana, Vikas ; Kempen, Tim ; Messaris, Ioannis ; Demirkol, Ahmet Samil ; Schulten, Michael ; Siemon, Anne ; Tetzlaff, Ronald
• A Deep Study of Resistance Switching Phenomena in TaOₓ ReRAM Cells – System-Theoretic Dynamic Route Map Analysis and Experimental Verification
  Ascoli, Alon ; Menzel, Stephan ; Rana, Vikas ; Kempen, Tim ; Messaris, Ioannis ; Demirkol, Ahmet Samil ; Schulten, Michael ; Siemon, Anne ; Tetzlaff, Ronald 2024 Technische Universität Dresden
• A Deep Study of Resistance Switching Phenomena in TaOx ReRAM Cells: System-Theoretic Dynamic Route Map Analysis and Experimental Verification
  Ascoli, Alon ; Menzel, Stephan ; Rana, Vikas ; Kempen, Tim ; Messaris, Ioannis ; Demirkol, Ahmet Samil ; Schulten, Michael ; Siemon, Anne ; Tetzlaff, Ronald 2022 Universitätsbibliothek der RWTH Aachen
• Handwritten signature verification system using hybrid transfer learning approach
  Upadhyay, Rashmi Rathi ; Singh, Koushlendra Kumar
• Verification and validation of a numerical wave tank with momentum source wave generation
  Zhang, Housheng ; Hu, Yijing ; Huang, Biao ; Zhao, Xin
• Vibration control of a smart beam structure subjected to actuator uncertainty: Experimental verification
  Choi, S. -B
• Dynamics of ammonia volatilization from simulated urine patches and aqueous urea applied to pasture. III. Field verification of a simplified model
  Sherlock, RR ; Goh, KM
• DIN 631-1, Wälzlager - Prüfbedingungen zur versuchstechnischen Verifikation der dynamischen Tragzahl von Profilschienenführungen mit kompakten Kugel- oder Rollenumlaufwagen – = Rolling bearings - testing conditions for the experimental verification of the dynamic load rating of ball carriage or roller carriage profiled rail guides
  2024 DIN Media GmbH
• Verification of the Mathematical Model of a Multidimensional Dynamic System for Adequacy Based on the Spectral Norm of a Residual Matrix
  Hajiyev, Ch. M.