We study natural semantic fragments of the π-calculus: depthbounded processes (there is a bound on the longest communication path), breadth-bounded processes (there is a bound on the number of parallel processes sharing a name), and name-bounded processes (there is a bound on the number of shared names). We give a complete characterization of the decidability frontier for checking if a π-calcul...

   Surfaces of synthesis cobalt disulfide has high electron density that could interact with polycyclic aromatic compounds by π-π stacking. Cobalt disulfide was synthesized with the hydrothermal method and characterized by field emission scanning electron microscopy, X-ray diffraction and energy-dispersive X-ray. Using tetracycline as a model analyte, the batch adsorption experiments were c...

In order to understand how the polarization of aromatic systems, through the introduction of a nitrogen heteroatom, affects the π-π interactions and crystal packing of mercury coordination compounds, in this study, N-(quinolin-2-yl)pyrazine-2-carboxamide and N-(quinolin-3-yl)pyrazine-2-carboxamide ligands were employed in the synthesis of five Hg(II) complexes, [HgBr2(L2=quin)2]n, 1, [HgI2(L2=q...

The HOMA (Harmonic Oscillator Model of Aromaticity) index, reformulated in 1993, has been very often applied to describe π-electron delocalization for monoand polycyclic π-electron systems. However, different measures of π-electron delocalization were employed for the CC, CX, and XY bonds, and this index seems to be inappropriate for compounds containing heteroatoms. In order to describe proper...

The HOMA (Harmonic Oscillator Model of Aromaticity) index, reformulated in 1993, has been very often applied to describe π-electron delocalization for monoand polycyclic π-electron systems. However, different measures of π-electron delocalization were employed for the CC, CX, and XY bonds, and this index seems to be inappropriate for compounds containing heteroatoms. In order to describe proper...

A detailed analysis of the electronic structure and charge distribution around the trigonal site of Li-doped polyacetylene is reported using finite chain and periodic descriptions of the polymer. Atoms-in-molecules (AIM) analysis is done to characterize the nature of the bond between Li and the polymer backbone through the location of the bond critical points and computation of the total charge...

The session summarised here was devoted to Electron Cloud Effects and Vacuum in the SPS and LHC. Seven talks were presented, covering recent experimental observations of electron cloud effects at the KEK-B Low Energy Ring (LER), measurements of surface properties at EPA, simulations of electron cloud build-up and heat load, vacuum observations and electron scrubbing in the SPS with LHC type bea...

By imposing three semantic constraints on the π-calculus equipped with delayed input, we obtain a variant of the π-calculus. We prove that Hennessy and Riely’s distributed π-calculus can be encoded into this new model, satisfying a full abstraction theorem, which means that one-dimensional mobility can be characterized by communication. We also discuss the difficulties of expressing two-dimensi...