A cyclic proof system, called CLKID-omega, gives us another way of representing inductive definitions and effcient proof search. The 2011 paper by Brotherston and Simpson showed that the provability of CLKID-omega includes the provability of Martin-Lof's system of inductive definitions, called LKID, and conjectured the equivalence. Since then, the equivalence has been left an open question. Thi...

The differentiated ectodermal basal disc cells of the freshwater cnidarian Hydra secrete proteinaceous glue to temporarily attach themselves to underwater surfaces. Using transcriptome sequencing and a basal disc-specific RNA-seq combined with in situ hybridisation a highly specific set of candidate adhesive genes was identified. A de novo transcriptome assembly of 55,849 transcripts (>200 bp) ...

We describe in this paper Hydra, an ensemble of convolutional neural networks (CNN) for geospatial land classification. The idea behind Hydra is to create an initial CNN that is coarsely optimized but provides a good starting pointing for further optimization, which will serve as the Hydra’s body. Then, the obtained weights are fine tuned multiple times to form an ensemble of CNNs that represen...

Intrigued by similar specificities of the hydra feeding receptor and y-glutamyl transferase activity toward GSH, we examined the possibility that these two GSH-bihding activities might reside in the same protein. We find that the two activities differ in specificity toward the y-glutamyl moiety of GSH. The hydra transferase recognizes L-azaserine, L-Glu, D-Glu and L-Gln. The feeding receptor re...

Hydra treated with colchicine or Colcemid become depleted of 95-99% of their interstitial cells and derivatives of this stem cell: nematoblasts, nematocytes and nerve cells. A second treatment removes most or all remaining interstitial cells. The most effective treatment is an 8-h immersion of whole Hydra attenuata in 0.04% Colcemid or 0.4% colchicine. Interstitial cells are eliminated through ...

The increased capabilities of modern real-time systems (RTS) expose them to various security threats. Recently, frameworks that integrate security tasks without perturbing the real-time tasks have been proposed, but they only target single core systems. However, modern RTS are migrating towards multicore platforms. This makes the problem of integrating security mechanisms more complex, as desig...

0272-1732/00/$10.00  2000 IEEE The Hydra chip multiprocessor (CMP) integrates four MIPS-based processors and their primary caches on a single chip together with a shared secondary cache. A standard CMP offers implementation and performance advantages compared to wide-issue superscalar designs. However, it must be programmed with a more complicated parallel programming model to obtain maximum p...

Symbiotic associations accompanied by gene exchange between the symbionts form the phylogenetic origin of eukaryotic cells and, therefore, had significant impact on species diversity and evolutionary novelty. Among the phylogenetically oldest metazoan animals known to form symbiotic relationships are the Cnidaria. In the Cnidarian Hydra viridis, symbiotic algae of the genus Chlorella are locate...

1979. Effects of food quality on growth of a stream detritivore, Paratendipes albimanus (Meigen) (Diptera: Chi-ronomidae). Ecology 60: 57-64. Abstract-Symbiotic Chlorella isolated from green hydra by simple techniques of homogeni-zation and centrifugation have been found to be contaminated with comparatively large amounts of animal debris. Additional washing with sodium dodecyl sulfate (SDS) re...