Search

Your search keyword '"Loulergue, A."' showing total 2,023 results
Start Over Author "Loulergue, A."
2,023 results on '"Loulergue, A."'

2. Towards Formal Verification of a TPM Software Stack

Author

Ziani, Yani, Kosmatov, Nikolai, Loulergue, Frédéric, Pérez, Daniel Gracia, and Bernier, Téo

Subjects
Computer Science - Software Engineering, 68Q60, D.2.4
Abstract

The Trusted Platform Module (TPM) is a cryptoprocessor designed to protect integrity and security of modern computers. Communications with the TPM go through the TPM Software Stack (TSS), a popular implementation of which is the open-source library tpm2-tss. Vulnerabilities in its code could allow attackers to recover sensitive information and take control of the system. This paper describes a case study on formal verification of tpm2-tss using the Frama-C verification platform. Heavily based on linked lists and complex data structures, the library code appears to be highly challenging for the verification tool. We present several issues and limitations we faced, illustrate them with examples and present solutions that allowed us to verify functional properties and the absence of runtime errors for a representative subset of functions. We describe verification results and desired tool improvements necessary to achieve a full formal verification of the target code., Comment: 28 pages

Published
2023

3. Verified Scalable Parallel Computing with Why3

Author

Proust, Olivia and Loulergue, Frédéric

Subjects
Computer Science - Software Engineering
Abstract

BSML is a pure functional library for the multi-paradigm language OCaml. BSML embodies the principles of the Bulk Synchronous Parallel (BSP) model, a model of scalable parallel computing. We propose a formalization of BSML primitives with WhyML, the specification language of Why3 and specify and prove the correctness of most of the BSML standard library. Finally, we develop and verify the correctness of a small BSML application.

Published
2023

7. Combining Deductive Verification with Shape Analysis

Author

Bernier, Téo, Ziani, Yani, Kosmatov, Nikolai, Loulergue, Frédéric, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Beyer, Dirk, editor, and Cavalcanti, Ana, editor

Published
2024
Full Text
View/download PDF

8. Verified High Performance Computing: The SyDPaCC Approach

Author

Loulergue, Frédéric, Ed-Dbali, Ali, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ben Hedia, Belgacem, editor, Maleh, Yassine, editor, and Krichen, Moez, editor

Published
2024
Full Text
View/download PDF

9. Towards Formal Verification of a TPM Software Stack

Author

Ziani, Yani, Kosmatov, Nikolai, Loulergue, Frédéric, Gracia Pérez, Daniel, Bernier, Téo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Herber, Paula, editor, and Wijs, Anton, editor

Published
2024
Full Text
View/download PDF

10. First production of X-rays at the ThomX high-intensity Compton source

Author

Jacquet, Marie, Alexandre, Patrick, Alkadi, Muath, Alves, Manuel, Amer, Manar, Amoudry, Loic, Auguste, Didier, Babigeon, Jean-Luc, Balcou, Philippe, Baltazar, Michel, Benabderrahmane, Chamseddine, el Fekih, Rachid Ben, Benoit, Alain, Berteaud, Philippe, Biagini, Marica, Blin, Alexandre, Bobault, Sébastien, Bonanzingamarco, Marco, Bonenfant, Jean, Bonis, Julien, Bouanani, Yazid, Bouaziz, Said, Bouvet, François, Bravin, Alberto, Bruni, Christelle, Bruyere, Cyril, Bzyl, Harold, Cassinari, Lodovico, Cassou, Kevin, Cayla, Jean-Noël, Chabaud, Thomas, Chaikovska, Iryna, Chance, Sophie, Chapelle, Christophe, Chaumat, Vincent, Chiche, Ronic, Cobessi, Alain, Cormier, Eric, Cornebise, Patrick, Couprie, Marie-Emmanuelle, Cuoq, Renaud, Dalifard, Olivier, Degallaix, Jérôme, Delerue, Nicolas, Del Net, William, Diaz, Antonio, Dietrich, Yannick, Diop, Massamba, Dorkel, Remy, Douillet, Denis, Drebot, Illya, Dugal, Jean-Phillipe, Dupraz, Kevin, Dupuy, Eric, El Ajjouri, Moussa, El Kamchi, Noureddine, El Khaldi, Mohamed, Elleaume, Hélène, Ergenlik, Ezgi, Estève, François, Favier, Pierre, Fernandez, Marco, Gamelin, Alexis, Garaut, Jean-François, Garolfi, Luca, Gauron, Philippe, Gauthier, Frédéric, Girault, Pascal, Gonnin, Alexandre, Grasset, Denis, Guerard, Eric, Guler, Hayg, Haissinski, Jacques, Hazemann, Jean-Louis, Helder, Dias, Herbeaux, Christian, Herry, Emmanuel, Hodeau, Jean-Louis, Horodynski, Jean-Michel, Hubert, Nicolas, Iaquaniello, Gregory, Jacquet, Philippe, Jeantet, Philippe, Jehanno, Didier, Jules, Eric, Kapoujyan, Grigor, Kubytskyi, Viacheslav, Labat, Marie, Labaye, François, Lacipière, Jerome, Lacroix, Mickaël, Lahéra, Eric, Langlet, Marc, Lebarillec, Titouan, Ledu, Jean-François, Le Duc, Géraldine, Le Guidec, Damien, Leluan, Bruno, Lepercq, Pierre, Lestrade, Alain, Letellier-cohen, Frédéric, Letrésor, Antoine, Lhermite, Jérôme, Liu, Xing, Lopes, Robert, Loulergue, Alexandre, Louvet, Marc, Mageur, Christophe, Marchand, Patrick, Marie, Rodolphe, Marrucho, Jean-Claude, Marteau, Fabrice, Martens, Aurélien, Mercadier, Gabriel, Mercier, Bruno, Michel, Christophe, Mistretta, Eric, Monard, Hugues, Moutardier, Alexandre, Muller, Didier, Nadji, Amor, Nadolski, Laurent, Nagaoka, Ryutaro, Neveu, Olivier, Nutarelli, Daniele, Omeich, Maher, Pedeau, Dominique, Peinaud, Yann, Perroux, Gilles, Pérus, Antoine, Petit, Sylvain, Petrilli, Yannick, Pichet, Marc, Pieyre, Bernard, Pinard, Laurent, Plaige, Eric, Pollina, Jean Pierre, Prévost, Christophe, Proux, Olivier, Ribeiro, Fernand, Robert, Pierre, Ros, Manuel, Roulet, Thomas, Roux, Raphael, Roy, Emmanuel, Rudnicky, Philippe, Salvia, Julien, Sebdaoui, Mourad, Sierra, Serge, Soskov, Viktor, Sreedharan, Rajesh, Susini, Jean, Taurigna-Quéré, Monique, Trochet, Stéphane, Vallerand, Cynthia, Variola, Alessandro, Veteran, José, Vitez, Olivier, Walter, Philippe, Wicek, François, Wurth, Sébastien, and Zomer, Fabian

Published
2024
Full Text
View/download PDF

13. Analysis of off-momentum nonlinear driving terms for enlarging off-momentum dynamic apertures

Author

Bingfeng Wei, Zhenghe Bai, Guangyao Feng, Alexandre Loulergue, Laurent S. Nadolski, and Ryutaro Nagaoka

Subjects
Nuclear and particle physics. Atomic energy. Radioactivity, QC770-798
Abstract

Due to scattering, particles in a ring may have large momentum deviations, which will change their dynamics, potentially resulting in particle losses. Optimization of off-momentum nonlinear dynamics is, therefore, important for increasing beam lifetime. When analyzing off-momentum dynamics using the approach of resonance driving terms (RDTs), chromatic RDTs are usually used, which denote the deviations from on-momentum dynamics. In this paper, instead of using chromatic RDTs, we propose using off-momentum RDTs to analyze off-momentum dynamics, which is a more direct way. As in the case of on-momentum dynamics, the nonlinear driving terms for off-momentum particles include off-momentum RDTs and off-momentum amplitude-dependent tune shifts, which are calculated based on off-momentum linear optics. Similar to the analysis of on-momentum dynamics in our previous work [B. Wei et al., Phys. Rev. Accel. Beams 26, 084001 (2023)PRABCJ2469-988810.1103/PhysRevAccelBeams.26.084001], we study the fluctuation or variation of off-momentum RDTs along the longitudinal position, which is very effective for analyzing and optimizing off-momentum dynamic apertures (DAs). Similar results are obtained for the off-momentum case: (i) minimizing the element-by-element average of the RDTs is more effective than minimizing one-turn RDTs in enlarging DAs and (ii) minimizing the average of lower-order RDTs helps reduce higher-order RDTs.

Published
2024
Full Text
View/download PDF

14. Experience Report: Teaching Code Analysis and Verification Using Frama-C

Author

Souaf, Salwa and Loulergue, Frédéric

Subjects
Computer Science - Logic in Computer Science
Abstract

Formal methods provide systematic and rigorous techniques for software development. We strongly believe that they must be taught in computer science curricula. In this paper we present the pedagogic rationale and the concrete implementation of two courses on the use of formal methods, sharing some material. These courses promote the usage of formal verification to ensure safety and security of software, exemplified in the domain of the Internet of Things., Comment: In Proceedings AppFM 2021, arXiv:2111.07538

Published
2021
Full Text
View/download PDF

15. Listeria monocytogenes-associated spontaneous bacterial peritonitis in France: a nationwide observational study of 208 cases

Author

Abdou, Mohamed, Abdulhai, Ayman, Abdulhal, Ayman, Abel, Samy, Abergel, Armand, Aberrane, Saïd, Abraham, Bruno, Adler, Maxime, Agard, Christian, Agha-Mir, Ilhem, Aguilar, Claire, Agulles, Baptiste, Aldallal, Hamza, Alric, Laurent, Amiot, Xavier, Andrau, Pierre, Andrieux, Vladimir, Ansart, Séverine, Anty, Rodolphe, Archambeaud, Isabelle, Arem, Samir, Armand, Laurence, Aubailly, Lucie, Audibert, Juliette, Auguereau, Olivier, Auvray, Christelle, Aziz, Karime, Bachelier, Marie-Nadège, Bacquaert-Dufour, Karine, Badet, Françoise, Bahallah, Mohamed-Larbi, Balanant, Hélène, Baraduc, Régine, Bardis, Alexandre, Barraud, Olivier, Barrier, Jocelyn, Baudet, Antoine, Baumert, Thomas, Beaugerie, Laurent, Bébéar, Cécile, Becheur, Hakim, Bemer, Pascale, Benard, Caroline, Benezet, Marie-Pierre, Benmahammed, Mohammed, Bennouna, Jaafar, Benseddik, Zehaira, Bensimon, Pierre-Yves, Bental, Abdeslam, Berete, Aliou, Bergier, Jean-Michel, Berkani, Wacila, Bernardi, Franck, Bert, Frederic, Bertrou, Anne, Beuret, Pascal, Beurton-Chataigner, Isabelle, Beuscart, Claude, Beusnel, Christine, Bevilacqua, Sibylle, Beze, François, Bideau, Karine, Bidegain, Frédéric, Billon, Laura, Blaison, Gilles, Blanc, Michèle, Blanc, Pierre, Blanchi, Sophie, Blancho, Gilles, Bland, Stephane, Blondeau, Vincent, Boldron, Amale, Bon, Djemah, Bonacorsi, Stéphane, Bonzon, Lucas, Borderon, Anaïs, Botelho-Nevers, Elisabeth, Bottlaender, Jacques, Bouc-Boucher, Mathilde, Bouchaud, Olivier, Bougon, David, Boukelikha, Khaled, Bourlet, Thomas, Boussoukaya, Samy, Boutaleb, Hamza, Bouziges, Nicole, Bray, Philippe, Bréchet, Caroline, Bret, Laurent, Brieu, Nathalie, Briffaut, David, Brochet, Christine, Brulez-Des-Varannes, Stanislas, Brunel, Valéry, Brung-Lefebvre, Maud, Bureau, Christophe, Burucoa, Christophe, Buscail, Louis, Buzele, Rodolphe, Cadot, Catherine, Cadranel, Jean-Francois, Cady, Anne, Caillon, Jocelyne, Camiade, Sabine, Campillo, Bernard, Carbonnel, Franck, Carbonnelle, Etienne, Cardot-Martin, Émilie, Cariou, Marie-Estelle, Carles, Michel, Caron, Francois, Carrara-Delarue, Lucrecia, Carrier, Paul, Castang, Céline, Castellano, Inès, Cattoir, Vincent, Caubet, Olivier, Causse, Xavier, Chabrol, Amélie, Chanard, Emmanuel, Chatagnon, Thomas, Chazouilleres, Olivier, Chedanni, Halima, Chevrel, Pauline, Chirol, Catherine, Chirouze, Catherine, Chouquer, Renaud, Clavière, Christophe, Codreuil, Sylvain, Colardelle, Philippe, Combarnous, François, Commeau, Grégory, Cornillet, Anne, Corvec, Stephane, Costa, Yannick, Couderc, Philippe, Couffon, Caroline, Courivaud, Cécile, Courtade, Henri, Cruchant, Etienne, Cuen, David, Culard, Jean-François, Cung, Hong Ahn, Dahyot, Sandrine, D'Altéroche, Louis, Dao, Manh Thông, Darfeuil, Fabien, Darnaud, Céline, Daure, Sophie, De Grossouvre-Taillefer, Ludivine, Debriel, Dominique, Debrueres, Jacques, Decaens, Thomas, Decambron, Audrey, Decre-Grapinet, Dominique, Degand, Nicolas, Dehaye, Bruno, Delacour, Thierry, Delarbe, Jean-Marie, Delobel, Pierre, Delpierre, Éric, Delrez, René, Delvert, Didier, Demartino, Sylvie, Deniel, Marie-Clémence, Denis, Bernard, Derumeaux, Guy, Desroches, Marine, Dessein, Rodrigue, Devillez, Simon, Deweerdt, Didier, Diamantis, Sylvain, Diaz, Emmanuel, Didier, Raffenot, Dimartino, Vincent, Dion, Ludivine, Djemai, Mohand, Doche, Christophe, Donascimento, Maud, Dorval, Ian, Douala, Carol, Doucet-Populaire, Florence, Drouillat, Valérie, Dubée, Vincent, Dudermel, Anne-France, Dumont, Betty, Dupin, Clarisse, Dupont, Mathieu, Dupont, Philippe, Dupuy, Marion, Dupuychaffray, Jean-Pierre, Durand, Francois, Dusser, Pascale, Duval, Valérie, Duveau, Nicolas, El-Azouzi, Abdelghani, El-Gharras, Hynd, Elsendoorn, Antoine, Emile, Loïc, Epaulard, Olivier, Etchepare, Nicolas, Etienne, Jean-Pierre, Eveillard, Mathieu, Evers, Annie, Fach, Joelle, Faizoun, Claudia, Fangous, Marie-Sarah, Farmachidi, Jean Pierre, Fatome, Armelle, Faulques, Bernard, Faure, Karine, Felix, Charlotte, Ferec, Marc, Ferey, Janine, Ferracci, Serge, Feryn, Jean-Marc, Fesler, Pierre, Fiette, Hélène, Flevin, Emilie, Floch, Pauline, Fort, Eric, Fortineau, Nicolas, Fourcade, Jacques, Fraissinet, François, Franck, Patricia, Françoise, Thiebaut, Fratte, Serge, Galempoix, Jean-Marc, Garcera, Yves, Garcia, Anne, Garcon, Pierre, Garret, Charlotte, Gayet, Clement, Gazeau, Pierre, Gerber, Florence, Gilles, Raclot, Gillot, Jean-Michel, Goarant, Eric, Godreuil, Sylvain, Goret, Julien, Gorret, Julie, Goujard, Cecile, Goulenok, Thiphaine, Gournay, Jérôme, Gousseff, Marie, Goux, Alain, Graf, Emmanuelle, Grange, Jean-Didier, Gravet, Alain, Greder-Belan, Alix, Gronier, Olivier, Grosset, Marine, Guellouz, Sabra, Guenenna, Dalida, Guerbaa, Mohammed, Guerin, Meggie, Guerrot, Dominique, Guery, Benoit, Gugenheim, Jean, Guidet, Bertrand, Guiheneuf, Raphael, Guillet-Caruba, Christelle, Guimard, Yves, Guinard, Jérome, Guindre, Laure, Hagege, Albert, Hagege, Hervé, Haineaux, Paul-Arthur, Hamon, Rémy, Hassan, Firas, Hassine, Mélanie, Helie, Ludovic, Herber-Mayne, Anne, Hervio, Pascale, Héry-Arnaud, Geneviève, Hitoto, Hikombo, Hubsch, Théophile, Hunaut, Nicolas, Hurtova, Monika, Husson-Wetzel, Stéphanie, Hutin, Pascal, Izopet, Théo, Jacob, Jean-Louis, Jacomet, Christine, Jaffar-Bandjee, Marie-Christine, Janvier, Fréderic, Jaulhac, Benoît, Jaureguiberry, Stephane, Javaud, Nicolas, Jeannot, Katty, Joundy, Noureddine, Kacem, Moez, Karama, Rouis, Karsenti, David, Kempf, Marie, Khatibi, Sarah, Kikolski, Florence, Kittirath, Christine, Koch, Stephane, Kouatchet-Achille, Tchamba, Krummel, Yves, La Combe, Karine, Labarriere, Damien, Laberenne, Jean-Eric, Lacroix, Hervé, Ladrat, Laure, Lagarde, Stéphanie, Lagasse, Jean-Paul, Laggoune, Ahmed-Saïd, Lambare, Benedicte, Landgraf, Nathalie, Landraud, Luce, Laude, Jean-Francois, Laurent, François, Lavigne, Jean-Philippe, Lavoue, Vincent, Le Berre, Rozenn, Le Goff, Vallérie, Lebars, Hervé, Lebrun, Armandine, Lecapitaine, Anne-Lise, Lechat, Sylvie, Lecoustumier, Alain, Ledreau, Gérard, Lefevre, Benjamin, Leflon, Véronique, Lefort, Agnès, Legall, Florence, Legoff, Isabelle, Legrand, Eric, Lehello, Simon, Le-Henaff-Bourhis, Catherine, Leleu, Olivier, Lelievre, Lucie, Lemaignen, Adrien, Lemaire, Xavier, Le-Maout, Charles, Lemblé, Chantal, Lemeille, Yolande, Lemenand, Olivier, Lemeunier, Violaine, Lemeur, Yannick, Lemierre, Sylvia, Leotard, Sophie, Lepileur, Lucie, Letellier-Demonchy, Claire, Levecq, Hervé, Levy, Marc, Limal, Nicolas, Locher, Christophe, Lopez, Benjamin, Loron, Marie-Charlotte, Loulergue, Joelle, Loury-Larivière, Isabelle, Loustaud-Ratti, Véronique, Macchi, Valèrie, Machado, Moise, Madaule, Serge, Mainardi, Jean-Luc, Males, Silvija, Malherbe, Philippe, Maneglier, Benjamin, Marceau, Maryline, Marcel, Kévin, Marmonier, Alain, Martha, Benoît, Martin, Xavier, Martin-Blondel, Guillaume, Martinez, Camille, Marty, Fabrice, Marty, Patrick, Matray, Olivier, Maurin, Arnaud, Mazerand, Sandie, Mazouz, Nadia, Medevielle, Muriel, Mercat, Alain, Méreghetti, Laurent, Merzoug, Noureddine, Meziane, Ilham, Michaud, Anthony, Michel, Marc, Michel, Pierre, Mignard, Sophie, Milesi-Lecat, Anne-Marie, Mion, Mathieu, Mnasri, Nabil, Mohareb, Abdo, Mohib, Samir, Moindrot, Henri, Monlun, Eric, Montewis, Audrey, Morin, Thierry, Moussata, Driffa, Muller, Sandrine, Muzellec, Valérie, Nancey, Stéphane, Nassereddine, Ahmad, Naude, Sebastien, Neau, Didier, Ovidiu, Negru Calin, Ngo, Thuy, Ngwhotue, Marthe-Andree, Nivet, Patrick, Nordmann, Patrice, Nousbaum, Jean-Baptiste, Nouvel, Bernadette, Obled, Stephane, Oswald, Eric, Otto, Marie-Pierre, Pageaux, Georges-Philippe, Papin, Gregory, Parant, Fabrice, Patenotte, Arnaud, Paupard, Thierry, Pauwels, Arnaud, Pawlotsky, Jean Michel, Pelloux, Hervé, Perlemuter, Gabriel, Peron, Jean-Marie, Pestel-Caron, Martine, Peter, Natasha, Petillon, Sophie, Petit, Richard, Petitprez, Helene, Pettinelli, Francois, Phelip, Jean Marc, Philit, Jean-Baptiste, Phoutthasang, Valérie, Pialoux, Gilles, Piau-Couapel, Caroline, Pichard, Benoit, Pichon, Maxime, Picon-Coste, Magali, Picque, Marie, Pierson, Henri, Piques, Jean Francois, Piton, Béatrice, Planade, Orianne, Plassart, Claire, Plésiat, Patrick, Ploy, Marie-Cécile, Poubeau, Patrice, Pouderoux, Philippe, Pouedras, Pascal, Pourbaix, Annabelle, Poynard, Thierry, Preau, Florence, Pricope, Dumitrita, Queffelec, Gwenaëlle, Queneherve, Lucille, Quentin, Thomas, Raffenot, Didier, Rakotoniaina, Daniella, Ramanantsoa, Celine, Ramarijaona, Solofoniaina, Rami-Arab, Lila, Raulin, Olivia, Rebibou, Jean Michel, Renault, David, Rey, Philippe, Riche, Agnès, Rigaud, Jean Philippe, Rivière, Antoine, Rivière, Brigitte, Robert, Jérôme, Roblot, Pascal, Roger, Helene, Rolland, Christophe, Rondinaud, Emilie, Rosa-Hezode, Isabelle, Roubille, Martine, Rouquette, Olivier, Roux, Juliette, Ruimy, Raymond, Sachot-Ollivier, Sonia, Sailler, Laurent, Salamant, Sarah, Sarbu-Pop, Silvia, Sartre, Jacques, Schmitt, François, Scribe-Outtas, Myriam, Sefrioui, David, Sehouane, Rachid, Sekhri, Hacène, Serfaty, Lawrence, Sevin, Odile, Shawali, Cédric, Siladi, Souad, Silvain, Christine, Simon, Mireille, Simonet, Batiste, Sinayoko, Leila, Sirach, Estelle, Smati, Mustafa, Smets, Aurélie, Soltani, Dhaoui, Sommabere, André, Soulier-Guerin, Karine, Soulillou, Jean Paul, Soupison, Alain, Souply, Laurent, Soussy, Claude-James, Stampfli, Claire, Strullu, Bernard, Suatean, Diana, Tadjerouni, Nacer, Talarmin, Jean-Philippe, Tankovic, Jacques, Tarroun, Abdullah, Tchuenbou, Juliette, Teboul, Jean-Louis, Tedlaouti, Husni, Tellini, Charlotte, Thabut, Dominique, Thannberger, Philippe, Thiebault, Henri, Thiebaut, Françoise, Thomazeau, Joséphine, Tielman, Guillaume, Timsit, Jean-Francois, Tognon, Patrick, Tougeron, David, Toure, Fatouma, Tran, Albert, Tranvouez, Jean-Luc, Trésallet, Christophe, Trubert, Lise, Tsakiris, Laurent, Twizeyimana, Eterne, Vachee, Anne, Valade, Hélène, Valat, Isabelle, Vandendriessche, Anne, Vandermee, Nathalie, Vanheste, Marc, Varon, Emmanuelle, Vasse, Marc, Vasseur, Philippe, Vaucel, Elisabeth, Vauthier, Anne, Verdavaine-Loidreau, Delphine, Verdet, Charlotte, Verdon, Renaud, Vergnaud, Michel, Véziris, Nicolas, Vignaud, Guillaume, Viguier, Jérôme, Villemain, Marc, Villeneuve, Laurent, Vimont-Vicary, Alexandre, Vincent, Thomas, Vuillemenot, Jean-Baptiste, Walewski, Violaine, Warmoes, Elodie, Watry, Hélène, Weber, Jean-Christophe, Witz, Marie Thérèse, Woerther, Paul-Louis, Yazdanpanah, Yazdan, Zamfir, Oana, Zarka, Jonathan, Zavadil, Patrick, Zeboudj, Nabil, Zerbib, Franck, Blanchard, Florian, Henry, Benoît, Vijayaratnam, Sofieya, Canouï, Etienne, Moura, Alexandra, Thouvenot, Pierre, Bracq-Dieye, Hélène, Tessaud-Rita, Nathalie, Valès, Guillaume, Diakité, Andrée, Leclercq, Alexandre, Lecuit, Marc, and Charlier, Caroline

Published
2024
Full Text
View/download PDF

16. Electrokinetic index: A new metric for advanced characterization of membranes with various geometries

Author

Agathe Lizée, Patrick Loulergue, Anne Pensel, and Anthony Szymczyk

Subjects
Zeta potential, Streaming current, Streaming potential, Flat-sheet membranes, Hollow-fiber membranes, Chemistry, QD1-999
Abstract

Electrokinetic measurements to determine the electrical properties (zeta potential) of membrane surfaces have become increasingly popular in the toolbox of characterization techniques. However, it has been established in the literature that parasitic phenomena such as electrokinetic leakage can hamper data interpretation, leading to not only quantitative but also qualitative errors in membrane zeta potential determination. To date, the only method for highlighting and accounting for electrokinetic leakage is limited to flat-sheet membranes. In this letter, we propose an alternative method that is much less time-consuming and applicable to all membrane geometries. This method is based on the determination of the electrokinetic index, which we define as the ratio of the apparent zeta potentials determined from single measurements of the streaming current and streaming potential coefficients. We show that variation in the electrokinetic index reflects modifications occurring within the membrane matrix (in addition to surface properties alteration). The chemical degradation of polyethersulfone (PES)-based flat-sheet and hollow-fiber membranes is used as a proof of concept, but the proposed approach is readily transposable to other problems of practical interest, such as e.g. membrane fouling. This work also paves the way for the development of a new type of electrokinetic sensors for on-line monitoring of membrane operations.

Published
2024
Full Text
View/download PDF

23. Rebalancing the Historical Female Underrepresentation in Education

Author

Nicolas Dietrich, Gaëlle Lebrun, Kalyani Kentheswaran, Mathias Monnot, Patrick Loulergue, Carine Franklin, Florence Teddé-Zambelli, Chafiaa Djouadi, Sébastien Leveneur, Mallorie Tourbin, Yolaine Bessie're, Carole Coufort-Saudejaud, Annabelle Couvert, and Eric Schaer

Abstract

Women are increasingly present in the field of engineering, but despite a significant female presence, it has been found that the programs continue to make no reference to women scientists. In chemical engineering, for example, all the names of scientists mentioned in the programs belong to men only. To test this hypothesis of over-representation of men in the programs, a series of random opinion surveys were launched among 600 students from 5 universities to find out whether they had noticed this over-representation and what they thought about it. The results showed that the vast majority did not realize that the scientists presented as examples in classes were all men. In fact, 90% of the student panel were unable to identify a woman in the chemical engineering field, and the remaining 10% could cite only one or two who were among the most recent and had received the most attention from the media. The issue of inequalities between girls and boys and between women and men in education remains central to understanding and combating gender inequalities and enabling people to develop as persons free from the limitations imposed on them by gender stereotypes. However, these inequalities cannot only be explained exclusively by the issue of access to education but must also take the type and content of education into account. This article is a call for reflection on the content of university curricula and has a twofold objective: on one hand, to raise awareness of this imbalance in representation among students, both male and female, and, on the other hand, to launch reflection on this "invisibility of women" and to propose some avenues for debate.

Published
2022
Full Text
View/download PDF

26. Free electron lasers driven by plasma accelerators: status and near-term prospects

Author

Emma, C, Van Tilborg, J, Assmann, R, Barber, S, Cianchi, A, Corde, S, Couprie, ME, D’Arcy, R, Ferrario, M, Habib, AF, Hidding, B, Hogan, MJ, Schroeder, CB, Marinelli, A, Labat, M, Li, R, Liu, J, Loulergue, A, Osterhoff, J, Maier, AR, McNeil, BWJ, and Wang, W

Subjects
Nuclear and Plasma Physics, Physical Sciences, plasma accelerators, free electron lasers, novel light sources
Abstract

Owing to their ultra-high accelerating gradients, combined with injection inside micrometer-scale accelerating wakefield buckets, plasma-based accelerators hold great potential to drive a new generation of free-electron lasers (FELs). Indeed, the first demonstration of plasma-driven FEL gain was reported recently, representing a major milestone for the field. Several groups around the world are pursuing these novel light sources, with methodology varying in the use of wakefield driver (laser-driven or beam-driven), plasma structure, phase-space manipulation, beamline design, and undulator technology, among others. This paper presents our best attempt to provide a comprehensive overview of the global community efforts towards plasma-based FEL research and development.

Published
2021

27. Seeded free-electron laser driven by a compact laser plasma accelerator

Author

Labat, Marie, Cabadağ, Jurjen Couperus, Ghaith, Amin, Irman, Arie, Berlioux, Anthony, Berteaud, Philippe, Blache, Frédéric, Bock, Stefan, Bouvet, François, Briquez, Fabien, Chang, Yen-Yu, Corde, Sébastien, Debus, Alexander, De Oliveira, Carlos, Duval, Jean-Pierre, Dietrich, Yannick, El Ajjouri, Moussa, Eisenmann, Christoph, Gautier, Julien, Gebhardt, René, Grams, Simon, Helbig, Uwe, Herbeaux, Christian, Hubert, Nicolas, Kitegi, Charles, Kononenko, Olena, Kuntzsch, Michael, LaBerge, Maxwell, Lê, Stéphane, Leluan, Bruno, Loulergue, Alexandre, Malka, Victor, Marteau, Fabrice, Guyen, Manh Huy N., Oumbarek-Espinos, Driss, Pausch, Richard, Pereira, Damien, Püschel, Thomas, Ricaud, Jean-Paul, Rommeluere, Patrick, Roussel, Eléonore, Rousseau, Pascal, Schöbel, Susanne, Sebdaoui, Mourad, Steiniger, Klaus, Tavakoli, Keihan, Thaury, Cédric, Ufer, Patrick, Valléau, Mathieu, Vandenberghe, Marc, Vétéran, José, Schramm, Ulrich, and Couprie, Marie-Emmanuelle

Published
2023
Full Text
View/download PDF

28. Interferometry for full temporal reconstruction of laser-plasma accelerator-based seeded free electron lasers

Author

Labat, M., Bielawski, S., Loulergue, A., Corde, S., Couprie, M. E., and Roussel, E.

Subjects
Physics - Accelerator Physics
Abstract

The spectacular development of Laser-Plasma Accelerators (LPA) appears very promising for a free electron laser application. The handling of the inherent properties of those LPA beams already allowed controlled production of LPA-based spontaneous undulator radiation. Stepping further, we here unveil that the forthcoming LPA-based seeded FELs will present singular spatio-spectral distributions. Relying on numerical simulations and simple analytical models, we show how those interferometric patterns can be exploited to retrieve, in single-shot, the spectro-temporal content and source point properties of the FEL pulses.

Published
2019
Full Text
View/download PDF

31. Green Solvent Extraction of Antioxidants from Herbs and Agro-Food Wastes: Optimization and Capacity Determination

Author

Malo Hamieau, Patrick Loulergue, and Aleksandra Szydłowska-Czerniak

Subjects
deep eutectic solvents, ultrasound-assisted extraction, antioxidant capacity, plant materials, Box–Behnken design, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
Abstract

Herbs and agro-food wastes are rich sources of bioactive compounds vital for organisms and valuable for many fields of industry. Therefore, in this study, green deep eutectic solvents (DESs) such as choline chloride/citric acid (ChCl:CitA), glucose/citric acid (Gu:CitA), glucose/urea (Gu:U), betaine/citric acid (B:CitA), and betaine/urea (B:U) at a molar ratio of 1:1 for ultrasound-assisted extraction (UAE) of antioxidants from four herbs (chamomile—Cha, lemon balm—LB, mint—M, and nettle—N) and two agro-food wastes (buckwheat husk—BH and chokeberry pomace—ChoP) were proposed. The antioxidant capacity (AC) of the obtained extracts was evaluated utilizing three antioxidant assays: cupric reducing antioxidant capacity (CUPRAC = 0.0–429.9 μmol of Trolox (TE)/g); 2,2′-azino-bis(3-ethylbenzothiazoline-6-sulfonic acid) (ABTS = 0.0–146.5 μmol TE/g); and 2,2-diphenyl-1-picrylhydrazyl (DPPH = 11.9–170.3 μmol TE/g). The LB extracts revealed the highest CUPRAC (59.3–429.9 μmol TE/g), ABTS (30.7–144.3 μmol TE/g), and DPPH (32.6–170.3 μmol TE/g) values. Due to the lowest antioxidant potential of LB extracts prepared using ChCl:CitA (AC = 30.7–59.3 μmol TE/g) and the highest AC demonstrated by extracts based on B:U (AC = 144.3–429.9 μmol TE/g), the UAE conditions using a new DES consisting of ChCl and U were optimized by the Box–Behnken design (BBD). Effects of three independent variables, molar ratios of the ChCl and U (mol/mol), water content (%), and sonication time (t) on the AC of LB extracts were studied by response surface methodology (RSM). The results of principal component analysis (PCA) and hierarchical cluster analysis (HCA) demonstrated that different DESs had great differences in the extraction of antioxidant compounds from herbs and agro-food residues.

Published
2024
Full Text
View/download PDF

32. Robustness of a plasma acceleration based Free Electron Laser

Author

Labat, M., Loulergue, L., Andre, T., Andriyash, I., Ghaith, A., Khojoyan, M., Marteau, F., Valleau, M., Briquez, F., and Benabderrahmane, C.

Subjects
Physics - Accelerator Physics
Abstract

Laser Plasma Accelerators (LPA) can sustain GeV/m accelerating fields offering outstanding new possibilities for compact applications. Despite the impressive recent developments, the LPA beam quality is still significantly lower than in the conventional radio-frequency accelerators, which is an issue in the cases of demanding applications such as Free Electron Lasers (FELs). If the electron beam duration is below few tens of femtosecond keeping pC charges, the mrad level divergence and few percent energy spread are particularly limiting. Several concepts of transfer line were proposed to mitigate those intrinsic properties targetting undulator radiation applications. We study here the robustness of the chromatic matching strategy for FEL amplification at 200~nm in a dedicated transport line, and analyze its sensitivity to several parameters. We consider not only the possible LPA source jitters, but also various realistic defaults of the equipment such as magnetic elements misalignements or focussing strength errors, unperfect undulator fields, etc...

Published
2018
Full Text
View/download PDF

34. From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation

Author

Blanchard, Allan, Loulergue, Frédéric, and Kosmatov, Nikolai

Subjects
Computer Science - Programming Languages
Abstract

Frama-C is a software analysis framework that provides a common infrastructure and a common behavioral specification language to plugins that implement various static and dynamic analyses of C programs. Most plugins do not support concurrency. We have proposed Conc2Seq, a Frama-C plugin based on program transformation, capable to leverage the existing huge code base of plugins and to handle concurrent C programs. In this paper we formalize and sketch the proof of correctness of the program transformation principle behind Conc2Seq, and present an effort towards the full mechanization of both the formalization and proofs with the proof assistant Coq., Comment: In Proceedings VPT 2017, arXiv:1708.06887

Published
2017
Full Text
View/download PDF

35. Electron and photon diagnostics for plasma acceleration based FELs

Author

Labat, Marie, Ajjouri, Moussa El, Hubert, Nicolas, Thomas, Thomas Andre, Loulergue, Alexandre, and Couprie, Marie-Emmanuelle

Subjects
Physics - Accelerator Physics, 00B25
Abstract

It is now well established that laser plasma acceleration (LPA) is an innovative and good candidate in the beam acceleration field. Relativistic beams are indeed produced up to several GeV but their quality remains to be demonstrated in the highly demanding case of Free Electron Lasers (FELs). Several experiments already showed the feasibility of synchrotron radiation delivery based on a LPA but free electron lasing has still to be achieved. Since the quality of the LPA beam inside the undulator is the critical issue, any LPA based FEL experiment requires a refined characterization of the beam properties along the transport line and of the photon beam at the undulator exit. This characterization relies on diagnostics which must be adapted to the LPA specificities. We will review the electron and photon diagnostics already used on LPAs and required for LPA based FELs, and illustrate the critical points using recent experiments performed around the world.

Published
2017

36. Variable high gradient permanent magnet quadrupole (QUAPEVA)

Author

Marteau, F ., N'gotta, P., Benabderrahmane, C., Ghaith, A., Valléau, M., Loulergue, A., Vétéran, J., Sebdaoui, M., André, T., Bec, G. Le, Chavanne, J., Vallerand, C., Oumbarek, D., Cosson, O., Forest, F., Jivkov, P., Lancelot, J. L., and Couprie, M. E.

Subjects
Physics - Accelerator Physics
Abstract

High gradient quadrupoles are necessary for different applications such as laser plasma acceleration, colliders, and diffraction limited light sources. Permanent magnet quadrupoles provide a higher field strength and compactness than conventional electro-magnets. An original design of permanent magnet based quadrupole (so-called "QUAPEVA"), composed of a Halbach ring placed in the center with a bore radius of 6 mm and surrounded by four permanent magnet cylinders capable of providing a gradient of 210 T/m, is presented. The design of the QUAPEVAs, including magnetic simulation modeling, and mechanical issues are reported. Magnetic measurements of seven systems of different lengths are presented and confirmed the theoretical expectations. The variation of the magnetic center while changing the gradient strength is +/- 10 micrometer. A triplet of three QUAPEVA magnets are used to focus a beam with large energy spread and high divergence that is generated by Laser Plasma Acceleration source for a free electron laser demonstration., Comment: 4 pages, 9 figures

Published
2017
Full Text
View/download PDF

37. Reflections on the Design of Parallel Programming Frameworks

Author

Niculescu, Virginia, Sterca, Adrian, Loulergue, Frédéric, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Ali, Raian, editor, Kaindl, Hermann, editor, and Maciaszek, Leszek A., editor

Published
2021
Full Text
View/download PDF

38. Polyhydroxyalkanoates (PHAs) for the Fabrication of Filtration Membranes

Author

Tomietto, Pacôme, Loulergue, Patrick, Paugam, Lydie, Audic, Jean-Luc, Pisello, Anna Laura, Editorial Board Member, Hawkes, Dean, Editorial Board Member, Bougdah, Hocine, Editorial Board Member, Rosso, Federica, Editorial Board Member, Abdalla, Hassan, Editorial Board Member, Boemi, Sofia-Natalia, Editorial Board Member, Mohareb, Nabil, Editorial Board Member, Mesbah Elkaffas, Saleh, Editorial Board Member, Bozonnet, Emmanuel, Editorial Board Member, Pignatta, Gloria, Editorial Board Member, Mahgoub, Yasser, Editorial Board Member, De Bonis, Luciano, Editorial Board Member, Kostopoulou, Stella, Editorial Board Member, Pradhan, Biswajeet, Editorial Board Member, Abdul Mannan, Md., Editorial Board Member, Alalouch, Chaham, Editorial Board Member, O. Gawad, Iman, Editorial Board Member, Nayyar, Anand, Editorial Board Member, Amer, Mourad, Series Editor, Zhang, Zhien, editor, Zhang, Wenxiang, editor, and Chehimi, Mohamed Mehdi, editor

Published
2021
Full Text
View/download PDF

41. Listeria monocytogenes-associated spontaneous bacterial peritonitis in France: a nationwide observational study of 208 cases

Author

Blanchard, Florian, primary, Henry, Benoît, additional, Vijayaratnam, Sofieya, additional, Canouï, Etienne, additional, Moura, Alexandra, additional, Thouvenot, Pierre, additional, Bracq-Dieye, Hélène, additional, Tessaud-Rita, Nathalie, additional, Valès, Guillaume, additional, Diakité, Andrée, additional, Leclercq, Alexandre, additional, Lecuit, Marc, additional, Charlier, Caroline, additional, Abdou, Mohamed, additional, Abdulhai, Ayman, additional, Abdulhal, Ayman, additional, Abel, Samy, additional, Abergel, Armand, additional, Aberrane, Saïd, additional, Abraham, Bruno, additional, Adler, Maxime, additional, Agard, Christian, additional, Agha-Mir, Ilhem, additional, Aguilar, Claire, additional, Agulles, Baptiste, additional, Aldallal, Hamza, additional, Alric, Laurent, additional, Amiot, Xavier, additional, Andrau, Pierre, additional, Andrieux, Vladimir, additional, Ansart, Séverine, additional, Anty, Rodolphe, additional, Archambeaud, Isabelle, additional, Arem, Samir, additional, Armand, Laurence, additional, Aubailly, Lucie, additional, Audibert, Juliette, additional, Auguereau, Olivier, additional, Auvray, Christelle, additional, Aziz, Karime, additional, Bachelier, Marie-Nadège, additional, Bacquaert-Dufour, Karine, additional, Badet, Françoise, additional, Bahallah, Mohamed-Larbi, additional, Balanant, Hélène, additional, Baraduc, Régine, additional, Bardis, Alexandre, additional, Barraud, Olivier, additional, Barrier, Jocelyn, additional, Baudet, Antoine, additional, Baumert, Thomas, additional, Beaugerie, Laurent, additional, Bébéar, Cécile, additional, Becheur, Hakim, additional, Bemer, Pascale, additional, Benard, Caroline, additional, Benezet, Marie-Pierre, additional, Benmahammed, Mohammed, additional, Bennouna, Jaafar, additional, Benseddik, Zehaira, additional, Bensimon, Pierre-Yves, additional, Bental, Abdeslam, additional, Berete, Aliou, additional, Bergier, Jean-Michel, additional, Berkani, Wacila, additional, Bernardi, Franck, additional, Bert, Frederic, additional, Bertrou, Anne, additional, Beuret, Pascal, additional, Beurton-Chataigner, Isabelle, additional, Beuscart, Claude, additional, Beusnel, Christine, additional, Bevilacqua, Sibylle, additional, Beze, François, additional, Bideau, Karine, additional, Bidegain, Frédéric, additional, Billon, Laura, additional, Blaison, Gilles, additional, Blanc, Michèle, additional, Blanc, Pierre, additional, Blanchi, Sophie, additional, Blancho, Gilles, additional, Bland, Stephane, additional, Blondeau, Vincent, additional, Boldron, Amale, additional, Bon, Djemah, additional, Bonacorsi, Stéphane, additional, Bonzon, Lucas, additional, Borderon, Anaïs, additional, Botelho-Nevers, Elisabeth, additional, Bottlaender, Jacques, additional, Bouc-Boucher, Mathilde, additional, Bouchaud, Olivier, additional, Bougon, David, additional, Boukelikha, Khaled, additional, Bourlet, Thomas, additional, Boussoukaya, Samy, additional, Boutaleb, Hamza, additional, Bouziges, Nicole, additional, Bray, Philippe, additional, Bréchet, Caroline, additional, Bret, Laurent, additional, Brieu, Nathalie, additional, Briffaut, David, additional, Brochet, Christine, additional, Brulez-Des-Varannes, Stanislas, additional, Brunel, Valéry, additional, Brung-Lefebvre, Maud, additional, Bureau, Christophe, additional, Burucoa, Christophe, additional, Buscail, Louis, additional, Buzele, Rodolphe, additional, Cadot, Catherine, additional, Cadranel, Jean-Francois, additional, Cady, Anne, additional, Caillon, Jocelyne, additional, Camiade, Sabine, additional, Campillo, Bernard, additional, Carbonnel, Franck, additional, Carbonnelle, Etienne, additional, Cardot-Martin, Émilie, additional, Cariou, Marie-Estelle, additional, Carles, Michel, additional, Caron, Francois, additional, Carrara-Delarue, Lucrecia, additional, Carrier, Paul, additional, Castang, Céline, additional, Castellano, Inès, additional, Cattoir, Vincent, additional, Caubet, Olivier, additional, Causse, Xavier, additional, Chabrol, Amélie, additional, Chanard, Emmanuel, additional, Chatagnon, Thomas, additional, Chazouilleres, Olivier, additional, Chedanni, Halima, additional, Chevrel, Pauline, additional, Chirol, Catherine, additional, Chirouze, Catherine, additional, Chouquer, Renaud, additional, Clavière, Christophe, additional, Codreuil, Sylvain, additional, Colardelle, Philippe, additional, Combarnous, François, additional, Commeau, Grégory, additional, Cornillet, Anne, additional, Corvec, Stephane, additional, Costa, Yannick, additional, Couderc, Philippe, additional, Couffon, Caroline, additional, Courivaud, Cécile, additional, Courtade, Henri, additional, Cruchant, Etienne, additional, Cuen, David, additional, Culard, Jean-François, additional, Cung, Hong Ahn, additional, Dahyot, Sandrine, additional, D'Altéroche, Louis, additional, Dao, Manh Thông, additional, Darfeuil, Fabien, additional, Darnaud, Céline, additional, Daure, Sophie, additional, De Grossouvre-Taillefer, Ludivine, additional, Debriel, Dominique, additional, Debrueres, Jacques, additional, Decaens, Thomas, additional, Decambron, Audrey, additional, Decre-Grapinet, Dominique, additional, Degand, Nicolas, additional, Dehaye, Bruno, additional, Delacour, Thierry, additional, Delarbe, Jean-Marie, additional, Delobel, Pierre, additional, Delpierre, Éric, additional, Delrez, René, additional, Delvert, Didier, additional, Demartino, Sylvie, additional, Deniel, Marie-Clémence, additional, Denis, Bernard, additional, Derumeaux, Guy, additional, Desroches, Marine, additional, Dessein, Rodrigue, additional, Devillez, Simon, additional, Deweerdt, Didier, additional, Diamantis, Sylvain, additional, Diaz, Emmanuel, additional, Didier, Raffenot, additional, Dimartino, Vincent, additional, Dion, Ludivine, additional, Djemai, Mohand, additional, Doche, Christophe, additional, Donascimento, Maud, additional, Dorval, Ian, additional, Douala, Carol, additional, Doucet-Populaire, Florence, additional, Drouillat, Valérie, additional, Dubée, Vincent, additional, Dudermel, Anne-France, additional, Dumont, Betty, additional, Dupin, Clarisse, additional, Dupont, Mathieu, additional, Dupont, Philippe, additional, Dupuy, Marion, additional, Dupuychaffray, Jean-Pierre, additional, Durand, Francois, additional, Dusser, Pascale, additional, Duval, Valérie, additional, Duveau, Nicolas, additional, El-Azouzi, Abdelghani, additional, El-Gharras, Hynd, additional, Elsendoorn, Antoine, additional, Emile, Loïc, additional, Epaulard, Olivier, additional, Etchepare, Nicolas, additional, Etienne, Jean-Pierre, additional, Eveillard, Mathieu, additional, Evers, Annie, additional, Fach, Joelle, additional, Faizoun, Claudia, additional, Fangous, Marie-Sarah, additional, Farmachidi, Jean Pierre, additional, Fatome, Armelle, additional, Faulques, Bernard, additional, Faure, Karine, additional, Felix, Charlotte, additional, Ferec, Marc, additional, Ferey, Janine, additional, Ferracci, Serge, additional, Feryn, Jean-Marc, additional, Fesler, Pierre, additional, Fiette, Hélène, additional, Flevin, Emilie, additional, Floch, Pauline, additional, Fort, Eric, additional, Fortineau, Nicolas, additional, Fourcade, Jacques, additional, Fraissinet, François, additional, Franck, Patricia, additional, Françoise, Thiebaut, additional, Fratte, Serge, additional, Galempoix, Jean-Marc, additional, Garcera, Yves, additional, Garcia, Anne, additional, Garcon, Pierre, additional, Garret, Charlotte, additional, Gayet, Clement, additional, Gazeau, Pierre, additional, Gerber, Florence, additional, Gilles, Raclot, additional, Gillot, Jean-Michel, additional, Goarant, Eric, additional, Godreuil, Sylvain, additional, Goret, Julien, additional, Gorret, Julie, additional, Goujard, Cecile, additional, Goulenok, Thiphaine, additional, Gournay, Jérôme, additional, Gousseff, Marie, additional, Goux, Alain, additional, Graf, Emmanuelle, additional, Grange, Jean-Didier, additional, Gravet, Alain, additional, Greder-Belan, Alix, additional, Gronier, Olivier, additional, Grosset, Marine, additional, Guellouz, Sabra, additional, Guenenna, Dalida, additional, Guerbaa, Mohammed, additional, Guerin, Meggie, additional, Guerrot, Dominique, additional, Guery, Benoit, additional, Gugenheim, Jean, additional, Guidet, Bertrand, additional, Guiheneuf, Raphael, additional, Guillet-Caruba, Christelle, additional, Guimard, Yves, additional, Guinard, Jérome, additional, Guindre, Laure, additional, Hagege, Albert, additional, Hagege, Hervé, additional, Haineaux, Paul-Arthur, additional, Hamon, Rémy, additional, Hassan, Firas, additional, Hassine, Mélanie, additional, Helie, Ludovic, additional, Herber-Mayne, Anne, additional, Hervio, Pascale, additional, Héry-Arnaud, Geneviève, additional, Hitoto, Hikombo, additional, Hubsch, Théophile, additional, Hunaut, Nicolas, additional, Hurtova, Monika, additional, Husson-Wetzel, Stéphanie, additional, Hutin, Pascal, additional, Izopet, Théo, additional, Jacob, Jean-Louis, additional, Jacomet, Christine, additional, Jaffar-Bandjee, Marie-Christine, additional, Janvier, Fréderic, additional, Jaulhac, Benoît, additional, Jaureguiberry, Stephane, additional, Javaud, Nicolas, additional, Jeannot, Katty, additional, Joundy, Noureddine, additional, Kacem, Moez, additional, Karama, Rouis, additional, Karsenti, David, additional, Kempf, Marie, additional, Khatibi, Sarah, additional, Kikolski, Florence, additional, Kittirath, Christine, additional, Koch, Stephane, additional, Kouatchet-Achille, Tchamba, additional, Krummel, Yves, additional, La Combe, Karine, additional, Labarriere, Damien, additional, Laberenne, Jean-Eric, additional, Lacroix, Hervé, additional, Ladrat, Laure, additional, Lagarde, Stéphanie, additional, Lagasse, Jean-Paul, additional, Laggoune, Ahmed-Saïd, additional, Lambare, Benedicte, additional, Landgraf, Nathalie, additional, Landraud, Luce, additional, Laude, Jean-Francois, additional, Laurent, François, additional, Lavigne, Jean-Philippe, additional, Lavoue, Vincent, additional, Le Berre, Rozenn, additional, Le Goff, Vallérie, additional, Lebars, Hervé, additional, Lebrun, Armandine, additional, Lecapitaine, Anne-Lise, additional, Lechat, Sylvie, additional, Lecoustumier, Alain, additional, Ledreau, Gérard, additional, Lefevre, Benjamin, additional, Leflon, Véronique, additional, Lefort, Agnès, additional, Legall, Florence, additional, Legoff, Isabelle, additional, Legrand, Eric, additional, Lehello, Simon, additional, Le-Henaff-Bourhis, Catherine, additional, Leleu, Olivier, additional, Lelievre, Lucie, additional, Lemaignen, Adrien, additional, Lemaire, Xavier, additional, Le-Maout, Charles, additional, Lemblé, Chantal, additional, Lemeille, Yolande, additional, Lemenand, Olivier, additional, Lemeunier, Violaine, additional, Lemeur, Yannick, additional, Lemierre, Sylvia, additional, Leotard, Sophie, additional, Lepileur, Lucie, additional, Letellier-Demonchy, Claire, additional, Levecq, Hervé, additional, Levy, Marc, additional, Limal, Nicolas, additional, Locher, Christophe, additional, Lopez, Benjamin, additional, Loron, Marie-Charlotte, additional, Loulergue, Joelle, additional, Loury-Larivière, Isabelle, additional, Loustaud-Ratti, Véronique, additional, Macchi, Valèrie, additional, Machado, Moise, additional, Madaule, Serge, additional, Mainardi, Jean-Luc, additional, Males, Silvija, additional, Malherbe, Philippe, additional, Maneglier, Benjamin, additional, Marceau, Maryline, additional, Marcel, Kévin, additional, Marmonier, Alain, additional, Martha, Benoît, additional, Martin, Xavier, additional, Martin-Blondel, Guillaume, additional, Martinez, Camille, additional, Marty, Fabrice, additional, Marty, Patrick, additional, Matray, Olivier, additional, Maurin, Arnaud, additional, Mazerand, Sandie, additional, Mazouz, Nadia, additional, Medevielle, Muriel, additional, Mercat, Alain, additional, Méreghetti, Laurent, additional, Merzoug, Noureddine, additional, Meziane, Ilham, additional, Michaud, Anthony, additional, Michel, Marc, additional, Michel, Pierre, additional, Mignard, Sophie, additional, Milesi-Lecat, Anne-Marie, additional, Mion, Mathieu, additional, Mnasri, Nabil, additional, Mohareb, Abdo, additional, Mohib, Samir, additional, Moindrot, Henri, additional, Monlun, Eric, additional, Montewis, Audrey, additional, Morin, Thierry, additional, Moussata, Driffa, additional, Muller, Sandrine, additional, Muzellec, Valérie, additional, Nancey, Stéphane, additional, Nassereddine, Ahmad, additional, Naude, Sebastien, additional, Neau, Didier, additional, Ovidiu, Negru Calin, additional, Ngo, Thuy, additional, Ngwhotue, Marthe-Andree, additional, Nivet, Patrick, additional, Nordmann, Patrice, additional, Nousbaum, Jean-Baptiste, additional, Nouvel, Bernadette, additional, Obled, Stephane, additional, Oswald, Eric, additional, Otto, Marie-Pierre, additional, Pageaux, Georges-Philippe, additional, Papin, Gregory, additional, Parant, Fabrice, additional, Patenotte, Arnaud, additional, Paupard, Thierry, additional, Pauwels, Arnaud, additional, Pawlotsky, Jean Michel, additional, Pelloux, Hervé, additional, Perlemuter, Gabriel, additional, Peron, Jean-Marie, additional, Pestel-Caron, Martine, additional, Peter, Natasha, additional, Petillon, Sophie, additional, Petit, Richard, additional, Petitprez, Helene, additional, Pettinelli, Francois, additional, Phelip, Jean Marc, additional, Philit, Jean-Baptiste, additional, Phoutthasang, Valérie, additional, Pialoux, Gilles, additional, Piau-Couapel, Caroline, additional, Pichard, Benoit, additional, Pichon, Maxime, additional, Picon-Coste, Magali, additional, Picque, Marie, additional, Pierson, Henri, additional, Piques, Jean Francois, additional, Piton, Béatrice, additional, Planade, Orianne, additional, Plassart, Claire, additional, Plésiat, Patrick, additional, Ploy, Marie-Cécile, additional, Poubeau, Patrice, additional, Pouderoux, Philippe, additional, Pouedras, Pascal, additional, Pourbaix, Annabelle, additional, Poynard, Thierry, additional, Preau, Florence, additional, Pricope, Dumitrita, additional, Queffelec, Gwenaëlle, additional, Queneherve, Lucille, additional, Quentin, Thomas, additional, Raffenot, Didier, additional, Rakotoniaina, Daniella, additional, Ramanantsoa, Celine, additional, Ramarijaona, Solofoniaina, additional, Rami-Arab, Lila, additional, Raulin, Olivia, additional, Rebibou, Jean Michel, additional, Renault, David, additional, Rey, Philippe, additional, Riche, Agnès, additional, Rigaud, Jean Philippe, additional, Rivière, Antoine, additional, Rivière, Brigitte, additional, Robert, Jérôme, additional, Roblot, Pascal, additional, Roger, Helene, additional, Rolland, Christophe, additional, Rondinaud, Emilie, additional, Rosa-Hezode, Isabelle, additional, Roubille, Martine, additional, Rouquette, Olivier, additional, Roux, Juliette, additional, Ruimy, Raymond, additional, Sachot-Ollivier, Sonia, additional, Sailler, Laurent, additional, Salamant, Sarah, additional, Sarbu-Pop, Silvia, additional, Sartre, Jacques, additional, Schmitt, François, additional, Scribe-Outtas, Myriam, additional, Sefrioui, David, additional, Sehouane, Rachid, additional, Sekhri, Hacène, additional, Serfaty, Lawrence, additional, Sevin, Odile, additional, Shawali, Cédric, additional, Siladi, Souad, additional, Silvain, Christine, additional, Simon, Mireille, additional, Simonet, Batiste, additional, Sinayoko, Leila, additional, Sirach, Estelle, additional, Smati, Mustafa, additional, Smets, Aurélie, additional, Soltani, Dhaoui, additional, Sommabere, André, additional, Soulier-Guerin, Karine, additional, Soulillou, Jean Paul, additional, Soupison, Alain, additional, Souply, Laurent, additional, Soussy, Claude-James, additional, Stampfli, Claire, additional, Strullu, Bernard, additional, Suatean, Diana, additional, Tadjerouni, Nacer, additional, Talarmin, Jean-Philippe, additional, Tankovic, Jacques, additional, Tarroun, Abdullah, additional, Tchuenbou, Juliette, additional, Teboul, Jean-Louis, additional, Tedlaouti, Husni, additional, Tellini, Charlotte, additional, Thabut, Dominique, additional, Thannberger, Philippe, additional, Thiebault, Henri, additional, Thiebaut, Françoise, additional, Thomazeau, Joséphine, additional, Tielman, Guillaume, additional, Timsit, Jean-Francois, additional, Tognon, Patrick, additional, Tougeron, David, additional, Toure, Fatouma, additional, Tran, Albert, additional, Tranvouez, Jean-Luc, additional, Trésallet, Christophe, additional, Trubert, Lise, additional, Tsakiris, Laurent, additional, Twizeyimana, Eterne, additional, Vachee, Anne, additional, Valade, Hélène, additional, Valat, Isabelle, additional, Vandendriessche, Anne, additional, Vandermee, Nathalie, additional, Vanheste, Marc, additional, Varon, Emmanuelle, additional, Vasse, Marc, additional, Vasseur, Philippe, additional, Vaucel, Elisabeth, additional, Vauthier, Anne, additional, Verdavaine-Loidreau, Delphine, additional, Verdet, Charlotte, additional, Verdon, Renaud, additional, Vergnaud, Michel, additional, Véziris, Nicolas, additional, Vignaud, Guillaume, additional, Viguier, Jérôme, additional, Villemain, Marc, additional, Villeneuve, Laurent, additional, Vimont-Vicary, Alexandre, additional, Vincent, Thomas, additional, Vuillemenot, Jean-Baptiste, additional, Walewski, Violaine, additional, Warmoes, Elodie, additional, Watry, Hélène, additional, Weber, Jean-Christophe, additional, Witz, Marie Thérèse, additional, Woerther, Paul-Louis, additional, Yazdanpanah, Yazdan, additional, Zamfir, Oana, additional, Zarka, Jonathan, additional, Zavadil, Patrick, additional, Zeboudj, Nabil, additional, and Zerbib, Franck, additional

Published
2024
Full Text
View/download PDF

45. Verified Runtime Assertion Checking for Memory Properties

Author

Ly, Dara, Kosmatov, Nikolai, Loulergue, Frédéric, Signoles, Julien, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ahrendt, Wolfgang, editor, and Wehrheim, Heike, editor

Published
2020
Full Text
View/download PDF

46. Automatic Optimization of Python Skeletal Parallel Programs

Author

Loulergue, Frédéric, Philippe, Jolan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Wen, Sheng, editor, Zomaya, Albert, editor, and Yang, Laurence T., editor

Published
2020
Full Text
View/download PDF

47. Transport studies of LPA electron beam towards the FEL amplification at COXINEL

Author

Khojoyan, M, Briquez, F., Labat, M., Loulergue, A., Marcouillé, O., Marteau, F., Sharma, G., and Couprie, M. E.

Subjects
Physics - Accelerator Physics
Abstract

Laser Plasma Acceleration (LPA) [1] is an emerging concept enabling to generate electron beams with high energy, high peak current and small transverse emittance within a very short distance. The use of LPA can be applied to the Free Electron Laser (FEL) [2] case in order to investigate whether it is suitable for the light amplification in the undulator. However, capturing and guiding of such beams to the undulator is very challenging, because of the large divergence and high energy spread of the electron beams at the plasma exit, leading to large chromatic emittances. A specific beam manipulation scheme was recently proposed for the COXINEL (Coherent X-ray source inferred from electrons accelerated by laser) setup, which makes an advantage from the intrinsically large chromatic emittance of such beams [3]. The electron beam transport is studied using two simulation codes: a SOLEIL in-house one and ASTRA [4]. The influence of the collective effects on the electron beam performance is also examined.

Published
2016
Full Text
View/download PDF

49. Isoniazid-monoresistant tuberculosis in France: Risk factors, treatment outcomes and adverse events

Author

Bouchaud, O., Billard-Pomares, T., Carbonnelle, E., Mechaï, F., Nunes, H., Pellan, M., Morin, A.-S., Dumesnil, C., Dumoulin, J., Roux, A.-L., Jachym, M., le Du, D., Marigot-Outtandy, D., Abgrall, S., Chambrin, V., Guillet, C., Fantin, B., Galy, A., Decousser, J.-W., Lelièvre, J.D., Gallien, S., Nebbad-Lechani, B., Deconinck, L., Bulifon, S., Fortineau, N., Wyplosz, B., Cohen, F., Lemaitre, N., Crestani, B., Grall, N., Pierre-Audigier, C., Rioux, C., Yazdanpanah, Y., Le Jeunne, C., Morand, P., Roche, N., Pavie, J., Loulergue, P., Delcey, V., Lecorché, E., Munier, A.-L., Mougari, F., Sellier, P., Bille, E., Ferroni, A., Guéry, R., Hummel, A., Lourenco, J., Aubry, A., Bonnet, I., Caumes, E., Londner, C., Morel, F., Lacombe, K., Lalande, V., Meynard, J.-L., Veziris, N., De Castro, N., Denis, B., Lafaurie, M., Molina, J.-M., Canestri, A., Lassel, L., Pialoux, G., Verdet, C., Nardi, A.-L., Gominet, M., Catherinot, E., Bachir, Marwa, Guglielmetti, Lorenzo, Tunesi, Simone, Billard-Pomares, Typhaine, Chiesi, Sheila, Jaffré, Jérémy, Langris, Hugo, Pourcher, Valérie, Schramm, Frédéric, Lemaître, Nadine, and Robert, Jérôme

Published
2021
Full Text
View/download PDF

50. Safety and immunogenicity of a two-dose heterologous Ad26.ZEBOV and MVA-BN-Filo Ebola vaccine regimen in adults in Europe (EBOVAC2): a randomised, observer-blind, participant-blind, placebo-controlled, phase 2 trial

Author

McShane, Christopher, Callendret, Benoit, Dincq, Stephanie, Ferrault, Camille, Chai, Siew Pin, Gyselen, Maire Paule, van Looveren, Marleen, van Ballert, Sylvia, de Cnodder, Tinne, Roza, Len, Forcheh, Chiara, Stevens, Kate, Mastrandrea, Carmela, de Ridder, Sanne, Gundluru, Rachana, Swales, Nathalie, Errijegers, Vanessa, Willems, Wouter, Roorda, Veronika, Orzabal, Nicola, Assenberg, Magdalena, Vialatte, Karine, Remblier, Frédéric, Porcar, Elodie, Ottavi, Anton, Destandau, Eugénie, Schwimmer, Christine, Moinot, Laetitia, Wallet, Cédrick, Allais, Florence, Savel, Hélène, Nedjaai, Naouel, Maugard, Anaïs, Lenzi, Nehza, Loulergue, Pierre, Bahuaud, Mathilde, Lainé, Fabrice, Laviolle, Bruno, Boissel, Nolwenn, Thébault, Elise, Vallée, David, Nicolas, Jean-François, Gilbert, Sophie, Dahel, Karima, Sagorny, Karen, Lucht, Frédéric, Paul, Stéphane, Haccourt Chanavat, Alice, Charra, Florent, Mutter, Catherine, Lambour, Monique, Muller, Caroline, Hutt-Clauss, Anne, Aranda, Olivia, Bernard, Louis, Gissot, Valérie, Hallouin-Bernard, Marie-Charlotte, Goudeau, Alain, Suzzoni, Steve, Auostin, Eva, Brick, Lysiane, Lopez-Zaragoza, Jose-Luis, Melic, Giovanna, Carvalho, Murial, Chesnel, Chrystel, Hocini, Hakim, Wiedemann, Aurélie, Hanot, Laurent, Rieux, Véronique, Puri, Adeep, Adeloye, Temitope, Boyce, Malcolm, Dennison, Jeremy, Loewenstein, Inge, Sahgal, Omar, van den Berg, Frans, Calvert, Wendy, Faldon, Mary, McClain, Bruce, Newell, Marie-Lousie, Molenberghs, Geert, Pollard, Andrew J, Launay, Odile, Lelievre, Jean-Daniel, Lacabaratz, Christine, Grande, Sophie, Goldstein, Neil, Robinson, Cynthia, Gaddah, Auguste, Bockstal, Viki, Wiedemann, Aurelie, Leyssen, Maarten, Luhn, Kerstin, Richert, Laura, Bétard, Christine, Gibani, Malick M, Clutterbuck, Elizabeth A, Snape, Matthew D, Levy, Yves, Douoguih, Macaya, and Thiebaut, Rodolphe

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results