DéchetUn déchet est un objet en fin de vie ou une substance ayant subi une altération physique ou chimique, qui ne présente alors plus d'utilité ou est destiné à l'élimination. Le mot vient de l'ancien français déchiet ou déchié, soit « la quantité perdue dans l'usage d'un produit », ce qui en reste après son utilisation. Le déchet est de plus en plus considéré, au début du , comme un héritage problématique de la révolution industrielle et de l'urbanisation.
Waste-to-energyWaste-to-energy (WtE) or energy-from-waste (EfW) is the process of generating energy in the form of electricity and/or heat from the primary treatment of waste, or the processing of waste into a fuel source. WtE is a form of energy recovery. Most WtE processes generate electricity and/or heat directly through combustion, or produce a combustible fuel commodity, such as methane, methanol, ethanol or synthetic fuels. The first incinerator or "Destructor" was built in Nottingham, UK, in 1874 by Manlove, Alliott & Co.
Waste hierarchyWaste hierarchy is a tool used in the evaluation of processes that protect the environment alongside resource and energy consumption from most favourable to least favourable actions. The hierarchy establishes preferred program priorities based on sustainability. To be sustainable, waste management cannot be solved only with technical end-of-pipe solutions and an integrated approach is necessary. The waste management hierarchy indicates an order of preference for action to reduce and manage waste, and is usually presented diagrammatically in the form of a pyramid.
Prévention des déchetsLa prévention des déchets est l'ensemble des mesures et des actions prises en amont (notamment au niveau de la conception, de la production, de la distribution et de la consommation d'un bien) visant à réduire l'ensemble des impacts environnementaux et à faciliter la gestion ultérieure des déchets. Elle implique notamment la réduction des déchets produits, la réduction de leur dangerosité ou toxicité et l'amélioration de leur caractère réutilisable ou valorisable.
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).
Déchets d'équipements électriques et électroniquesLes déchets d'équipements électriques et électroniques (DEEE, D3E) ou PEEFV sont une catégorie de déchets constituée des équipements en fin de vie, fonctionnant à l'électricité ou via des champs électromagnétiques, ainsi que les équipements de production, de transfert et de mesure de ces courants et champs (ce sont surtout des ordinateurs, imprimantes, téléphones portables, appareils photos numériques, réfrigérateurs, jeux électroniques, télévisions).
Interface utilisateurL’interface utilisateur est un dispositif matériel ou logiciel qui permet à un usager d'interagir avec un produit informatique. C'est une interface informatique qui coordonne les interactions homme-machine, en permettant à l'usager humain de contrôler le produit et d'échanger des informations avec le produit. Parmi les exemples d’interface utilisateur figurent les aspects interactifs des systèmes d’exploitation informatiques, des logiciels informatiques, des smartphones et, dans le domaine du design industriel, les commandes des opérateurs de machines lourdes et les commandes de processus.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Interface graphiquethumb|Quelques widgets typiques. En informatique, une interface graphique (en anglais GUI pour graphical user interface) ou un environnement graphique est un dispositif de dialogue homme-machine, dans lequel les objets à manipuler sont dessinés sous forme de pictogrammes à l'écran, de sorte que l'usager peut les utiliser en imitant la manipulation physique de ces objets avec un dispositif de pointage, le plus souvent une souris. Ce type d'interface a été créé en 1973 sur le Xerox Alto par les ingénieurs du Xerox PARC pour remplacer les interfaces en ligne de commande.
Déchet toxiqueUn déchet toxique est un type de déchet qui peut s'avérer nuisible à la santé des êtres vivants, par exemple en pouvant causer la mort, des blessures, des cancers ou d'autres maladies, ou des malformations congénitales aux êtres vivants, et qui peut contaminer l'eau (nappes, cours d'eau, lacs, zones humides), les sédiments, les sols ou l'atmosphère.
Système d'exploitationEn informatique, un système d'exploitation (souvent appelé OS — de l'anglais operating system — ou parfois SE — en français) est un ensemble de programmes qui dirige l'utilisation des ressources d'un ordinateur par des logiciels applicatifs. Il reçoit des demandes d'utilisation des ressources de l'ordinateur de la part des logiciels applicatifs. Le système d'exploitation gère les demandes ainsi que les ressources nécessaires évitant les interférences entre les logiciels.
Énergie nucléaireSelon le contexte d'usage, le terme d’énergie nucléaire recouvre plusieurs acceptions, toutes liées à la physique et aux réactions de noyaux atomiques. Dans le langage courant, l’énergie nucléaire correspond aux usages civils et militaires de l’énergie libérée lors des réactions de fission nucléaire ou de fusion nucléaire de noyaux atomiques au sein d'un réacteur nucléaire ou lors d'une explosion atomique.
Application webEn informatique, une application web (aussi appelée web application, de l'anglais et français) est une application manipulable directement en ligne grâce à un navigateur web et qui ne nécessite donc pas d'installation sur les machines clientes, contrairement aux applications mobiles. De la même manière que les sites web, une application web est généralement installée sur un serveur et se manipule en actionnant des widgets à l'aide d'un navigateur web, via un réseau informatique (Internet, intranet, réseau local, etc.
Chaleur de récupérationLa chaleur de récupération, ou chaleur fatale, est l'énergie thermique émise par un procédé dont elle n'est pas la finalité. Son exploitation demande le développement d'une technologie complémentaire. Il s'agit généralement d'améliorer à la fois l'efficacité énergétique et l'impact environnemental d'un système produisant, de manière annexe, de la chaleur. La chaleur de récupération, ou chaleur fatale, est la (définition retenue en France par la Programmation pluriannuelle de l'énergie).
User interface designUser interface (UI) design or user interface engineering is the design of user interfaces for machines and software, such as computers, home appliances, mobile devices, and other electronic devices, with the focus on maximizing usability and the user experience. In computer or software design, user interface (UI) design primarily focuses on information architecture. It is the process of building interfaces that clearly communicates to the user what's important. UI design refers to graphical user interfaces and other forms of interface design.
Déchet radioactifUn déchet radioactif est un déchet qui, du fait du niveau de sa radioactivité, nécessite des mesures de radioprotection particulières. Ces déchets doivent réglementairement faire l'objet d'une caractérisation radiologique (par le producteur de déchets) et d'un contrôle (par le centre de stockage), afin d'assurer que leur stockage est adapté à leur radioactivité éventuelle, et ne crée pas de risque radiologique.
Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
Système d'exploitation mobilealt=Système d'exploitation mobile MeeGo|vignette|Système d'exploitation mobile MeeGo |253x253px Un système d'exploitation mobile est un système d'exploitation conçu pour fonctionner sur un appareil mobile. Ce type de système d'exploitation se concentre entre autres sur la gestion de la connectivité sans fil et celle des différents types d'interface. thumb|250px|Parts de marché des systèmes d'exploitation mobiles sur smartphone au deuxième trimestre 2011.
Tableau synoptique des systèmes d'exploitationThese tables provide a comparison of operating systems, of computer devices, as listing general and technical information for a number of widely used and currently available PC or handheld (including smartphone and tablet computer) operating systems. The article "Usage share of operating systems" provides a broader, and more general, comparison of operating systems that includes servers, mainframes and supercomputers.
Interface utilisateur tangiblevignette|Reactable, un exemple d'interface utilisateur tangible Une interface utilisateur tangible est une interface utilisateur sur laquelle l'utilisateur interagit avec l'information numérique par le moyen de l'environnement physique. L'objectif de développement des interfaces utilisateur tangibles est d'encourager la collaboration, l'éducation et le design (conception) en donnant à l'information digitale une forme physique, profitant ainsi des capacités humaines de saisir et de manipuler des objets physiques et des matériaux.
