Inhaltsverzeichnis
23 Beziehungen: Abstrakte Zustandsmaschine, Advanced Encryption Standard, Annotation, Beatrice Worsley, Bildpyramide, Colette Rolland, Deterministischer azyklischer endlicher Automat, EasyChair, Gerhard Goos, Kriegspiel, Liste englischsprachiger Buchreihen, Message-Digest Algorithm 4, Mixi, OMDoc, Petri-Netz, Potrace, PREEvision, Rohit Jivanlal Parikh, Screener (Informatik), Ski-Rental-Problem, Ulrich Kulisch, Vienna Definition Language, William McCune.
Abstrakte Zustandsmaschine
Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit Algorithmic state machines, ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen.
Sehen Lecture Notes in Computer Science und Abstrakte Zustandsmaschine
Advanced Encryption Standard
Der Advanced Encryption Standard (AES) ist eine Blockchiffre, die als Nachfolger des DES im Oktober 2000 vom National Institute of Standards and Technology (NIST) als US-amerikanischer Standard bekanntgegeben wurde.
Sehen Lecture Notes in Computer Science und Advanced Encryption Standard
Annotation
Annotation bedeutet „Anmerkung“, „Beifügung“, „Hinzufügung“.
Sehen Lecture Notes in Computer Science und Annotation
Beatrice Worsley
Beatrice „Trixie“ Helen Worsley (geboren am 18. Oktober 1921 in Querétaro, Mexiko; gestorben am 8. Mai 1972 in Waterloo (Ontario), Kanada) war die erste weibliche Informatikerin in Kanada.
Sehen Lecture Notes in Computer Science und Beatrice Worsley
Bildpyramide
Visuelle Darstellung einer Bildpyramide mit 5 Ebenen. Eine Bildpyramide ist eine Form mehrskaliger Signaldarstellung, entwickelt in Bereichen des Maschinellen Sehens (engl. "computer vision"), Bildverarbeitung und Signalverarbeitung, in denen auf ein Signal oder Bild mehrmalig Glättung und Downsampling angewendet wird.
Sehen Lecture Notes in Computer Science und Bildpyramide
Colette Rolland
Colette Rolland, auch Colette Roland-Benci, (* 19. Dezember 1943 in Dieupentale, Tarn-et-Garonne, Frankreich) ist eine französische Informatikerin und Professorin für Informatik im Fachbereich Mathematik und Informatik an der Universität Paris 1 Pantheon-Sorbonne.
Sehen Lecture Notes in Computer Science und Colette Rolland
Deterministischer azyklischer endlicher Automat
Präfixbaum (links) und als DAEA (rechts), ''EOW'' steht für End-of-word (Ende des Wortes). Ein deterministischer azyklischer endlicher Automat (DAEA; Jan Daciuk, Stoyan Mihov, Bruce Watson and Richard Watson (2000). Incremental construction of minimal acyclic finite state automata.
Sehen Lecture Notes in Computer Science und Deterministischer azyklischer endlicher Automat
EasyChair
EasyChair (deutsch etwa: einfache (Konferenz-)Leitung) ist ein freies Web-basiertes System zur Verwaltung wissenschaftlicher Konferenzen.
Sehen Lecture Notes in Computer Science und EasyChair
Gerhard Goos
Gerhard Goos (* 6. August 1937 in Nürnberg; † 20. April 2020 in Karlsruhe) war Professor für Informatik am Karlsruher Institut für Technologie und hat die Informatik-Lehre in Deutschland mit aufgebaut.
Sehen Lecture Notes in Computer Science und Gerhard Goos
Kriegspiel
Kriegspiel (nicht zu verwechseln mit dem historischen Planspiel namens Kriegsspiel) ist eine Schachvariante, die um 1890 von dem Engländer Henry Michael Temple (* 1860; † 1928)David Vincent Hooper, Kenneth Whyld: Oxford Companion To Chess. Oxford University Press, Oxford 1984, ISBN 0-19-217540-8, S.
Sehen Lecture Notes in Computer Science und Kriegspiel
Liste englischsprachiger Buchreihen
Dies ist eine Liste englischsprachiger Buchreihen.
Sehen Lecture Notes in Computer Science und Liste englischsprachiger Buchreihen
Message-Digest Algorithm 4
left shift''s'' die bitweise Linksrotation um ''s'' Stellen, wobei ''s'' für jede Operation variiert. MD4 ist eine 1990 von Ronald L. Rivest veröffentlichte kryptologische Hashfunktion.
Sehen Lecture Notes in Computer Science und Message-Digest Algorithm 4
Mixi
Mixi (jap. ăăŻă·ăŁ, Mikushii) ist eine im Februar 2004 von Kenji Kasahara gegründete japanische Community.
Sehen Lecture Notes in Computer Science und Mixi
OMDoc
OMDoc (Open Mathematical Documents) ist eine semantische Auszeichnungssprache für mathematische Dokumente.
Sehen Lecture Notes in Computer Science und OMDoc
Petri-Netz
Als Petri-Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet.
Sehen Lecture Notes in Computer Science und Petri-Netz
Potrace
Potrace ist ein Open-Source-Vektorisierer (engl. tracer), welcher Raster- in Vektorgrafiken konvertiert.
Sehen Lecture Notes in Computer Science und Potrace
PREEvision
PREEvision ist eine modellbasierte Entwicklungssoftware für Elektrik-/Elektroniksysteme.
Sehen Lecture Notes in Computer Science und PREEvision
Rohit Jivanlal Parikh
Rohit Jivanlal Parikh (* 20. November 1936 in Palanpur, damals Britisch-Indien, heute in Gujarat, Indien) ist ein indisch-US-amerikanischer mathematischer Logiker und Informatiker.
Sehen Lecture Notes in Computer Science und Rohit Jivanlal Parikh
Screener (Informatik)
Screener (engl.; dt. „Sieber“) bezeichnet in der Informatik eine Komponente eines Compilers.
Sehen Lecture Notes in Computer Science und Screener (Informatik)
Ski-Rental-Problem
Das Ski-Rental-Problem (Skiverleihproblem) beschreibt die Problemstellung, die beim Design von Online-Algorithmen entsteht.
Sehen Lecture Notes in Computer Science und Ski-Rental-Problem
Ulrich Kulisch
Ulrich W. Kulisch (* 1933 in Breslau) ist ein deutscher Mathematiker, der sich mit numerischer Mathematik befasst, hauptsächlich mit Intervallarithmetik einschließlich deren Implementierung in Computern.
Sehen Lecture Notes in Computer Science und Ulrich Kulisch
Vienna Definition Language
Die Vienna Definition Language (VDL) ist eine im IBM-Labor in Wien entwickelte Programmiersprache, die verwendet werden kann, um formale, algebraische Definitionen von Programmiersprachen für Software mit einer Operationellen Semantik anzugeben.
Sehen Lecture Notes in Computer Science und Vienna Definition Language
William McCune
William Walker „Bill“ McCune (* 1953; † 4. Mai 2011) war ein US-amerikanischer Mathematiker und Informatiker, der sich mit Automatischem Beweisen befasste.
Sehen Lecture Notes in Computer Science und William McCune
Auch bekannt als LNCS.