Lutte intégréethumb|Piège à insecte (vers du coton), utilisé par les producteurs de coton bio ou en lutte intégrée, ici aux États-Unis Selon l'Organisation des Nations unies pour l'alimentation et l'agriculture (FAO) et l'Organisation internationale de lutte biologique (OILB), la lutte intégrée ou protection intégrée est définie comme étant la « conception de la protection des cultures dont l'application fait intervenir un ensemble de méthodes satisfaisant les exigences à la fois écologiques, économiques et toxicologiques
Organisme nuisiblethumb|Les espèces invasives ont souvent été introduites, tel le lapin de garenne introduit par les colons en Australie. On a tenté d'utiliser la myxomatose pour l'éradiquer, sans succès durable (ici en 1938, dans un site d'expérimentation australien (Wardang Island). thumb|Deux larves d'Anthrenus verbasci s'en sont pris à ce spécimen de Sceliphron destillatorius d'une collection entomologique.
Linguistique structuraleLa linguistique structurale est une approche de la linguistique issue des travaux du linguiste suisse Ferdinand de Saussure et fait partie de l'approche générale du structuralisme. Le Cours de linguistique générale de Saussure, publié à titre posthume en 1916, mettait l'accent sur l'étude du langage comme système statique d'unités interconnectées.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Écran à cristaux liquidesthumb|right|Dans une Tablet PC. thumb|right|Dans un appareil photographique numérique. L'écran à cristaux liquides ou LCD (de l'anglais liquid crystal display) (ACL au Québec pour affichage à cristaux liquides) permet la création d’écrans plats à faible consommation d'électricité. Ces écrans sont utilisés dans presque tous les affichages électroniques. Les premiers panneaux d’affichage à cristaux liquides ont été présentés en 1971, mais il faut attendre 1985 pour que Matsushita propose un écran plat d’une taille et d'une résolution suffisante pour être utilisable sur des micro-ordinateurs.
CarpentryCarpentry is a skilled trade and a craft in which the primary work performed is the cutting, shaping and installation of building materials during the construction of buildings, ships, timber bridges, concrete formwork, etc. Carpenters traditionally worked with natural wood and did rougher work such as framing, but today many other materials are also used and sometimes the finer trades of cabinetmaking and furniture building are considered carpentry. In the United States, 98.
Grand Bond en avantLe Grand Bond en avant (chinois simplifié 大跃进, chinois traditionnel 大躍進, pinyin : Dà yuè jìn) est le nom donné à une politique économique lancée par Mao Zedong et mise en œuvre de 1958 à 1960. Concepteur du Grand Bond en avant, Mao Zedong veut donner une nouvelle orientation politique à la Chine. Irréaliste, ce programme se révèle être un fiasco. Le Grand Bond en avant a été lancé avec le Mouvement de la commune populaire.
Framing (construction)Framing, in construction, is the fitting together of pieces to give a structure support and shape. Framing materials are usually wood, engineered wood, or structural steel. The alternative to framed construction is generally called mass wall construction, where horizontal layers of stacked materials such as log building, masonry, rammed earth, adobe, etc. are used without framing.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
