1. //
  2. Start
  3. //
  4. Zeitschriften
  5. //
  6. Software Testing Verification and Reliab...
  7. //
  8. Publikationen
  9. //

Software Testing Verification and Reliability, ‎0960-0833

Fachzeitschrift: Zeitschrift

Zuletzt angesehen

Aktivitäten

  1. 27st IEEE International Conference on Methods and Models in Automation an Robotics (MMAR)
  2. Short course on numerical methods for stochastic processes
  3. Note-taking while Working on Mathematical Modelling Tasks
  4. Quality of reading instruction in language classrooms: Subject specific analysis of teaching quality
  5. The effects of pragmatic intervention on directive speech acts in a virtual exchange CLIL context at university level.
  6. Reflexive Multi-Criteria Evaluation as a Tool to Integrate Multiple Values of Scientists and Stakeholders
  7. Everything flows – identification and characterization of coherent patterns
  8. Blogs in the Foreign Language Classroom
  9. Fuzzy based control of a nonholonomic car-like robot for drive assistant systems
  10. SON 2020+2: International Workshop on Dynamics, Optimization, and Computation
  11. Workshop on Stochastic Models, Statistics and Their Applications 2017
  12. Cluster-based Extraction of Finite-time Coherent Sets from Trajectory Data
  13. Machine vision system errors for unmanned aerial vehicle navigation

Publikationen

  1. Experiments on the Fehrer-Raab effect and the ‘Weather Station Model’ of visual backward masking
  2. Parking space management through deep learning – an approach for automated, low-cost and scalable real-time detection of parking space occupancy
  3. Lyapunov stability analysis to set up a PI controller for a mass flow system in case of a non-saturating input
  4. Springback prediction and reduction in deep drawing under influence of unloading modulus degradation
  5. Should learners use their hands for learning? Results from an eye-tracking study
  6. Modeling of Logistic Processes in Assembly Areas
  7. Different kinds of interactive exercises with response analysis on the web
  8. A sensor fault detection scheme as a functional safety feature for DC-DC converters
  9. Harvesting information from captions for weakly supervised semantic segmentation
  10. Understanding the socio-technical aspects of low-code adoption for software development
  11. Introduction Mobile Digital Practices. Situating People, Things, and Data
  12. Fast, Fully Automated Analysis of Voriconazole from Serum by LC-LC-ESI-MS-MS with Parallel Column-Switching Technique
  13. Exact and approximate inference for annotating graphs with structural SVMs
  14. Exploration strategies, performance, and error consequences when learning a complex computer task
  15. Lessons learned for spatial modelling of ecosystem services in support of ecosystem accounting
  16. How to support synchronous net-based learning discourses
  17. Construct Objectification and De-Objectification in Organization Theory
  18. Development and validation of a method for the determination of trace alkylphenols and phthalates in the atmosphere
  19. Modeling and numerical simulation of multiscale behavior in polycrystals via extended crystal plasticity
  20. A fast sequential injection analysis system for the simultaneous determination of ammonia and phosphate
  21. Taking the pulse of Earth's tropical forests using networks of highly distributed plots
  22. Backstepping-based Input-Output Linearization of a Peltier Element for Ice Clamping using an Unscented Kalman Filter
  23. A simple nonlinear PD control for faster and high-precision positioning of servomechanisms with actuator saturation
  24. How, when and why do negotiators use reference points?
  25. A lyapunov approach in the derivative approximation using a dynamic system
  26. Hierarchical trait filtering at different spatial scales determines beetle assemblages in deadwood
  27. Transductive support vector machines for structured variables
  28. Training effects of two different unstable shoe constructions on postural control in static and dynamic testing situations