Honored by the Swedish Academy alongside his colleagues John Clarke and John Martinis for research conducted 40 years ago, ...
Abstract: This paper introduces the initial steps towards formal verification of a wave-union based time-to-digital converter (TDC) system designed in a field-programmable gate array (FPGA). Although ...
Abstract: In this letter, a machine learning method is presented to evaluate the scattering by 2-D conducting objects. First, the scattered far field is expressed by angular harmonics with weighted ...