Boston DynamicsBoston Dynamics est une entreprise américaine, située à Waltham dans le Massachusetts, spécialisée dans la robotique, notamment à usage militaire. Ses principales réalisations concernent les robots , BigDog, RHex et Atlas, ainsi que le système de simulation humaine DI-Guy. L'entreprise a commencé comme une spin-off du MIT où Marc Raibert, le prédécesseur de l'actuel président Robert Playter, et ses collègues commencèrent à développer des robots qui se déplacent et manœuvrent comme des animaux.
Robotiquethumb|upright=1.5|Nao, un robot humanoïde. thumb|upright=1.5|Des robots industriels au travail dans une usine. La robotique est l'ensemble des techniques permettant la conception et la réalisation de machines automatiques ou de robots. L'ATILF donne la définition suivante du robot : « il effectue, grâce à un système de commande automatique à base de microprocesseur, une tâche précise pour laquelle il a été conçu dans le domaine industriel, scientifique, militaire ou domestique ».
L (complexité)En informatique théorique, et notamment dans la théorie de la complexité, la classe L est la classe des problèmes de décision décidés par une machine de Turing déterministe qui utilise un espace de taille logarithmique en fonction de la taille de l'entrée. Pour être plus précis, l'exigence sur l'espace de taille logarithmique se réfère à l'espace supplémentaire utilisable. Elle est aussi parfois notée LOGSPACE.
P (complexité)La classe P, aussi noté parfois PTIME ou DTIME(nO(1)), est une classe très importante de la théorie de la complexité, un domaine de l'informatique théorique et des mathématiques. Par définition, un problème de décision est dans P s'il est décidé par une machine de Turing déterministe en temps polynomial par rapport à la taille de l'entrée. On dit que le problème est décidé en temps polynomial. Les problèmes dans P sont considérés comme « faisables » (feasible en anglais), faciles à résoudre (dans le sens où on peut le faire relativement rapidement).
Cinématique inverseLa cinématique inverse (souvent abrégée IK, de l'anglais inverse kinematics) désigne l'ensemble des méthodes de calcul des positions et rotations d'un modèle articulaire afin d'obtenir une pose désirée. Les méthodes de cinématique inverse sont principalement utilisées en infographie, en robotique, en animation ou encore en chimie. Le terme cinématique inverse renvoie au fait que la résolution des calculs est généralement basée sur les équations cinématiques du modèle articulaire.
TrotChez certains quadrupèdes, le trot est une allure sautée, symétrique, à deux temps égaux, par bipèdes diagonaux. Cette allure correspond à environ par heure chez le cheval de selle. Le trot est une allure dite à 2 temps : Le correspond au poser d'un bipède diagonal (antérieur droit et postérieur gauche levés par exemple) + un moment de projection Le correspond au poser de l'autre bipède diagonal (antérieur gauche et postérieur droit levés) + le moment de projection.
Exosquelette motorisévignette|Mannequin présentant le concept d'exosquelette motorisé tel qu'imaginé par l'armée américaine L'exosquelette motorisé ou combinaison robotique est un dispositif mécatronique à base fixe ou mobile, composé d'une structure mécanique à plusieurs degrés de liberté, d'un système d'actionnement (électrique, hydraulique ou pneumatique) utilisant une source d'énergie embarquée ou déportée, et de cartes électroniques de puissance et de commande, que revêt un individu, à la manière d'un vêtement robotisé ou d
Planification motriceLa planification motrice est un processus cognitif et psychomoteur, permettant d’élaborer un mouvement volontaire et de l’organiser en séquences avant de l’exécuter . Pour ce faire, avant chaque mouvement, le cerveau établit un plan moteur composé d’images mentales qui s’enchaînent . Cela est possible parce qu’il s’agit d’un automatisme qui anticipe le résultat de chaque mouvement. Lors de l’étape suivante, le cerveau spécifie les paramètres du mouvement, c’est-à-dire les éléments spatio-temporels (direction, force, amplitude, vitesse) et visuo-spatiaux qui orienteront l’action .
Théorie de la complexité (informatique théorique)vignette|Quelques classes de complexité étudiées dans le domaine de la théorie de la complexité. Par exemple, P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée ...) requis par un algorithme pour résoudre un problème algorithmique.
Circuit complexityIn theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of the Boolean circuits that compute them. A related notion is the circuit complexity of a recursive language that is decided by a uniform family of circuits (see below). Proving lower bounds on size of Boolean circuits computing explicit Boolean functions is a popular approach to separating complexity classes.
