<effects of low energy proton irradiation on solar cells< monthly progress report, jan. 1965

Low energy proton irradiated solar cells using sun simulato

Race, diversity and criminal justice in Canada:a view from the UK

ABSTRACT This article examines the way in which those employed in the Canadia

Charged Particle Radiation Damage in Semiconductors, I- Experimental Proton Irradiation of Solar Cells

Proton irradiation of solar cell

A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code

Code generators for realistic application domains are not directly verifiable in practice. In the certifiable code generation approach the generator is extended to generate logical annotations (i.e., pre- and postconditions and loop invariants) along with the programs, allowing fully automated program proofs of different safety properties. However, this requires access to the generator sources, and remains difficult to implement and maintain because the annotations are cross-cutting concerns, both on the object-level (i.e., in the generated code) and on the meta-level (i.e., in the generator). Here we describe a new generic post-generation annotation inference algorithm that circumvents these problems. We exploit the fact that the output of a code generator is highly idiomatic, so that patterns can be used to describe all code constructs that require annotations. The patterns are specific to the idioms of the targeted code generator and to the safety property to be shown, but the algorithm itself remains generic. It is based on a pattern matcher used to identify instances of the idioms and build a property-specific abstracted control flow graph, and a graph traversal that follows the paths from the use nodes backwards to all corresponding definitions, annotating the statements along these paths. This core is instantiated for two generators and successfully applied to automatically certify initialization safety for a range of generated programs

Biases in the Quasar Mass-Luminosity Plane

We find that the recently reported departure from the Eddington luminosity limit for the highest quasar black hole masses at a given redshift is an artifact due to biases in black hole mass measurements. This sub-Eddington boundary (with non-unity slope) in the quasar mass-luminosity plane was initially reported by Steinhardt & Elvis (2010a) using the FWHM-based black hole mass catalogue of Shen et al. (2008). However, the significance of the boundary is reduced when the FWHM-based mass-scaling relationship is recalibrated following Wang et al. (2009) and using the most updated reverberation mapping estimates of black hole masses. Furthermore, this boundary is not seen using mass estimates based on the line dispersion of the same quasars' MgII emission lines. Thus, the initial report of a sub-Eddington boundary with non-unity slope was due to biases in estimating masses using the FWHM of a fit of one or two Gaussians to quasar MgII emission lines. We provide evidence that using the line dispersion of the MgII line produces less biased black hole mass estimates.Comment: 11 pages, 10 figures, Accepted for publication in MNRA

Beyond Basic Needs: Social Support and Structure for Successful Offender Reentry

Barriers to successful reentry have long been identified as impeding an offender’s ability to successfully reenter society upon release from incarceration. As a result, research has long examined what shared obstacles the majority of offenders often face upon reentering society. Much of the research identifies factors such as poor education, obtaining/maintaining employment, stable housing, and transportation as common barriers to successful reentry. By using in-depth interviews with ex-offenders deemed as successful that were conducted by two respective non-profit agencies, the present study explores what significant requirements, if any, successful offenders perceive to need and/or have experienced as lacking while attempting to successfully reenter society. Findings from this study highlight that many of the research- identified needs are not major barriers because they are often provided for by various non-profit agencies. Furthermore, successful ex-offenders overwhelmingly identify poor social support as a major barrier that oftentimes remains neglected in government and non-profit organizational programming

A contribution to laser range imaging technology

The goal of the project was to develop a methodology for fusion of a Laser Range Imaging Device (LRID) and camera data. Our initial work in the project led to the conclusion that none of the LRID's that were available were sufficiently adequate for this purpose. Thus we spent the time and effort on the development of the new LRID with several novel features which elicit the desired fusion objectives. In what follows, we describe the device developed and built under contract. The Laser Range Imaging Device (LRID) is an instrument which scans a scene using a laser and returns range and reflection intensity data. Such a system would be extremely useful in scene analysis in industry and space applications. The LRID will be eventually implemented on board a mobile robot. The current system has several advantages over some commercially available systems. One improvement is the use of X-Y galvonometer scanning mirrors instead of polygonal mirrors present in some systems. The advantage of the X-Y scanning mirrors is that the mirror system can be programmed to provide adjustable scanning regions. For each mirror there are two controls accessible by the computer. The first is the mirror position and the second is a zoom factor which modifies the amplitude of the position of the parameter. Another advantage of the LRID is the use of a visible low power laser. Some of the commercial systems use a higher intensity invisible laser which causes safety concerns. By using a low power visible laser, not only can one see the beam and avoid direct eye contact, but also the lower intensity reduces the risk of damage to the eye, and no protective eyeware is required

Mothers of Future Kings: The Madonna Redux Phenomenon

The visual culture that created Diana was motivated by Victorian constrictions of motherhood that enforced notions of stability and lineage. This article examines the cultural metaphors of nurturance – the “Madonna redux phenomenon” – in images of Diana, and in her predecessor Princess Alexandra. I argue that images of royal motherhood are staged affairs, constructed and performed as part of the Princesses’ main role as dutiful and loving mothers. Finally, I point up how moments of agency can be achieved within these images and how Diana, “the postfeminist princess,” embraced these moments