Use the enumitem package.
Add shorthand commands for floor and ceil notation
Set tocdepth to a saner value of 3
Use IEEE citation style.