From professional translators, enterprises, web pages and freely available translation repositories.
in computational complexity theory, the time hierarchy theorems are important statements about time-bounded computation on turing machines.
na teoria da complexidade computacional, os teoremas de hierarquia de tempo são importantes declarações sobre a limitação de tempo de computação de máquinas de turing.
*moon, francis "franz reuleaux: contributions to 19th century kinematics and theory of machines".
*moon, francis "franz reuleaux: contributions to 19th c. kinematics and theory of machines".
some of archimedes' inventions as well as the antikythera mechanism required sophisticated knowledge of differential gearing or epicyclic gearing, two key principles in machine theory that helped design the gear trains of the industrial revolution, and are still widely used today in diverse fields such as robotics and automotive engineering.
estas invenções requereram um conhecimento sofisticado de engrenagens diferenciais e planetárias, dois princípios-chave na teoria das máquinas que ajudou a projetar as embraiagens empregues na revolução industrial e que ainda são amplamente utilizadas na atualidade, em diversos campos como a robótica e a engenharia automóvel.