Biological Altruism and the cultural-evolutionary roots of religion

The unselfish, altruistic behavior of insect societies can be explained by way of unusually close genetic relatedness, while the cooperative behavior of chimpanzee and other distantly related mammalian social groups results from their daily, social \"fit-for-tat\" trading of favors. These sociobioiogical explanations, however, are inadequate to explain altruistic behavior among human groups with members numbering in the thousands or millions, groups consisting for the most part of genetically unrelated individuals with little or no daily social contact. Religion, cultural evolutionary theory suggests, may be the glue that binds them together

Photometric support for future astonomical research

The I.A.P.P.P. is described and how that organization can provide photometric support for future astronomical research projects such as the 1982-1984 eclipse of epsilon Aurigae discussed at this workshop. I.A.P.P.P., International Amateur-Professional Photoelectric Photometry, is an organization founded in Fairborn, Ohio by the authors in 1980. Its purpose is to encourage contact between amateur and professional astronomers interested in photoelectric photometry, for their mutual benefit and for the benefit of astronomical research. Aspects dealt with include instrumentation, electronics, computer hardware and software, observing techniques, data reduction, and observing programs. Starting with the June 1980 issue, I.A.P.P.P. has published the quarterly I.A.P.P.P. Communications. The Communications contain articles dealing with all the above aspects of photoelectric photometry, although it does not publish observational results as such. Photoelectric photometry obtained by amateurs is published in the same journals which publish photometry obtained by professionals

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification technique works well for proving properties of infinite systems like cryptographic protocols or more recently on Java Bytecode programs. This algorithm computes a tree automaton which represents a (regular) over approximation of the set of reachable terms by rewriting initial terms. This approach is limited by the lack of information about rewriting relation between terms. Actually, terms in relation by rewriting are in the same equivalence class: there are recognized by the same state in the tree automaton. Our objective is to produce an automaton embedding an abstraction of the rewriting relation sufficient to prove temporal properties of the term rewriting system. We propose to extend the algorithm to produce an automaton having more equivalence classes to distinguish a term or a subterm from its successors w.r.t. rewriting. While ground transitions are used to recognize equivalence classes of terms, epsilon-transitions represent the rewriting relation between terms. From the completed automaton, it is possible to automatically build a Kripke structure abstracting the rewriting sequence. States of the Kripke structure are states of the tree automaton and the transition relation is given by the set of epsilon-transitions. States of the Kripke structure are labelled by the set of terms recognized using ground transitions. On this Kripke structure, we define the Regular Linear Temporal Logic (R-LTL) for expressing properties. Such properties can then be checked using standard model checking algorithms. The only difference between LTL and R-LTL is that predicates are replaced by regular sets of acceptable terms

Analysis of the absorption and emission spectra of U4+ in α-ThBr 4

The low temperature form α-ThBr4 has a scheelite structure I41/a in which the tetravalent uranium occupies the thorium site which is S4. Assuming that the ground state remains Γ 4 as in the β-ThBr4 form, the polarized absorption spectrum at 4.2 K shows that D2d is a good approximation. A peculiarity of this host is the exaltation of very numerous fluorescences of U4+ which permit to assign four Stark levels of the ground state 3H4 : Γ5 at 110 cm-1, Γ 1 at 473 cm-1, Γ1 at 623 cm-1 and Γ5 at 830 cm-1. 30 levels have been assigned and the crystal field parameters of U4+ (5f2) have been calculated in the D2d approximation : B20 = - 382, B40 = - 3 262, B44 = - 1734, B60 = - 851 and B64 = - 1828 cm-1. It is interesting to note that a small distortion in the scheelite structure of the α-ThBr4 compared with the zircon structure β-ThBr4 induces important changes in the crystal field parameters

Electromagnetic vacuum energy for two parallel slabs in terms of surface, wave guide and photonic modes

The formulation of the Lifshitz formula in terms of real frequencies is reconsidered for half spaces described by the plasma model. It is shown that besides the surface modes (for the TM polarization), and the photonic modes, also waveguide modes must be considered.Comment: some references adde

Surface plasmon modes and the Casimir energy

We show the influence of surface plasmons on the Casimir effect between two plane parallel metallic mirrors at arbitrary distances. Using the plasma model to describe the optical response of the metal, we express the Casimir energy as a sum of contributions associated with evanescent surface plasmon modes and propagative cavity modes. In contrast to naive expectations, the plasmonic modes contribution is essential at all distances in order to ensure the correct result for the Casimir energy. One of the two plasmonic modes gives rise to a repulsive contribution, balancing out the attractive contributions from propagating cavity modes, while both contributions taken separately are much larger than the actual value of the Casimir energy. This also suggests possibilities to tailor the sign of the Casimir force via surface plasmons.Comment: 4 pages, 3 figures, revtex

The role of Surface Plasmon modes in the Casimir Effect

In this paper we study the role of surface plasmon modes in the Casimir effect. First we write the Casimir energy as a sum over the modes of a real cavity. We may identify two sorts of modes, two evanescent surface plasmon modes and propagative modes. As one of the surface plasmon modes becomes propagative for some choice of parameters we adopt an adiabatic mode definition where we follow this mode into the propagative sector and count it together with the surface plasmon contribution, calling this contribution "plasmonic". The remaining modes are propagative cavity modes, which we call "photonic". The Casimir energy contains two main contributions, one coming from the plasmonic, the other from the photonic modes. Surprisingly we find that the plasmonic contribution to the Casimir energy becomes repulsive for intermediate and large mirror separations. Alternatively, we discuss the common surface plasmon defintion, which includes only evanescent waves, where this effect is not found. We show that, in contrast to an intuitive expectation, for both definitions the Casimir energy is the sum of two very large contributions which nearly cancel each other. The contribution of surface plasmons to the Casimir energy plays a fundamental role not only at short but also at large distances.Comment: 10 pages, 3 figures. TQMFA200