Introduction to Experimental Linguistics von Gillioz, Christelle, Zufferey, Sandrine

Volltext

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings von Beyer, Dirk, Zufferey, Damien

Volltext

Tranexamic acid in hip fracture surgery: a randomized controlled trial von Zufferey, P.J., Miquet, M., Quenet, S., Martin, P., Adam, P., Albaladejo, P., Mismetti, P., Molliex, S.

Volltext

Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability von Huang, Calvin, Kong, Soonho, Gao, Sicun, Zufferey, Damien

Volltext

Improving Parity Game Solvers with Justifications von Lapauw, Ruben, Bruynooghe, Maurice, Denecker, Marc

Volltext

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

Volltext

Accuracy of C-reactive protein, procalcitonin, serum amyloid A and neopterin for low-dose CT-scan confirmed pneumonia in elderly patients: A prospective cohort study von Prendki, Virginie, Malézieux-Picard, Astrid, Azurmendi, Leire, Sanchez, Jean-Charles, Vuilleumier, Nicolas, Carballo, Sebastian, Roux, Xavier, Reny, Jean-Luc, Zekry, Dina, Stirnemann, Jérôme, Garin, Nicolas, Adrish, Muhammad

Volltext

An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws von Delmas, Rémi, Loquen, Thomas, Boada-Bauxell, Josep, Carton, Mathieu

Volltext

Between Sea and Sky: Aerial Aquatic Locomotion in Miniature Robots von Zufferey, Raphael, Siddall, Robert, Armanini, Sophie F., Kovac, Mirko

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

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

Improving Parity Game Solvers with Justifications von Lapauw, Ruben, Bruynooghe, Maurice, Denecker, Marc

Volltext

Rivaroxaban or Enoxaparin in Nonmajor Orthopedic Surgery von Samama, C. Marc, Laporte, Silvy, Rosencher, Nadia, Girard, Philippe, Llau, Juan, Mouret, Patrick, Fisher, William, Martínez-Martín, Javier, Duverger, Daniel, Deygas, Béatrice, Presles, Emilie, Cucherat, Michel, Mismetti, Patrick

Volltext

Unifying dimensions in coherence relations: How various annotation frameworks are related von Sanders, T.J.M, Demberg, V, Hoek, J, Scholman, M. C.J, Scholman, Merel, Asr, F. T, Zufferey, S, Evers-Vermeul, J

Volltext

Witnessing Secure Compilation von Namjoshi, Kedar S., Tabajara, Lucas M.

Volltext

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction von Ish-Shalom, Oren, Itzhaky, Shachar, Rinetzky, Noam, Shoham, Sharon

Volltext

Synthesizing Environment Invariants for Modular Hardware Verification von Zhang, Hongce, Yang, Weikun, Fedyukovich, Grigory, Gupta, Aarti, Malik, Sharad

Volltext

A Cooperative Parallelization Approach for Property-Directed k-Induction von Blicha, Martin, Hyvärinen, Antti E. J., Marescotti, Matteo, Sharygina, Natasha

Volltext

Influence of the paraoxonase‐1 Q192R genetic variant on clopidogrel responsiveness and recurrent cardiovascular events: a systematic review and meta‐analysis von RENY, J.‐L., COMBESCURE, C., DAALI, Y., FONTANA, P.

Volltext

Generalized Property-Directed Reachability for Hybrid Systems von Suenaga, Kohei, Ishizawa, Takuya

Volltext