Wspólnota z przypadku. Studium tożsamości mieszkańców Naddniestrza

Wydział Historyczny

Modele fizyczne planetoid pojedynczych i podwójnych otrzymane na podstawie przeglądów fotometrycznych: przygotowanie do naukowego wykorzystania danych z kosmicznej misji Gaia

Wydział Fizyki

Behind the Great wall : the story of the C.E.Z.M.S. work and workers in China with numerous illustrations

http://www.archive.org/details/behindthegreatw00barnuoft/

Deux théories convergentes des propositions relatives: Port-Royal et Z.S. Harris

info:eu-repo/semantics/published

Measurement of the cross section and angular correlations for associated production of a Z boson with b hadrons in pp collisions at √s = 7 TeV

A study of proton-proton collisions in which two b hadrons are produced in association with a Z boson is reported. The collisions were recorded at a centre-of-mass energy of 7TeV with the CMS detector at the LHC, for an integrated luminosity of 5:2 fb-1. The b hadrons are identified by means of displaced secondary vertices, without the use of reconstructed jets, permitting the study of b-hadron pair production at small angular separation. Differential cross sections are presented as a function of the angular separation of the b hadrons and the Z boson. In addition, inclusive measurements are presented. For both the inclusive and differential studies, different ranges of Z boson momentum are considered, and each measurement is compared to the predictions from different event generators at leading-order and next-to-leading-order accuracy. Copyright CERN.

Measuring the comprehensibility of Z specifications

The effects of natural language comments, meaningful variable names, and structure on the comprehensibility of Z specifications are investigated through a designed experiment conducted with a range of undergraduate and post-graduate student subjects. The times taken on three assessment questions are analysed and related to the abilities of the students as indicated by their total score, with the result that stronger students need less time than weaker students to complete the assessment. Individual question scores, and total score, are then analysed and the influence of comments, naming, structure and level of student's class are determined. In the whole experimental group, only meaningful naming significantly enhances comprehension. In contrast, for those obtaining the best score of 3/3 the only significant factor is commenting. Finally, the subjects' ratings of the five specifications used in the study in terms of their perceived comprehensibility have been analysed. Comments, naming and structure are again found to be of importance in the group when analysed as a whole, but in the sub-group of best performing subjects only the comments had an effect on perceived comprehensibility.

Evaluating the effectiveness of Z: The claims made about CICS and where we go from here

There have been few genuine success stories about industrial use of formal methods. Perhaps the best known and most celebrated is the use of Z by IBM (in collaboration with Oxford University's Programming Research Group) during the development of CICS/ESA (version 3.1). This work was rewarded with the prestigious Queen's Award for Technological Achievement in 1992 and is especially notable for two reasons: 1) because it is a commercial, rather than safety- or security-critical, system and 2) because the claims made about the effectiveness of Z are quantitative as well as qualitative. The most widely publicized claims are: less than half the normal number of customer-reported errors and a 9% savings in the total development costs of the release. This paper provides an independent assessment of the effectiveness of using Z on CICS based on the set of public domain documents. Using this evidence, we believe that the case study was important and valuable, but that the quantitative claims have not been substantiated. The intellectual arguments and rationale for formal methods are attractive, but their widespread commercial use is ultimately dependent upon more convincing quantitative demonstrations of effectiveness. Despite the pioneering efforts of IBM and PRG, there is still a need for rigorous, measurement-based case studies to assess when and how the methods are most effective. We describe how future similar case studies could be improved so that the results are more rigorous and conclusive.

[Book reviews] Review of J. E. Hoch, Semitic Words in Egyptian Texts of the New Kingdom and Third Intermediate Period and D. Sivan and Z. Cochavi-Rainey, West Semitic Vocabulary in Egyptian Script of the 14th to the 10th Centuries BCE

Reviews of: [1] James E. Hoch, Semitic Words in Egyptian Texts of the New Kingdom and Third Intermediate Period, (1994), Princeton University Press. [2] Daniel Sivan and Zipora Cochavi-Rainey, West Semitic Vocabulary in Egyptian Script of the 14th to the 10th Centuries BCE, (1992), Ben-Gurion University of the Negev Press.

Modeling X-ray photoionized plasmas produced at the Sandia Z-facility

In experiments at the high-power Z-facility at Sandia National Laboratory in Albuquerque, New Mexico, we have been able to produce a low density photoionized laboratory plasma of Fe mixed with NaF. The conditions in the experiment allow a meaningful comparison with X-ray emission from astrophysical sources. The charge state distributions of Fe, Na and F are determined in this plasma using high resolution X-ray spectroscopy. Independent measurements of the density and radiation flux indicate unprecedented values for the ionization parameter xi = 20-25 erg cm s(-1) under nearly steady-state conditions. First comparisons of the measured charge state distributions with X-ray photoionization models show reasonable agreement, although many questions remain.

Systematic study of visible transitions in Ti-like high Z ions

The magnetic dipole transitions between fine structure levels in the ground term of Ti-like ions, (3d(4)) D-5(2)-D-5(3), were investigated by observation of visible and near-UV light for several elements with atomic numbers from 51 to 78. The wavelengths are compared with theoretical values we recently calculated. The differences between the present calculations and measurements are less than 0.6%. The anomalous wavelength stability predicted by Feldman, Indelicato and Sugar [J. Opt. Soc. Am. B 8, 3 (1991)] was observed. We attribute this anomalous wavelength stability to the transition from LS to JJ coupling and the asymptotic behavior of the transition energies in the intermediate coupling regime.