Min Zhang1,2,3, Yuanling Zhang1,3,4, Min Lin5 & Fangli Qiao1,2,4 Solar irradiation is the primary driving force for the Earth's climate system. However, we are still short of powerful tools to study the variability of the Earth's climate due to the solar activity. ...
Liew, D., Schemmel, D., Cadar, C., Donaldson, A., Zähl, R., Wehrle, K.: Floating-point symbolic execution: a case study in n-version programming. In: Proceedings of the 32nd IEEE Interna- tional Conference on Automated Software Engineering (ASE'17) (2017) 20. Palikareva, H.,...