Keyword:merging

Publications
Dataset-Specific Strategies for the E Theorem Prover Jack McKeown and Geoff Sutcliffe In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Analysis of the Kernel Bandwidth Influence in the Double Smoothing Merging Algorithm to Improve Rainfall Fields in Poorly Gauged Basins Nicolás Duque-Gardeazábal, David Zamora and Erasmo Rodríguez In:HIC 2018. 13th International Conference on Hydroinformatics