Lightweight Interactive Proving inside an Automatic Program Verifier von Dailler, Sylvain, Marché, Claude, Moy, Yannick

Volltext

Instrumenting a weakest precondition calculus for counterexample generation von Dailler, Sylvain, Hauzar, David, Marché, Claude, Moy, Yannick

Volltext

Lightweight Interactive Proving inside an Automatic Program Verifier von Dailler, Sylvain, Marché, Claude, Moy, Yannick

Volltext

Extension paramétrée de compilateur certifié pour la programmation parallèle von Dailler, Sylvain

Volltext bestellen

Risk factors for intraoperative allogeneic blood transfusion during craniotomy for brain tumor removal in children von Vassal, Olivia, Desgranges, François-Pierrick, Tosetti, Sylvain, Burgal, Stéphanie, Dailler, Frédéric, Javouhey, Etienne, Mottolese, Carmine, Chassard, Dominique

Volltext

Évaluation des pertes sanguines peropératoires au cours de l’exérèse de tumeurs intracrâniennes par craniotomie chez l’enfant von Faulcon, Cécile, Desgranges, François-Pierrick, Vassal, Olivia, Burgal, Stéphanie, Tosetti, Sylvain, Dailler, Frédéric, Mottolese, Carmine, Chassard, Dominique

Volltext

How to monitor thiopental administration in the intensive care unit for refectory status epilepticus or intracranial hypertension? von Dabricot, Erika, Seqat, Inès, Dailler, Frédéric, Rheims, Sylvain, Boulogne, Sebastien, Balança, Baptiste

Volltext

Lessons to Learn from Multimodal Neuromonitoring of Brain Death with Electrophysiological Markers of Cortical and Subcortical Loss of Functions von Ghibaudo, Valentin, Bado, Jules, Garcia, Samuel, Berthiller, Julien, Rithzenthaler, Thomas, Gobert, Florent, Bapteste, Lionel, Carrillon, Romain, Bodonian, Carole, Dailler, Frédéric, Haegelen, Claire, Dumot, Chloé, Rheims, Sylvain, Berhouma, Moncef, Balança, Baptiste

Volltext

Anti-N-Methyl-d-Aspartate Receptor Encephalitis in Adult Patients Requiring Intensive Care von de Montmollin, Etienne, Demeret, Sophie, Brulé, Noëlle, Conrad, Marie, Dailler, Frédéric, Lerolle, Nicolas, Navellou, Jean-Christophe, Schwebel, Carole, Alves, Mikaël, Cour, Martin, Engrand, Nicolas, Tonnelier, Jean-Marie, Maury, Eric, Ruckly, Stéphane, Picard, Géraldine, Rogemond, Véronique, Magalhaes, Éric, Sharshar, Tarek, Timsit, Jean-François, Honnorat, Jérôme, Sonneville, Romain

Volltext

How to monitor thiopental administration in the intensive care unit for refectory status epilepticus or intracranial hypertension? von Dabricot, Erika, Seqat, Inès, Dailler, Frédéric, Rheims, Sylvain, Boulogne, Sebastien, Balança, Baptiste

Volltext

Electrophysiological monitoring of neurological functions at the acute phase of brain injury: An overview of current knowledge and future perspectives in the adult population von Gobert, Florent, Dailler, Frédéric, Rheims, Sylvain, André-Obadia, Nathalie, Balança, Baptiste

Volltext

Electrophysiological monitoring of neurological functions at the acute phase of brain injury von Gobert, Florent, Dailler, Frédéric, Rheims, Sylvain, André-Obadia, Nathalie, Balança, Baptiste

Volltext

Seizure specificities in patients with antibody‐mediated autoimmune encephalitis von Vogrig, Alberto, Joubert, Bastien, André‐Obadia, Nathalie, Gigli, Gian Luigi, Rheims, Sylvain, Honnorat, Jérome

Volltext

[18F]F13640, a 5-HT1A Receptor Radiopharmaceutical Sensitive to Brain Serotonin Fluctuations von Colom, Matthieu, Vidal, Benjamin, Fieux, Sylvain, Redoute, Jérôme, Costes, Nicolas, Lavenne, Franck, Mérida, Inés, Irace, Zacharie, Iecker, Thibaud, Bouillot, Caroline, Billard, Thierry, Newman-Tancredi, Adrian, Zimmer, Luc

Volltext

Limitation of life-sustaining therapies in critically ill patients with COVID-19: a descriptive epidemiological investigation from the COVID-ICU study von Giabicani, Mikhael, Le Terrier, Christophe, Poncet, Antoine, Guidet, Bertrand, Rigaud, Jean-Philippe, Quenot, Jean-Pierre, Mamzer, Marie-France, Pugin, Jérôme, Weiss, Emmanuel, Bourcier, Simon

Volltext

L'approche actionnelle et ses particularités en comparaison avec l'approche communicative von Saydı, Tilda

Volltext

Un public en émergence : les impatriés von Ferrand, Sandrine Carafa

Volltext

Les Langues de Spécialité et la variation discursive : une étude contrastive de la réduction des termes complexes von Lavagnino, Elisa

Volltext

L'exponsion. Aperçu d'un problème agraire en Poitou von Massé, P

Volltext

LES BAUX RECIPROQUES: Une particularité de l'histoire agraire poitevine von MASSÉ, Pierre

Volltext