An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages by Nils Dallmeyer, Manfred Schmidt-Schauss

Get full text

Optimizing Space of Parallel Processes by Manfred Schmidt-Schauß, Nils Dallmeyer

Get full text

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation by Manfred Schmidt-Schauß, Conrad Rau

Get full text

Space Improvements and Equivalences in a Functional Core Language by Manfred Schmidt-Schauß, Nils Dallmeyer

Get full text

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq by Manfred Schmidt-Schauß, David Sabel, Elena Machkasova

Get full text

A Graph Based Framework to Model Virus Integration Sites by Raffaele Fronza, Alessandro Vasciaveo, Alfredo Benso, Manfred Schmidt

Get full text

Spatial–Temporal Variations in Atmospheric Factors Contribute to SARS-CoV-2 Outbreak by Raffaele Fronza, Marina Lusic, Manfred Schmidt, Bojana Lucic

Get full text

Gluteal Reshaping in the Massive Weight Loss Patient by Georg M Huemer, Karin M Dunst, Manfred Schmidt

Get full text

Retroviral Vectors: Post Entry Events and Genomic Alterations by Christof von Kalle, Manfred Schmidt, Hanno Glimm, Ali Nowrouzi

Get full text

Ultrahigh Vacuum Preparation and Passivation of Abrupt SiO2/Si(111) Interfaces by Bert Stegemann, Daniel Sixtensson, Thomas Lussky, Ulrike Bloeck, Manfred Schmidt

Get full text

GENE-IS: Time-Efficient and Accurate Analysis of Viral Integration Events in Large-Scale Gene Therapy Data by Saira Afzal, Stefan Wilkening, Christof von Kalle, Manfred Schmidt, Raffaele Fronza

Get full text

Common integration sites of published datasets identified using a graph-based framework by Alessandro Vasciaveo, Ivana Velevska, Gianfranco Politano, Alessandro Savino, Manfred Schmidt, Raffaele Fronza

Get full text

Morphological Relation of Peripheral Nerve Sheath Tumors and Nerve Fascicles: Prospective Study and Classification by Matthias Holzbauer, Kathrin Aufschnaiter-Hießböck, Maximilian Zaussinger, Oskar C. Aszmann, Manfred Schmidt

Get full text

Liparthroplasty for Thumb Carpometacarpal Joint Osteoarthritis: A Case Series with Median 5 Years of Follow-Up by Matthias Holzbauer, Manfred Schmidt, Julian Alexander Mihalic, Dominik Duscher, Stefan Mathias Froschauer

Get full text

Undiagnosed Patent Foramen Ovale and Thrombophilic Gene Mutations Resulting in Pulmonary Embolism with Cryptogenic Stroke after Cosmetic Breast Surgery by Maximilian Zaussinger, MD, Sophie Speiser, MD, Raphael Wenny, MD, Manfred Schmidt, MD, FEBOPRAS

Get full text

Chemoreceptor proteins in the Caribbean spiny lobster, Panulirus argus: Expression of Ionotropic Receptors, Gustatory Receptors, and TRP channels in two chemosensory organs and bra... by Mihika T Kozma, Manfred Schmidt, Hanh Ngo-Vu, Shea D Sparks, Adriano Senatore, Charles D Derby

Get full text

Time Series of Landscape Fragmentation Caused by Transportation Infrastructure and Urban Development: a Case Study from Baden-Württemberg, Germany by Jochen A. G. Jaeger, Hans-Georg Schwarz-von Raumer, Heide Esswein, Manfred Müller, Manfred Schmidt-Lüttmann

Get full text

Autologous Fat Transplantation for Thumb Carpometacarpal Joint Osteoarthritis (Liparthroplasty): A Case Series with Two Years of Follow-UP by Stefan M. Froschauer, Matthias Holzbauer, Raphael Wenny, Manfred Schmidt, Georg M. Huemer, Oskar Kwasny, Dominik Duscher

Get full text

Genome-wide Specificity of Highly Efficient TALENs and CRISPR/Cas9 for T Cell Receptor Modification by Friederike Knipping, Mark J. Osborn, Karl Petri, Jakub Tolar, Hanno Glimm, Christof von Kalle, Manfred Schmidt, Richard Gabriel

Get full text

Is in vivo and ex vivo irradiation equally reliable for individual Radiosensitivity testing by three colour fluorescence in situ hybridization? by Theresa Mayo, Marlen Haderlein, Barbara Schuster, Anna Wiesmüller, Christian Hummel, Maximilian Bachl, Manfred Schmidt, Rainer Fietkau, Luitpold Distel

Get full text