Top-down parsingTop-down parsing in computer science is a parsing strategy where one first looks at the highest level of the parse tree and works down the parse tree by using the rewriting rules of a formal grammar. LL parsers are a type of parser that uses a top-down parsing strategy. Top-down parsing is a strategy of analyzing unknown data relationships by hypothesizing general parse tree structures and then considering whether the known fundamental structures are compatible with the hypothesis.
Structural engineerStructural engineers analyze, design, plan, and research structural components and structural systems to achieve design goals and ensure the safety and comfort of users or occupants. Their work takes account mainly of safety, technical, economic, and environmental concerns, but they may also consider aesthetic and social factors. Structural engineering is usually considered a specialty discipline within civil engineering, but it can also be studied in its own right.
Refusal of workRefusal of work is behavior in which a person refuses regular employment. As actual behavior, with or without a political or philosophical program, it has been practiced by various subcultures and individuals. It is frequently engaged in by those who critique the concept of work, and it has a long history. Radical political positions have openly advocated refusal of work. From within Marxism it has been advocated by Paul Lafargue and the Italian workerist/autonomists (e.g. Antonio Negri, Mario Tronti), the French ultra-left (e.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Ingénierie des structuresL'ingénierie des structures est un domaine de l'ingénierie et plus particulièrement du génie civil, traitant de la stabilité des constructions (conception et de l'analyse des structures). Une structure est soumise à différentes actions, permanentes ou variables dans le temps, statiques ou dynamiques, de nature mécanique ou thermique, et sa conception vise à satisfaire certains critères vis-à-vis de ces actions : Sécurité : sa résistance, son équilibre et sa stabilité doivent être assurés avec une probabilité choisie ; Performance : son fonctionnement et le confort associés doivent être garantis pour une durée suffisante ; Durabilité : la dégradation de la structure dans le temps doit être limitée et maîtrisée pour satisfaire les deux premiers critères.
Allemand standardL'allemand standard (Standardhochdeutsch, Standarddeutsch, Hochdeutsch) est la variété standard de la langue allemande utilisée dans des contextes formels pour la communication entre populations utilisant différents dialectes germaniques. L'orthographe est codifiée officiellement par une organisation internationale, le Conseil pour l'orthographe allemande (Rat für deutsche Rechtschreibung). La prononciation est codifiée officieusement dans des manuels. L'allemand standard sert de langue véhiculaire suprarégionale.
TravailAu sens économique usuel, le travail est l'activité rémunérée qui permet la production de biens et services. Avec le capital, c'est un facteur de production de l'économie. Il est essentiellement fourni par des employés en échange d'un salaire et contribue à l'activité économique. Le processus d'entrée et de sortie de l'emploi se fait par le marché du travail. Le travail non rémunéré joue un rôle non négligeable dans la production nationale.
Norme et standard techniquesUne norme technique est un référentiel établi par un organisme de normalisation officiellement agréé par un État via une organisation nationale de standardisation (comme Afnor pour la France), agréé au niveau Européen (comme le CEN ou le ETSI), ou encore issu d'un traité international (comme ISO). Comme la langue anglaise ne marque pas la différence entre norme et standard (« norme » se dit « standard » en anglais), on parle pour les normes de standards de jure et pour les simples standards, de standards de facto.
Structural integrity and failureStructural integrity and failure is an aspect of engineering that deals with the ability of a structure to support a designed structural load (weight, force, etc.) without breaking and includes the study of past structural failures in order to prevent failures in future designs. Structural integrity is the ability of an item—either a structural component or a structure consisting of many components—to hold together under a load, including its own weight, without breaking or deforming excessively.
Organisme de normalisationUn organisme de normalisation est un organisme dont les activités premières sont l'établissement puis le maintien de normes destinées à des utilisateurs extérieurs à cette organisation. Leurs activités peuvent inclure le développement, la coordination, la promulgation, la révision, la modification, la réédition ou l'interprétation de telles normes. Pour les désigner, on utilise parfois le sigle anglais SDO pour Standard Development Organisation.
