Animalvignette|upright=1.5|Biomasse animale totale (en gigatonne de carbone). Les Animaux (Animalia) (du latin animalis « animé, vivant, animal ») sont en biologie, selon la classification classique, des êtres vivants hétérotrophes (c’est-à-dire qui se nourrissent de substances organiques) et possédant du collagène dans leurs matrices extracellulaires. On réserve aujourd'hui le terme à des êtres complexes et multicellulaires, bien qu’on ait longtemps considéré les protozoaires comme des animaux unicellulaires.
Locomotion robotiqueLa locomotion robotique est le nom collectif des différentes méthodes que les robots utilisent pour se déplacer d'un endroit à l'autre. Les robots à roues sont généralement assez efficaces sur le plan énergétique et simples à contrôler. Toutefois, d'autres formes de locomotion peuvent être plus appropriées pour un certain nombre de raisons, par exemple pour traverser un terrain accidenté, ainsi que pour se déplacer et interagir dans des environnements humains.
LocomotionEn physiologie, la locomotion est la faculté, pour un organisme vivant, de se mouvoir pour se déplacer. Des contraintes sont exercées sur ces organismes suivant le milieu, terrestre, aérien ou aquatique, dans lesquels ils se meuvent. La fonction locomotrice se traduit par un ensemble de mouvements qui entraînent le déplacement de l'être vivant : la progression quadrupède, bipède et apode, dont la reptation, en milieu terrestre, diverses formes de nage et de propulsion en milieu aquatique (système de propulsion par réaction des calmars) et les vols planés ou battus en milieu aérien.
Cruauté envers les animauxvignette|Maltraitance d’un singe, dans un laboratoire de recherche comportementale, en 1981. vignette|Éléphanteau entraîné à exécuter un numéro de cirque. vignette|Un cheval subissant de la négligence ; il est en sous-nutrition. La cruauté envers un animal, ou maltraitance envers un animal, est le fait qu'un être humain fasse subir à un animal, qu'il soit sauvage, domestique, apprivoisé ou tenu en captivité, un acte visant à lui faire du mal ou à le tuer de façon inappropriée, que ce soit sous forme active (par le biais d'armes, de coups, de blessures) ou sous forme passive (négligence).
Robotvignette|Atlas (2013), robot androïde de Boston Dynamics vignette|Bras manipulateurs dans un laboratoire (2009) vignette|NAO (2006), robot humanoïde éducatif d'Aldebaran Robotics vignette|DER1 (2005), un actroïde d'accueil vignette|Roomba (2002), un robot ménager Un robot est un dispositif mécatronique (alliant mécanique, électronique et informatique) conçu pour accomplir automatiquement des tâches imitant ou reproduisant, dans un domaine précis, des actions humaines.
Humanoid robotA humanoid robot is a robot resembling the human body in shape. The design may be for functional purposes, such as interacting with human tools and environments, for experimental purposes, such as the study of bipedal locomotion, or for other purposes. In general, humanoid robots have a torso, a head, two arms, and two legs, though some humanoid robots may replicate only part of the body, for example, from the waist up. Some humanoid robots also have heads designed to replicate human facial features such as eyes and mouths.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Expérimentation animaleL’expérimentation animale consiste à utiliser des animaux comme substituts ou « modèles » pour mieux comprendre la physiologie d'un organisme et ses réponses à divers facteurs (alimentation, environnement, agents pathogènes) ou substances (pour en tester, vérifier ou évaluer l'efficacité, l'innocuité ou la toxicité). Il s'agit généralement de tenter de prévoir ce qui se passe chez l'espèce humaine sans exposer de personnes humaines aux risques, aux contraintes et aux souffrances (douleurs et/ou stress) susceptibles d'être générées par les expérimentations.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Terrestrial locomotionTerrestrial locomotion has evolved as animals adapted from aquatic to terrestrial environments. Locomotion on land raises different problems than that in water, with reduced friction being replaced by the increased effects of gravity. As viewed from evolutionary taxonomy, there are three basic forms of animal locomotion in the terrestrial environment: legged – moving by using appendages limbless locomotion – moving without legs, primarily using the body itself as a propulsive structure.
