GPERF : a perfect hash function generator

gperf is a widely available perfect hash function generator written in C++. It automates a common system software operation: keyword recognition. gperf translates an n element user-specified keyword list keyfile into source code containing a k element lookup table and a pair of functions, phash and in_word_set. phash uniquely maps keywords in keyfile onto the range 0 .. k - 1, where k >/= n. If k = n, then phash is considered a minimal perfect hash function. in_word_set uses phash to determine whether a particular string of characters str occurs in the keyfile, using at most one string comparison.This paper describes the user-interface, options, features, algorithm design and implementation strategies incorporated in gperf. It also presents the results from an empirical comparison between gperf-generated recognizers and other popular techniques for reserved word lookup

Computing infrastructure issues in distributed communications systems : a survey of operating system transport system architectures

The performance of distributed applications (such as file transfer, remote login, tele-conferencing, full-motion video, and scientific visualization) is influenced by several factors that interact in complex ways. In particular, application performance is significantly affected both by communication infrastructure factors and computing infrastructure factors. Several communication infrastructure factors include channel speed, bit-error rate, and congestion at intermediate switching nodes. Computing infrastructure factors include (among other things) both protocol processing activities (such as connection management, flow control, error detection, and retransmission) and general operating system factors (such as memory latency, CPU speed, interrupt and context switching overhead, process architecture, and message buffering). Due to a several orders of magnitude increase in network channel speed and an increase in application diversity, performance bottlenecks are shifting from the network factors to the transport system factors.This paper defines an abstraction called an "Operating System Transport System Architecture" (OSTSA) that is used to classify the major components and services in the computing infrastructure. End-to-end network protocols such as TCP, TP4, VMTP, XTP, and Delta-t typically run on general-purpose computers, where they utilize various operating system resources such as processors, virtual memory, and network controllers. The OSTSA provides services that integrate these resources to support distributed applications running on local and wide area networks.A taxonomy is presented to evaluate OSTSAs in terms of their support for protocol processing activities. We use this taxonomy to compare and contrast five general-purpose commercial and experimental operating systems including System V UNIX, BSD UNIX, the x-kernel, Choices, and Xinu

On the saturation of YAGO

YAGO is an automatically generated ontology out of Wikipedia and WordNet. It is eventually represented in a proprietary flat text file format and a core comprises 10 million facts and formulas. We present a translation of YAGO into the Bernays-Sch¨onfinkel Horn class with equality. A new variant of the superposition calculus is sound, complete and terminating for this class. Together with extended term indexing data structures the new calculus is implemented in Spass-YAGO. YAGO can be finitely saturated by Spass-YAGO in about 1 hour.We have found 49 inconsistencies in the original generated ontology which we have fixed. Spass-YAGO can then prove non-trivial conjectures with respect to the resulting saturated and consistent clause set of about 1.4 GB in less than one second

Electron-induced proton knockout from neutron rich nuclei

We study the evolution of the \eep cross section on nuclei with increasing asymmetry between the number of neutrons and protons. The calculations are done within the framework of the nonrelativistic and relativistic distorted-wave impulse approximation. In the nonrelativistic model phenomenological Woods-Saxon and Hartree-Fock wave functions are used for the proton bound-state wave functions, in the relativistic model the wave functions are solutions of Dirac-Hartree equations. The models are first tested against experimental data on $^{40}$Ca and $^{48}$Ca nuclei, and then they are applied to a set of spherical calcium isotopes.Comment: 5 pages, 2 figures. contribution to the XIX International School on Nuclear Physics, Neutron Physics and Applications, Varna (Bulgaria) September 19-25, 201

Evolution and CNO yields of Z=10^-5 stars and possible effects on CEMP production

Our main goals are to get a deeper insight into the evolution and final fates of intermediate-mass, extremely metal-poor (EMP) stars. We also aim to investigate their C, N, and O yields. Using the Monash University Stellar Evolution code we computed and analysed the evolution of stars of metallicity Z = 10^-5 and masses between 4 and 9 M_sun, from their main sequence until the late thermally pulsing (super) asymptotic giant branch, TP-(S)AGB phase. Our model stars experience a strong C, N, and O envelope enrichment either due to the second dredge-up, the dredge-out phenomenon, or the third dredge-up early during the TP-(S)AGB phase. Their late evolution is therefore similar to that of higher metallicity objects. When using a standard prescription for the mass loss rates during the TP-(S)AGB phase, the computed stars lose most of their envelopes before their cores reach the Chandrasekhar mass, so our standard models do not predict the occurrence of SNI1/2 for Z = 10^-5 stars. However, we find that the reduction of only one order of magnitude in the mass-loss rates, which are particularly uncertain at this metallicity, would prevent the complete ejection of the envelope, allowing the stars to either explode as an SNI1/2 or become an electron-capture SN. Our calculations stop due to an instability near the base of the convective envelope that hampers further convergence and leaves remnant envelope masses between 0.25 M_sun for our 4 M_sun model and 1.5 M_sun for our 9 M_sun model. We present two sets of C, N, and O yields derived from our full calculations and computed under two different assumptions, namely, that the instability causes a practically instant loss of the remnant envelope or that the stars recover and proceed with further thermal pulses. Our results have implications for the early chemical evolution of the Universe.Comment: 12 pages, 13 figures, accepted for publication in A&

Probing nuclear skins and halos with elastic electron scattering

I investigate the elastic electron scattering off nuclei far from the stability line. The effects of the neutron and proton skins and halos on the differential cross sections are explored. Examples are given for the charge distribution in Sn isotopes and its relation to the neutron skin. The neutron halo in $^{11}$Li and the proton halo in $^{8}$B are also investigated. Particular interest is paid to the inverse scattering problem and its dependence on the experimental precision. These studies are of particular interest for the upcoming electron ion colliders at the GSI and RIKEN facilities.Comment: 27 pages, 9 figures, accepted for publication in J. Phys.

Quantum Interference between a Single-Photon Fock State and a Coherent State

We derive analytical expressions for the single mode quantum field state at the individual output ports of a beam splitter when a single-photon Fock state and a coherent state are incident on the input ports. The output states turn out to be a statistical mixture between a displaced Fock state and a coherent state. Consequently we are able to find an analytical expression for the corresponding Wigner function. Because of the generality of our calculations the obtained results are valid for all passive and lossless optical four port devices. We show further how the results can be adapted to the case of the Mach-Zehnder interferometer. In addition we consider the case for which the single-photon Fock state is replaced with a general input state: a coherent input state displaces each general quantum state at the output port of a beam splitter with the displacement parameter being the amplitude of the coherent state.Comment: 9 pages, 6 figure

The Dichotomy of the Halo of the Milky Way

We summarize evidence that the halo of the Milky Way comprises two different, and broadly overlapping, stellar components. The two structures exhibit different chemical compositions, spatial distributions, and kinematics. These results were obtained through an analysis of more than 20,000 calibration stars from the Sloan Digital Sky Survey (SDSS). The duality of the stellar halo directly impacts galaxy formation models, for the Milky Way and other large spirals.Comment: 6 pages, 4 figures, to appear in Proceedings of the OMEG07 Conference, held in December 200