An Empirical Analysis of Search in GSAT

We describe an extensive study of search in GSAT, an approximation procedure for propositional satisfiability. GSAT performs greedy hill-climbing on the number of satisfied clauses in a truth assignment. Our experiments provide a more complete picture of GSAT's search than previous accounts. We describe in detail the two phases of search: rapid hill-climbing followed by a long plateau search. We demonstrate that when applied to randomly generated 3SAT problems, there is a very simple scaling with problem size for both the mean number of satisfied clauses and the mean branching rate. Our results allow us to make detailed numerical conjectures about the length of the hill-climbing phase, the average gradient of this phase, and to conjecture that both the average score and average branching rate decay exponentially during plateau search. We end by showing how these results can be used to direct future theoretical analysis. This work provides a case study of how computer experiments can be used to improve understanding of the theoretical properties of algorithms.Comment: See http://www.jair.org/ for any accompanying file

Features in the ion emission of Cu, Al, and C plasmas produced by ultrafast laser ablation

© 2015 AIP Publishing LLC. The bi-modal nature of charge integrated ion kinetic energy distributions, which result from ultrafast laser produced plasmas, is discussed in this paper. A negatively biased Faraday cup was used as a charge collector to measure ion distributions from three different solid targets that had been irradiated with an ultrafast laser in the fluence range 0.1-1 J/cm2. A bi-modal time of flight distribution is found for all three targets (C, Al, and Cu). In the case of the metallic targets (Al and Cu), high- and low-kinetic energy peaks exhibit quite different dependencies on laser fluence, whereas for the semi-metallic target (C), both peaks scale similarly with ultrafast laser fluence. The results are discussed within the framework of a one dimensional capacitor model resulting in ion acceleration

Hierarchical social modularity in gorillas

Modern human societies show hierarchical social modularity (HSM) in which lower-order social units like nuclear families are nested inside increasingly larger units. It has been argued that this HSM evolved independently and after the chimpanzee–human split due to greater recognition of, and bonding between, dispersed kin. We used network modularity analysis and hierarchical clustering to quantify community structure within two western lowland gorilla populations. In both communities, we detected two hierarchically nested tiers of social structure which have not been previously quantified. Both tiers map closely to human social tiers. Genetic data from one population suggested that, as in humans, social unit membership was kin structured. The sizes of gorilla social units also showed the kind of consistent scaling ratio between social tiers observed in humans, baboons, toothed whales, and elephants. These results indicate that the hierarchical social organization observed in humans may have evolved far earlier than previously asserted and may not be a product of the social brain evolution unique to the hominin lineage

Review of operational aspects of initial experiments utilizing the U.S. MLS

An exercise to support the Federal Aviation Administration in demonstrating the U.S. candidate for an international microwave landing system (MLS) was conducted by NASA. During this demonstration the MLS was utilized to provide the TCV Boeing 737 research airplane with guidance for automatic control during transition from conventional RNAV to MLS RNAV in curved, descending flight; flare; touchdown; and roll-out. Flight profiles, system configuration, displays, and operating procedures used in the demonstration are described, and preliminary results of flight data analysis are discussed. Recent experiences with manually controlled flight in the NAFEC MLS environment are also discussed. The demonstration shows that in automatic three-dimensional flight, the volumetric signal coverage of the MLS can be exploited to enable a commercial carrier class airplane to perform complex curved, descending paths with precision turns into short final approaches terminating in landing and roll-out, even when subjected to strong and gusty tail and cross wind components and severe wind shear

High Resolution CO and H2 Molecular Line Imaging of a Cometary Globule in the Helix Nebula

We report high resolution imaging of a prominent cometary globule in the Helix nebula in the CO J=1-0 (2.6 mm) and H2 v=1-0 S(1) (2.12 micron) lines. The observations confirm that globules consist of dense condensations of molecular gas embedded in the ionized nebula. The head of the globule is seen as a peak in the CO emission with an extremely narrow line width (0.5 km/s) and is outlined by a limb-brightened surface of H2 emission facing the central star and lying within the photo-ionized halo. The emission from both molecular species extends into the tail region. The presence of this extended molecular emission provides new constraints on the structure of the tails, and on the origin and evolution of the globules.Comment: 12 pages, 3 figures. To appear in The Astrophysical Journal Letter

Collision of High Frequency Plane Gravitational and Electromagnetic Waves

We study the head-on collision of linearly polarized, high frequency plane gravitational waves and their electromagnetic counterparts in the Einstein-Maxwell theory. The post-collision space-times are obtained by solving the vacuum Einstein-Maxwell field equations in the geometrical optics approximation. The head-on collisions of all possible pairs of these systems of waves is described and the results are then generalised to non-linearly polarized waves which exhibit the maximum two degrees of freedom of polarization.Comment: Latex file, 17 pages, accepted for publication in International Journal of Modern Physics

On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry

We consider a common type of symmetry where we have a matrix of decision variables with interchangeable rows and columns. A simple and efficient method to deal with such row and column symmetry is to post symmetry breaking constraints like DOUBLELEX and SNAKELEX. We provide a number of positive and negative results on posting such symmetry breaking constraints. On the positive side, we prove that we can compute in polynomial time a unique representative of an equivalence class in a matrix model with row and column symmetry if the number of rows (or of columns) is bounded and in a number of other special cases. On the negative side, we show that whilst DOUBLELEX and SNAKELEX are often effective in practice, they can leave a large number of symmetric solutions in the worst case. In addition, we prove that propagating DOUBLELEX completely is NP-hard. Finally we consider how to break row, column and value symmetry, correcting a result in the literature about the safeness of combining different symmetry breaking constraints. We end with the first experimental study on how much symmetry is left by DOUBLELEX and SNAKELEX on some benchmark problems.Comment: To appear in the Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010

Sensitivity of nonlinear photoionization to resonance substructure in collective excitation

Collective behaviour is a characteristic feature in many-body systems, important for developments in fields such as magnetism, superconductivity, photonics and electronics. Recently, there has been increasing interest in the optically nonlinear response of collective excitations. Here we demonstrate how the nonlinear interaction of a many-body system with intense XUV radiation can be used as an effective probe for characterizing otherwise unresolved features of its collective response. Resonant photoionization of atomic xenon was chosen as a case study. The excellent agreement between experiment and theory strongly supports the prediction that two distinct poles underlie the giant dipole resonance. Our results pave the way towards a deeper understanding of collective behaviour in atoms, molecules and solid-state systems using nonlinear spectroscopic techniques enabled by modern short-wavelength light sources

Two-electron processes in multiple ionization under strong soft-x-ray radiation

In a combined experimental and theoretical study we have investigated the ionization of atomic argon upon irradiation with intense soft-x-ray pulses of 105 eV photon energy from the free-electron laser FLASH. The measured ion yields show charge states up to Ar7+. The comparison with the theoretical study of the underlying photoionization dynamics highlights the importance of excited states in general and of processes governed by electron correlation in particular, namely, ionization with excitation and shake-off, processes usually inaccessible by measurements of ionic yields only. The Ar7+ yield shows a clear deviation from the predictions of the commonly used model of sequential ionization via single-electron processes and the observed signal can only be explained by taking into account the full multiplet structure of the involved configurations and by inclusion of two-electron processes. The competing process of two-photon ionization from the ground state of Ar6+ is calculated to be orders of magnitude smaller

Interviewing suspects: examining the association between skills, questioning, evidence disclosure, and interview outcomes

The interviewing of suspects is an important element in the investigation of crime. However, studies concerning actual performance of investigators when undertaking such interviews remain sparse. Nevertheless, in England and Wales, since the introduction of a prescribed framework over 20 years ago, field studies have generally shown an improvement in interviewing performance, notwithstanding ongoing concerns largely relating to the more demanding aspects (such as building/maintaining rapport, intermittent summarising and the logical development of topics). Using a sample of 70 real-life interviews, the present study examined questioning and various evidence disclosure strategies (which have also been found demanding), examining their relationships between interview skills and interview outcomes. It was found that when evidence was disclosed gradually (but revealed later), interviews were generally both more skilled and involved the gaining of comprehensive accounts, whereas when evidence was disclosed either early or very late, interviews were found to be both less skilled and less likely to involve this outcome. These findings contribute towards an increased research base for the prescribed framework