Gerätetreiber

Treiber; englisch device driver

Softwaremodule, die dazu dienen, einem Computer die Steuerung eines Peripheriegerätes (z. B. Maus, Scanner, Streamer) zu ermöglichen. Der Gerätetreiber enthält Informationen über die speziellen Optionen des Gerätes und bietet diese dem Benutzer entweder innerhalb seines Anwendungsprogramms an (speziell bei Druckern u. a. Ausgabegeräten) oder die Informationen des Gerätetreibers werden nach einmaliger Konfiguration vom Betriebssystem benutzt (z. B. bei Grafikkarten, Speicherlaufwerken und Soundkarten).

Leben & Lifestyle

Vor 50 Jahren: Das Olympia-Attentat von München

27 Jahre nach Ende des Zweiten Weltkriegs fanden in Deutschland erstmals wieder Olympische Spiele statt. Die Sommerspiele 1972 in München sollten deshalb unter den Zeichen des Friedens und der Weltoffenheit stehen: Über 7.000 Athleten waren zu Besuch, die Angestellten und Helfer im olympischen Dorf und in den Sportstätten waren ebenso wie die Polizisten in freundlichem Hellblau gekleidet, das...

Satellitenbild einer Schneewolke nahe eines Zementwerks in Russland

Wissenschaft

Industrie-Abgase können lokalen Schneefall fördern

Von Industrieanlagen ausgestoßene Abgase verschmutzen nicht nur die Luft, sie können auch das Wetter verändern, wie Klimaforscher herausgefunden haben. Die ausgestoßenen Partikel fördern demnach die Eisbildung in den Wolken und erzeugen dadurch vermehrt Schneefall im Lee der Fabriken. Durch diese Niederschläge reduziert sich in...

Wissenschaft

Wann ist Nd am Ende?

Geschrieben ist die Sache eindeutig: Ende ist Ende. Aber wenn Chemikerinnen und Chemiker von Ende sprechen, meinen sie vielleicht Nd – das chemische Elementsymbol für Neodym. Der Name ist den meisten vermutlich schon einmal untergekommen, und manche werden sogar wissen, dass es ein Element der sogenannten Seltenen Erden...

Technik & Mobilität

Erdgas: Welche Industrie verbraucht wie viel?

Erdgas spielt eine wichtige Rolle im deutschen Energieverbrauch – nur Mineralöl liefert derzeit mehr Primärenergie. Während in der Politik momentan viel über private Einsparmöglichkeiten gesprochen wird, werden etwa 37 Prozent des in Deutschland verbrauchten Erdgases von der Industrie benötigt. Im Gegensatz zu der privaten Heizung im Wohnzimmer können viele dieser industriellen Prozesse...