Solving Set Constraint Satisfaction Problems using ROBDDs

In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to construct an efficient set domain propagator which compactly represents many set domains and set constraints using ROBDDs. We demonstrate that the ROBDD-based approach provides unprecedented flexibility in modeling constraint satisfaction problems, leading to performance improvements. We also show that the ROBDD-based modeling approach can be extended to the modeling of integer and multiset constraint problems in a straightforward manner. Since domain propagation is not always practical, we also show how to incorporate less strict consistency notions into the ROBDD framework, such as set bounds, cardinality bounds and lexicographic bounds consistency. Finally, we present experimental results that demonstrate the ROBDD-based solver performs better than various more conventional constraint solvers on several standard set constraint problems

The threatened status of restricted-range coral reef fish species

Coral reefs are the most diverse ecosystem in the sea. Throughout the world they are being overfished, polluted and destroyed, placing biodiversity at risk. To date, much of the concern over biodiversity loss has centred on local losses and the possibility of global extinction has largely been discounted. However, recent research has shown that 24% of reef fish species have restricted ranges (< 800 000 km(2)), with 9% highly restricted (< 50 000 km(2)). Restricted-range species are thought to face a greater risk of extinction than more widespread species since local impacts could cause global loss. We searched for information on status in the wild and characteristics of 397 restricted-range reef fish species. Fish body size, habitat requirements and usefulness to people were compared with those of a taxonomically-matched sample of more widespread species. We found that on average species with restricted ranges were significantly smaller (mean total length 19.1 cm versus 24.4 cm), tended to have narrower habitat requirements and were less used by people. Greater habitat specificity will tend to increase extinction risk while, if real, more limited usefulness (equivalent to exploitation) may reduce risk. Fifty-eight percent of restricted-range species were considered common/abundant in the wild and 42% uncommon/rare. Population status and threats to 319 species for which data were available were assessed according to the categories and criteria of the IUCN red list of threatened animals. A number of species were found to be rare, were exploited and had highly restricted ranges overlapping areas where reef degradation is particularly severe, placing them at a high risk of extinction. Five species were listed as Critically Endangered, two of them possibly already extinct in the wild, one as Endangered and 172 as Vulnerable. A further 126 species fell into Lower Risk categories and 11 were considered Data Deficient. Given the intensity of impacts to reefs, the broad geographical areas affected and the large numbers of restricted-range species, global extinctions seem likely. Urgent management action is now crucial for the survival of several species of reef fishes

Quantum Transport in Graphene Nanoribbons with Realistic Edges

Due to their unique electrical properties, graphene nanoribbons (GNRs) show great promise as the building blocks of novel electronic devices. However, these properties are strongly dependent on the geometry of the edges of the graphene devices. Thus far only zigzag and armchair edges have been extensively studied. However, several other self passivating edge reconstructions are possible, and were experimentally observed. Here we utilize the Nonequilibrium Green's Function (NEGF) technique in conjunction with tight binding methods to model quantum transport through armchair, zigzag, and several other self-passivated edge reconstructions. In addition we consider the experimentally relevant cases of mixed edges, where random combinations of possible terminations exist on a given GNR boundary. We find that transport through GNR's with self-passivating edge reconstructions is governed by the sublattice structure of the edges, in a manner similar to their parent zigzag or armchair configurations. Furthermore, we find that the reconstructed armchair GNR's have a larger band gap energy than pristine armchair edges and are more robust against edge disorder. These results offer novel insights into the transport in GNRs with realistic edges and are thus of paramount importance in the development of GNR based devices.Comment: J. Phys. Chem. C, 201

Inlet spillage drag tests and numerical flow-field analysis at subsonic and transonic speeds of a 1/8-scale, two-dimensional, external-compression, variable-geometry, supersonic inlet configuration

Accurate spillage drag and pressure data are presented for a realistic supersonic inlet configuration. Results are compared with predictions from a finite-differencing, inviscid analysis computer procedure. The analytical technique shows good promise for the evaluation of inlet drag, but necessary refinements were identified. A detailed description of the analytical procedure is contained in the Appendix

Discovery of distant high luminosity infrared galaxies

We have developed a method for selecting the most luminous galaxies detected by IRAS based on their extreme values of R, the ratio of 60 micron and B-band luminosity. These objects have optical counterparts that are close to or below the limits of Schmidt surveys. We have tested our method on a 1079 deg^2 region of sky, where we have selected a sample of IRAS sources with 60 micron flux densities greater than 0.2 Jy, corresponding to a redshift limit z~1 for objects with far-IR luminosities of 10^{13} L_sun. Optical identifications for these were obtained from the UK Schmidt Telescope plates, using the likelihood ratio method. Optical spectroscopy has been carried out to reliably identify and measure the redshifts of six objects with very faint optical counterparts, which are the only objects with R>100 in the sample. One object is a hyperluminous infrared galaxy (HyLIG) at z=0.834. Of the remaining, fainter objects, five are ultraluminous infrared galaxies (ULIGs) with a mean redshift of 0.45, higher than the highest known redshift of any non-hyperluminous ULIG prior to this study. High excitation lines reveal the presence of an active nucleus in the HyLIG, just as in the other known infrared-selected HyLIGs. In contrast, no high excitation lines are found in the non-hyperluminous ULIGs. We discuss the implications of our results for the number density of HyLIGs at z<1 and for the evolution of the infrared galaxy population out to this redshift, and show that substantial evolution is indicated. Our selection method is robust against the presence of gravitational lensing if the optical and infrared magnification factors are similar, and we suggest a way of using it to select candidate gravitationally lensed infrared galaxies.Comment: 6 pages, accepted for publication in A&

The inception of Symplectic Geometry: the works of Lagrange and Poisson during the years 1808-1810

The concept of a symplectic structure first appeared in the works of Lagrange on the so-called "method of variation of the constants". These works are presented, together with those of Poisson, who first defined the composition law called today the "Poisson bracket". The method of variation of the constants is presented using today's mathematical concepts and notations.Comment: Presented at the meeting "Poisson 2008" in Lausanne, July 2008. Published in Letters in Mathematical Physics. 22 page

Dynamics of the formation of a hydrogel by a pathogenic amyloid peptide: islet amyloid polypeptide

Many chronic degenerative diseases result from aggregation of misfolded polypeptides to form amyloids. Many amyloidogenic polypeptides are surfactants and their assembly can be catalysed by hydrophobic-hydrophilic interfaces (an air-water interface in-vitro or membranes in-vivo). We recently demonstrated the specificity of surface-induced amyloidogenesis but the mechanisms of amyloidogenesis and more specifically of adsorption at hydrophobic-hydrophilic interfaces remain poorly understood. Thus, it is critical to determine how amyloidogenic polypeptides behave at interfaces. Here we used surface tensiometry, rheology and electron microscopy to demonstrate the complex dynamics of gelation by full-length human islet amyloid polypeptide (involved in type II diabetes) both in the bulk solution and at hydrophobic-hydrophilic interfaces (air-water interface and phospholipids). We show that the hydrogel consists of a 3D supramolecular network of fibrils. We also assessed the role of solvation and dissected the evolution over time of the assembly processes. Amyloid gelation could have important pathological consequences for membrane integrity and cellular functions

Gauge fields, ripples and wrinkles in graphene layers

We analyze elastic deformations of graphene sheets which lead to effective gauge fields acting on the charge carriers. Corrugations in the substrate induce stresses, which, in turn, can give rise to mechanical instabilities and the formation of wrinkles. Similar effects may take place in suspended graphene samples under tension.Comment: contribution to the special issue of Solid State Communications on graphen

The Double Quasar Q2138-431: Lensing by a Dark Galaxy?

We report the discovery of a new gravitational lens candidate Q2138-431AB, comprising two quasar images at a redshift of 1.641 separated by 4.5 arcsecs. The spectra of the two images are very similar, and the redshifts agree to better than 115 km.sec$^{-1}$. The two images have magnitudes $B_J = 19.8$ and $B_J = 21.0$, and in spite of a deep search and image subtraction procedure, no lensing galaxy has been found with $R < 23.8$. Modelling of the system configuration implies that the mass-to-light ratio of any lensing galaxy is likely to be around $1000 M_{\odot}/L_{\odot}$, with an absolute lower limit of $200 M_{\odot}/L_{\odot}$ for an Einstein-de Sitter universe. We conclude that the most likely explanation of the observations is gravitational lensing by a dark galaxy, although it is possible we are seeing a binary quasar.Comment: 17 pages (Latex), 8 postscript figures included, accepted by MNRA

Preliminary Canopy Removal Experiments in Algal Dominated Communities Low on the Shore and in the Shallow Subtidal on the Isle of Man

The algal dominated communities immediately above and below the low-water spring level on a moderately exposed Manx shore were investigated by canopy removal experiments. Fucus serratus, Laminaria digitata and L. hyperborea were removed. Competition was shown to be important in determining the zonation of L. digitata and the distribution along the wave exposure gradient of other species such as Alaria esculenta, Desmarestia aculeata and D. viridis, and L. saccharina. Many species of algal epiphytes were early colonizers of canopy removal areas suggesting that competition from canopy algae usually restricts them to an epiphytic habit. The results indicate that interactions between macrophytes are much more important than grazing in structuring these communities