In recent years in the bx literature, attention has turned to incor-porating intensional information about edits (based on monoid ac-tions [HPW12,AU14, for example]), or more generally, deltas (based oncategories [DXC11a, DXC11b]), describing model updates. This talksketches a dependently-typed approach to consistency maintenance,à la Meertens/Stevens [Mee98, Ste10], buildin...

Density functional theory was employed to calculate the adsorption/dissociation of H2 on gold surfaces, Au(111) and Au(100), and on gold particles from 0.7 (Au14) to 1.2 nm (Au29). Flat surfaces of the bulk metal were not active towards H2, but a different effect was observed in gold nanoclusters, where the hydrogen was adsorbed through a dissociative pathway. Several parameters such as the coo...

Silicon monoxide (SiO) is a structurally complex compound exhibiting differentiated oxide-rich and silicon-rich nano-phases at length scales covering nanoclusters to the bulk. Although nano-sized and nano-segregated SiO has great technological potential (e.g. nano-silicon for optical applications) and is of enormous astronomical interest (e.g. formation of silicate cosmic dust) an accurate gene...

Two chiral structural isomers have been synthesized by molecular engineering of L-tartaric acid. In the presence of LiOH isomer forms a thermally stable, fluorescent gel which exhibits interesting nano-cluster morphology, anomalous optical and rheological properties whilst forms a non-fluorescent solution under similar conditions. The current-voltage (I-V) curve followed a non-linear trend, rat...

Theoretical calculations based on density functional theory have found (PbS)(32) to be the smallest cubic cluster for which its inner (PbS)(4) core enjoys bulk-like coordination. Cubic (PbS)(32) is thus a "baby crystal," i.e., the smallest cluster, exhibiting sixfold coordination, that can be replicated to obtain the bulk crystal. The calculated dimensions of the (PbS)(32) cluster further provi...

Wireless sensor networks have emerged in the past decade as a result of recent advances in microelectronic system fabrication, wireless communications, integrated circuit technologies, microprocessor hardware and nano-technology, progress in adhoc networking routing protocols, distributed signal processing, pervasive computing and embedded systems. As routing protocols are application specific,...