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.
Réseau de téléphonie mobileUn réseau de téléphonie mobile est un réseau téléphonique qui permet l'utilisation simultanée de millions de téléphones sans fil, immobiles ou en mouvement, y compris lors de déplacements à grande vitesse et sur une grande distance. Pour atteindre cet objectif, toutes les technologies d'accès radio doivent résoudre un même problème : partager et répartir aussi efficacement que possible une bande de fréquences hertzienne unique entre de très nombreux utilisateurs.
Auto-organisationL'auto-organisation ou autoorganisation est un phénomène par lequel un système s'organise lui-même. Les systèmes physiques, biologiques ou écologiques, sociaux, ont tendance à s'organiser d'eux-mêmes. Il s'agit soit de l'organisation initiale du système lors de son émergence spontanée, soit lorsque le système existe déjà de l'apparition d'une organisation plus ou complexe. L'auto-organisation agit ainsi à l'encontre de l'entropie (on parle alors de néguentropie), qui est une mesure de désordre.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Histoire évolutive de la lignée humainevignette|redresse=1.7|L'évolution buissonnante des Homininés depuis 10 Ma L'histoire évolutive de la lignée humaine (Hominina) est le processus évolutif conduisant à l'apparition du genre Homo, puis à celle dHomo sapiens (l'Homme actuel). L'histoire évolutive des primates conduit à l'apparition de la famille des hominidés (grands singes), qui aurait divergé de celle des hylobatidés (gibbons) il y a quelque 20 millions d'années (Ma).
Système complexevignette|Visualisation sous forme de graphe d'un réseau social illustrant un système complexe. Un système complexe est un ensemble constitué d'un grand nombre d'entités en interaction dont l'intégration permet d'achever un but commun. Les systèmes complexes sont caractérisés par des propriétés émergentes qui n'existent qu'au niveau du système et ne peuvent pas être observées au niveau de ses constituants. Dans certains cas, un observateur ne peut pas prévoir les rétroactions ou les comportements ou évolutions des systèmes complexes par le calcul, ce qui amène à les étudier à l'aide de la théorie du chaos.
MyrmeciaMyrmecia est un genre de fourmis pouvant atteindre plus de de longueur (la plus petite espèce mesure de long). La totalité des quelque 90 espèces sont endémiques à l'Australie, à la seule exception de Myrmecia apicalis, originaire de Nouvelle-Calédonie où elle est rare. Ces fourmis (appellées bull ants) sont bien connues en Australie pour leur comportement agressif et leur piqure puissante. Leur venin peut provoquer un choc anaphylactique chez les personnes allergiques à leur piqûre.
Iridomyrmex purpureusIridomyrmex purpureus est une espèce de fourmis appartenant au genre Iridomyrmex. On la trouve dans toute l'Australie. Elles vivent dans des fourmilières souterraines comptant jusqu'à ouvrières. De nombreux nids peuvent être connectés entre eux pour former des supercolonies souterraines. La plus grande répertoriée à ce jour occupe plus de 10 hectares avec 85 nids et 1 500 trous d’entrée Elles aiment placer du gravier, du sable ou des morceaux de végétation morte au niveau des ouvertures de leurs nids.
Théorie des systèmes dynamiquesLa théorie des systèmes dynamiques désigne couramment la branche des mathématiques qui s'efforce d'étudier les propriétés d'un système dynamique. Cette recherche active se développe à la frontière de la topologie, de l'analyse, de la géométrie, de la théorie de la mesure et des probabilités. La nature de cette étude est conditionnée par le système dynamique étudié et elle dépend des outils utilisés (analytiques, géométriques ou probabilistes).
Vie artificielleLa vie artificielle est un champ de recherche interdisciplinaire alliant informatique et biologie, mais avec des applications dans des domaines variés tels que l'économie ou l'archéologie. Son objectif est de créer des systèmes artificiels s'inspirant des systèmes vivants, soit sous la forme de programmes informatiques, soit sous la forme de robots. La première manifestation de la vie artificielle date des années 1940.
