Laser beam powder bed fusion of novel biomedical titanium/niobium/tantalum alloys: Powder synthesis, microstructure evolution and mechanical properties von Johannsen, Jan, Lauhoff, Christian, Stenzel, Melanie, Schnitter, Christoph, Niendorf, Thomas, Weinmann, Markus

Volltext

Reliable and easy-to-use LC–MS/MS-method for simultaneous determination of the antihypertensives metoprolol, amlodipine, canrenone and hydrochlorothiazide in patients with therapy-... von Johannsen, Jan-Ole, Reuter, Hannes, Hoffmann, Fabian, Blaich, Cornelia, Wiesen, Martin H.J., Streichert, Thomas, Müller, Carsten

Volltext

Advanced Ti-Nb-Ta Alloys for Bone Implants with Improved Functionality von Sass, Jan-Oliver, Sellin, Marie-Luise, Kauertz, Elisa, Johannsen, Jan, Weinmann, Markus, Stenzel, Melanie, Frank, Marcus, Vogel, Danny, Bader, Rainer, Jonitz-Heincke, Anika

Volltext

Qualification of selective laser-melted Al alloys against fatigue damage by means of measurement and modeling techniques von Awd, Mustafa, Johannsen, Jan, Siddique, Shafaqat, Emmelmann, Claus, Walther, Frank

Volltext

Very high-cycle fatigue properties and microstructural damage mechanisms of selective laser melted AlSi10Mg alloy von Awd, Mustafa, Siddique, Shafaqat, Johannsen, Jan, Emmelmann, Claus, Walther, Frank

Volltext

Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning von Buss, Samuel R., Hoffmann, Jan, Johannsen, Jan

Volltext

Computational biomechanical study on hybrid implant materials for the femoral component of total knee replacements von Sass, Jan-Oliver, Kebbach, Maeruan, Lork, Cornelia, Johannsen, Jan, Weinmann, Markus, Stenzel, Melanie, Bader, Rainer

Volltext

Multifunctional Hybrid Material for Endoprosthetic Implants Based on Alumina-Toughened Zirconia Ceramics and Additively Manufactured TiNbTa Alloys von Sass, Jan-Oliver, Henke, Paul, Mitrovic, Aurica, Weinmann, Markus, Kluess, Daniel, Johannsen, Jan, Sellin, Marie-Luise, Lembke, Ulrich, Reimer, Daniel, Lork, Cornelia, Jonitz-Heincke, Anika, Bader, Rainer

Volltext

Improved Separations of Regular Resolution from Clause Learning Proof Systems von Bonet, M. L., Buss, S., Johannsen, J.

Volltext

The Complexity of Pure Literal Elimination von Johannsen, Jan

Volltext

Simplified and Improved Separations Between Regular and General Resolution by Lifting von Vinyals, Marc, Elffers, Jan, Johannsen, Jan, Nordström, Jakob

Volltext

Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers von Elffers, Jan, Johannsen, Jan, Lauria, Massimo, Magnard, Thomas, Nordström, Jakob, Vinyals, Marc

Volltext

Gemeinschaft in betreuten Hausgemeinschaften am Beispiel des „Wilhelm Leuschner Seniorenzentrums von Zdrenka, Martina, Lessow, Angelique, Johannsen, Jan-Christian, Klapproth, Nele Marie, Koloff, Ann-Kristin, Wernecke, Frances, Großmann, Nora, Petersen-Ewert, Corinna

Volltext

Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas von Ben-Sasson, Eli, Johannsen, Jan

Volltext

Satisfiability Problems Complete for Deterministic Logarithmic Space von Johannsen, Jan

Volltext

An Exponential Lower Bound for Width-Restricted Clause Learning von Johannsen, Jan

Volltext

Optimal Lower Bounds on Regular Expression Size Using Communication Complexity von Gruber, Hermann, Johannsen, Jan

Volltext

An elementary fragment of second-order lambda calculus von Aehlig, Klaus, Johannsen, Jan

Volltext

On the weakness of sharply bounded polynomial induction von Johannsen, Jan

Volltext

On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems von Bonet, Maria Luisa, Esteban, Juan Luis, Galesi, Nicola, Johannsen, Jan

Volltext