Search Results - Ng (name)

1

Cover Image

Glaciers and Ice Sheets in the Climate System The Karthaus Summer School Lecture Notes / edited by Andrew Fowler, Felix Ng.

Published 2021

Other Authors: '; “...Ng, Felix....”
Get full text

2

Cover Image

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / edited by Pascal Fontaine.

Published 2019

Table of Contents: '; “... Nonlinear Interpolants -- ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E...”
Get full text