Definable Functions and Stratifications in Power-Bounded T -Convex Fields.

Erick Garcia-Ramirez

Published in: Notre Dame J. Formal Log. (2020)

Keyphrases

continuous functions
power consumption
strictly convex
convex optimization
neural network
computer vision
convex hull
globally optimal
convex functions
penalty functions
machine learning
case study
lower bound
first order logic
quasiconvex