
Using LSTMs for climate change assessment studies on droughts and floods
Climate change affects occurrences of floods and droughts worldwide. How...
read it

Detecting cutaneous basal cell carcinomas in ultrahigh resolution and weakly labelled histopathological images
Diagnosing basal cell carcinomas (BCC), one of the most common cutaneous...
read it

Explaining and Interpreting LSTMs
While neural networks have acted as a strong unifying force in the desig...
read it

DEVDAN: Deep Evolving Denoising Autoencoder
The Denoising Autoencoder (DAE) enhances the flexibility of the data str...
read it

Patch Refinement – Localized 3D Object Detection
We introduce Patch Refinement a twostage model for accurate 3D object d...
read it

Rectified Factor Networks
We propose rectified factor networks (RFNs) to efficiently construct ver...
read it

Toxicity Prediction using Deep Learning
Everyday we are exposed to various chemicals via food additives, cleanin...
read it

Fast and Accurate Deep Network Learning by Exponential Linear Units (ELUs)
We introduce the "exponential linear unit" (ELU) which speeds up learnin...
read it

Coulomb GANs: Provably Optimal Nash Equilibria via Potential Fields
Generative adversarial networks (GANs) evolved into one of the most succ...
read it

GANs Trained by a Two TimeScale Update Rule Converge to a Local Nash Equilibrium
Generative Adversarial Networks (GANs) excel at creating realistic image...
read it

A Technique for Deriving Equational Conditions on the DenavitHartenberg Parameters of 6R Linkages that are Necessary for Movability
A closed 6R linkage is generically rigid. Special cases may be mobile. M...
read it

Kempe's Universality Theorem for Rational Space Curves
We prove that every bounded rational space curve of degree d and circula...
read it

Robust Unsupervised Domain Adaptation for Neural Networks via Moment Alignment
A novel approach for unsupervised domain adaptation for neural networks ...
read it

Likelihood Estimation for Generative Adversarial Networks
We present a simple method for assessing the quality of generated images...
read it

Probabilistic Generative Adversarial Networks
We introduce the Probabilistic Generative Adversarial Network (PGAN), a ...
read it

A Hitchhiker's Guide to SearchBased Software Engineering for Software Product Lines
Search Based Software Engineering (SBSE) is an emerging discipline that ...
read it

Central Moment Discrepancy (CMD) for DomainInvariant Representation Learning
The learning of domaininvariant representations in the context of domai...
read it

MacroEconomic Time Series Modeling and Interaction Networks
Macroeconomic models describe the dynamics of economic quantities. The ...
read it

Towards Score Following in Sheet Music Images
This paper addresses the matching of short music audio snippets to the c...
read it

On Formal Specification of Maple Programs
This paper is an examplebased demonstration of our initial results on t...
read it

Amending the Characterization of Guidance in Visual Analytics
At VAST 2016, a characterization of guidance has been presented. It incl...
read it

Selecting the Best Quadrilateral Mesh for Given Planar Shape
The problem of mesh matching is addressed in this work. For a given nsi...
read it

Refined Holonomic Summation Algorithms in Particle Physics
An improved multisummation approach is introduced and discussed that en...
read it

Denominator Bounds and Polynomial Solutions for Systems of qRecurrences over K(t) for Constant K
We consider systems A_ℓ(t) y(q^ℓ t) + ... + A_0(t) y(t) = b(t) of higher...
read it

Representing (q)hypergeometric products and mixed versions in difference rings
In recent years, Karr's difference field theory has been extended to the...
read it

Denominator Bounds for Systems of Recurrence Equations using ΠΣExtensions
We consider linear systems of recurrence equations whose coefficients ar...
read it

Introspection for C and its Applications to Library Robustness
Context: In C, lowlevel errors, such as buffer overflow and useafterf...
read it

Current Challenges and Visions in Music Recommender Systems Research
Music recommender systems (MRS) have experienced a boom in recent years,...
read it

What were you expecting? Using Expectancy Features to Predict Expressive Performances of Classical Piano Music
In this paper we present preliminary work examining the relationship bet...
read it

Ultimate Positivity of Diagonals of Quasirational Functions
The problem to decide whether a given multivariate (quasi)rational func...
read it

Bounds for Substituting Algebraic Functions into Dfinite Functions
It is well known that the composition of a Dfinite function with an alg...
read it

The number of realizations of a Laman graph
Laman graphs model planar frameworks that are rigid for a general choice...
read it

ReductionBased Creative Telescoping for Fuchsian Dfinite Functions
Continuing a series of articles in the past few years on creative telesc...
read it

Dfinite Numbers
Dfinite functions and Precursive sequences are defined in terms of lin...
read it

Some Open Problems related to Creative Telescoping
Creative telescoping is the method of choice for obtaining information a...
read it

Evaluation of binomial double sums involving absolute values
We show that double sums of the form ∑_i,j=n ^n i^sj^t(i^kj^k)^β 2n...
read it

Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
We study nearestneighbors walks on the twodimensional square lattice, ...
read it

Constrained Best Linear Unbiased Estimation
The least squares (LS) estimator and the best linear unbiased estimator ...
read it

Aktuelle Entwicklungen in der Automatischen Musikverfolgung
In this paper we present current trends in realtime music tracking (a.k...
read it

Learning Audio  Sheet Music Correspondences for Score Identification and Offline Alignment
This work addresses the problem of matching short excerpts of audio with...
read it

Modeling Harmony with SkipGrams
Stringbased (or viewpoint) models of tonal harmony often struggle with ...
read it

Verifying Buchberger's Algorithm in Reduction Rings
In this paper we present the formal, computersupported verification of ...
read it

Mathematical Theory Exploration in Theorema: Reduction Rings
In this paper we present the firstever computer formalization of the th...
read it

ReductionBased Creative Telescoping for Algebraic Functions
Continuing a series of articles in the past few years on creative telesc...
read it

Factorization of Cfinite Sequences
We discuss how to decide whether a given Cfinite sequence can be writte...
read it

Improved Polynomial Remainder Sequences for Ore Polynomials
Polynomial remainder sequences contain the intermediate results of the E...
read it

Algebraic independence of sequences generated by (cyclotomic) harmonic sums
An expression in terms of (cyclotomic) harmonic sums can be simplified b...
read it

Liaison Linkages
The complete classification of hexapods  also known as Stewart Gough pl...
read it

On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t
For a nonnegative integer t, let c_t be the asymptotic density of natura...
read it

MKfuzzy Automata and MSO Logics
We introduce MKfuzzy automata over a bimonoid K which is related to the...
read it
Johannes Kepler University Linz
Complete your studies at the largest university in Upper Austria with over 60 courses: Bachelor, Master, Diploma, Doctorate, Courses, Distance Studies.