Symbolic Model Checking of Weighted PCTL Using Dependency Graphs von Claus Jensen, Mathias, Mariegaard, Anders, Guldstrand Larsen, Kim

Volltext

A complete axiomatization of weighted branching bisimulation von Jensen, Mathias Claus, Larsen, Kim Guldstrand

Volltext

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs von Enevoldsen, Søren, Jensen, Mathias Claus, Larsen, Kim Guldstrand, Mariegaard, Anders, Srba, Jiří

Volltext

Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations von Jensen, Mathias Claus, Larsen, Kim Guldstrand, Mardare, Radu

Volltext

Convex Lattice Equation Systems von Bacci, Giorgio, Bacci, Giovanni, Jensen, Mathias Claus, Larsen, Kim G.

Volltext

Exenatide once weekly for alcohol use disorder investigated in a randomized, placebo-controlled clinical trial von Klausen, Mette Kruse, Jensen, Mathias Ebbesen, Møller, Marco, Le Dous, Nina, Jensen, Anne-Marie Østergaard, Zeeman, Victoria Alberte, Johannsen, Claas-Frederik, Lee, Alycia, Thomsen, Gerda Krog, Macoveanu, Julian, Fisher, Patrick MacDonald, Gillum, Matthew Paul, Jørgensen, Niklas Rye, Bergmann, Marianne Lerbæk, Enghusen Poulsen, Henrik, Becker, Ulrik, Holst, Jens Juul, Benveniste, Helene, Volkow, Nora D., Vollstädt-Klein, Sabine, Miskowiak, Kamilla Woznica, Ekstrøm, Claus Thorn, Knudsen, Gitte Moos, Vilsbøll, Tina, Fink-Jensen, Anders

Volltext

Psilocybin-assisted therapy for reducing alcohol intake in patients with alcohol use disorder: protocol for a randomised, double-blinded, placebo-controlled 12-week clinical trial... von Jensen, Mathias Ebbesen, Stenbæk, Dea Siggaard, Juul, Tobias Søgaard, Fisher, Patrick MacDonald, Ekstrøm, Claus Thorn, Knudsen, Gitte Moos, Fink-Jensen, Anders

Volltext

Development of blood-based biomarker tests for early detection of colorectal neoplasia: Influence of blood collection timing and handling procedures von Lech Pedersen, Niels, Mertz Petersen, Mathias, Ladd, Jon J., Lampe, Paul D., Bresalier, Robert S., Davis, Gerard J., Demuth, Christina, Jensen, Sarah Ø., Andersen, Claus L., Ferm, Linnea, Christensen, Ib J., Nielsen, Hans J.

Volltext

Psychopharmacological treatment in patients planned for hip or knee replacement von Kornvig, Simon, Kehlet, Henrik, Jørgensen, Christoffer Calov, Fink‐Jensen, Anders, Videbech, Poul, Lindberg‐Larsen, Martin, Gromov, Kirill, Rasmussen, Mathias Bæk, Bieder, Manuel Josef, Varnum, Claus

Volltext

Association of White Blood Cell Count With Clinical Outcome Independent of Treatment With Alteplase in Acute Ischemic Stroke von Barow, Ewgenia, Quandt, Fanny, Cheng, Bastian, Gelderblom, Mathias, Jensen, Märit, Königsberg, Alina, Boutitie, Florent, Nighoghossian, Norbert, Ebinger, Martin, Endres, Matthias, Fiebach, Jochen B., Thijs, Vincent, Lemmens, Robin, Muir, Keith W., Pedraza, Salvador, Simonsen, Claus Z., Gerloff, Christian, Thomalla, Götz

Volltext

Does glucagon-like peptide-1 (GLP-1) receptor agonist stimulation reduce alcohol intake in patients with alcohol dependence: study protocol of a randomised, double-blinded, placebo... von Antonsen, Kerstin K, Klausen, Mette K, Brunchmann, Amanda S, le Dous, Nina, Jensen, Mathias E, Miskowiak, Kamilla Woznica, Fisher, Patrick M, Thomsen, Gerda K, Rindom, Henrik, Fahmy, Thomas P, Vollstaedt-Klein, Sabine, Benveniste, Helene, Volkow, Nora D, Becker, Ulrik, Ekstrøm, Claus, Knudsen, Gitte Moos, Vilsbøll, Tina, Fink-Jensen, Anders

Volltext

Machine-learning vs. logistic regression for preoperative prediction of medical morbidity after fast-track hip and knee arthroplasty-a comparative study von Michelsen, Christian, Jørgensen, Christoffer C, Heltberg, Mathias, Jensen, Mogens H, Lucchetti, Alessandra, Petersen, Pelle B, Petersen, Troels, Kehlet, Henrik, Madsen, Frank, Hansen, Torben B, Gromov, Kirill, Jakobsen, Thomas, Varnum, Claus, Overgaard, Soren, Rathsach, Mikkel, Hansen, Lars

Volltext

Separation of Peptides with Forward Osmosis Biomimetic Membranes von Bajraktari, Niada, Madsen, Henrik T, Gruber, Mathias F, Truelsen, Sigurd, Jensen, Elzbieta L, Jensen, Henrik, Hélix-Nielsen, Claus

Volltext

Separation of Peptides and Interaction with Forward Osmosis Biomimetic Membranes: A Solution Diffusion Model von Bajraktari, Niada, Madsen, Henrik T., Gruber, Mathias F., Jensen, Elzbieta L., Jensen, Henrik, Hélix-Nielsen, Claus

Volltext

909 DEVELOPMENT OF BLOOD-BASED BIOMARKER TESTS FOR EARLY DETECTION OF COLORECTAL NEOPLASIA: INFLUENCE OF BLOOD COLLECTION TIMING AND HANDLING PROCEDURES von Petersen, Mathias M., Nielsen, Hans J., Pedersen, Niels L., Ladd, Jon J., Lampe, Paul D., Bresalier, Robert S., Davis, Gerard J., Demuth, Christina, Andersen, Claus L., Jensen, Sarah Ø., Ferm, Linnea, Christensen, Ib J.

Volltext

Validation and Analysis of Forward Osmosis CFD Model in Complex 3D Geometries von Gruber, Mathias F, Johnson, Carl J, Tang, Chuyang, Jensen, Mogens H, Yde, Lars, Hélix-Nielsen, Claus

Volltext

Association of White Blood Cell Count With Clinical Outcome Independent of Treatment With Alteplase in Acute Ischemic Stroke von Barow, Ewgenia, Quandt, Fanny, Cheng, Bastian, Gelderblom, Mathias, Jensen, Maerit, Koenigsberg, Alina, Boutitie, Florent, Nighoghossian, Norbert, Ebinger, Martin, Endres, Matthias, Fiebach, Jochen B, Thijs, Vincent, Lemmens, Robin, Muir, Keith W, Pedraza, Salvador, Simonsen, Claus Z, Gerloff, Christian, Thomalla, Goetz

Volltext

AIDS-defining events among people living with HIV who have been under continuous antiretroviral therapy for more than one year, a German cohort study 1999–2018 von Pantke, Annemarie, Kollan, Christian, Gunsenheimer-Bartmeyer, Barbara, Jensen, Björn-Erik Ole, Stephan, Christoph, Degen, Olaf, Schürmann, Dirk, Kurth, Tobias, Bremer, Viviane, Koppe, Uwe

Volltext

Contralateral Stenosis and Echolucent Plaque Morphology are Associated with Elevated Stroke Risk in Patients Treated with Asymptomatic Carotid Artery Stenosis within a Controlled C... von Reiff, Tilman, Jansen, Olav, Fraedrich, Gustav, Böckler, Dittmar, Brückmann, Hartmut, Debus, E. Sebastian, Mathias, Klaus, Zeller, Thomas, Niesen, Wolf-Dirk, Barlinn, Kristian, Glahn, Jörg, Ringleb, Peter Arthur, Beyersdorf, F, Macharzina, R-R, Lechner, G, Schonhardt, S, Greb, O, Otto, D, Poppert, H, Bodechtel, U, Meyne, J, Botsch, A, Kruse, M, Gerdes, B, Reinbold, WD, Wuttig, H, Gass, S, Schultz, H, Niedergethman, M, Griebe, M, Beck, C, Kneist, M, Bernhard, A, Jost, D, Prey, N, Knippschild, J, Kastrup, O, Köhrmann, M, Frank, B, Bongers, V, Hoffmann, J, Kniemeyer, H-W, Stojanovic, T, Emmert, H, Tacke, J, Schwalbe, B, Nam, E-M, van Lengerich, U, Lowens, S, Gröschel, K, Uphaus, T, Schmid, E, Henkes, H, Singer, O, Kilic, M, Huppert, P, Niederkorn, K, Klein, G, Pulkowski, U, Wacks, J-H, Vatankhah, B, Hopf-Jensen, S, Müller-Hülsbeck, S, Grüger, A, Seemann, J, Tilahun, B, Dichgans, M, Wollenweber, F, Dörr, A, Zollver, A, Gäbel, G, Hedtmann, G, Kollmar, R, Claus, D, Petermann, C, Heiß, J, Wunderlich, S, Sabisch, PN, Arnold, S, Fischer, U, von Mering, M, Kirsch, D, Schmidauer, C, Waldenberger, P, Furtner, M, Arning, C, Rieper, J, Schmidt, G, Zanow, J, Mayer, T, Gross-Fengels, W, Daum, H, Dittrich, R, Ritter, M, Torsello, G, Pohlmann, C, Brüning, R, Möhlenbruch, M, Crispin, A, Müller, T

Volltext

Editor’s Choice-Acute versus subacute angiography in patients with non-ST-elevation myocardial infarction – the NONSTEMI trial phase I von Stengaard, Carsten, Sørensen, Jacob T, Rasmussen, Martin B, Søndergaard, Hanne M, Dodt, Karen K, Niemann, Troels, Frost, Lars, Jensen, Tage, Hansen, Troels M, Riddervold, Ingunn Skogstad, Rasmussen, Claus-Henrik, Giebner, Mathias, Aarøe, Jens, Maeng, Michael, Christiansen, Evald H, Kristensen, Steen D, Bøtker, Hans E, Terkelsen, Christian J

Volltext