Chaotic formats

Image file formats

This tutorial is about image file formats: what are they, what are they used for, what are their differences and how we choose between them. The tutorial assumes a basic understanding of general digital imaging; of which a quick summary of important features is provided below. Pixel: a digital image is represented as a rectangular grid of dots, where each dot has a specific spatial position and...

Electronic Journal Formats

This paper reviews the main document formats currently being used in electronic journals and provides a pointer to the formats likely to be prominent in the near future

Rule Formats for Distributivity

This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.

Accelerator Description Formats*

Being an integral part of accelerator software, accelerator description aims to provide an external representation of an accelerator’s internal model and associative effects. As a result, the choice of description formats is driven by the scope of accelerator applications and is usually implemented as a tradeoff between various requirements: completeness and extensibility, user and developer or...

Compare Music File Formats