Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)

by Manfred Schmidt-Schauss
Published 2013-02-01

An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages

by Nils Dallmeyer, Manfred Schmidt-Schauss
Published 2017-01-01

Space Improvements and Equivalences in a Functional Core Language

by Manfred Schmidt-Schauß, Nils Dallmeyer
Published 2018-02-01

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

by Manfred Schmidt-Schauß, Conrad Rau
Published 2010-12-01

Optimizing Space of Parallel Processes

by Manfred Schmidt-Schauß, Nils Dallmeyer
Published 2019-02-01

The Clonal Fate of Live Cells

by Wei Wang, Raffaele Fronza, Manfred Schmidt
Published 2017-06-01

VSeq-Toolkit: Comprehensive Computational Analysis of Viral Vectors in Gene Therapy

by Saira Afzal, Raffaele Fronza, Manfred Schmidt
Published 2020-06-01

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq

by Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
Published 2015-03-01

A Graph Based Framework to Model Virus Integration Sites

by Raffaele Fronza, Alessandro Vasciaveo, Alfredo Benso, Manfred Schmidt
Published 2016-01-01

Gluteal Reshaping in the Massive Weight Loss Patient

by Georg M Huemer, Karin M Dunst, Manfred Schmidt
Published 2014-09-01

Spatial–Temporal Variations in Atmospheric Factors Contribute to SARS-CoV-2 Outbreak

by Raffaele Fronza, Marina Lusic, Manfred Schmidt, Bojana Lucic
Published 2020-05-01

Retroviral Vectors: Post Entry Events and Genomic Alterations

by Christof von Kalle, Manfred Schmidt, Hanno Glimm, Ali Nowrouzi
Published 2011-04-01

Ultrahigh Vacuum Preparation and Passivation of Abrupt SiO2/Si(111) Interfaces

by Bert Stegemann, Daniel Sixtensson, Thomas Lussky, Ulrike Bloeck, Manfred Schmidt
Published 2007-12-01

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
Published 2017-03-01

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
Published 2022-01-01

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
Published 2016-01-01

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
Published 2022-10-01

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
Published 2023-03-01

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
Published 2018-01-01

Mechanical irritation by protruding bone: A possible cause of breast implant rupture

by Matthias Michael Aitzetmüller, David Johannes Haslhofer, Raphael Wenny, Manfred Schmidt, Dominik Duscher, Georg Michael Huemer
Published 2018-09-01