Nuclear rocket shielding methods, modification, updating, and input data preparation. Volume 4 - One-dimensional, discrete ordinates transport technique Final progress report

One dimensional, discrete ordinates transport technique for use with nuclear rocket shielding methods, modification, updating, and data input preparation - Vol.

What is a public sector pension worth?

We measure accruals in defined benefit (DB) pension plans for public and private sector workers in Britain, using typical differences in scheme rules and sector-specific lifetime age-earnings profiles by sex and educational group. We show not just that coverage by DB pension plans is greater in the public sector, but that median pension accruals as a % of salary are almost 5% higher among DB-covered public sector workers than covered private sector workers. This is largely driven by earlier normal pension (retirement) ages. For workers of different ages in the two sectors, marginal accruals also vary as a result of differences in earnings profiles across the sectors. The differences in earnings profiles across sectors should induce caution in using calculated coefficients on wages from cross sections of data in order to estimate sectoral wage effects

Improving estimates of migration flows to Eurostat

In this paper we identify the current mandatory requirements and issues concerning the supply of detailed migration data to Eurostat. Using simple illustrations on immigration to the United Kingdom, we show how substantial and significant improvements can be made to the flows reported by the International Passenger Survey, which contain irregularities and missing data due to its relatively small sample size. Our general methodology is based on the idea of smoothing, repairing and combining data within multiplicative component framework

Nuclear rocket shielding methods, modification, updating, and input data preparation. Volume 2 - Compilation of neutron and photon cross section data Final progress report

Compilation of neutron and photon cross section data using computer programs developed for nuclear rocket shielding methods, modification, updating, and input data preparation - Vol.

Synthesis of calculational methods for the design and analysis of radiation shields for nuclear rocket systems. Volume 7 - NAGS, a Fortran 4 data processing program for calculation of neutron and gamma ray sources and neutron and gamma ray heating in two dimensional geometries Final progress report

Neutron flux and gamma ray source edit computer program for design and analysis of radiation shields in nuclear rocket system

Synthesis of calculational methods for the design and analysis of radiation shields for nuclear rocket systems. Volume 2 - Analysis of radiation measurements in a nuclear rocket propellant tank mockup using simulated liquid hydrogen

Calculational methods for nuclear rocket radiation shield design - analysis of radiation measurements in nuclear rocket propellant tank mockup using simulated liquid hydroge

Gradual Certified Programming in Coq

Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gradual typing allows for a smooth transition from dynamically-typed to statically-typed programs, it seems desirable to support a gradual path to certified programming. We explore gradual certified programming in Coq, providing the possibility to postpone the proofs of selected properties, and to check "at runtime" whether the properties actually hold. Casts can be integrated with the implicit coercion mechanism of Coq to support implicit cast insertion a la gradual typing. Additionally, when extracting Coq functions to mainstream languages, our encoding of casts supports lifting assumed properties into runtime checks. Much to our surprise, it is not necessary to extend Coq in any way to support gradual certified programming. A simple mix of type classes and axioms makes it possible to bring gradual certified programming to Coq in a straightforward manner.Comment: DLS'15 final version, Proceedings of the ACM Dynamic Languages Symposium (DLS 2015