Home      Library      Discussions      About
Join us

@it.uu.se

Jan 28, 2019
Methodology
Machine Learning

Inferring Heterogeneous Causal Effects in Presence of Spatial Confo…

We address the problem of inferring the causal effect of an exposure on an outcome across space, using observational data. The data is possibly subje…
Apr 24, 2015
Logic in Computer Science
Formal Languages and Automata Theory

In this paper, we provided a conceptually new approach to the verification of distributed algorithms that is robust against small changes of the model.

An Automata-Theoretic Approach to the Verification of Distributed A…

We introduce an automata-theoretic method for the verification of distributed algorithms running on ring networks. In a distributed algorithm, an arb…
Oct 30, 2018
Optimization and Control

Inverse Quadratic Optimal Control for Discrete-Time Linear Systems

In this paper, we consider the inverse optimal control problem for the discrete-time linear quadratic regulator, over finite-time horizons. Given obs…
Feb 05, 2019
Human-Computer Interaction

Empathic Robot for Group Learning: A Field Study

This work explores a group learning scenario with an autonomous empathic robot. We address two research questions: (1) Can an autonomous robot design…
Apr 01, 2016
Machine Learning
Systems and Control

A sequential Monte Carlo approach to Thompson sampling for Bayesian …

Bayesian optimization through Gaussian process regression is an effective method of optimizing an unknown function for which every measurement is exp…
Jan 24, 2019
Computer Vision
Computers and Society

Whole slide image registration for the study of tumor heterogeneity

Consecutive thin sections of tissue samples make it possible to study local variation in e.g. protein expression and tumor heterogeneity by staining …
Feb 10, 2015
Populations and Evolution
Distributed
Parallel
and Cluster Computing

Fast event-based epidemiological simulations on national scales

We present a computational modeling framework for data-driven simulations and analysis of infectious disease spread in large populations. For the pur…
May 16, 2018
Distributed
Parallel
and Cluster Computing

KubeNow is a platform that enables straightforward instantiation of microservice-oriented research environments on demand, leveraging on the major cloud providers infrastructure. KubeNow comes with a CLI that is easy to learn, and it enables any res…

KubeNow: an On-Demand Cloud-Agnostic Platform for Microservices-Based…

Microservices platforms, such as Kubernetes, have received a great deal of attention lately as they offer elastic and resilient orchestration for ser…
Jul 14, 2016
Social and Information Networks
Physics and Society

A simple multiforce layout for multiplex networks

We introduce multiforce, a force-directed layout for multiplex networks, where the nodes of the network are organized into multiple layers and both i…
Oct 16, 2018
Robotics
Human-Computer Interaction
Machine Learning

Social Behavior Learning with Realistic Reward Shaping

Deep reinforcement learning has been widely applied in the field of robotics recently to study tasks like locomotion and grasping, but applying it to…
May 07, 2018
Fluid Dynamics

Effective slip over partially filled microcavities and its possible …

Motivated by the emerging applications of liquid-infused surfaces (LIS), we study the drag reduction and robustness of transverse flows over two-dime…
Feb 03, 2017
Programming Languages
Logic in Computer Science

Context-Bounded Analysis for POWER

We propose an under-approximate reachability analysis algorithm for programs running under the POWER memory model, in the spirit of the work on conte…
Jun 12, 2013
Machine Learning
Systems and Control

Bayesian Inference and Learning in Gaussian Process State-Space Model…

State-space models are successfully used in many areas of science, engineering and economics to model time series and dynamical systems. We present a…
Sep 06, 2017
Computer Vision
Information Retrieval

Radial Line Fourier Descriptor for Handwritten Word Representation

Automatic recognition of historical handwritten manuscripts is a daunting task due to paper degradation over time. The performance of information ret…
Apr 01, 2018
Numerical Analysis

High Order Cut Finite Elements for the Elastic Wave Equation

A high order cut finite element method is formulated for solving the elastic wave equation. Both a single domain problem and an interface problem are…
May 12, 2019
Discrete Mathematics

Routing and Scheduling of Network Flows with Deadlines and Discrete …

Joint scheduling and routing of data flows with deadline constraints in communication networks has been attracting research interest. This type of pr…
Jan 29, 2014
Artificial Intelligence

Airspace sectorisation provides a partition of a given airspace into sectors, subject to geometric constraints and workload constraints, so that some cost metric is minimised. We have studied the constraints that arise in airspace sectorisation, giv…

Propagators and Violation Functions for Geometric and Workload Cons…

Airspace sectorisation provides a partition of a given airspace into sectors, subject to geometric constraints and workload constraints, so that some…
Jan 02, 2017
Methodology
Computer Vision
Data Analysis
Statistics and Probability

Assessing Uncertainties in X-ray Single-particle Three-dimensional …

Modern technology for producing extremely bright and coherent X-ray laser pulses provides the possibility to acquire a large number of diffraction pa…
Sep 26, 2014
Social and Information Networks
Physics and Society

Missing data in multiplex networks: a preliminary study

A basic problem in the analysis of social networks is missing data. When a network model does not accurately capture all the actors or relationships …
May 22, 2018
Machine Learning

Multi-Statistic Approximate Bayesian Computation with Multi-Armed B…

Approximate Bayesian computation is an established and popular method for likelihood-free inference with applications in many disciplines. The effect…
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