Home      Library      Discussions      About
Join us

@tuwien.ac.at

Jan 30, 2017
Formal Languages and Automata Theory

The ideas of and personal discussions with Zoltán Ésik were of great influence in preparing this paper. Thanks are due to two unknown referees for their helpful remarks.

Weighted omega-Restricted One Counter Automata

Let $S$ be a complete star-omega semiring and $\Sigma$ be an alphabet. For a weighted $\omega$-restricted one-counter automaton $\mathcal{C}$ with se…
Jun 08, 2016
Robotics

Help, Anyone? A User Study For Modeling Robotic Behavior To Mitigate …

Service robots for the domestic environment are intended to autonomously provide support for their users. However, state-of-the-art robots still ofte…
May 21, 2015
Optics
Atomic and Molecular Clusters

We propose a protocol to probe the ultrafast evolution and dephasing of coherent electronic excitation in molecules in the time domain by the intrinsic streaking field generated by the molecule itself. Coherent electronic motion in the endohedral fu…

Observation of molecular dipole excitations by attosecond self-streak…

We propose a protocol to probe the ultrafast evolution and dephasing of coherent electronic excitation in molecules in the time domain by the intrins…
Sep 22, 2016
Soft Condensed Matter

On the applicability of density dependent effective interactions in …

We systematically studied the validity and transferability of effective, coarse-grained, pair potentials in ultrasoft colloidal systems. We focused o…
Apr 23, 2015
Numerical Analysis

Adaptive 2D IGA boundary element methods

We derive and discuss a posteriori error estimators for Galerkin and collocation IGA boundary element methods for weakly-singular integral equations …
Dec 17, 2017
Systems and Control
Distributed
Parallel
and Cluster Computing

A Distributed Particle-PHD Filter with Arithmetic-Average PHD Fusion

We propose a particle-based distributed PHD filter for tracking an unknown, time-varying number of targets. To reduce communication, the local PHD fi…
Dec 30, 2015
Combinatorics
Probability

Subgraph statistics in subcritical graph classes

Let $H$ be a fixed graph and $\mathcal{G}$ a subcritical graph class. In this paper we show that the number of occurrences of $H$ (as a subgraph) in …
Jan 29, 2018
Distributed
Parallel
and Cluster Computing
Performance
Software Engineering

Using Meta-heuristics and Machine Learning for Software Optimization …

While the modern parallel computing systems offer high performance, utilizing these powerful computing resources to the highest possible extent deman…
Apr 10, 2014
Numerical Analysis

Simultaneous quasi-optimal convergence in FEM-BEM coupling

We consider the symmetric FEM-BEM coupling that connects two linear elliptic second order partial differential equations posed in a bounded domain $\…
Jun 22, 2015
Mesoscale and Nanoscale Physics

Magneto-optical response of graphene: probing substrate interactions

Magneto-optical transitions between Landau levels can provide precise spectroscopic information on the electronic structure and excitation spectra of…
Nov 13, 2017
Artificial Intelligence
Logic in Computer Science

A Robust Genetic Algorithm for Learning Temporal Specifications from …

We consider the problem of mining signal temporal logical requirements from a dataset of regular (good) and anomalous (bad) trajectories of a dynamic…
Nov 21, 2018

Further refining the de Sitter swampland conjecture

We propose an alternative refined de Sitter conjecture. It is given by a natural condition on a combination of the first and second derivatives of th…
May 28, 2019
Machine Learning

Dynamic Nonparametric Edge-Clustering Model for Time-Evolving Sparse …

Interaction graphs, such as those recording emails between individuals or transactions between institutions, tend to be sparse yet structured, and of…
Jun 16, 2016
Numerical Analysis

Stationary Schrödinger equation in the semi-classical limit: numerica…

This paper is concerned with a 1D Schr\"odinger scattering problem involving both oscillatory and evanescent regimes, separated by jump discontinuiti…
May 14, 2018

Hybrid Fluid Models from Mutual Effective Metric Couplings

Motivated by a semi-holographic approach to the dynamics of quark-gluon plasma which combines holographic and perturbative descriptions of a strongly…
Jan 27, 2009
Atomic Physic
Computational Physics

Electron correlation in two-photon double ionization of helium from …

We investigate the role of electron correlation in the two-photon double ionization of helium for ultrashort XUV pulses with durations ranging from a…
Jan 15, 2019
Numerical Analysis

In this last section we present two numerical examples to verify our method. All examples were implemented within the finite element library NGSolve/Netgen, see [28, 29] and on www.ngsolve.org. The computational domain is given by Ω=[0,1]d and the v…

A mass conserving mixed stress formulation for Stokes flow with weakl…

We introduce a new discretization of a mixed formulation of the incompressible Stokes equations that includes symmetric viscous stresses. The method …
Apr 06, 2019
Combinatorics

In this paper we generalized the work of Heuberger and Prodinger, who derived the average protection number of plane trees, to a more general framework. We obtained the average protection number for all simply generated trees, as well as for Pólya t…

Protection numbers in simply generated trees and Pólya trees

We determine the limit of the expected value and the variance of the protection number of the root in simply generated trees, in P\'olya trees, and i…
Apr 29, 2019
Information Retrieval

On the Effect of Low-Frequency Terms on Neural-IR Models

Low-frequency terms are a recurring challenge for information retrieval models, especially neural IR frameworks struggle with adequately capturing in…
Dec 17, 2015
Computational Physics
Mesoscale and Nanoscale Physics

A self-consistent spin-diffusion model for micromagnetics

We propose a three-dimensional micromagnetic model that dynamically solves the Landau-Lifshitz-Gilbert equation coupled to the full spin-diffusion eq…
There aren't more papers

Request Comment

or Invite via email
You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description