منابع مشابه
The HermiT OWL Reasoner
HermiT is the only reasoner we know of that fully supports the OWL 2 standard, and that correctly reasons about properties as well as classes. It is based on a novel “hypertableau” calculus that addresses performance problems due to nondeterminism and model size—the primary sources of complexity in state-of-the-art OWL reasoners. HermiT also incorporates a number of novel optimizations, includi...
متن کاملHermit crabs
Researchers had been divided over whether the sound was vocal or not, but the latest study, published online in the Royal Society Proceedings B shows unequivocally that the tail feathers were the source of the sound. When the researchers cut back the tail feathers — which grow back in five weeks and do not affect the birds ability to fly — the males were unable to make the noise. Tests in wind ...
متن کاملThe HERMIT in the Tree
This paper describes our experience using the HERMIT toolkit to apply well-known transformations to the internal core language of the Glasgow Haskell Compiler. HERMIT provides several mechanisms to support writing general-purpose transformations: a domain-specific language for strategic programming specialized to GHC’s core language, a library of primitive rewrites, and a shell-style–based scri...
متن کاملEvolution: Remodelling Hermit Shellters
Land hermit crabs hollow out the shells in which they live. A new study shows that remodelled shells afford better survival, with important implications for sociality and evolution.
متن کاملThe hermit crab's nose—antennal transcriptomics
In the course of evolution, crustaceans adapted to a large variety of habitats. Probably the most extreme habitat shift was the transition from water to land, which occurred independently in at least five crustacean lineages. This substantial change in life style required adaptations in sensory organs, as the medium conveying stimuli changed in both chemical and physical properties. One importa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Iowa Review
سال: 1986
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.3384