Großes Wörterbuch der deutschen Sprache

Timer

Ti|mer

〈

[taımə(r)]

〉

Zeitschaltuhr, die eine Programmierung bestimmter Geräte im Voraus ermöglicht

Terminplaner in Form eines Notizkalenders

[

engl.

]

Geminid meteor shower over Gemini North on 13 December 2020

Natur & Umwelt

Geminiden: Sternschnuppen satt am Wochenende

Jedes Jahr Mitte Dezember hat einer der schönsten und ergiebigsten Sternschnuppen-Regen des Jahres hat seinen Höhepunkt: der Meteorschauer der Geminiden. Er bringt bis zu 150 Sternschnuppen pro Stunde, viele dieser hellen Lichtspuren sind selbst am Stadthimmel sichtbar. Besonders sind die Geminiden aber nicht nur wegen ihrer vielen Meteore: Der Ursprung dieser kosmischen Staubkörnchen ist...

Wissenschaft

Heiße Spuren

Materialien, die zugleich fest und flüssig sein können, überraschend heilsame Protein-Moleküle – und vielleicht auch Supraleiter, die elektrischen Strom bei Raumtemperatur verlustfrei leiten: Erkenntnisse aus Quantensimulationen bringen Bewegung in viele Bereiche der Forschung. von RALF BUTSCHER Fest, flüssig und gasförmig: Das...

Die Mathematik ist ein komplexes Theorie-Gebilde, das immer weiter aus sich selbst hervorwächst. Die verschiedensten Bereiche sind durch lückenlos bewiesene Theoreme miteinander verbunden. © BDW-Grafik/Ricardo Rio Ribeiro Martins; Quelle: Stack Exchange – A Graph Map of Math.SE

Wissenschaft

Computer als Assistenz-Mathematiker

Rechnen konnten Computer schon immer. Doch abgesehen davon hatten sie für die Mathematik kaum einen Nutzen – bislang. Denn inzwischen gibt es Programme, die mathematische Beweise prüfen können. KI eröffnet dabei neue Möglichkeiten. von PAULA STRÄTER Den meisten Menschen begegnet Mathematik im Alltag nur, wenn sie zählen oder...

Digital

Was die neue KI von „DeepSeek“ so besonders macht

Ein neues Großes Sprachmodell (LLM) der chinesischen Firma „DeepSeek“ sorgt aktuell weltweit für Aufsehen. „DeepSeek R1“ hat sich seit seiner Veröffentlichung Anfang Januar an die Spitze der App-Charts vorgekämpft und macht damit großen Playern wie OpenAI (ChatGPT) Konkurrenz. Auch die Leistungen von DeepSeek R1 sind denen der besten westlichen KI-Modelle nahezu ebenbürtig.

Bessere...