Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors. This is specially true in dynamic languages such as Prolog. However, such run-time ...

Shape-changing interfaces have emerged as an new method for interacting with computers, using dynamic changes in a device’s physical shape for input and output. With the advances of research into shape-changing interfaces, we see a need to synthesize the main, open rese...

Contemporary tools for reducing model error in weather and climate forecasting models include empirical correction techniques. In this paper we explore the use of such techniques on low-order atmospheric models. We first present an iterative linear regression method for...

The fitness-level technique is a simple and old way to derive upper bounds for the expected runtime of simple elitist evolutionary algorithms (EAs). Recently, the technique has been adapted to deduce the runtime of algorithms with non-elitist populations and unary varia...

Doctoral; We review methods from statistical physics and dynamical systems theory for the analysis of mean-field models in neuroscience.

We present JOLED, a mid-air display for interactive physical visualization using Janus objects as physical voxels. The Janus objects have special surfaces that have two or more asymmetric physical properties at different areas. In JOLED, they are levitated in mid-air an...

Local Field Potentials (LFPs) are population signals generated by complex spatiotemporal interaction of current sources and dipoles. Mathematical computations of LFPs allow the study of circuit functions and dysfunctions via simulations. This paper introduces LFPsim, a ...

In order to properly assess the function and computational properties of simulated neural systems, it is necessary to account for the nature of the stimuli that drive the system. However, providing stimuli that are rich and yet both reproducible and amenable to experime...

Presentation given at the Kirchhoff-Institute at University of Heidelberg.