
Can Neural Image Captioning be Controlled via Forced Attention?
Learned dynamic weighting of the conditioning signal (attention) has bee...
read it

eclingo: A solver for Epistemic Logic Programs
We describe eclingo, a solver for epistemic logic programs under Gelfond...
read it

ASPCore2 Input Language Format
Standardization of solver input languages has been a main driver for the...
read it

Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
This article presents the use of Answer Set Programming (ASP) to mine se...
read it

Domain Generalization by Marginal Transfer Learning
Domain generalization is the problem of assigning class labels to an unl...
read it

Transfer Learning for Speech Recognition on a Budget
Endtoend training of automated speech recognition (ASR) systems requir...
read it

Twosample Hypothesis Testing for Inhomogeneous Random Graphs
The study of networks leads to a wide range of high dimensional inferenc...
read it

Compressive Statistical Learning with Random Feature Moments
We describe a general framework compressive statistical learning for...
read it

Adaptivity to Noise Parameters in Nonparametric Active Learning
This work addresses various open questions in the theory of active learn...
read it

Feature overwriting as a finite mixture process: Evidence from comprehension data
The ungrammatical sentence "The key to the cabinets are on the table" is...
read it

Modelling dependency completion in sentence comprehension as a Bayesian hierarchical mixture process: A case study involving Chinese relative clauses
We present a casestudy demonstrating the usefulness of Bayesian hierarc...
read it

Kernel regression, minimax rates and effective dimensionality: beyond the regular case
We investigate if kernel regularization methods can achieve minimax conv...
read it

Parallelizing Spectral Algorithms for Kernel Learning
We consider a distributed learning approach in supervised learning for a...
read it

Convergence rates of Kernel Conjugate Gradient for random design regression
We prove statistical rates of convergence for kernelbased least squares...
read it

Tight (Lower) Bounds for the Fixed Budget Best Arm Identification Bandit Problem
We consider the problem of best arm identification with a fixed budget T...
read it

Optimal Rates For Regularization Of Statistical Inverse Learning Problems
We consider a statistical inverse learning problem, where we observe the...
read it

ROSoClingo: A ROS package for ASPbased robot control
Knowledge representation and reasoning capacities are vital to cognitive...
read it

Varyingcoefficient models with isotropic Gaussian process priors
We study learning problems in which the conditional distribution of the ...
read it

Permutational Rademacher Complexity: a New Complexity Measure for Transductive Learning
Transductive learning considers situations when a learner observes m lab...
read it

Localized Complexities for Transductive Learning
We show two novel concentration inequalities for suprema of empirical pr...
read it

Extensions of stability selection using subsamples of observations and covariates
We introduce extensions of stability selection, a method to stabilise va...
read it

On Elementary Loops of Logic Programs
Using the notion of an elementary loop, Gebser and Schaub refined the th...
read it

Accelerated Linear SVM Training with Adaptive Variable Selection Frequencies
Support vector machine (SVM) training is an active research area since t...
read it

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
Nested logic programs have recently been introduced in order to allow fo...
read it

Preferred wellfounded semantics for logic programming by alternating fixpoints: Preliminary report
We analyze the problem of defining wellfounded semantics for ordered lo...
read it

The Local Rademacher Complexity of LpNorm Multiple Kernel Learning
We derive an upper bound on the local Rademacher complexity of ℓ_pnorm ...
read it

A ConsistencyBased Model for Belief Change: Preliminary Report
We present a general, consistencybased framework for belief change. Inf...
read it

Logic Programs with Compiled Preferences
We describe an approach for compiling preferences into logic programs un...
read it

A Compiler for Ordered Logic Programs
This paper describes a system, called PLP, for compiling ordered logic p...
read it

A computational investigation of sources of variability in sentence comprehension difficulty in aphasia
We present a computational evaluation of three hypotheses about sources ...
read it

Generating Sentiment Lexicons for German Twitter
Despite a substantial progress made in developing new sentiment lexicon ...
read it

Early stopping for statistical inverse problems via truncated SVD estimation
We consider truncated SVD (or spectral cutoff, projection) estimators f...
read it

A Theorem Prover for Scientific and Educational Purposes
We present a prototype of an integrated reasoning environment for educat...
read it

Learning how to Prove: From the Coq Proof Assistant to Textbook Style
We have developed an alternative approach to teaching computer science s...
read it

Tracing sharing in an imperative pure calculus
We introduce a type and effect system, for an imperative object calculus...
read it

Gaussian Process Forecast with multidimensional distributional entries
In this work, we propose to define Gaussian Processes indexed by multidi...
read it

ModelDriven Engineering of SelfAdaptive Software with EUREMA
The development of selfadaptive software requires the engineering of an...
read it

The Role of Models and Megamodels at Runtime
In modeldriven software development a multitude of interrelated models ...
read it

Post hoc false positive control for spatially structured hypotheses
In a high dimensional multiple testing framework, we present new confide...
read it

On the Relevance of Blockchain in Identity Management
The ubiquitous application of emerging blockchain technology in numerous...
read it

MaxMin and MinMax universally yield Gumbel
"A chain is only as strong as its weakest link" says the proverb. But wh...
read it

Multivariate Brenier cumulative distribution functions and their application to nonparametric testing
In this work we introduce a novel approach of construction of multivaria...
read it

A Discriminative Model for Identifying Readers and Assessing Text Comprehension from Eye Movements
We study the problem of inferring readers' identities and estimating the...
read it

anthem: Transforming gringo Programs into FirstOrder Theories (Preliminary Report)
In a recent paper by Harrison et al., the concept of program completion ...
read it

Hybrid Active Inference
We describe a framework of hybrid cognition by formulating a hybrid cogn...
read it

A minimax nearoptimal algorithm for adaptive rejection sampling
Rejection Sampling is a fundamental MonteCarlo method. It is used to sa...
read it

IIFA: Modular Interapp Intent Information Flow Analysis of Android Applications
Android apps cooperate through message passing via intents. However, whe...
read it

Statistical inference for BuresWasserstein barycenters
In this work we introduce the concept of BuresWasserstein barycenter Q_...
read it

Random Subgroups of Rationals
This paper introduces and studies a notion of algorithmic randomness for...
read it

Algorithms for highdimensional nonlinear filtering and smoothing problems
Several numerical tools designed to overcome the challenges of smoothing...
read it
Universität Potsdam
Where knowledge grows: The University of Potsdam scores with a special variety of study opportunities and a distinct interdisciplinary research profile.