Alzheimer’s disease (AD) is the most common kind of dementia. This neurodegenerative disease is characterized by the drastic reduction of the neurotransmitters (NTs) acetylcholine (ACh), serotonin and dopamine in the synapses. The use of the acetylcholinesterase (AChE) inhibitors (AChEIs) is the main strategy used in the treatment of Alzheimer’s disease [1]. During the molecular recognition of ...

Carbon nanotube (CNT) has attracted enormous attention from researchers since its discovery in 1991. Due to their remarkable mechanical properties, carbon nanotubes have been employed in many diverse areas of applications including biological probes, atomic force microscopy and also in nanocomposites. However, similar to any of the many man-made construction materials used today such as steel a...

Nominal terms are an extended first-order language for specifying and verifying properties of syntax with binding. Founded upon the semantics of nominal sets, the success of nominal terms with regard to systems of equational reasoning is already well established. This work first extends the untyped language of nominal terms with a notion of non-capturing atom substitution for object-level names...

With the standard inference rule set for Nuprl, the type Atom cannot be proved either to be finite or infinite, despite the fact that any character string (over a certain finite alphabet) can be used to form a canonical expression for a member of the type. For each k ∈ N one can prove in the logic a formula to the effect that there are at least k atoms. One can do this simply by exhibiting k di...