Abstract: AtoCC (http://www.atocc.de) ist eine modular aufgebaute Lehr-/ Lernumgebung für ausgewählte Inhalte der theoretischen Informatik (formale Sprachen und Automaten) und Gr...
: Als Einführung in den Workshop reflektiert der Beitrag die bisherigen Geschichtsberachtungen von Pionieren und Historikern des Internet. Er möchte zeigen, dass die bislang domi...
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
Abstract: Die Video-Suchmaschine OSOTIS erm¨oglicht eine automatische inhaltsbezogene Annotation von Videodaten und dadurch eine zielgenaue Suche auch innerhalb einzelner Videoauf...
Background: Biologists often conduct multiple but different cDNA microarray studies that all target the same biological system or pathway. Within each study, replicate slides with...