2 papers
cs.LG2020
Controlled time series generation for automotive software-in-the-loop testing using GANs
Dhasarathy Parthasarathy, Karl Bäckström, Jens Henriksson +1
Testing automotive mechatronic systems partly uses the software-in-the-loop approach, where systematically covering inputs of the system-under-test remains a major challenge. In cu…
cs.PL2019
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics
Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu
At the workshop on Trends in Functional Programming in Education (TFPIE) in 2015 Ionescu and Jansson presented the approach underlying the "Domain Specific Languages of Mathematics…