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.
Fish locomotionFish locomotion is the various types of animal locomotion used by fish, principally by swimming. This is achieved in different groups of fish by a variety of mechanisms of propulsion, most often by wave-like lateral flexions of the fish's body and tail in the water, and in various specialised fish by motions of the fins.
Robot socialvignette| Quori, une plateforme robotique socialement interactive pour l'étude de l'interaction homme-robot, Laboratoire Immersive Kinematics Un robot social est un robot autonome qui interagit et communique avec les humains ou d'autres agents physiques autonomes en suivant les comportements sociaux et les règles attachées à son rôle. Comme les autres robots, le robot social est physiquement incarné (les avatars ou les personnages sociaux synthétiques virtuels sont distincts car ils ne sont pas incarnés).
Machine simpleOn appelle machine simple un dispositif mécanique élémentaire permettant de transformer une force de module et de direction déterminés en une force dont le module ou la direction sont différents. Selon les Anciens, il y a cinq machines simples : le levier, la poulie, le coin, le treuil et la vis sans fin. Au Livre II de ses Mécaniques, Héron d'Alexandrie a étudié chacune d'elles. La Renaissance identifie une sixième : le plan incliné. Généralement, les machines simples sont classées en six à huit types : levier ; roue ; poulie ; coin ; plan incliné vis ; engrenage ; treuil.
Commodity status of animalsThe commodity status of animals is the legal status as property of most non-human animals, particularly farmed animals, working animals and animals in sport, and their use as objects of trade. In the United States, free-roaming animals (ferae naturae) are (broadly) held in trust by the state; only if captured can be claimed as personal property. Animals regarded as commodities may be bought, sold, given away, bequeathed, killed, and used as commodity producers: producers of meat, eggs, milk, fur, wool, skin and offspring, among other things.
Proofs and RefutationsProofs and Refutations: The Logic of Mathematical Discovery is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour.
Vol (animal)thumb|right|Décomposition du vol de la cétoine dorée. Chez l'animal, le vol est un déplacement dans un milieu aérien qui a pour particularité d'être volontaire (à la différence de la chute accidentelle) et prolongé (à la différence du saut) et qui semble se soustraire à la pesanteur. On parle de vol passif lorsque l'animal n'est capable que de vol plané et de vol actif lorsqu'il est capable de battre des ailes (même si les conditions sont insuffisantes pour un vol plané, l'animal reste capable de voler).
Plan d'organisationvignette|Les grands plans d'organisation chez les animaux. On appelle plan d'organisation d'un organisme la disposition relative de ses différents éléments constitutifs (axes de polarité, organes et organites). On doit cette notion à Georges Cuvier qui l'a appliquée à la zoologie, mais c'est Étienne Geoffroy Saint-Hilaire qui établit le lien avec l'évolution des espèces en introduisant la notion d'homologie. Les plans d'organisation représentent un plan anatomique de base, partagé par tous les organismes d’un taxon, au niveau du phylum, de l’ordre, ou de la classe.
Undulatory locomotionUndulatory locomotion is the type of motion characterized by wave-like movement patterns that act to propel an animal forward. Examples of this type of gait include crawling in snakes, or swimming in the lamprey. Although this is typically the type of gait utilized by limbless animals, some creatures with limbs, such as the salamander, forgo use of their legs in certain environments and exhibit undulatory locomotion. In robotics this movement strategy is studied in order to create novel robotic devices capable of traversing a variety of environments.
Droits des animauxLes droits des animaux désignent les idées philosophiques et politiques qui soutiennent que les animaux non humains ont des droits moraux et qu'ils devraient être des sujets de droit dans les systèmes juridiques, où jusqu'à présent seuls les humains ou des entités de regroupement (personnes physiques et morales) sont généralement des sujets. Les droits des animaux sont fondés sur l'idée que les besoins et intérêts des espèces animales non humaines — se nourrir, se déplacer, se reproduire et éviter la souffrance, par exemple — sont suffisamment complexes et liés à un développement cognitif leur permettant d'avoir des droits moraux et légaux.
Mathématiques expérimentalesLes mathématiques expérimentales constituent une approche dans laquelle des calculs (essentiellement réalisés actuellement par ordinateur) sont utilisés pour explorer les propriétés d'objets mathématiques, et découvrir des relations et des régularités entre ces objets. Cette approche des mathématiques a toujours existé : les textes les plus anciens, comme ceux des mathématiques mésopotamiennes, sont formés typiquement de listes d'exemples numériques illustrant des identités algébriques.
