Universality Of Human Rights: The Case Of The Death Penalty

THE ISSUE OF THE UNIVERSALITY OF HUMAN RIGHTS Forty-five years after the adoption of the Universal Declaration of Human Rights the international community met in Vienna to elaborate the human rights agenda for the next twenty-five years

Integrating a Global Induction Mechanism into a Sequent Calculus

Most interesting proofs in mathematics contain an inductive argument which requires an extension of the LK-calculus to formalize. The most commonly used calculi for induction contain a separate rule or axiom which reduces the valid proof theoretic properties of the calculus. To the best of our knowledge, there are no such calculi which allow cut-elimination to a normal form with the subformula property, i.e. every formula occurring in the proof is a subformula of the end sequent. Proof schemata are a variant of LK-proofs able to simulate induction by linking proofs together. There exists a schematic normal form which has comparable proof theoretic behaviour to normal forms with the subformula property. However, a calculus for the construction of proof schemata does not exist. In this paper, we introduce a calculus for proof schemata and prove soundness and completeness with respect to a fragment of the inductive arguments formalizable in Peano arithmetic.Comment: 16 page

Image Slicer Performances from a Demonstrator for the SNAP/JDEM Mission - Part I: Wavelength Accuracy

A well-adapted visible and infrared spectrograph has been developed for the SNAP (SuperNova/Acceleration Probe) experiment proposed for JDEM. The instrument should have a high sensitivity to see faint supernovae but also a good redshift determination better than 0.003(1+z) and a precise spectrophotometry (2%). An instrument based on an integral field method with the powerful concept of imager slicing has been designed. A large prototyping effort has been performed in France which validates the concept. In particular a demonstrator reproducing the full optical configuration has been built and tested to prove the optical performances both in the visible and in the near infrared range. This paper is the first of two papers. The present paper focus on the wavelength measurement while the second one will present the spectrophotometric performances. We adress here the spectral accuracy expected both in the visible and in the near infrared range in such configuration and we demonstrate, in particular, that the image slicer enhances the instrumental performances in the spectral measurement precision by removing the slit effect. This work is supported in France by CNRS/INSU/IN2P3 and by the French spatial agency (CNES) and in US by the University of California.Comment: Submitted to PAS

The biological effects of bilirubin photoisomers

Although phototherapy was introduced as early as 1950's, the potential biological effects of bilirubin photoisomers (PI) generated during phototherapy remain unclear. The aim of our study was to isolate bilirubin PI in their pure forms and to assess their biological effects in vitro. The three major bilirubin PI (ZE- and EZ-bilirubin and Z-lumirubin) were prepared by photo-irradiation of unconjugated bilirubin. The individual photoproducts were chromatographically separated (TLC, HPLC), and their identities verified by mass spectrometry. The role of Z-lumirubin (the principle bilirubin PI) on the dissociation of bilirubin from albumin was tested by several methods: peroxidase, fluorescence quenching, and circular dichroism. The biological effects of major bilirubin PI (cell viability, expression of selected genes, cell cycle progression) were tested on the SH-SY5Y human neuroblastoma cell line. Lumirubin was found to have a binding site on human serum albumin, in the subdomain IB (or at a close distance to it); and thus, different from that of bilirubin. Its binding constant to albumin was much lower when compared with bilirubin, and lumirubin did not affect the level of unbound bilirubin (Bf). Compared to unconjugated bilirubin, bilirubin PI did not have any effect on either SH-SY5Y cell viability, the expression of genes involved in bilirubin metabolism or cell cycle progression, nor in modulation of the cell cycle phase. The principle bilirubin PI do not interfere with bilirubin albumin binding, and do not exert any toxic effect on human neuroblastoma cells