Results 1 to 10 of about 44,269 (231)
Journal of Functional Programming, 2016 Abstract Dependently typed programming advocates the use of various indexed versions of the same shape of data, but the formal relationship amongst these structurally similar datatypes usually needs to be established manually and tediously.
Hsiang-Shang Ko, Jeremy Gibbons
openaire +2 more sources
Hyperbolization of Euclidean Ornaments [PDF]
The Electronic Journal of Combinatorics, 2009 In this article we outline a method that automatically transforms an Euclidean ornament into a hyperbolic one. The necessary steps are pattern recognition, symmetry detection, extraction of a Euclidean fundamental region, conformal deformation to a hyperbolic fundamental region and tessellation of the hyperbolic plane with this patch.
Martin von Gagern +1 more
openaire +2 more sources
Revista Brasileira de Horticultura Ornamental, 1995 The family Zingiberaceae (in which I include Costus and other spiral gingers) is the largest and most widespread in the Zingiberales. The forty nine genera and about 1400 species occur throughout the warm parts of the world from 32 degrees North lattitude to 30 degrees South lattitude and from sea level to 4200 meters altitude.
openaire +2 more sources
Acta Horticulturae, 2011 With a genome composed of a small (246-401 nt), single-stranded, circular RNA, viroids are a special class of replicons infecting plants, including some ornamentals, in which they may induce specific diseases. In striking contrast to plant viruses, which encode proteins mediating their own replication and movement, viroids depend on host factors for ...
openaire +2 more sources
Puithoonete ornament / Ornament of wooden buildings
Studia Vernacula, 2020 In this translation of a chapter from monograph “Latvian’s Home” (“Latvieša māja”, 2014), the author provides an insight into the decorations of wooden houses in Latvia, including incisions and ornamental wall decorations and she also differentiates architectural details like the so-called ‘sun posts’ and decorated boards on sides of a triangular ...
openaire +1 more source
, 2011 "A pleasurable and illuminating collection that sets out the important implications of accessories and shows how conspicuous consumption and ornamental ostentation aim to secure status and display affiliation. "Ornamentalism" explains how accessories carry heavily laden symbolic and mnemonic significance, given their age, beauty, and value."---Richard ...
openaire +1 more source