Machine-Checked Categorical Diagrammatic Reasoning

Autor: Guillemet, Benoît, Mahboubi, Assia, Piquerez, Matthieu

This paper describes a formal proof library, developed using the Coq proof assistant, designed to assist users in writing correct diagrammatic proofs, for 1-categories. This library proposes a deep-embedded, domain-specific formal language, which fea

Externí odkaz: http://arxiv.org/abs/2402.14485

Can Biomarkers Correctly Predict Ventilator-associated Pneumonia in Patients Treated With Targeted Temperature Management After Cardiac Arrest? An Exploratory Study of the Multicenter Randomized Antibiotic (ANTHARTIC) Study

Autor: Nicolas Deye, MD, PhD, Amelie Le Gouge, MSc, Bruno François, MD, Camille Chenevier-Gobeaux, MD, PhD, Thomas Daix, MD, Hamid Merdji, MD, PhD, Alain Cariou, MD, PhD, Pierre-François Dequin, MD, PhD, Christophe Guitton, MD, Bruno Mégarbane, MD, PhD, Jacques Callebert, PharmD, PhD, Bruno Giraudeau, PhD, Alexandre Mebazaa, MD, PhD, Nicolas Vodovar, PhD, for the Clinical Research in Intensive Care and Sepsis-TRIal Group for Global Evaluation and Research in SEPsis (TRIGGERSEP) Network and the ANtibiotherapy during Therapeutic HypothermiA to pRevenT Infectious Complications (ANTHARTIC) Study Group, Arnaud Desachy, Christophe Cracco, Laurence Robin, Marie Anne Fally, David Schnell, Olivier Baudin, Charles Lafon, Philippe Petua, Stéphane Rouleau, Cyrille Nowak, Gaétan Plantefeve, Hervé Mentec, Olivier Pajot, Damien Contou, Jo-Anna Tirolien, Constance Vuillard, Cécile Zylberfajn, Nadile Ali, Dieudonne Kilendo, Olivia Chauvel, Elias Karam, Pascal Chevallier, Dorothée Ducoux, Fabrice Raymond, Christophe Gellis, Jean-Pierre Quenot, Thérèse Devaux, Audrey Large, Sébastien Mortreux, Pierre-Emmanuel Charles, Sébastien Prin, Jean-Baptiste Roudaut, Pascal Andreu, Auguste Dargent, Nora Perrot, Audrey Massard, Solenne Villot, Corinne Pernot, Bruno Francois, Thomas Daix, Philippe Vignon, Nicolas Pichon, Celine Gonzalez, Nicolas Rodier, Jean François Mary, Ludmila Baudrillart, Christine Vallejo, Emmanuelle Begot, Claire Mancia, Michelle Nouaille, Cécile Duchiron, Sandrine Naturel, Marie-Anne De Vinzellles, Hélène Beacco, Thierry Boulain, Chantal Brossard, Armelle Mathonnet, Dalila Benzekri-Lefevre, Anne Bretagnol, Isabelle Runge, François Barbier, Grégoire Muller, Mai-Anh Nay, Julie Rossi, Lucie Muller, Sophie Tollec, Alain Cariou, Nathalie Marin, Camille Chenevier-Gobeaux, Michel Arnaout, Omar Ben Hadj Salem, Wulfran Bougouin, Simon Bourcier, Benoit Champigneulle, Matthieu Jamme, Alexis Ferre, Guillaume Geri, Frédéric Pene, Julien Charpentier, Jean-Daniel Chiche, Lucie Guillemet, Jean-Paul Mira, Marine Paul, Nicolas Deye, Bruno Megarbane, Alexandre Mebazaa, Isabelle Malissin, Sebastian Voicu, Nicolas Vodovar, Jacques Callebert, Claire Pernin, Lydia Suarez, Philippe Manivet, Dominique Vodovar, Anthony Checinski, Lamia Kerdjana, Pierre Garcon, Antoine Goury, Catherine Fauvaux, Salamata Agne, Nahima Gueblaoui, Aude Jacob, Loic Chimot, Catherine Huchet, Nadège Lacoste, Pierre-Henri Dessalles, Mélanie Saint-Leger, Yannick Monseau, Marie Heil, Ferhat Meziani, Hamid Merdji, DrKhoury, Samir Chenaf, Christine Kummerlen, Yannick Rabouel, Hayat Allam, Anne Hutt-Clauss, Alexandra Monnier, Pierre-François Dequin, Christine Mabilat, Emmanuelle Rouve, Charlotte Salmon-Gandonnière, Denis Garot, Youen Jouan, Stephan Ehrmann, Antoine Guillon, Laetitia Bodet–Contentin, Emmanuelle Mercier, Julie Mankikian, Stéphane Legriel, MrSébastien Cavelot, Christophe Guitton, Charlotte Garret, Cédric Bretonniere, Laurent Nicolat, Noëlle Brule, Olivier Zambon

Publikováno v: Critical Care Explorations, Vol 6, Iss 7, p e1104 (2024)

IMPORTANCE:. Ventilator-associated pneumonia (VAP) frequently occurs in patients with cardiac arrest. Diagnosis of VAP after cardiac arrest remains challenging, while the use of current biomarkers such as C-reactive protein (CRP) or procalcitonin (PC

Externí odkaz: https://doaj.org/article/fb11e94290a64cc089f2f3405cf38a5c

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Innovative ceramic-matrix composite substrates with tunable electrical conductivity for high-power applications

Autor: Driss Kenfaui, Zarel Valdez-Nava, Lionel Laudebat, Marie-Laure Locatelli, Céline Combettes, Vincent Bley, Sorin Dinculescu, Christophe Tenailleau, Pascal Dufour, Sophie Guillemet-Fritsch

Publikováno v: Science and Technology of Advanced Materials, Vol 23, Iss 1, Pp 735-751 (2022)

A wide band gap semiconductor power module can operate at higher voltages as compared with its traditional silicon counterpart. However, its insulating system undergoes stronger electric fields at the triple point between the ceramic substrate, the m

Externí odkaz: https://doaj.org/article/dac2ff76caa24450b15e6bc5a3b880f1

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.