variograph — Englisches Wörterbuch

variograph

Substantiv

  1. A measuring instrument for variation such as a variometer.

  2. A manuscript variant.

    Beispiele
    Weitere Beispiele (1)

    I could not find a better solution than to produce comprehensive tables and to collect in them all relevant variographs for a single given term, including moreover some additional material — that way, the user of this book can hardly fail to see that the extractions of a term are due to variographies. […] let us further assume that the spelling of this name is līnū; so we go to section ‘L’, where we find, in the column of the unknown, another name, līqu; this tells us that there exists a variograph, caused by a clerical error which, in fact, could easily be worse. […] signs are ‘characters’ (aškāl) or ‘graphical forms’ (ṣuwar) which signify meaning; pronunciation and ‘linguistic verification’ (ḥaqīqā fī al-luġa) are independent of meaning and hence irrelevant for the ‘recognition of an unknown word’ (taʿarruf al-maǧhūl); different ‘manifestations’ (ḍurūb) of the same sign, each being an ‘image of the unknown’ (ṣūrat al-maǧhūl), are ‘variographs’ (iḫtilāfāt) of a fictitious core element; the latter reveals itself, and may as such be memorized, by lining up its ‘variographies’ (iḫtilāf kitābatihi) through a process of systematic ‘derivation’ (istinbāṭ) or ‘extraction’ (istiḫrāǧ) — in other words, an obscure graphical entity becomes an extrapolation of a prototype or virtual ideograph which, in turn, becomes actual by establishing its semantic correlate in the target language.

Wortformen
variographs

Code-Formatter

Java, Python, JavaScript, JSON, HTML und mehr formatieren und verschönern; Einrückung, Abstände und Zeilenumbrüche vereinheitlichen.

Weitere Tools

Audiobearbeitung und Effekte

Aufnahmen schneiden, verbinden oder teilen, Stille und Rauschen entfernen sowie Lautstärke, Tempo, Tonhöhe oder Kanäle anpassen.

Weitere Tools

Tabellen-Tools

CSV- oder Excel-Tabellen öffnen und bearbeiten, tabellarischen Text formatieren und CSV in Excel oder SQL umwandeln.

Weitere Tools

Markdown-Tools

Markdown schreiben und als Vorschau ansehen, Mermaid-Diagramme darstellen sowie Markdown, HTML und Tabellen umwandeln.

Weitere Tools

Text-Tools

Texte vergleichen, Wörter und häufige Begriffe zählen, Zeilen sortieren oder ersetzen und DOCX-Text ansehen.

Weitere Tools

Wörterbücher

Schlagen Sie chinesische Bedeutungen, Synonyme und Antonyme nach oder finden Sie IPA-Aussprachen in mehreren Sprachen.

Audiokonvertierung und Wiedergabe

MP3, WAV, FLAC und weitere Formate umwandeln, Audio oder Roh-PCM abspielen sowie Metadaten ansehen oder bearbeiten.

JSON- und Daten-Tools

JSON ansehen, vergleichen und prüfen, JSONPath-Ausdrücke testen oder Daten in CSV, YAML und XML umwandeln.

Weitere Tools

Sprach-Tools

Audio in Text transkribieren, Sprache aus Text erzeugen oder die eigene Stimme im Browser aufnehmen.

Video-Tools

Videos umwandeln und komprimieren, Clips schneiden oder verbinden, Bilder skalieren und Audio extrahieren.

Weitere Tools

Videowiedergabe und Aufnahme

Lokale oder gestreamte Videos abspielen, Bildschirm oder Kamera aufnehmen und die Kamera als Online-Spiegel nutzen.

PDF-Tools

PDFs komprimieren oder zusammenführen, Seiten teilen und neu anordnen, als Bilder exportieren sowie Dokumente ansehen oder vergleichen.

Weitere Tools

Bild-Tools

Bildformate umwandeln, Fotos skalieren oder zuschneiden, Dateien komprimieren, Bilder vergleichen und Text per OCR erkennen.

Weitere Tools

Bilder erstellen

Screenshots aufnehmen und gestalten, Text in Bilder oder GIFs verwandeln, auf dem Whiteboard zeichnen sowie Wortwolken oder Favicons erstellen.

Weitere Tools

Untertitel-Tools

SRT- oder VTT-Untertitel mit Videovorschau bearbeiten, Zeiten verschieben, Formate umwandeln und Untertitelspuren verwalten.

Weitere Tools

Archiv-Tools

ZIP-, 7Z-, RAR- und TAR-Dateien öffnen, einzelne Inhalte entpacken und neue Archive erstellen; ZIP und 7Z lassen sich mit Passwort schützen.

Encoder | Decoder

Base64 oder Base32 kodieren und dekodieren, URLs, HTML und Unicode-Text maskieren sowie JWT-Inhalte ansehen.

Weitere Tools

Zahlenwerkzeuge

Werte zwischen Binär-, Dezimal- und Hexadezimalsystem umrechnen, Zahlen ausschreiben oder Text in Binärwerte umwandeln.

Rechner

Prozente und Brüche berechnen, Statistikwerte zusammenfassen sowie Noten, Rabatte oder Seitenverhältnisse ermitteln.

Weitere Tools

Zeit-Tools

Online-Uhr anzeigen, Countdown oder Stoppuhr verwenden und Datums-, Alters- oder Zeitzonenunterschiede berechnen.

Weitere Tools

Netzwerk-Tools

IP-Adresse und IPv6-Verbindung prüfen, HTTP-Anfragen oder HAR-Dateien untersuchen und CIDR-Adressbereiche berechnen.

Einheitenumrechnung

Länge, Gewicht, Temperatur, Datenspeicher und weitere Einheiten umrechnen.

Farbwerkzeuge

HEX-, RGB- und HSL-Werte umrechnen, Farben aus Bildern entnehmen, Kontraste prüfen oder den Bildschirm mit Vollfarben testen.

QR-Codes und Barcodes

QR-Codes oder Barcodes für Links und WLAN-Netze erstellen und auslesen.

Entwicklungs- und Sicherheits-Tools

Hashes, UUIDs und Passwörter erzeugen, reguläre Ausdrücke testen, URL-Slugs erstellen und Dateiberechtigungen prüfen.

Weitere Tools

Dienstprogramme

Bildschirmauflösung und Bildwiederholrate prüfen, mit dem Bildschirmlineal messen, Tasten testen oder den Teleprompter nutzen.

Weitere Tools

Spiele

2048, Minesweeper, Sudoku, Gomoku, Panzerschlacht

Weitere Tools