About
21
Publications
9,660
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
273
Citations
Introduction
Real-time speech processing.
Work queue:
- News summary for Ada User Journal 36(4).
- On-line version of my tool for identifying privacy-leaks in Java classes.
Additional affiliations
January 2003 - January 2006
January 1998 - September 2002
May 1994 - October 2015
Jacob Sparre Andersen Research & Innovation
Position
- Head of Research & Innovation
Publications
Publications (21)
We use 3D particle tracking to study the relative dispersion of particle pairs. Specifically, we want to determine the constant C in Obukhov's law = C \varepsilon t^3, where Delta r is the distance between two particles initially close to each other, \varepsilon the energy dissipation, and t time. We observe C ≈ 0.4. The turbulent flow is genera...
We propose a set-top box design for giving the owner access to a number of TV channels adapted specifically to his/her interests. The channels are composed based on reviews distributed in RSS format. The reviews can originate from other users of similar devices as well as from other sources. The device trains an artificial neural network (Hertz et...
Persistent objects form a general and very useful method for storing internal program data between executions of a program.
And as points out, Ada is an excellent language for implementing persistent objects. This paper introduces a low-impact,
efficient implementation of persistent objects based on storage pools and the “POSIX.Memory_ Mapping” API...
The declarations of subprograms in the public part of an Ada package specification can be seen as a declaration of how you are supposed to call the features implemented in the package. So why should I have to write command-line interfaces myself? Why not let a tool translate between the Ada package specification and the command-line interface?
Having a tool translate use-cases into integration tests ensures: + A consistent interpretation of the meaning of use-cases when testing your system. + That you test the implementation of all your (documented) use-cases. The presentation discusses the costs and benefits of such tool-generated tests, and presents various strategies for implementing...
Contract-based programming is a software development technique, which is used to find programming errors earlier in the development process.
"Contract" refers to formal declarations of how types and subprograms ("functions and methods" if you aren't an Ada programmer already) behave. In the strictest form, the contracts are checked as a part of th...
One of the changes from DO-178B to DO-178C is supposedly to make it allowable to implement flight control systems in the Java programming language [3]. This makes it important to learn of the reliability deficiencies of Java, and possibly how to avoid them. This paper is focused on one particular class of programming errors in Java; privacy leaks f...
The 2012 version of the Ada programming language standard includes checked "contracts" and "aspects" for subprograms and types. Some of these are by definition checked at compile-time, while other checks can be postponed to run-time, if a static analysis is unfeasible (or just not implemented).
At AdaHeads, we are currently developing a hosted tele...
Alice is the core component in a hosted telephone reception system being developed by AdaHeads. Alice manages where a PBX directs calls when they arrive from the outside and brings the receptionists live information about the organisations being called. A hosted telephone reception service is the core of out-sourced handling of incoming phone calls...
This paper presents an Open Source language server developed for the children's on-line multi-user game Crimeville. The language server was developed in Ada using the POSIX Ada API [1]. The language server is to the author's knowledge the first time Ada has been used when implementing a commercial computer game, and we are thus pushing the boundari...
[ Imagine that your calendar is aware of where you are and where you must be. You don't need to check if it takes two or three hours by train to Aarhus. You don't have to guess how early you have to leave, when you set the alarm on an appointment.
When you make an appointment, your calendar will warn you if the travel time from the location
of the...
The effects on latent inhibition (LI; a delay in conditioning when a CS has been pre-exposed without consequences) of repeated restraint stress and the anxiolytic drug diazepam were examined in C57BL/6 mice to know whether previous aversive events or anxiolysis are factors determining the expression of LI. The LI model was optimized for this strain...
Transmission electron microscopy has been used to study the behavior of liquid nanosized Pb inclusions in Al ribbons made by rapid
solidification. In situ heating experiments carried out in the temperature range from around 375 to 450 ◦C have shown that liquid inclusions
with sizes from around 10–50 nm, that are trapped on dislocations, perform ran...
We report new measurements of mixing of passive temperature field in a turbulent flow. The use of low temperature helium gas allows us to span a range of microscale Reynolds number, R(lambda), from 100 to 650. The exponents xi(n) of the temperature structure functions </straight theta(x+r)-straight theta(x)/(n)> approximately r(xi(n)) are shown to...
We examine particle trajectories in capillary waves formed on a water surface subject to vertical vibrations. We focus on the role of a distinct length scale present in our experiment, namely, the wavelength lambda of the surface waves. We observe non-Brownian particle trajectories with a fractal dimension D different from the random walk value D =...
When a container of fluid is oscillated vertically, capillary waves develop on the surface if the amplitude exceeds a critical value. Experimentally one finds that the motion of small particles on the surface of the fluid is close to Brownian. Here we study the relative motion of particle pairs. The experiment establishes that particle motion is st...
We present experimental results for the motion of particles moving on capillary ripples. The ripples are formed on the surface of a fluid undergoing vertical oscillations. We find an anomalous relative diffusion: particles initially close separate in time, moving more rapidly apart as their distance increases. This result is surprising, as self-dif...
Questions
Question (1)
I am looking into some (2D) flow-simulation algorithms, which jump between real and wave-number space using FFT. How efficient are the different implementations available? Also, how well do they scale with the number of cores in a multicore system? (The FFTW benchmark overview at http://www.fftw.org/speed/ doesn't include any runs beyond dual-core systems.)