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.
Pont en treillisvignette|Pont Bailey sur la Meurthe, France. Pont provisoire en treillis, à mise en place très rapide. Un pont en treillis, pont en poutre en treillis ou pont-treillis est un pont dont les poutres latérales sont composées de barres métalliques triangulées, assemblées en treillis. Au début du , les poutres en treillis étaient dénommées poutres américaines, car c’est aux États-Unis que la technique est apparue. Les treillis peuvent être assemblés par boulonnage, par rivetage ou bien soudés.
Grammaire d'arbres adjointsLa grammaire d'arbres adjoints, grammaire TAG, ou légèrement sensible au contexte, est un formalisme d'analyse grammaticale introduit par Aravind K. Joshi et ses collègues en 1975. Ce formalisme a été utilisé à différentes fins, et particulièrement en linguistique formelle et informatique pour le traitement de la syntaxe des langues naturelles. Historiquement, il a d'abord permis de représenter de manière directe des dépendances à longue distance et il permet également de représenter les dépendances croisées du suisse allemand et du flamand occidental, phénomène qui ne peut se traiter avec une grammaire de réécriture hors contexte, comme l'a montré S.
Fitness cultureFitness culture is a sociocultural phenomenon surrounding exercise and physical fitness. It is usually associated with gym culture, as doing physical exercises in locations such as gyms, wellness centres and health clubs is a popular activity. An international survey found that more than 27% of world total adult population attends fitness centres, and that 61% of regular exercisers are currently doing "gym-type" activities. Getting and maintaining physical fitness has been shown to benefit individuals' inner and outer health.
Statique (mécanique)La statique, ou mécanique statique, est la branche de la physique qui étudie les systèmes mécaniques en équilibre dans un repère galiléen. Un équilibre est un mouvement nul. Des lois du mouvement de Newton, on peut déduire, de manière générale, l'énoncé suivant : La réciproque n'est pas vraie, un système mécanique soumis à un ensemble d'efforts extérieurs d'effet global nul n'est pas forcément en équilibre.
Polar topologyIn functional analysis and related areas of mathematics a polar topology, topology of -convergence or topology of uniform convergence on the sets of is a method to define locally convex topologies on the vector spaces of a pairing.
Équilibre statique (mécanique)En physique, un équilibre statique est un mouvement nul. Dans le cas d’un système matériel quelconque, un mouvement nul se traduit par un champ de vecteurs vitesses nul. Dans le cas d’un solide indéformable, ce mouvement particulier est caractérisé par un torseur cinématique nul Pour un système de plusieurs solides, il faut écrire les conditions précédentes pour chacun des solides. Ceci est une conséquence du « principe fondamental de la statique » qui stipule que « la somme et le moment de toutes les forces qui s'exercent sur lui est nulle.
Grammaire de constructionLa grammaire de construction (souvent abrégée CxG pour l'anglais Construction Grammar) est une famille de théories sociobiologiques dans le domaine de la linguistique cognitive et évolutive. Ceux-ci supposent que le langage humain est constitué de constructions ou d'appariements appris de formes linguistiques avec des significations. Les constructions correspondent à des réplicateurs ou des mêmes dans la mémétique et d'autres théories de réplicateurs culturels.
Phrase structure rulesPhrase structure rules are a type of rewrite rule used to describe a given language's syntax and are closely associated with the early stages of transformational grammar, proposed by Noam Chomsky in 1957. They are used to break down a natural language sentence into its constituent parts, also known as , including both lexical categories (parts of speech) and phrasal categories. A grammar that uses phrase structure rules is a type of phrase structure grammar.
Grammaire régulièreEn informatique théorique, en théorie des langages, une grammaire régulière, rationnelle ou à états finis est une grammaire hors-contexte particulière qui décrit un langage régulier. Les grammaires régulières donnent donc une autre possibilité que les expressions rationnelles et les automates finis pour décrire un langage régulier. Une grammaire régulière peut être « à gauche » ou « à droite ». Une grammaire régulière à gauche est un ensemble de règles de la forme : où , sont des symboles non-terminaux et un symbole terminal.
