+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Montag, 13. Dezember 2021, 11.00 Uhr Ort: Zoom-Videokonferenz https://rwth.zoom.us/j/93783577046?pwd=NjFUNFZZUWpzNjhLN2VlOHEyVk9nQT09 Meeting-ID: 937 8357 7046 Kenncode: 561405 Referent: Jens Deussen M.Sc. Lehrstuhl Informatik 12: Software and Tools for Computational Engineering Thema: Global Derivatives Abstract: In this talk, we show how to obtain global derivatives that are guaranteed enclosures of the derivative information on specified domains. Therefore, we combine algorithmic differentiation (AD) methods with interval arithmetic and McCormick relaxations. While naive interval computations are prone to overestimation of exact value ranges, we identify special cases for which the natural interval extension applied to the AD methods compute exact value ranges for the global derivatives. We present two applications that benefit from global derivatives: deterministic global optimization by branch-and-bound methods, and significance-driven unreliable and approximate computing. Within the framework of the global optimization case study we introduce subdomain separability. This local property enables the partitioning of the optimization problem on subdomains that fulfill a certain monotonicity condition. The approximate computing case study demonstrates how to automatically prune artificial neural networks by using significance values. Es laden ein: die Dozentinnen und Dozenten der Informatik