Dido Dido (which is a question independent of whether or not she ever met Aeneas) can be associated with evidence for the historicity of others in her family, such as her brother Pygmalion and their grandfather Balazeros. Both of these kings are mentioned, as well as Dido, in the list of Tyrian kings given in Menander of Ephesus's list of the kings of Tyre, as preserved in Josephus's "Against Apion", i.18. Josephus ends his quotation of Menander with the sentence "Now, in the seventh year of his [Pygmalion's] reign, his sister fled away from him and built the city of Carthage
DIDO (software) in solving for the costates in optimal control problems. DIDO generates spectrally accurate solutions whose extremality can be verified using Pontryagin's Minimum Principle. Because no knowledge of pseudospectral methods is necessary to use it, DIDO is often used as a fundamental mathematical tool for solving optimal control problems. That is, a solution obtained from DIDO is treated as a candidate solution for the application of Pontryagin's minimum principle as a necessary condition for optimality. DIDO is used world wide in academia, industry and government laboratories. Thanks to NASA, DIDO was flight-proven in 2006. On November 5, 2006, NASA used DIDO