Some new acceleration mechanisms in verified global optimization / von Jean Honoré Tapamo Kahou