Representation theory of finite groups (current) JSON-LD Positioning system National Library of Chile Terminal multiplexer Live-variable analysis State transition system Sediment gravity flow Reduced scheme Container (abstract data type) TriX (serialization format)