Search for More Declarativity

Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed search methods with their well-known deficiencies are prone to compromise declarativity, the primary concern of rule languages. The paper presents a new family of uninformed search algorithms that combine the advantages of the traditional ones while avoiding their shortcomings. Moreover, the paper introduces a formal framework based on partial orderings, which allows precise and elegant analysis of such algorithms

Relativistic Heavy--Ion Collisions in the Dynamical String--Parton Model

We develop and extend the dynamical string parton model. This model, which is based on the salient features of QCD, uses classical Nambu-Got\=o strings with the endpoints identified as partons, an invariant string breaking model of the hadronization process, and interactions described as quark-quark interactions. In this work, the original model is extended to include a phenomenological quantization of the mass of the strings, an analytical technique for treating the incident nucleons as a distribution of string configurations determined by the experimentally measured structure function, the inclusion of the gluonic content of the nucleon through the introduction of purely gluonic strings, and the use of a hard parton-parton interaction taken from perturbative QCD combined with a phenomenological soft interaction. The limited number of parameters in the model are adjusted to $e^+e^-$ and $p$--$p$ data. Utilizing these parameters, the first calculations of the model for $p$--$A$ and $A$--$A$ collisions are presented and found to be in reasonable agreement with a broad set of data.Comment: 26 pages of text with 23 Postscript figures placed in tex

Tensionless supersymmetric M2 branes in AdS4×S7AdS_4 \times S^7 and Giant Diabolo

We find various supersymmetric configurations of toroidal M2 brane solutions in \AdS_4 \times S^7 or, more generally, in \AdS_4 \times S^7/Z_k. In this class we identify solutions preserving 1/4 and 1/8 supersymmetries of the background. The supersymmetric M2 branes have angular momenta and winding on $S^7$, and null world-volumes. In certain cases they collapse to string-like configurations. These configurations can be viewed as a higher-dimensional (membrane) analog of BMN states. We compute the energy and angular momenta, showing that all supersymmetric configurations obey the BPS relation $E=J/R$,\ $J= \sum_{i=1}^4 |J_i|$ with $E, J\to \infty$. Finally, we also study another class of supersymmetric M2-branes, including uncompact rotating membranes of "diabolo" shape.Comment: 27 pages, 3 figures. Small correction

Functional polymorphisms within the inflammatory pathway regulate expression of extracellular matrix components in a genetic risk dependent model for anterior cruciate ligament injuries

Objectives: To investigate the functional effect of genetic polymorphisms of the inflammatory pathway on structural extracellular matrix components (ECM) and the susceptibility to an anterior cruciate ligament (ACL) injury. Design: Laboratory study, case–control study. Methods: Eight healthy participants were genotyped for interleukin (IL)1B rs16944 C > T and IL6 rs1800795 G > C and

Hadronic observables from SIS to SPS energies - anything strange with strangeness ?

We calculate $p, \pi^\pm, K^\pm$ and $\Lambda$(+$\Sigma^0$) rapidity distributions and compare to experimental data from SIS to SPS energies within the UrQMD and HSD transport approaches that are both based on string, quark, diquark ($q, \bar{q}, qq, \bar{q}\bar{q}$) and hadronic degrees of freedom. The two transport models do not include any explicit phase transition to a quark-gluon plasma (QGP). It is found that both approaches agree rather well with each other and with the experimental rapidity distributions for protons, $\Lambda$'s, $\pi^\pm$ and $K^\pm$. Inspite of this apparent agreement both transport models fail to reproduce the maximum in the excitation function for the ratio $K^+/\pi^+$ found experimentally between 11 and 40 A$\cdot$GeV. A comparison to the various experimental data shows that this 'failure' is dominantly due to an insufficient description of pion rapidity distributions rather than missing 'strangeness'. The modest differences in the transport model results -- on the other hand -- can be attributed to different implementations of string formation and fragmentation, that are not sufficiently controlled by experimental data for the 'elementary' reactions in vacuum.Comment: 46 pages, including 15 eps figures, to be published in Phys. Rev.

Strangeness Enhancement in p+Ap+A and S+AS+A Interactions at SPS Energies

The systematics of strangeness enhancement is calculated using the HIJING and VENUS models and compared to recent data on $\,pp\,$, $\,pA\,$ and $\,AA\,$ collisions at CERN/SPS energies ($200A\,\, GeV\,$). The HIJING model is used to perform a {\em linear} extrapolation from $pp$ to $AA$. VENUS is used to estimate the effects of final state cascading and possible non-conventional production mechanisms. This comparison shows that the large enhancement of strangeness observed in $S+Au$ collisions, interpreted previously as possible evidence for quark-gluon plasma formation, has its origins in non-equilibrium dynamics of few nucleon systems. % Strangeness enhancement %is therefore traced back to the change in the production dynamics %from $pp$ to minimum bias $pS$ and central $SS$ collisions. A factor of two enhancement of $\Lambda^{0}$ at mid-rapidity is indicated by recent $pS$ data, where on the average {\em one} projectile nucleon interacts with only {\em two} target nucleons. There appears to be another factor of two enhancement in the light ion reaction $SS$ relative to $pS$, when on the average only two projectile nucleons interact with two target ones.Comment: 29 pages, 8 figures in uuencoded postscript fil

Morphology, geographical variation and the subspecies of marsh tit Poecile palustris in Britain and central Europe

Capsule: All British Marsh Tits belong to subspecies Poecile palustris dresseri, being smaller than nominate P. p. palustris of central Europe. Aims: Determining the subspecies of Marsh Tit in Britain to test whether ssp. P. p. palustris occurs in northern England and Scotland, by assessing regional variation in size compared with central European birds. Methods: 1147 wing length and 250 tail length measurements from 953 Marsh Tits were compared between eight British locations to test for regional variation. Biometrics were compared between birds from Britain and six locations within the continental European range of ssp. palustris. Results: There was no regional variation in wing or tail lengths among British Marsh Tits, indicating that all resident birds belong to ssp. dresseri. There was no evidence supporting the existence of ssp. palustris in northern England. British birds were significantly smaller than those from continental Europe, with proportionately shorter tails, consistent across all age and sex classes. Conclusion: All British Marsh Tits should be considered as ssp. dresseri, with ssp. palustris being limited to continental Europe. With no evidence of regional variation in size within Britain, reliable sexing methods based on biometrics could be applied in demographic studies throughout the country

The PHENIX Experiment at RHIC

The physics emphases of the PHENIX collaboration and the design and current status of the PHENIX detector are discussed. The plan of the collaboration for making the most effective use of the available luminosity in the first years of RHIC operation is also presented.Comment: 5 pages, 1 figure. Further details of the PHENIX physics program available at http://www.rhic.bnl.gov/phenix

Proximity effect at superconducting Sn-Bi2Se3 interface

We have investigated the conductance spectra of Sn-Bi2Se3 interface junctions down to 250 mK and in different magnetic fields. A number of conductance anomalies were observed below the superconducting transition temperature of Sn, including a small gap different from that of Sn, and a zero-bias conductance peak growing up at lower temperatures. We discussed the possible origins of the smaller gap and the zero-bias conductance peak. These phenomena support that a proximity-effect-induced chiral superconducting phase is formed at the interface between the superconducting Sn and the strong spin-orbit coupling material Bi2Se3.Comment: 7 pages, 8 figure