Multifaceted Distributed Systems Specification Using Processes and Event Synchronization

A new approach to modelling distributed systems is presented. It uses sequential processes and event synchronization as the major building blocks and is able to capture the functionality, architecture, scheduling policies, and performance attributes of a distributed system. The approach is meant to provide the foundation for a uniform incremental strategy for verifying both logical and performance properties of distributed systems. In addition, this approach draws together work on performance evaluation, resource allocation, and verification of concurrent processes by reducing some problems from the first two areas to equivalent problems in the third. A language called CSPS (an extension of Hoare\u27s CSP) is used in the illustration of the approach. Employing CSP as a base allows modelled system to be verified using techniques already developed for verifying CSP programs

Diameter and Chirality Dependence of Exciton Properties in Carbon Nanotubes

We calculate the diameter and chirality dependences of the binding energies, sizes, and bright-dark splittings of excitons in semiconducting single-wall carbon nanotubes (SWNTs). Using results and insights from {\it ab initio} calculations, we employ a symmetry-based, variational method based on the effective-mass and envelope-function approximations using tight-binding wavefunctions. Binding energies and spatial extents show a leading dependence with diameter as $1/d$ and $d$, respectively, with chirality corrections providing a spread of roughly 20% with a strong family behavior. Bright-dark exciton splittings show a $1/d^2$ leading dependence. We provide analytical expressions for the binding energies, sizes, and splittings that should be useful to guide future experiments

Unique transcriptomic landscapes identified in idiopathic spontaneous and infection related preterm births compared to normal term births.

Preterm birth (PTB) is leading contributor to infant death in the United States and globally, yet the underlying mechanistic causes are not well understood. Histopathological studies of preterm birth suggest advanced villous maturity may have a role in idiopathic spontaneous preterm birth (isPTB). To better understand pathological and molecular basis of isPTB, we compared placental villous transcriptomes from carefully phenotyped cohorts of PTB due to infection or isPTB between 28-36 weeks gestation and healthy term placentas. Transcriptomic analyses revealed a unique expression signature for isPTB distinct from the age-matched controls that were delivered prematurely due to infection. This signature included the upregulation of three IGF binding proteins (IGFBP1, IGFBP2, and IGFBP6), supporting a role for aberrant IGF signaling in isPTB. However, within the isPTB expression signature, we detected secondary signature of inflammatory markers including TNC, C3, CFH, and C1R, which have been associated with placental maturity. In contrast, the expression signature of the gestational age-matched infected samples included upregulation of proliferative genes along with cell cycling and mitosis pathways. Together, these data suggest an isPTB molecular signature of placental hypermaturity, likely contributing to the premature activation of inflammatory pathways associated with birth and providing a molecular basis for idiopathic spontaneous birth

Irreducible Killing Tensors from Third Rank Killing-Yano Tensors

We investigate higher rank Killing-Yano tensors showing that third rank Killing-Yano tensors are not always trivial objects being possible to construct irreducible Killing tensors from them. We give as an example the Kimura IIC metric were from two rank Killing-Yano tensors we obtain a reducible Killing tensor and from third rank Killing-Yano tensors we obtain three Killing tensors, one reducible and two irreducible.Comment: 10 page

Temperature Dependence of the Band Gap of Semiconducting Carbon Nanotubes

The temperature dependence of the band gap of semiconducting single-wall carbon nanotubes (SWNTs) is calculated by direct evaluation of electron-phonon couplings within a ``frozen-phonon'' scheme. An interesting diameter and chirality dependence of $E_g(T)$ is obtained, including non-monotonic behavior for certain tubes and distinct ``family'' behavior. These results are traced to a strong and complex coupling between band-edge states and the lowest-energy optical phonon modes in SWNTs. The $E_g(T)$ curves are modeled by an analytic function with diameter and chirality dependent parameters; these provide a valuable guide for systematic estimates of $E_g(T)$ for any given SWNT. Magnitudes of the temperature shifts at 300 K are smaller than 12 meV and should not affect $(n,m)$ assignments based on optical measurements.Comment: To appear in Phys. Rev. Let

Excitonic Effects and Optical Spectra of Single-Walled Carbon Nanotubes

Many-electron effects often dramatically modify the properties of reduced dimensional systems. We report calculations, based on an many-electron Green's function approach, of electron-hole interaction effects on the optical spectra of small-diameter single-walled carbon nanotubes. Excitonic effects qualitatively alter the optical spectra of both semiconducting and metallic tubes. Excitons are bound by ~ 1 eV in the semiconducting (8,0) tube and by ~ 100 meV in the metallic (3,3) tube. These large many-electron effects explain the discrepancies between previous theories and experiments.Comment: 6 pages, 3 figures, 2 table

Selection Rules for One- and Two-Photon Absorption by Excitons in Carbon Nanotubes

Recent optical absorption/emission experiments showed that the lower energy optical transitions in carbon nanotubes are excitonic in nature, as predicted by theory. These experiments were based on the symmetry aspects of free electron-hole states and bound excitonic states. The present work shows, however, that group theory does not predict the selection rules needed to explain the two photon experiments. We obtain the symmetries and selection rules for the optical transitions of excitons in single-wall carbon nanotubes within the approach of the group of the wavevector, thus providing important information for the interpretation of theoretical and experimental optical spectra of these materials.Comment: 4 pages, 1 figure, 1 tabl