144 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Johannes Kepler University of LinzAT14 papers
- Universidade Federal do ABCBR7 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- University of PortsmouthGB4 papers
- Institut d'Astrophysique de ParisFR3 papers
- Research Center for Non Destructive Testing (Austria)AT3 papers
- Sorbonne UniversitéFR3 papers
- University of OxfordGB3 papers
- Boston Children's HospitalUS2 papers
- Harvard UniversityUS2 papers
- Software Competence Center Hagenberg (Austria)AT2 papers
- Technische Hochschule UlmDE2 papers
7 papers · 1 filter
Discrete Adjoint Method for Variational Integration of Constrained ODEs and its application to Optimal Control of Geometrically Exact Beam Dynamics
Matthias Schubert, Rodrigo T. Sato Martín de Almagro, Karin Nachbagauer +2
Direct methods for the simulation of optimal control problems apply a specific discretization to the dynamics of the problem, and the discrete adjoint method is suitable to calcula…
PASDA: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases
Johann Glock, Josef Pichler, Martin Pinzger
Equivalence checking is used to verify whether two programs produce equivalent outputs when given equivalent inputs. Research in this field mainly focused on improving equivalence…
A precise symbolic emulator of the linear matter power spectrum
Deaglan J. Bartlett, Lukas Kammerer, Gabriel Kronberger +6
Computing the matter power spectrum, , as a function of cosmological parameters can be prohibitively slow in cosmological analyses, hence emulating this calculation is desira…
Multi-criteria Optimization of Workflow-Based Assembly Tasks in Manufacturing
Florian Holzinger, Andreas Beham
Industrial manufacturing is currently amidst it's fourth great revolution, pushing towards the digital transformation of production processes. One key element of this transformatio…
Heat diffusion blurs photothermal images with increasing depth
Peter Burgholzer, Günther Mayr, Gregor Thummerer +1
In this tutorial, we aim to directly recreate some of our "aha" moments when exploring the impact of heat diffusion on the spatial resolution limit of photothermal imaging. Our obj…
Nuclear Pleomorphism in Canine Cutaneous Mast Cell Tumors: Comparison of Reproducibility and Prognostic Relevance between Estimates, Manual Morphometry and Algorithmic Morphometry
Andreas Haghofer, Eda Parlak, Alexander Bartel +18
Variation in nuclear size and shape is an important criterion of malignancy for many tumor types; however, categorical estimates by pathologists have poor reproducibility. Measurem…
Walsh's Conformal Map onto Lemniscatic Domains for Polynomial Pre-images II
Klaus Schiefermayr, Olivier Sète
We consider Walsh's conformal map from the exterior of a set consisting of compact disjoint components onto a lemniscatic domain. In particular, w…