Compositional Entailment Checking for a Fragment of Separation Logic von Enea, Constantin, Lengál, Ondřej, Sighireanu, Mihaela, Vojnar, Tomáš

Volltext

Prevention of thrombotic risk in hospitalized patients with COVID-19 and hemostasis monitoring von Susen, Sophie, Tacquard, Charles Ambroise, Godon, Alexandre, Mansour, Alexandre, Garrigue, Delphine, Nguyen, Philippe, Godier, Anne, Testa, Sophie, Levy, Jerrold H, Albaladejo, Pierre, Gruel, Yves

Volltext

APOE ε4 allele is associated with an increased risk of bulbar-onset amyotrophic lateral sclerosis in men von Praline, J., Blasco, H., Vourc'h, P., Garrigue, M.-A., Gordon, P. H., Camu, W., Corcia, P., Andres, C. R.

Volltext

Call-by-Value in a Basic Logic for Interaction von Schöpp, Ulrich

Volltext

Overview and expert assessment of off-label use of misoprostol in obstetrics and gynaecology: review and report by the Collège national des gynécologues obstétriciens français von Marret, H, Simon, E, Beucher, G, Dreyfus, M, Gaudineau, A, Vayssière, C, Lesavre, M, Pluchon, M, Winer, N, Fernandez, H, Aubert, J, Bejan-Angoulvant, T, Jonville-Bera, A.P, Clouqueur, E, Houfflin-Debarge, V, Garrigue, A, Pierre, F

Volltext

A Translation of Intersection and Union Types for the λμ-Calculus von Kikuchi, Kentaro, Sakurai, Takafumi

Volltext

Triglycerides, apo C3 and Lp B:C3 and cardiovascular risk in Type II diabetes von GERVAISE, N, GARRIGUE, M. A, LASFARGUES, G, LECOMTE, P

Volltext

Impact of High-Dose Prophylactic Anticoagulation in Critically Ill Patients With COVID-19 Pneumonia von Tacquard, Charles, Mansour, Alexandre, Godon, Alexandre, Godet, Julien, Poissy, Julien, Garrigue, Delphine, Kipnis, Eric, Rym Hamada, Sophie, Mertes, Paul Michel, Steib, Annick, Ulliel-Roche, Mathilde, Bouhemad, Bélaïd, Nguyen, Maxime, Reizine, Florian, Gouin-Thibault, Isabelle, Besse, Marie Charlotte, Collercandy, Nived, Mankikian, Stefan, Levy, Jerrold H., Gruel, Yves, Albaladejo, Pierre, Susen, Sophie, Godier, Anne, Albaladejo, P., Blais, N., Bonhomme, F., Borel-Derlon, A., Cohen, A., Collet, J.-P., de Maistre, E., Fontana, P., Garrigue Huet, D., Godier, A., Gruel, Y., Godon, A., Ickx, B., Laporte, S., Lasne, D., Llau, J., Le Gal, G., Lecompte, T., Lessire, S., Levy, J.H., Longrois, D., Madi-Jebara, S., Mansour, A., Mazighi, M., Mismetti, P., Morange, P.E., Motte, S., Mullier, F., Nathan, N., Nguyen, P., Pernod, G., Rosencher, N., Roullet, S., Roy, P.M., Schlumberger, S., Sié, P., Steib, A., Susen, S., Tacquard, C.A., Testa, S., Vincentelli, A., Zufferey, P.

Volltext

Automatic Memory Management Based on Program Transformation Using Ownership von Sonobe, Tatsuya, Suenaga, Kohei, Igarashi, Atsushi

Volltext

A Formalized Proof of Strong Normalization for Guarded Recursive Types von Abel, Andreas, Vezzosi, Andrea

Volltext

Syntax-Directed Divide-and-Conquer Data-Flow Analysis von Sato, Shigeyuki, Morihata, Akimasa

Volltext

Successfully Improving Ocular Drug Delivery Using the Cationic Nanoemulsion, Novasorb von Lallemand, Frederic, Daull, Philippe, Benita, Simon, Buggage, Ronald, Garrigue, Jean-Sebastien

Volltext

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings von Garrigue, Jacques

Volltext

A new multimetric index for the evaluation of water ecological quality of French Guiana streams based on benthic diatoms von Carayon, David, Eulin-Garrigue, Anne, Vigouroux, Régis, Delmas, François

Volltext

Fragile sites are preferential targets for integrations of MLV vectors in gene therapy von Bester, A C, Schwartz, M, Schmidt, M, Garrigue, A, Hacein-Bey-Abina, S, Cavazzana-Calvo, M, Ben-Porat, N, Von Kalle, C, Fischer, A, Kerem, B

Volltext

Resource Analysis of Complex Programs with Cost Equations von Flores-Montoya, Antonio, Hähnle, Reiner

Volltext

Contamination status and potential release of trace metals in a mangrove forest sediment in Ho Chi Minh City, Vietnam von Dung, Tran Thi Thu, Linh, Tong Me, Chau, Tran Bich, Hoang, Truong Minh, Swennen, Rudy, Cappuyns, Valérie

Volltext

Model-Checking for Android Malware Detection von Song, Fu, Touili, Tayssir

Volltext

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Volltext

Endovascular Versus External Targeted Temperature Management for Patients With Out-of-Hospital Cardiac Arrest: A Randomized, Controlled Study von Deye, Nicolas, Cariou, Alain, Girardie, Patrick, Pichon, Nicolas, Megarbane, Bruno, Midez, Philippe, Tonnelier, Jean-Marie, Boulain, Thierry, Outin, Hervé, Delahaye, Arnaud, Cravoisy, Aurélie, Mercat, Alain, Blanc, Pascal, Santré, Charles, Quintard, Hervé, Brivet, François, Charpentier, Julien, Garrigue, Delphine, Francois, Bruno, Quenot, Jean-Pierre, Vincent, François, Gueugniaud, Pierre-Yves, Mira, Jean-Paul, Carli, Pierre, Vicaut, Eric, Baud, Frédéric J

Volltext