1 Nat-Bijection: Bijections between natural numbers and other types 13 1.1 Type nat × nat . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.2 Type nat + nat . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.3 Type int . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Type nat list . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.5 Finite sets of naturals...

1 Nat-Bijection: Bijections between natural numbers and other types 13 1.1 Type nat × nat . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.2 Type nat + nat . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.3 Type int . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Type nat list . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.5 Finite sets of naturals...

ZigBee has been considered as one of the promising communication protocols for low-rate wireless personal area networks. Among the well-known ZigBee topologies, ZigBee cluster-tree is especially suitable for wireless sensor applications with its supporting of power-saving operation and light-weight routing. Due to the restriction of configuration parameters, some devices could be prohibited to ...

This specification defines an experimental usage of the Session Traversal Utilities for NAT (STUN) Protocol that discovers the presence and current behavior of NATs and firewalls between the STUN client and the STUN server.

Long non-coding natural antisense transcripts (NATs) are widespread in eukaryotic species. Although recent studies indicate that long NATs are engaged in the regulation of gene expression, the precise functional roles of the vast majority of them are unknown. Here we report that a long NAT (Mm-antiNos1 RNA) complementary to mRNA encoding the neuronal isoform of nitric oxide synthase (Nos1) is e...

The human genome, like other mammalian genomes, encodes numerous natural antisense transcripts (NATs) that have been classified into head-to-head, tail-to-tail, or fully overlapped categories in reference to their sense transcripts. Evidence for NAT-mediated epigenetic silencing of sense transcription remains scanty. The DHRS4 gene encodes a metabolic enzyme and forms a gene cluster with its tw...

Carcinogenic heterocyclic amines are activated by N-acetyltransferase (NAT) enzymes, encoded by NAT1 and NAT2, to genotoxic compounds that can form DNA adducts in the colon epithelium. We have examined the relation of polymorphisms in the genes coding for both enzymes to risk of colorectal cancer and the gene-environment interaction with red meat intake among participants in the prospective Phy...

Abstract Background Neoadjuvant chemotherapy (NAT) is increasingly used in the management of pancreatic ductal adenocarcinoma (PDAC). Pathological response tumour to NAT can be assessed using grading systems such as College American Pathologists (CAP) system, with favourable regression being associated improved survival. The aim study was investigate factors patients undergoing pancreatoduodene...

PURPOSE Dynamic day-night changes in melatonin synthesis are regulated by changes in the activity of serotonin N-acetyltransferase (arylalkylamine N-acetyltransferase [AA-NAT]). Similarly, a light-induced decrease in AA-NAT activity at night rapidly suppresses melatonin synthesis. The purpose of the current study was to test the hypothesis that in vivo changes of AA-NAT activity in chicken reti...