Dynamically-typed languages offer easy interaction with ad hoc data such as JSON and S-expressions; staticallytyped languages offer powerful tools for working with structured data, notably algebraic datatypes, which are a ...

We study Lie algebras of type I, that is, a Lie algebra g where all the eigenvalues of the operator ad X are imaginary for all X g. We prove that the Morse-Novikov cohomology of a Lie algebra of type I is trivial for any ...

The opposition between the terms carcasse (carcass), conceptualized by Auguste Perret, and ossature (frame), proposed as an alternative by Le Corbusier, gives rise to the exploration of the capital contribution of the ...

We describe the simple Lie superalgebras arising from the unital structurable superalgebras of characteristic 0 and construct four series of the unital simple structurable superalgebras of Cartan type. We give a classification ...

The potential use of phased array type L-band synthetic aperture radar (PALSAR) data for discriminating distinct physiographic mangrove types with different forest structure developments in a subtropical mangrove forest ...

Urban Structure Types (USTs) stand for areas with homogeneous appearance over the urban matrix. The use of spatial metrics rises as a convenient alternative to quantify the homogeneity of areas on a specific scale. Remote ...