In Einstein’s general relativity theory the metric component gxx in the direction of motion (x-direction) of the sun deviates from unity due to a tensor potential caused by the black hole existing around the center of the galaxy. Because the solar system is orbiting around the galactic center at 200 km/s, the theory shows that the Newtonian gravitational potential due to the sun is not quite ra...

In 1997, the National Institute of Environmental Health Sciences (NIEHS) established the Interagency Coordinating Committee on the Validation of Alternative Methods (ICCVAM), an ad hoc federal inter agency committee to address the growing need for obtaining regu­ la tory acceptance of new toxicological test methods. The thought was that simultaneous agency evaluation of new methods that address...

Uppaal is a tool suitable for model checking real-time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modelling language, a user-friendly graphical interface, and a performant model checker engine. In additio...