Extended Abstract Fibonacci-type sequences are probably most famous for their recursive definition. The classical one, as F ib(n) =      0, if n = 0, 1, if n = 1, F ib(n − 1) + F ib(n − 2), otherwise, (1) however very simple formulated in natural language, caused some troubles during its formalization in [1]. definition let n be Nat; func Fib (n)-> Nat means :: PRE_FF:def 1 ex fib being Fu...

Nocturnal melatonin production is reportedly controlled by the rhythms of serotonin N-acetyltransferase (NAT, or arylalkylamine N-acetyltransferase). While analyzing the melatonin synthetic pathways of Long Evans cinnamon (LEC) rats mutant for PINA, a pineal night-specific ATPase defective in Wilson disease, we discovered that NAT activity and protein levels are greatly reduced in LEC rats, and...

Acetylation, a major pathway for conjugation and excretion of foreign compounds, is a common route of arylamine biotransformation (Williams, 1959) and an important factor in the expression of mutagenic, carcinogenic and more acute effects of these substances (King & Weber, 1981). An hereditary polymorphism in acetylation, due to genetic variation in the activity of liver and gut mucosal NAT act...

NAT-PT is one important technology for IPv4 to IPv6 transition by mapping protocols and addresses to enable communication between IPv4-only and IPv6-only networks. However, traditional NAT-PT gateways have limits in scalability, resilience and performance. This paper presents two approaches, NAT-based and DNS-based, for load-balance and fault-tolerance to address such limits. Our implementation...

The arylamine N-acetyltransferases (NATs) are a unique family of enzymes that catalyse the transfer of an acetyl group from acetyl-CoA to the terminal nitrogen of hydrazine and arylamine drugs and carcinogens. The NATs have been shown to be important in drug detoxification and carcinogen activation, with humans possessing two isoenzymes encoded by polymorphic genes. This polymorphism has pharma...

The presence of Network Address Translation (NAT) is a hindrance when accessing services within home networks, because NAT breaks the end-to-end connectivity model of the Internet protocol suite. Communication across NATs is only possible if it is initiated from a host belonging to the internal network. Thus, services expecting a connection established from the outside fail in most situations. ...

Arylamine N-acetyltransferase (NAT) enzymes have been found in laboratory animals, humans, microorganisms (fungi, bacteria and parasites), and in plants. But the characteristics of NAT from Klebsiella pneumoniae are not clear. NAT activities with p-aminobenzoic acid (PABA) and 2-aminofluorene (AF) as substrates were examined in the cytosol of K. pneumoniae. NAT activity (N-acetylation of substr...