Groups with context-free co-word problem

The class of co-context-free groups is studied. A co-context-free group is defined as one whose coword problem (the complement of its word problem) is context-free. This class is larger than the subclass of context-free groups, being closed under the taking of finite direct products, restricted standard wreath products with context-free top groups, and passing to finitely generated subgroups and finite index overgroups. No other examples of co-context-free groups are known. It is proved that the only examples amongst polycyclic groups or the Baumslag–Solitar groups are virtually abelian. This is done by proving that languages with certain purely arithmetical properties cannot be context-free; this result may be of independent interest

Gamma-ray bursts during neutron star formation. Gamma-ray bursts and transient X-ray sources

Discussions are presented of the associations between cosmic gamma ray bursts and transient X-ray sources, and the release of gravitational binding energy during the formation of neutron stars. The model for studying the associations is described along with the release of neutrinos during the collapse of white dwarfs

Viking '75 spacecraft design and test summary. Volume 1: Lander design

The Viking Mars program is summarized. The design of the Viking lander spacecraft is described

Viking '75 spacecraft design and test summary. Volume 3: Engineering test summary

The engineering test program for the lander and the orbiter are presented. The engineering program was developed to achieve confidence that the design was adequate to survive the expected mission environments and to accomplish the mission objective

Quantitative sum rule analysis of low-temperature spectral functions

We analyze QCD and Weinberg-type sum rules in a low-temperature pion gas using vector and axial-vector spectral functions following from the model-independent chiral-mixing scheme. Toward this end we employ recently constructed vacuum spectral functions with ground and first-excited states in both channels and a universal perturbative continuum; they quantitatively describe hadronic tau-decay data and satisfy vacuum sum rules. These features facilitate the implementation of chiral mixing without further assumptions, and lead to in-medium spectral functions which exhibit a mutual tendency of compensating resonance and dip structures, suggestive for an approach toward structureless distributions. In the sum rule analysis, we account for pion mass corrections, which turn out to be significant. While the Weinberg sum rules remain satisfied even at high temperatures, the numerical evaluation of the QCD sum rules for vector and axial-vector channels reveals significant deviations setting in for temperatures beyond ~140 MeV, suggestive of additional physics beyond low-energy chiral pion dynamics.Comment: 8 pages, 3 figure

Systematic review of brucellosis in the Middle East: disease frequency in ruminants and humans and risk factors for human infection

This paper considers the problem of finding global states incoming to a specified global state in a Boolean network, which may be useful for pre-processing of finding a sequence of control actions for a Boolean network and for identifying the basin of attraction for a given attractor, We show that this problem is NP-hard in general along with related theoretical results, On the other hand, we present algorithms that are much faster than the naive exhaustive search-based algorithm. ©2007 IEEE.link_to_subscribed_fulltex