13 research outputs found

    Effects of self-generated electric and magnetic fields in laser-generated fast electron propagation in solid materials: Electric inhibition and beam pinching

    Get PDF
    We present some experimental results which demonstrate the presence of electric inhibition in the propagation of relativistic electrons generated by intense laser pulses, depending on target conductivity. The use of transparent targets and shadowgraphic techniques has made it possible to evidence electron jets moving at the speed of light, an indication of the presence of self-generated strong magnetic fields

    Verifying QUIC implementations using Ivy

    No full text
    QUIC is a new transport protocol combining the reliability and congestion control features of TCP with the security features of TLS. One of the main challenges with QUIC is to guarantee that any of its implementation follows the IETF specification. This challenge is particularly appealing as the specification is written in textual language, and hence may contain ambiguities. In a recent work, McMillan and Zuck proposed a formal representation of part of draft-18 of the IETF specification. They also showed that this representation made it possible to efficiently generate tests to stress four implementations of QUIC. Our first contribution is to complete and extend the formal representation from draft-18 to draft-29. Our second contribution is to test seven implementations of both QUIC client and server. Our last contribution is to show that our tool can highlight ambiguities in the QUIC specification, for which we suggest paths to corrections

    Implementing the plugin distribution system

    No full text
    Recent works proposed to dynamically extend protocol implementations through protocol plugins. While addressing deployment issues, they raise safety concerns (do they terminate, do they act maliciously, ... ). To fill this gap, a system distributing trust in plugin's verification properties was proposed in the literature. However, it was not implemented. This poster demonstrates the feasibility of this approach by providing an open-source implementation of this system. We also extend the state-of-the-art verification works about protocol plugins by considering a new property called side-effects

    xBGP: Faster Innovation in Routing Protocols

    No full text
    Internet Service Providers use routers from multiple vendors that support standardized routing protocols. Network operators deploy new services by tuning these protocols. Unfortunately, while standardization is necessary for interoperability, this is a slow process. As a consequence, new features appear very slowly in routing protocols. We propose a new implementation model for BGP, called xBGP, that enables ISPs to innovate by easily deploying BGP extensions in their multivendor network. We define a vendorneutral xBGP API which can be supported by any BGP implementation and an eBPF Virtual Machine that allows executing extension code within these BGP implementations. We demonstrate the feasibility of our approach by extending both FRRouting and BIRD. We demonstrate seven different use cases showing the benefits that network operators can obtain using xBGP programs. We propose a verification toolchain that enables operators to compile and verify the safety properties of xBGP programs before deploying them. Our testbed measurements show that the performance impact of xBGP is reasonable compared to native code

    An experimental study on the perceived quality of natively graded versus inverse tone mapped high dynamic range video content on television

    No full text
    High Dynamic Range (HDR) television promises to display higher brightness and deeper black levels and thus more vivid and realistic images. However, home video distribution and video broadcasting were historically designed for what we now call standard dynamic range screens (SDR). In order to display SDR content on an HDR screen, it is explicitly or implicitly converted, in a process called inverse tone mapping (iTMO). This paper’s goal is to assess the perceived quality of converted SDR content in comparison to natively graded HDR content. In doing so, this paper aims to enable content creators/distributors to make informed choices between creating/broadcasting HDR content or relying on conversion. To this end, a psychophysical experiment was performed to tests how viewers evaluate the difference between natively graded HDR and a set of SDR to HDR conversion options in a television setup. Results indicate that viewers prefer natively graded HDR content, followed by inverse tone mapping algorithms starting from videos with a compressed dynamic range. When comparing conversion options, users clearly prefer conversion from ‘compressed dynamic range’ SDR over ‘clipped dynamic range’ SDR. Users disliked videos that were naively stretched from standard SDR. In addition, a significant effect of type of sequence was found, with a preference for light scenes with low contrast

    Innovations 2022 en biologie hématologique

    No full text
    L’année 2022 a été celle du retour progressif à la normale après la pandémie COVID-19. Une occasion d’optimiser les processus parfois mis à mal et de mettre à jour les procédures. Une opportunité de se lancer dans de nouveaux défis : réfléchir à l’acquisition de nouveaux équipements pour les années à venir, à l’implémentation de nouvelles techniques plus sensibles, plus rapides, mieux adaptées aux besoins des prescripteurs. Au sein du Laboratoire d’hématologie spéciale, et en particulier dans le secteur de l’hémostase spécialisée, l’automatisation du dosage de la protéine ADAMTS13 était indispensable pour le diagnostic et le suivi biologique des patients présentant un purpura thrombotique thrombocytopénique immun (PTTi). Le décours de cette affection, peu fréquente, peut être rapidement péjoratif en l’absence d’un diagnostic précoce et d’une prise en charge adaptée, guidée par le dosage d’ADAMTS13. Ce dernier permet également d’identifier les patients à risque de rechute qui doivent ainsi bénéficier d’un traitement préventif. La détermination des groupes sanguins érythrocytaires s’effectue la plupart du temps sans difficulté, par des techniques sérologiques. Cependant, dans certaines situations, il est nécessaire de recourir à des techniques de biologie moléculaire. Le Laboratoire d’immunohématologie – biologie moléculaire a implémenté une technique de PCR en temps réel qui permet de réaliser un génotypage érythrocytaire très étendu et de détecter des variants antigéniques passés inaperçus en technique sérologique. Il s’agit d’un outil indispensable pour la détermination de groupes sanguins chez des patients polytransfusés et pour la sélection de poches pour des personnes ayant un groupe sanguin variant ou en délétion. On sait depuis plus de 50 ans que le système HLA joue un rôle central dans l’immunité humaine et qu’il constitue aussi l'un des principaux obstacles à la transplantation d’organe. L’implication des anticorps anti-HLA dans le rejet précoce et tardif est indiscutable. Le Laboratoire d’immunologie leuco-plaquettaire a implémenté en 2021 un nouveau test pour une identification plus spécifique des anticorps anti-HLA cliniquement plus pertinents, permettant de faciliter l’attribution d’un greffon. Durant cette année 2022, les dossiers des patients en attente d’une greffe rénale et qui présentaient des anticorps anti-HLA ont été revus et des contrôles ont été réalisés sur d’anciens sérums en utilisant la nouvelle technique. Ceci a permis de retirer des spécificités anticorps « interdites » chez plus de la moitié des patients augmentant ainsi leur chance de bénéficier d’un greffon compatible. Six patients ont reçu un greffon rénal portant un antigène HLA précédemment répertorié comme interdit avec l’ancienne technologie et retiré après la révision. Actuellement, ces patients ont, tous, montré un greffon fonctionnel sans complication immunologique. Ces résultats seront présentés au congrès de l’EFI (European Foundation for Immunogenetics) en avril 2023. Bien que la transfusion soit une procédure thérapeutique courante et bénéfique pour le patient, elle peut s’accompagner de réactions transfusionnelles. Le diagnostic de celles-ci est parfois flou et malaisé. Le secteur Hémovigilance de la transfusion a dessiné de nouveaux algorithmes décisionnels à partir de la symptomatologie majeure présentée par le patient et du composant sanguin incriminé dans la réaction. Ces algorithmes ont pour but d’orienter vers un diagnostic et, pour ce faire, de déterminer les contrôles et les tests de laboratoire qui doivent être réalisés dans chaque situation. Ces algorithmes ont fait l’objet d’une publication dans la revue de la Société Francophone de Transfusion Sanguine. Bien que des prémices le laissaient suspecter déjà en 2021, la situation de l’approvisionnement en concentrés érythrocytaires de groupe sanguin O négatif s’est encore fortement aggravée durant l’année 2022. La Banque de sang, en concertation avec la direction médicale et le Comité de transfusion, a dû y faire face en mettant en place différentes actions pour tenter d’endiguer l’« hémorragie ». Ceci fait l’objet d’une procédure particulière : mise en place d’indicateurs très stricts et surveillés de façon très étroite, priorisation des indications transfusionnelles, distribution unitaire exclusive (en dehors des situations hémorragiques), décision médicale de transfuser des concentrés érythrocytaires Rh positifs à des receveurs Rh négatifs. Diverses évaluations très précises de cette situation sont encore en cours et seront soumises prochainement à publications. Une action concertée a été mise en place au sein des hôpitaux du réseau et des initiatives sont également prises au niveau national. Finalement, l’année 2022 a également été celle de la publication d’une nouvelle directive européenne et de nouveaux standards EDQM (European Directorate for the Quality of Medicines) définissant désormais le sang comme SoHO (Substance of Human Origin), au même titre que les cellules et les tissus. C’est la raison pour laquelle, il a été décidé que la Banque de sang et le laboratoire d’immunologie érythrocytaire rejoignaient le Département des Banques le 1er janvier 2023
    corecore