An elliptic theory is constructed for operators acting in subspaces defined via even pseudodifferential projections. Index formulas are obtained for operators on compact manifolds without boundary and for general boundary value problems. A connection with Gilkey's theory of η-invariants is established.

An elliptic theory is constructed for operators acting in subspaces defined via even pseudodifferential projections. Index formulas are obtained for operators on compact manifolds without boundary and for general boundary value problems. A connection with Gilkey's theory of η-invariants is established.

The paper deals with the calculation of the fractional part of the η-invariant for elliptic self-adjoint operators in topological terms. The method used to obtain the corresponding formula is based on the index theorem for elliptic operators in subspaces obtained in [1], [2]. It also utilizes K-theory with coefficients Zsub(n). In particular, it is shown that the group K(T*M,Zsub(n)) is realized by elliptic operators (symbols) acting in appropriate subspaces.

The topological significance of the spectral Atiyah-Patodi-Singer η-invariant is investigated. We show that twice the fractional part of the invariant is computed by the linking pairing in K-theory with the orientation bundle of the manifold. The Pontrjagin duality implies the nondegeneracy of the linking form. An example of a nontrivial fractional part for an even-order operator is presented.

We give a formula for the η-invariant of odd order operators on even-dimensional manifolds, and for even order operators on odd-dimensional manifolds. Geometric second order operators are found with nontrivial η-invariants. This solves a problem posed by P. Gilkey.

The present thesis describes two experiments performed in the storage ring CELSIUS at The Svedberg Laboratory in Uppsala. In the first experiment the importance of three - nucleon clustering in the six - nucelon system was investigated. The total cross section for the production of the ground state and the 3.56 MeV second excited state of 6Li in the 3He(3He,6Li)π+ reaction has been measured at two beam energies, 261.1 and 262.5 MeV, corresponding to center - of - mass energies 1.2 and 1.9 MeV above the production threshold for the 3.56 MeV state. For the ground state the result was 347 ± 84 ± 42 and 92 ± 84 ± 11 nb respectively. The result for the 3.56 MeV state, 104 ± 23 ± 12 and 56 ± 35 ± 7 nb respectively, is compared to the result of a previous study where the 3.56 MeV state was populated in the d(4He,6Li)π0 reaction. In the second experiment a clean sample of 5×105 eta mesons was prepared by means of the d(p,3He)η reaction. Eta production was tagged by the precise determination of the kinetic energy of the associated 3He ions. In the subsequent decay of eta mesons, channels with lepton - anti - lepton pairs were studied in the WASA detector. In a separate study properties of the WASA deuterium pellet target were investigated and in particular the effects on the beam of the beam - target interactions. In both sets of experiments the fused nuclear system was detected by means of a zero - degree spectrometer with a semiconductor detector telescope. Choosing the detectors to match the rather different requirements, precise information regarding the identity and the momentum of the detected ions could be obtained in both cases.

Les dommages de l'ADN interfèrent avec sa réplication et sa transcription. Ils sont en général éliminés par des mécanismes de réparation, en particulier par la réparation par excision de nucléotides (NER). Ils peuvent également être tolérés grâce à la synthèse translésionnelle (TLS). Au cours de mon travail de thèse, nous avons étudié l'implication de la voie NER et de l'ADN polymérase η (Polη) associée à la TLS dans la réponse aux lésions de l'ADN induites par les rayons ultraviolet (UV) et par une drogue chimiothérapeutique, la doxorubicine. Les principales lésions induites par les rayons UV sont les dimères de pyrimidine cyclobutane (CPDs) et les pyrimidines (6-4) pyrimidones (6-4PPs) qui sont éliminées par la NER. Les données obtenues sur la formation de régions d'ADN simple brin et celles du cycle cellulaire suggèrent que les lésions 6-4PPs sont tolérées par un mécanisme de réparation post-réplicative dans des cellules XP-C déficientes en NER (xeroderma pigmentosum du groupe C). Dans un second temps, mon objectif a été de déterminer la contribution de Polη dans la prise en charge des lésions induites par les rayons UV dans les cellules XP-C. En effet, il est connu que Polη est responsable de la réplication des CPDs, mais l'absence de Polη dans des cellules proficientes en NER ne les rend pas hypersensibles aux rayons UV. De plus, il a été suggéré que Polη soit impliquée dans la TLS des 6-4PPs. En réprimant par shARN l'expression du gène codant Polη dans les cellules XP-C, j'ai réussi à établir la première lignée stable de fibroblastes humains déficients à la fois en NER et en Polη (XP-C/PolηKD). Cette réduction fonctionnelle de l'expression de Polη dans les cellules XP-C irradiées à faible dose d'UV a entraîné un arrêt irréversible du cycle cellulaire, la génération de cassures simple- et double-brin de l'ADN et une mortalité cellulaire significative. Ces résultats montrent un rôle crucial de Polη dans la survie des cellules déficientes en NER après irradiation UV et suggèrent que Polη puisse participer aussi à la TLS des 6-4PPs.Par ailleurs, nous avons montré que les cellules déficientes en NER ou en Polη ont été sensibilisées par un traitement à la doxorubicine indiquant que la NER et Polη participent également de la prise en charge des lésions induites par cet agent. Donc au cours de mon travail de thèse, j'ai mis en évidence des interconnexions complexes entre Polη et la voie NER en réponses à différents agents génotoxiques.

No description available.

Les langages de programmation fonctionnels, comme OCaml ou Haskell, reposent sur le lambda calcul en tant que langage noyau. Bien qu'ils aient des stratégies de réduction et des caractéristiques de système de types différentes, leur preuve de correction et de normalisation (en l'absence de réduction) devrait être factorisable. Cette thèse établit une telle factorisation pour des systèmes de types théoriques présentant des types récursifs, du sous-typage, du polymorphisme borné et du polymorphisme contraint. Il est intéressant de remarquer que la correction et la normalisation en réduction forte, implique la correction et la normalisation pour toutes les stratégies usuelles. Notre travail montre qu'une généralisation des coercions actuelles permet de décrire toutes les caractéristiques de systèmes de types citées plus haut de manière effaçable et composable. Nous illustrons ceci en présentant deux systèmes de types concrets : tout d'abord, un système de types explicite avec une forme restreinte d'abstraction sur les coercions pour exprimer le sous-typage et le polymorphisme borné ; puis un système de types implicite sans restriction sur l'abstraction de coercions et qui étend le système explicite avec des types récursifs and du polymorphisme contraint --- mais sans le propriété de préservation du typage. Un résultat annexe est l'adaptation des techniques de step-indexing pour la correction à des calculs en réduction forte.

A comparative study is done on the Mini Drift Chamber (MDC) and the Scintillating Electromagnetic Calorimeter (SEC), two main components of the WASA detector. The purpose of the study is to determine the most effective way to calculate the mass of the η−meson by determining the invariant mass of the final products in the η → e+e− decay. When calculating the invariant mass of the lepton pair the distribution from the MDC had a standard deviation of σMDC = (4.212 ± 0.080) · 10−2 GeV/c2 and from the SEC σSEC = (3.563±0.011)·10−2 GeV/c2. To get a precise measurement, events with a lepton scattering at a polar angle below 30◦ have to be rejected, and to achieve highest precision, it is favorable to use the SEC for momenta above 0.28 GeV/c and the MDC below, respectively. In this study, a combined method is developed which results in an invariant mass resolution of σMix = (3.341±0.012)·10−2 GeV/c2. Thus, the combined method gives a small improvement compared to using the SEC alone, but a considerable improvement compared to using only the MDC.