2,630 research outputs found
Total Generalized Variation for Manifold-valued Data
In this paper we introduce the notion of second-order total generalized
variation (TGV) regularization for manifold-valued data in a discrete setting.
We provide an axiomatic approach to formalize reasonable generalizations of TGV
to the manifold setting and present two possible concrete instances that
fulfill the proposed axioms. We provide well-posedness results and present
algorithms for a numerical realization of these generalizations to the manifold
setup. Further, we provide experimental results for synthetic and real data to
further underpin the proposed generalization numerically and show its potential
for applications with manifold-valued data
Many-core compiler fuzzing
We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random differential testing and testing via equivalence modulo inputs (EMI), we present several strategies for random generation of deterministic, communicating OpenCL kernels, and an injection mechanism that allows EMI testing to be applied to kernels that otherwise exhibit little or no dynamically-dead code. We use these methods to conduct a large, controlled testing campaign with respect to 21 OpenCL (device, compiler) configurations, covering a range of CPU, GPU, accelerator, FPGA and emulator implementations. Our study provides independent validation of claims in prior work related to the effectiveness of random differential testing and EMI testing, proposes novel methods for lifting these techniques to the many-core setting and reveals a significant number of OpenCL compiler bugs in commercial implementations
Ptychographic X-ray computed tomography of extended colloidal networks in food emulsions
As a main structural level in colloidal food materials, extended colloidal
networks are important for texture and rheology. By obtaining the 3D
microstructure of the network, macroscopic mechanical properties of the
material can be inferred. However, this approach is hampered by the lack of
suitable non-destructive 3D imaging techniques with submicron resolution.
We present results of quantitative ptychographic X-ray computed tomography
applied to a palm kernel oil based oil-in-water emulsion. The measurements were
carried out at ambient pressure and temperature. The 3D structure of the
extended colloidal network of fat globules was obtained with a resolution of
around 300 nm. Through image analysis of the network structure, the fat globule
size distribution was computed and compared to previous findings. In further
support, the reconstructed electron density values were within 4% of reference
values.Comment: 19 pages, 4 figures, to be published in Food Structur
A 6-12 GHz Analogue Lag-Correlator for Radio Interferometry
Aims: We describe a 6-12 GHz analogue correlator that has been developed for
use in radio interferometers. Methods: We use a lag-correlator technique to
synthesis eight complex spectral channels. Two schemes were considered for
sampling the cross-correlation function, using either real or complex
correlations, and we developed prototypes for both of them. We opted for the
``add and square'' detection scheme using Schottky diodes over the more
commonly used active multipliers because the stability of the device is less
critical. Results: We encountered an unexpected problem, in that there were
errors in the lag spacings of up to ten percent of the unit spacing. To
overcome this, we developed a calibration method using astronomical sources
which corrects the effects of the non-uniform sampling as well as gain error
and dispersion in the correlator.Comment: 14 pages, 21 figures, accepted for publication in A&
The predictive potential of hand gestures during conversation: An investigation of the timing of gestures in relation to speech
In face-to-face conversation, recipients might use the bodily movements of the speaker (e.g. gestures) to facilitate language processing. It has been suggested that one way through which this facilitation may happen is prediction. However, for this to be possible, gestures would need to precede speech, and it is unclear whether this is true during natural conversation. In a corpus of Dutch conversations, we annotated hand gestures that represent semantic information and occurred during questions, and the word(s) which corresponded most closely to the gesturally depicted meaning. Thus, we tested whether representational gestures temporally precede their lexical affiliates. Further, to see whether preceding gestures may indeed facilitate language processing, we asked whether the gesture-speech asynchrony predicts the response time to the question the gesture is part of. Gestures and their strokes (most meaningful movement component) indeed preceded the corresponding lexical information, thus demonstrating their predictive potential. However, while questions with gestures got faster responses than questions without, there was no evidence that questions with larger gesture-speech asynchronies get faster responses. These results suggest that gestures indeed have the potential to facilitate predictive language processing, but further analyses on larger datasets are needed to test for links between asynchrony and processing advantages
A 6-12 GHz Analogue Lag-Correlator for Radio Interferometry
Aims: We describe a 6-12 GHz analogue correlator that has been developed for
use in radio interferometers. Methods: We use a lag-correlator technique to
synthesis eight complex spectral channels. Two schemes were considered for
sampling the cross-correlation function, using either real or complex
correlations, and we developed prototypes for both of them. We opted for the
``add and square'' detection scheme using Schottky diodes over the more
commonly used active multipliers because the stability of the device is less
critical. Results: We encountered an unexpected problem, in that there were
errors in the lag spacings of up to ten percent of the unit spacing. To
overcome this, we developed a calibration method using astronomical sources
which corrects the effects of the non-uniform sampling as well as gain error
and dispersion in the correlator.Comment: 14 pages, 21 figures, accepted for publication in A&
- …