David Kraus

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
A numerical verification method for multi-class feed-forward neural networks.
Expert Syst. Appl., 2024

Navigating Dimensionality through State Machines in Automotive System Validation.
CoRR, 2024

Co-simulate no more: The CARLA V2X Sensor.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

Language of Zelda: Facilitating Language Learning Practices Using ChatGPT.
Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2024

2023
Deep Reinforcement Learning Based Energy Management Strategy in Fuel Cell Range Extender Buses.
Proceedings of the 14th IEEE Annual Ubiquitous Computing, 2023

EFFECT: An End-to-End Framework for Evaluating Strategies for Parallel AI Anomaly Detection.
Proceedings of the International Neural Network Society Workshop on Deep Learning Innovations and Applications, 2023

Plug-and-Play Feature for Automotive Camera Sensors Using ReCoIN Model With Smart Configuration.
Proceedings of the 12th International Conference on Control, 2023

Improving the Validation of Automotive Self-Learning Systems through the Synergy of Scenario-Based Testing and Metamorphic Relations.
Proceedings of the IEEE/ACM 10th International Conference on Big Data Computing, 2023

2019
Inferential procedures for partially observed functional data.
J. Multivar. Anal., 2019

2017
Exploring impacts of vegetated buffer strips on nitrogen cycling using a spatially explicit hydro-biogeochemical modeling approach.
Environ. Model. Softw., 2017

Rejecting hydro-biogeochemical model structures by multi-criteria evaluation.
Environ. Model. Softw., 2017

2009
Checking Proportional Rates in the Two-Sample Transformation Model.
Kybernetika, 2009


  Loading...