joseph c. derse

• Machine operation times for estimators