Runtime enforcement of timed properties usinggames von Renard, Matthieu, Rollet, Antoine, Falcone, Yliès

Volltext

Decision support system for blockchain (DLT) platform selection based on ITU recommendations: A systematic literature review approach von Kubler, Sylvain, Renard, Matthieu, Ghatpande, Sankalp, Georges, Jean-Philippe, Le Traon, Yves

Volltext

Runtime enforcement of timed properties using games von Renard, Matthieu, Rollet, Antoine, Falcone, Yliès

Volltext

Optimal enforcement of (timed) properties with uncontrollable events von RENARD, MATTHIEU, FALCONE, YLIÈS, ROLLET, ANTOINE, JÉRON, THIERRY, MARCHAND, HERVÉ

Volltext

Runtime Enforcement of (Timed) Properties with Uncontrollable Events von Renard, Matthieu

Volltext bestellen

Enforcement of (Timed) Properties with Uncontrollable Events von Renard, Matthieu, Falcone, Yliès, Rollet, Antoine, Pinisetty, Srinivas, Jéron, Thierry, Marchand, Hervé

Volltext

GREP: Games for the Runtime Enforcement of Properties von Renard, Matthieu, Rollet, Antoine, Falcone, Yliès

Volltext

Are Magnetic Resonance Imaging-Transrectal Ultrasound Guided Targeted Biopsies Noninferior to Transrectal Ultrasound Guided Systematic Biopsies for the Detection of Prostate Cancer... von Delongchamps, Nicolas Barry, Portalez, Daniel, Bruguière, Eric, Rouvière, Olivier, Malavaud, Bernard, Mozer, Pierre, Fiard, Gaelle, Cornud, François

Volltext

Controlling Plasma Stability of Hydroxamic Acids: A MedChem Toolbox von Hermant, Paul, Bosc, Damien, Piveteau, Catherine, Gealageas, Ronan, Lam, BaoVy, Ronco, Cyril, Roignant, Matthieu, Tolojanahary, Hasina, Jean, Ludovic, Renard, Pierre-Yves, Lemdani, Mohamed, Bourotte, Marilyne, Herledan, Adrien, Bedart, Corentin, Biela, Alexandre, Leroux, Florence, Deprez, Benoit, Deprez-Poulain, Rebecca

Volltext

How GPs adapted their practices and organisations at the beginning of COVID-19 outbreak: a French national observational survey von Saint-Lary, Olivier, Gautier, Sylvain, Le Breton, Julien, Gilberg, Serge, Frappé, Paul, Schuers, Matthieu, Bourgueil, Yann, Renard, Vincent

Volltext

Atomic layer deposition of Pd nanoparticles on self-supported carbon-Ni/NiO-Pd nanofiber electrodes for electrochemical hydrogen and oxygen evolution reactions von Barhoum, Ahmed, El-Maghrabi, Heba H., Iatsunskyi, Igor, Coy, Emerson, Renard, Aurélien, Salameh, Chrystelle, Weber, Matthieu, Sayegh, Syreina, Nada, Amr A., Roualdes, Stéphanie, Bechelany, Mikhael

Volltext

Validation of the European Society of Urogenital Radiology Scoring System for Prostate Cancer Diagnosis on Multiparametric Magnetic Resonance Imaging in a Cohort of Repeat Biopsy P... von Portalez, Daniel, Mozer, Pierre, Cornud, François, Renard-Penna, Raphaëlle, Misrai, Vincent, Thoulouzan, Matthieu, Malavaud, Bernard

Volltext

Sample size estimation in clinical trials using ventilator-free days as the primary outcome: a systematic review von Renard Triché, Laurent, Futier, Emmanuel, De Carvalho, Manuela, Piñol-Domenech, Nathalie, Bodet-Contentin, Laëtitia, Jabaudon, Matthieu, Pereira, Bruno

Volltext

Magnetic evolution of Cr2Te3 epitaxially grown on graphene with post-growth annealing von Guillet, Quentin, Boukari, Hervé, Choueikani, Fadi, Ohresser, Philippe, Ouerghi, Abdelkarim, Mesple, Florie, Renard, Vincent T., Jacquot, Jean-François, Jalabert, Denis, Vergnaud, Céline, Bonell, Frédéric, Marty, Alain, Jamet, Matthieu

Volltext

Balloon pulmonary angioplasty versus riociguat for the treatment of inoperable chronic thromboembolic pulmonary hypertension (RACE): a multicentre, phase 3, open-label, randomised... von Jaïs, Xavier, Brenot, Philippe, Bouvaist, Hélène, Jevnikar, Mitja, Canuet, Matthieu, Chabanne, Céline, Chaouat, Ari, Cottin, Vincent, De Groote, Pascal, Favrolt, Nicolas, Horeau-Langlard, Delphine, Magro, Pascal, Savale, Laurent, Prévot, Grégoire, Renard, Sébastien, Sitbon, Olivier, Parent, Florence, Trésorier, Romain, Tromeur, Cécile, Piedvache, Céline, Grimaldi, Lamiae, Fadel, Elie, Montani, David, Humbert, Marc, Simonneau, Gérald

Volltext

Towards the industrial production of antioxidants from food processing by-products with ultrasound-assisted extraction von Virot, Matthieu, Tomao, Valérie, Le Bourvellec, Carine, Renard, Catherine M.C.G., Chemat, Farid

Volltext

In situ measurements of desert dust particles above the western Mediterranean Sea with the balloon-borne Light Optical Aerosol Counter/sizer (LOAC) during the ChArMEx campaign of s... von Renard, Jean-Baptiste, Dulac, François, Durand, Pierre, Bourgeois, Quentin, Denjean, Cyrielle, Vignelles, Damien, Couté, Benoit, Jeannot, Matthieu, Verdier, Nicolas, Mallet, Marc

Volltext

Better outcome with haploidentical over HLA-matched related donors in patients with Hodgkin’s lymphoma undergoing allogeneic haematopoietic cell transplantation—a study by the Fran... von Gauthier, Jordan, Poiré, Xavier, Gac, Anne-Claire, Leclerc, Mathieu, Guillaume, Thierry, Chalandon, Yves, Nguyen, Stéphanie, Forcade, Edouard, Régny, Caroline, Bay, Jacques-Olivier, Bazarbachi, Ali, Rohrlich, Pierre-Simon, Huynh, Anne, Farhi, Jonathan, Marchand, Tony, Malfuson, Jean-Valère, Pilorge, Sylvain, Labussière-Wallet, Hélène, Renard, Cécile, Fornecker, Luc-Matthieu, Detrait, Marie, Duléry, Rémy, Delage, Jérémy, Ménard, Anne-Lise, Charbonnier, Amandine, Nelken, Brigitte, Jubert, Charlotte, Suarez, Felipe, de la Tour, Régis Peffault, Beguin, Yves, Schoemans, Hélène, Blaise, Didier, Yakoub-Agha, Ibrahim

Volltext

Beyond van der Waals Interaction: The Case of MoSe2 Epitaxially Grown on Few-Layer Graphene von Dau, Minh Tuan, Gay, Maxime, Di Felice, Daniela, Vergnaud, Céline, Marty, Alain, Beigné, Cyrille, Renaud, Gilles, Renault, Olivier, Mallet, Pierre, Le Quang, Toai, Veuillen, Jean-Yves, Huder, Loïc, Renard, Vincent T, Chapelier, Claude, Zamborlini, Giovanni, Jugovac, Matteo, Feyer, Vitaliy, Dappe, Yannick J, Pochet, Pascal, Jamet, Matthieu

Volltext

First evidence of a lake at Ancient Phaistos (Messara Plain, South-Central Crete, Greece): Reconstructing paleoenvironments and differentiating the roles of human land-use and pale... von Ghilardi, Matthieu, Psomiadis, David, Andrieu-Ponel, Valérie, Colleu, Maxime, Sotiropoulos, Pavlos, Longo, Fausto, Rossi, Amedeo, Amato, Vincenzo, Gasse, Françoise, Sinibaldi, Laetitia, Renard, Mélanie, Bicket, Andrew, Delanghe, Doriane, Demory, François, Fleury, Jules

Volltext