A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Most approaches to the formal analyses of cryptographic protocols make the perfect cryptography assumption, i.e. the hypothese that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to rely on a weaker hypothesis on the computational cost of gaining information about the plaintext pertaining to a ciphertext without knowing the key. Such a view is permitted by the Generic Model and the Random Oracle Model which provide non-standard computational models in which one may reason about the computational cost of breaking a cryptographic scheme. Using the proof assistant Coq, we provide a machine-checked account of the Generic Model and the Random Oracle Mode

Automating Security Analysis: Symbolic Equivalence of Constraint Systems

We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity or strong secrecy). Infinite sets of possible traces are symbolically represented using deducibility constraints. We give a new algorithm that decides the trace equivalence for the traces that are represented using such constraints, in the case of signatures, symmetric and asymmetric encryptions. Our algorithm is implemented and performs well on typical benchmarks. This is the first implemented algorithm, deciding symbolic trace equivalence

Enceladus: Cassini observations and implications for the search for life

Aims. The recent Cassini discovery of water vapor plumes ejected from the south pole of the Saturnian satellite, Enceladus, presents a unique window of opportunity for the detection of extant life in our solar system. Methods. With its significant geothermal energy source propelling these plumes >80 km from the surface of the moon and the ensuing large temperature gradient with the surrounding environment, it is possible to have the weathering of rocks by liquid water at the rock/liquid interface. For the cases of the putatively detected salt-water oceans beneath the ice crusts of Europa and Callisto, an isolated subsurface ocean without photosynthesis or contact with an oxidizing atmosphere will approach chemical equilibrium and annihilate any ecosystems dependent on redox gradients unless there is a substantial alternative energy source. This thermodynamic tendency imposes severe constraints on any biota that is based on chemical energy. On Enceladus, the weathering of rocks by liquid water and any concomitant radioactive emissions are possible incipient conditions for life. If there is CO, CO2 and NH3 present in the spectra obtained from the plume, then this is possible evidence that amino acids could be formed at the rock/liquid interface of Enceladus. The combination of a hydrological cycle, chemical redox gradient and geochemical cycle give favorable conditions for life. Results. We discuss the search for signatures of these species and organics in the Cassini UVIS spectra of the plume and implications for the possible detection of life

Roles of binding elements, FOXL2 domains, and interactions with cJUN and SMADs in regulation of FSHβ.

We previously identified FOXL2 as a critical component in FSHβ gene transcription. Here, we show that mice deficient in FOXL2 have lower levels of gonadotropin gene expression and fewer LH- and FSH-containing cells, but the same level of other pituitary hormones compared to wild-type littermates, highlighting a role of FOXL2 in the pituitary gonadotrope. Further, we investigate the function of FOXL2 in the gonadotrope cell and determine which domains of the FOXL2 protein are necessary for induction of FSHβ transcription. There is a stronger induction of FSHβ reporter transcription by truncated FOXL2 proteins, but no induction with the mutant lacking the forkhead domain. Specifically, FOXL2 plays a role in activin induction of FSHβ, functioning in concert with activin-induced SMAD proteins. Activin acts through multiple promoter elements to induce FSHβ expression, some of which bind FOXL2. Each of these FOXL2-binding sites is either juxtaposed or overlapping with a SMAD-binding element. We determined that FOXL2 and SMAD4 proteins form a higher order complex on the most proximal FOXL2 site. Surprisingly, two other sites important for activin induction bind neither SMADs nor FOXL2, suggesting additional factors at work. Furthermore, we show that FOXL2 plays a role in synergistic induction of FSHβ by GnRH and activin through interactions with the cJUN component of the AP1 complex that is necessary for GnRH responsiveness. Collectively, our results demonstrate the necessity of FOXL2 for proper FSH production in mice and implicate FOXL2 in integration of transcription factors at the level of the FSHβ promoter

The nuclear spectrum of the radio galaxy NGC 5128 (Centaurus A)

We present near-infrared spectra of the nuclear disk in the nearby radio galaxy NGC 5128 (Centaurus A). On the basis of the observed strengths of the [S III] 0.9532um and [Fe II] 1.2567um lines, we classify NGC 5128 as a LINER. Modeling of the strengths of these and additional lines suggests that the nuclear region is powered by shocks rather than photoionization.Comment: 12 pages including 2 figures, accepted by ApJ Letter

Discrete Model of Ideological Struggle Accounting for Migration

A discrete in time model of ideological competition is formulated taking into account population migration. The model is based on interactions between global populations of non-believers and followers of different ideologies. The complex dynamics of the attracting manifolds is investigated. Conversion from one ideology to another by means of (i) mass media influence and (ii) interpersonal relations is considered. Moreover a different birth rate is assumed for different ideologies, the rate being assumed to be positive for the reference population, made of initially non-believers. Ideological competition can happen in one or several regions in space. In the latter case, migration of non-believers and adepts is allowed; this leads to an enrichment of the ideological dynamics. Finally, the current ideological situation in the Arab countries and China is commented upon from the point of view of the presently developed mathematical model. The massive forced conversion by Ottoman Turks in the Balkans is briefly discussed.Comment: 24 pages, with 5 figures and 52 refs.; prepared for a Special issue of Advances in Complex System

Study into Average Civil Compensation in Mesothelioma Cases

The research provides estimates of average civil compensation and legal costs for occupational mesothelioma cases. It was designed to inform the development of proposals by both the Department for Work and Pensions and the Ministry of Justice in relation to helping mesothelioma victims who cannot trace a liable employer to access compensation and to speed up the settlement process for all victims. Using a variety of measures, average compensation awarded ranged from £137,000 to £153,531 and average legal costs ranged from £22,000 to £28,407. The estimates were based on a survey of 2,334 mesothelioma claims settled between 2007 and 2012. Regression analysis was used to investigate how civil compensation awarded and legal costs varied with the characteristics of the claimant and features of the claim. It was found that civil compensation decreased with the claimant’s age (by around £3,500 per year) and grew over time between 2007 and 2012. Average civil compensation was higher in Scotland than in England and Wales, and also higher where court proceedings were issued and where the claimant was alive at settlement. The length of the case was not associated with the size of civil compensation. The regression analysis found that legal costs increased by £4, on average, for every additional £100 of compensation. Legal costs were higher if the claimant was younger, the claim was made in England and Wales rather than Scotland, the claim was made after 2008, court proceedings were issued, the duration of the case was longer and the claimant was deceased on award

Gender Discrimination and Ageist Perceptions:

This report presents the findings from an ESF Objective 3 Project “Gender Discrimination and Ageist Perceptions”. The project is based at Liverpool John Moores University, in the Faculty of Education, Community and Leisure. Context Older age groups have consistently been undervalued and often discarded by employers, for being too old. They are now being encouraged to re-enter the workplace through schemes such as New Deal 50 plus and Pathways to Work, or to take up volunteering through the promotion of “Active Citizenship”. In addition, the concept of lifelong learning has been advocated by New Labour as an attempt to move away from the traditional notions of education, towards a vision in which education forms a lifelong process, which can be accessed at any time during the life course. Yet, despite the lower labour market attachment of the over fifties, people of this age group in higher education account for only around 1% of the student population. There is a variety of ways in which people approaching their mid life would, on the face of it, be able to access work, education or volunteering experiences. However, past research and current data suggest that there appear to be barriers to the take up of such opportunities. The Aim This study set out to investigate the experiences and perceptions of women and men aged over fifty and the organisations which impact upon their lives, in an effort to understand more fully the potential barriers this age group may face when accessing opportunities, employment, training or education. Background Gender disadvantages in the world of work have been well documented. Increasingly, age perceptions are thought to be a factor in older peoples’ access to employment and training opportunities. Data shows that the and only a tenth of those are on employer and government training programmes (TAEN, 2006). The demographic change, with more people living longer, coupled with low birth rates, is creating an expanding older population and fuelling oncerns over labour shortages. There is, therefore, an economic imperative to draw workers back into work via a variety of avenues. Despite over 70% of women now participating in the workforce, the employment patterns of men and women show that only 21% of women over 40 are in full-time employment, compared with 46% of men. Women have not had the same opportunities as men to build a career or to earn the equivalent of males due to their child-rearing and caring responsibilities, with many continuing to be concentrated in traditionally low paid sectors. The pay gap between some men and women is widening,despite the long history of legislation on equal pay. To compound the situation, older women are now said to be facing a double jeopardy of age and gender discrimination. Tackling discrimination has been at the heart of equal opportunities legislation designed to prevent unequal treatment regardless of gender,race and disability. The Sex Discrimination Act (SDA) and Equal Pay Act (EPA) both came into force in 1975. Each Act attempted to redress the inequalities suffered by (mainly) women in terms of employment and education. The Bill to establish the Commission for Equality and Human Rights (CEHR) received Royal Assent on 16th February 2006 and will provide an integrated approach to all forms of discrimination including that on the grounds of age

Surface Transitions for Confined Associating Mixtures

Thin films of binary mixtures that interact through isotropic forces and directionally specific "hydrogen bonding" are considered through Monte Carlo simulations. We show, in good agreement with experiment, that the single phase of these mixtures can be stabilized or destabilized on confinement. These results resolve a long standing controversy, since previous theories suggest that confinement only stabilizes the single phase of fluid mixtures.Comment: LaTeX document, documentstyle[aps,preprint]{revtex}, psfig.sty, bibtex, 13 pages, 4 figure