-
Dynamical phenomena in the Martian atmosphere through Mars Express imaging
Authors:
A. Sánchez-Lavega,
T. del Río-Gaztelurrutia,
A. Spiga,
J. Hernández-Bernal,
E. Larsen,
D. Tirsch,
A. Cardesin-Moinelo,
P. Machado
Abstract:
This review describes the dynamic phenomena in the atmosphere of Mars that are visible in images taken in the visual range through cloud formation and dust lifting. We describe the properties of atmospheric features traced by aerosols covering a large range of spatial and temporal scales, including dynamical interpretations and modelling when available. We present the areographic distribution and…
▽ More
This review describes the dynamic phenomena in the atmosphere of Mars that are visible in images taken in the visual range through cloud formation and dust lifting. We describe the properties of atmospheric features traced by aerosols covering a large range of spatial and temporal scales, including dynamical interpretations and modelling when available. We present the areographic distribution and the daily and seasonal cycles of those atmospheric phenomena. We rely primarily on images taken by cameras on Mars Express.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Pseudo-random Instance Generators in C++ for Deterministic and Stochastic Multi-commodity Network Design Problems
Authors:
Eric Larsen,
Serge Bisaillon,
Jean-François Cordeau,
Emma Fre**ger
Abstract:
Network design problems constitute an important family of combinatorial optimization problems for which numerous exact and heuristic algorithms have been developed over the last few decades. Two central problems in this family are the multi-commodity, capacitated, fixed charge network design problem (MCFNDP) and its stochastic counterpart, the two-stage MCFNDP with recourse. These are standard pro…
▽ More
Network design problems constitute an important family of combinatorial optimization problems for which numerous exact and heuristic algorithms have been developed over the last few decades. Two central problems in this family are the multi-commodity, capacitated, fixed charge network design problem (MCFNDP) and its stochastic counterpart, the two-stage MCFNDP with recourse. These are standard problems that often serve as work benches for devising and testing models and algorithms in stylized but close-to-realistic settings. The purpose of this paper is to introduce two flexible, high-speed generators capable of simulating a wide range of settings for both the deterministic and stochastic MCFNDPs. We hope that, by facilitating systematic experimentation with new and larger sets of instances, these generators will lead to a more thorough assessment of the performance achieved by exact and heuristic solution methods in both deterministic and stochastic settings. We also hope that making these generators available will promote the reproducibility and comparability of published research.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
Lattice fluctuations, not excitonic correlations, mediated electronic localization in TiSe$_2$
Authors:
Ross E. Larsen,
Dimitar Pashov,
Matthew D. Watson,
Swagata Acharya,
Mark van Schilfgaarde
Abstract:
TiSe$_2$ is thought to be an insulator with a bandgap of ~0.1eV. It has attracted a much interest because, among of a rich array of unique properties, many have thought TiSe$_2$ is a rare realisation of an excitonic insulator. Below 200 K, TiSe$_2$ undergoes a transition from a high-symmetry ({P-3m1}) phase to a low-symmetry ({P-3c1}) phase. Here we establish that TiSe$_2$ is indeed an insulator i…
▽ More
TiSe$_2$ is thought to be an insulator with a bandgap of ~0.1eV. It has attracted a much interest because, among of a rich array of unique properties, many have thought TiSe$_2$ is a rare realisation of an excitonic insulator. Below 200 K, TiSe$_2$ undergoes a transition from a high-symmetry ({P-3m1}) phase to a low-symmetry ({P-3c1}) phase. Here we establish that TiSe$_2$ is indeed an insulator in both {P-3m1} and {P-3c1} phases. However, the insulating state is driven not by excitonic effects but by symmetry-breaking of the {P-3m1} phase. In the CDW phase the symmetry breaking is static. At high temperature, thermally driven instantaneous deviations from {P-3m1} break the symmetry on the characteristic time scale of a phonon. Even while the time-averaged \emph{lattice} structure assumes {P-3m1} symmetry, the time-averaged \emph{energy band} structure is closer to the CDW phase -- a rare instance of a metal-insulator transition induced by dynamical symmetry breaking. We establish these conclusions from a high-fidelity, self-consistent form of many body perturbation theory, in combination with molecular dynamics simulations to capture the effects of thermal disorder. The many-body theory includes explicitly ladder diagrams in the polarizability, which incorporates excitonic effects in an \emph{ab initio} manner. The excitonic modification to the potential is slight, ruling out the possibility that TiSe$_2$ is an excitonic insulator. Charge self-consistency is essential distinguish the metallic from insulating state.
△ Less
Submitted 2 April, 2024; v1 submitted 14 November, 2023;
originally announced November 2023.
-
First Steps Towards a Runtime Analysis of Neuroevolution
Authors:
Paul Fischer,
Emil Lundt Larsen,
Carsten Witt
Abstract:
We consider a simple setting in neuroevolution where an evolutionary algorithm optimizes the weights and activation functions of a simple artificial neural network. We then define simple example functions to be learned by the network and conduct rigorous runtime analyses for networks with a single neuron and for a more advanced structure with several neurons and two layers. Our results show that t…
▽ More
We consider a simple setting in neuroevolution where an evolutionary algorithm optimizes the weights and activation functions of a simple artificial neural network. We then define simple example functions to be learned by the network and conduct rigorous runtime analyses for networks with a single neuron and for a more advanced structure with several neurons and two layers. Our results show that the proposed algorithm is generally efficient on two example problems designed for one neuron and efficient with at least constant probability on the example problem for a two-layer network. In particular, the so-called harmonic mutation operator choosing steps of size $j$ with probability proportional to $1/j$ turns out as a good choice for the underlying search space. However, for the case of one neuron, we also identify situations with hard-to-overcome local optima. Experimental investigations of our neuroevolutionary algorithm and a state-of-the-art CMA-ES support the theoretical findings.
△ Less
Submitted 16 October, 2023; v1 submitted 3 July, 2023;
originally announced July 2023.
-
Engineering meter-scale porous media flow experiments for quantitative studies of geological carbon sequestration
Authors:
Kristoffer Eikehaug,
Malin Haugen,
Olav Folkvord,
Benyamine Benali,
Emil Bang Larsen,
Alina Tinkova,
Atle Rotevatn,
Jan Martin Nordbotten,
Martin A. Ferno
Abstract:
This technical note describes the FluidFlower concept, a new laboratory infrastructure for geological carbon storage research. The highly controlled and adjustable system produces a strikingly visual physical ground truth of studied processes for model validation, comparison, and forecasting, including detailed physical studies of the behavior and storage mechanisms of carbon dioxide and its deriv…
▽ More
This technical note describes the FluidFlower concept, a new laboratory infrastructure for geological carbon storage research. The highly controlled and adjustable system produces a strikingly visual physical ground truth of studied processes for model validation, comparison, and forecasting, including detailed physical studies of the behavior and storage mechanisms of carbon dioxide and its derivative forms in relevant geological settings for subsurface carbon storage. The design, instrumentation, structural aspects and methodology are described. Furthermore, we share engineering insights on construction, operation, fluid considerations, and fluid resetting in the porous media. The new infrastructure enables researchers to study variability between repeated CO2 injections, making the FluidFlower concept a suitable tool for sensitivity studies on a range of determining carbon storage parameters in varying geological formations.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
Fast Continuous and Integer L-shaped Heuristics Through Supervised Learning
Authors:
Eric Larsen,
Emma Fre**ger,
Bernard Gendron,
Andrea Lodi
Abstract:
We propose a methodology at the nexus of operations research and machine learning (ML) leveraging generic approximators available from ML to accelerate the solution of mixed-integer linear two-stage stochastic programs. We aim at solving problems where the second stage is highly demanding. Our core idea is to gain large reductions in online solution time while incurring small reductions in first-s…
▽ More
We propose a methodology at the nexus of operations research and machine learning (ML) leveraging generic approximators available from ML to accelerate the solution of mixed-integer linear two-stage stochastic programs. We aim at solving problems where the second stage is highly demanding. Our core idea is to gain large reductions in online solution time while incurring small reductions in first-stage solution accuracy by substituting the exact second-stage solutions with fast, yet accurate supervised ML predictions. This upfront investment in ML would be justified when similar problems are solved repeatedly over time, for example, in transport planning related to fleet management, routing and container yard management.
Our numerical results focus on the problem class seminally addressed with the integer and continuous L-shaped cuts. Our extensive empirical analysis is grounded in standardized families of problems derived from stochastic server location (SSLP) and stochastic multi knapsack (SMKP) problems available in the literature. The proposed method can solve the hardest instances of SSLP in less than 9% of the time it takes the state-of-the-art exact method, and in the case of SMKP the same figure is 20%. Average optimality gaps are in most cases less than 0.1%.
△ Less
Submitted 10 June, 2022; v1 submitted 2 May, 2022;
originally announced May 2022.
-
The mechanism of high harmonic generation in liquid alcohol
Authors:
Oliver Alexander,
Jonathan C. T. Barnard,
Esben W. Larsen,
Timur Avni,
Sebastian Jarosch,
Clement Ferchaud,
Andrew Gregory,
Susan Parker,
Gediminas Galinis,
Alexandra Tofful,
Douglas Garratt,
Mary R. Matthews,
Jonathan P. Marangos
Abstract:
The observation of non-perturbative harmonic emission in solids from ultrashort laser pulses [1] sparked a wave of studies [2,3] as a probe of charge carrier dynamics in solids under strong fields and a route to extreme ultraviolet (XUV) attosecond photonic devices [4]. High harmonic generation (HHG) in liquids [5,6] is far less explored, despite their relevance to biological media, and the mechan…
▽ More
The observation of non-perturbative harmonic emission in solids from ultrashort laser pulses [1] sparked a wave of studies [2,3] as a probe of charge carrier dynamics in solids under strong fields and a route to extreme ultraviolet (XUV) attosecond photonic devices [4]. High harmonic generation (HHG) in liquids [5,6] is far less explored, despite their relevance to biological media, and the mechanism is hotly debated. Using few-cycle pulses below the breakdown threshold, we demonstrate HHG in alcohol with data showing carrier-envelope-phase-dependent XUV spectra extending to 50 eV from isopropanol. We study the mechanism of the harmonic emission through its dependence on the driving field and find it to be consistent with a strong-field recombination mechanism. This maps emitted photon energy to the electron trajectories. We explore the role of the liquid environment in scattering the trajectories and find evidence that information on electron scattering from neighbouring molecules is encoded in the harmonic spectra. Using simulations we exploit this to estimate the scattering cross section and we confirm that the cross-section in liquid isopropanol is significantly reduced compared to vapour. Our findings suggest an \textit{in situ} measurement strategy for retrieving accurate values of scattering cross sections in liquids, and also a pathway to liquid-based attosecond XUV devices.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
A Survey of Machine Learning Algorithms for Detecting Malware in IoT Firmware
Authors:
Erik Larsen,
Korey MacVittie,
John Lilly
Abstract:
This work explores the use of machine learning techniques on an Internet-of-Things firmware dataset to detect malicious attempts to infect edge devices or subsequently corrupt an entire network. Firmware updates are uncommon in IoT devices; hence, they abound with vulnerabilities. Attacks against such devices can go unnoticed, and users can become a weak point in security. Malware can cause DDoS a…
▽ More
This work explores the use of machine learning techniques on an Internet-of-Things firmware dataset to detect malicious attempts to infect edge devices or subsequently corrupt an entire network. Firmware updates are uncommon in IoT devices; hence, they abound with vulnerabilities. Attacks against such devices can go unnoticed, and users can become a weak point in security. Malware can cause DDoS attacks and even spy on sensitive areas like peoples' homes. To help mitigate this threat, this paper employs a number of machine learning algorithms to classify IoT firmware and the best performing models are reported. In a general comparison, the top three algorithms are Gradient Boosting, Logistic Regression, and Random Forest classifiers. Deep learning approaches including Convolutional and Fully Connected Neural Networks with both experimental and proven successful architectures are also explored.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Intrusion Detection: Machine Learning Baseline Calculations for Image Classification
Authors:
Erik Larsen,
Korey MacVittie,
John Lilly
Abstract:
Cyber security can be enhanced through application of machine learning by recasting network attack data into an image format, then applying supervised computer vision and other machine learning techniques to detect malicious specimens. Exploratory data analysis reveals little correlation and few distinguishing characteristics between the ten classes of malware used in this study. A general model c…
▽ More
Cyber security can be enhanced through application of machine learning by recasting network attack data into an image format, then applying supervised computer vision and other machine learning techniques to detect malicious specimens. Exploratory data analysis reveals little correlation and few distinguishing characteristics between the ten classes of malware used in this study. A general model comparison demonstrates that the most promising candidates for consideration are Light Gradient Boosting Machine, Random Forest Classifier, and Extra Trees Classifier. Convolutional networks fail to deliver their outstanding classification ability, being surpassed by a simple, fully connected architecture. Most tests fail to break 80% categorical accuracy and present low F1 scores, indicating more sophisticated approaches (e.g., bootstrap**, random samples, and feature selection) may be required to maximize performance.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Virus-MNIST: Machine Learning Baseline Calculations for Image Classification
Authors:
Erik Larsen,
Korey MacVittie,
John Lilly
Abstract:
The Virus-MNIST data set is a collection of thumbnail images that is similar in style to the ubiquitous MNIST hand-written digits. These, however, are cast by resha** possible malware code into an image array. Naturally, it is poised to take on a role in benchmarking progress of virus classifier model training. Ten types are present: nine classified as malware and one benign. Cursory examination…
▽ More
The Virus-MNIST data set is a collection of thumbnail images that is similar in style to the ubiquitous MNIST hand-written digits. These, however, are cast by resha** possible malware code into an image array. Naturally, it is poised to take on a role in benchmarking progress of virus classifier model training. Ten types are present: nine classified as malware and one benign. Cursory examination reveals unequal class populations and other key aspects that must be considered when selecting classification and pre-processing methods. Exploratory analyses show possible identifiable characteristics from aggregate metrics (e.g., the pixel median values), and ways to reduce the number of features by identifying strong correlations. A model comparison shows that Light Gradient Boosting Machine, Gradient Boosting Classifier, and Random Forest algorithms produced the highest accuracy scores, thus showing promise for deeper scrutiny.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Predicting Solar Flares with Remote Sensing and Machine Learning
Authors:
Erik Larsen
Abstract:
High energy solar flares and coronal mass ejections have the potential to destroy Earth's ground and satellite infrastructures, causing trillions of dollars in damage and mass human suffering. Destruction of these critical systems would disable power grids and satellites, crippling communications and transportation. This would lead to food shortages and an inability to respond to emergencies. A so…
▽ More
High energy solar flares and coronal mass ejections have the potential to destroy Earth's ground and satellite infrastructures, causing trillions of dollars in damage and mass human suffering. Destruction of these critical systems would disable power grids and satellites, crippling communications and transportation. This would lead to food shortages and an inability to respond to emergencies. A solution to this impending problem is proposed herein using satellites in solar orbit that continuously monitor the Sun, use artificial intelligence and machine learning to calculate the probability of massive solar explosions from this sensed data, and then signal defense mechanisms that will mitigate the threat. With modern technology there may be only safeguards that can be implemented with enough warning, which is why the best algorithm must be identified and continuously trained with existing and new data to maximize true positive rates while minimizing false negatives. This paper conducts a survey of current machine learning models using open source solar flare prediction data. The rise of edge computing allows machine learning hardware to be placed on the same satellites as the sensor arrays, saving critical time by not having to transmit remote sensing data across the vast distances of space. A system of systems approach will allow enough warning for safety measures to be put into place mitigating the risk of disaster.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
A Survey of Machine Learning Algorithms for Detecting Ransomware Encryption Activity
Authors:
Erik Larsen,
David Noever,
Korey MacVittie
Abstract:
A survey of machine learning techniques trained to detect ransomware is presented. This work builds upon the efforts of Taylor et al. in using sensor-based methods that utilize data collected from built-in instruments like CPU power and temperature monitors to identify encryption activity. Exploratory data analysis (EDA) shows the features most useful from this simulated data are clock speed, temp…
▽ More
A survey of machine learning techniques trained to detect ransomware is presented. This work builds upon the efforts of Taylor et al. in using sensor-based methods that utilize data collected from built-in instruments like CPU power and temperature monitors to identify encryption activity. Exploratory data analysis (EDA) shows the features most useful from this simulated data are clock speed, temperature, and CPU load. These features are used in training multiple algorithms to determine an optimal detection approach. Performance is evaluated with accuracy, F1 score, and false-negative rate metrics. The Multilayer Perceptron with three hidden layers achieves scores of 97% in accuracy and F1 and robust data preparation. A random forest model produces scores of 93% accuracy and 92% F1, showing that sensor-based detection is currently a viable option to detect even zero-day ransomware attacks before the code fully executes.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
Overhead-MNIST: Machine Learning Baselines for Image Classification
Authors:
Erik Larsen,
David Noever,
Korey MacVittie,
John Lilly
Abstract:
Twenty-three machine learning algorithms were trained then scored to establish baseline comparison metrics and to select an image classification algorithm worthy of embedding into mission-critical satellite imaging systems. The Overhead-MNIST dataset is a collection of satellite images similar in style to the ubiquitous MNIST hand-written digits found in the machine learning literature. The CatBoo…
▽ More
Twenty-three machine learning algorithms were trained then scored to establish baseline comparison metrics and to select an image classification algorithm worthy of embedding into mission-critical satellite imaging systems. The Overhead-MNIST dataset is a collection of satellite images similar in style to the ubiquitous MNIST hand-written digits found in the machine learning literature. The CatBoost classifier, Light Gradient Boosting Machine, and Extreme Gradient Boosting models produced the highest accuracies, Areas Under the Curve (AUC), and F1 scores in a PyCaret general comparison. Separate evaluations showed that a deep convolutional architecture was the most promising. We present results for the overall best performing algorithm as a baseline for edge deployability and future performance improvement: a convolutional neural network (CNN) scoring 0.965 categorical accuracy on unseen test data.
△ Less
Submitted 19 October, 2021; v1 submitted 1 July, 2021;
originally announced July 2021.
-
Correlation Driven Transient Hole Dynamics Resolved in Space and Time in the Isopropanol Molecule
Authors:
T. Barillot,
O. Alexander,
B. Cooper,
T. Driver,
D. Garratt,
S. Li,
A. Al Haddad,
A. Sanchez-Gonzalez,
M. Agåker,
C. Arrell,
M. Bearpark,
N. Berrah,
C. Bostedt,
J. Bozek,
C. Brahms,
P. H. Bucksbaum,
A. Clark,
G. Doumy,
R. Feifel,
L. J. Frasinski,
S. Jarosch,
A. S. Johnson,
L. Kjellsson,
P. Kolorenč,
Y. Kumagai
, et al. (24 additional authors not shown)
Abstract:
The possibility of suddenly ionized molecules undergoing extremely fast electron hole dynamics prior to significant structural change was first recognized more than 20 years ago and termed charge migration. The accurate probing of ultrafast electron hole dynamics requires measurements that have both sufficient temporal resolution and can detect the localization of a specific hole within the molecu…
▽ More
The possibility of suddenly ionized molecules undergoing extremely fast electron hole dynamics prior to significant structural change was first recognized more than 20 years ago and termed charge migration. The accurate probing of ultrafast electron hole dynamics requires measurements that have both sufficient temporal resolution and can detect the localization of a specific hole within the molecule. We report an investigation of the dynamics of inner valence hole states in isopropanol where we use an x-ray pump/x-ray probe experiment, with site and state-specific probing of a transient hole state localized near the oxygen atom in the molecule, together with an ab initio theoretical treatment. We record the signature of transient hole dynamics and make the first observation of dynamics driven by frustrated Auger-Meitner transitions. We verify that the hole lifetime is consistent with our theoretical prediction. This state-specific measurement paves the way to widespread application for observations of transient hole dynamics localized in space and time in molecules and thus to charge transfer phenomena that are fundamental in chemical and material physics.
△ Less
Submitted 13 May, 2021;
originally announced May 2021.
-
A discussion on "Numerical computations of resonant sloshing using the modified isoAdvector method and the buoyancy-modified turbulence closure model" [Appl. Ocean Res. (2019), 93, article no. 101829, doi:10.1016.j.apor.2019.05.014]
Authors:
David R. Fuhrman,
Bjarke Eltard Larsen
Abstract:
A discussion on Li et al. (2019) [Numerical computations of resonant sloshing using the modified isoAdvector method and the buoyancy-modified turbulence closure model. Appl. Ocean Res. 93, article no. 101829, DOI:10.1016.j.apor.2019.05.014] is provided. Some mis-characterizations regarding the work of Larsen and Fuhrman (2018) [On the over-production of turbulence beneath surface waves using Reyno…
▽ More
A discussion on Li et al. (2019) [Numerical computations of resonant sloshing using the modified isoAdvector method and the buoyancy-modified turbulence closure model. Appl. Ocean Res. 93, article no. 101829, DOI:10.1016.j.apor.2019.05.014] is provided. Some mis-characterizations regarding the work of Larsen and Fuhrman (2018) [On the over-production of turbulence beneath surface waves using Reynolds-averaged Navier-Stokes models. J. Fluid Mech. 853, 419-460, DOI:10.1017/jfm.2018.577], on stabilizing two-equation turbulence closures beneath surface waves, are clarified.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
Stabilized RANS simulation of surf zone kinematics and boundary layer processes beneath large-scale plunging waves over a breaker bar
Authors:
B. E. Larsen,
D. A. van der A.,
J. van der Zanden,
G. Ruessink,
D. R. Fuhrman
Abstract:
This paper presents numerical simulations of a bichromatic wave group propagating and breaking over a fixed breaker bar. The simulations are performed using a newly stabilized Reynolds-averaged Navier Stokes (RANS) two-equation turbulence closure, which solves the longstanding problem of over-production of turbulence beneath surface waves in the nearly potential flow region prior to breaking. This…
▽ More
This paper presents numerical simulations of a bichromatic wave group propagating and breaking over a fixed breaker bar. The simulations are performed using a newly stabilized Reynolds-averaged Navier Stokes (RANS) two-equation turbulence closure, which solves the longstanding problem of over-production of turbulence beneath surface waves in the nearly potential flow region prior to breaking. This model has previously been tested on small-scale spilling breaking regular waves, whereas in this work focus is on full (rather than model) scale application, wave groups (rather than regular waves) and plunging (rather than spilling) breakers. Additionally this paper has novel emphasis on bottom boundary layer dynamics which are very important for cross-shore sediment transport predictions. The model is validated by comparing with results from a previous experimental campaign. The model is shown to predict the surface elevations, velocities and turbulence well in the shoaling and outer surf-zone, avoiding turbulence over-production and incorrect undertow structure typical of standard turbulence closures. Comparison with detailed boundary layer measurements in the shoaling position reveals that the model is able to accurately capture the temporal dynamics of the entire wave boundary layer, including evolution of the boundary layer thickness, velocity overshoot and phase-shifts. Comparison in the surf zone additionally reveals that the model is able to accurately capture the transport of breaking-induced turbulence into the wave boundary layer. The performance of the model indicates that it can be used directly in the simulation of cross-shore sediment transport and morphology and also be used to study important hydrodynamic processes, which can help improve the predictive skill of morphodynamic profile models applied in coastal engineering.
△ Less
Submitted 28 October, 2020;
originally announced October 2020.
-
A scalable and efficient convolutional neural network accelerator using HLS for a System on Chip design
Authors:
Kim Bjerge,
Jonathan Horsted Schougaard,
Daniel Ejnar Larsen
Abstract:
This paper presents a configurable Convolutional Neural Network Accelerator (CNNA) for a System on Chip design (SoC). The goal was to accelerate inference of different deep learning networks on an embedded SoC platform. The presented CNNA has a scalable architecture which uses High Level Synthesis (HLS) and SystemC for the hardware accelerator. It is able to accelerate any Convolutional Neural Net…
▽ More
This paper presents a configurable Convolutional Neural Network Accelerator (CNNA) for a System on Chip design (SoC). The goal was to accelerate inference of different deep learning networks on an embedded SoC platform. The presented CNNA has a scalable architecture which uses High Level Synthesis (HLS) and SystemC for the hardware accelerator. It is able to accelerate any Convolutional Neural Network (CNN) exported from Python and supports a combination of convolutional, max-pooling, and fully connected layers. A training method with fixed-point quantized weights is proposed and presented in the paper. The CNNA is template-based, enabling it to scale for different targets of the Xilinx Zynq platform. This approach enables design space exploration, which makes it possible to explore several configurations of the CNNA during C- and RTL-simulation, fitting it to the desired platform and model. The CNN VGG16 was used to test the solution on a Xilinx Ultra96 board using PYNQ. The result gave a high level of accuracy in training with an auto-scaled fixed-point Q2.14 format compared to a similar floating-point model. It was able to perform inference in 2.0 seconds, while having an average power consumption of 2.63 W, which corresponds to a power efficiency of 6.0 GOPS/W.
△ Less
Submitted 7 October, 2020; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Ho:YLF amplifier with Ti:Sapphire frontend for pum** mid-infrared optical parametric amplifier
Authors:
Krishna Murari,
Fangjie Zhou,
Yanchun Yin,
Yi Wu,
Bruce Weaver,
Timur Avni,
Esben Larsen,
Zenghu Chang
Abstract:
We present a Ho:YLF Chirped-Pulse Amplification (CPA) laser for pum** a longwave infrared Optical Parametric Chirped Pulse Amplifier (OPCPA) at a 1 kHz repetition rate. By utilizing a Ti:Sapphire laser as a frontend, 5-μJ seed pulses at 2051 nm laser pulse are generated in a Dual-Chirp Optical Parametric Amplifier (DC-OPA), which are amplified to 28 mJ pulses with a pulse duration of 6.8 ps. The…
▽ More
We present a Ho:YLF Chirped-Pulse Amplification (CPA) laser for pum** a longwave infrared Optical Parametric Chirped Pulse Amplifier (OPCPA) at a 1 kHz repetition rate. By utilizing a Ti:Sapphire laser as a frontend, 5-μJ seed pulses at 2051 nm laser pulse are generated in a Dual-Chirp Optical Parametric Amplifier (DC-OPA), which are amplified to 28 mJ pulses with a pulse duration of 6.8 ps. The scheme offers a potential driver for two-color (800 nm and 8 μm) high harmonic generation with an increased keV X-ray photon flux.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
Stable transmission of high-dimensional quantum states over a 2 km multicore fiber
Authors:
Beatrice Da Lio,
Davide Bacco,
Daniele Cozzolino,
Nicola Biagi,
Tummas Napoleon Arge,
Emil Larsen,
Karsten Rottwitt,
Yunhong Ding,
Alessandro Zavatta,
Leif Katsuo Oxenløwe
Abstract:
High-dimensional quantum states have already settled their advantages in different quantum technology applications. However, their reliable transmission in fiber links remains an open challenge that must be addressed to boost their application, e.g. in the future quantum internet. Here, we prove how path encoded high-dimensional quantum states can be reliably transmitted over a 2 km long multicore…
▽ More
High-dimensional quantum states have already settled their advantages in different quantum technology applications. However, their reliable transmission in fiber links remains an open challenge that must be addressed to boost their application, e.g. in the future quantum internet. Here, we prove how path encoded high-dimensional quantum states can be reliably transmitted over a 2 km long multicore fiber, taking advantage of a phase-locked loop system guaranteeing a stable interferometric detection.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
A language processing algorithm for predicting tactical solutions to an operational planning problem under uncertainty
Authors:
Emma Fre**ger,
Eric Larsen
Abstract:
This paper is devoted to the prediction of solutions to a stochastic discrete optimization problem. Through an application, we illustrate how we can use a state-of-the-art neural machine translation (NMT) algorithm to predict the solutions by defining appropriate vocabularies, syntaxes and constraints. We attend to applications where the predictions need to be computed in very short computing time…
▽ More
This paper is devoted to the prediction of solutions to a stochastic discrete optimization problem. Through an application, we illustrate how we can use a state-of-the-art neural machine translation (NMT) algorithm to predict the solutions by defining appropriate vocabularies, syntaxes and constraints. We attend to applications where the predictions need to be computed in very short computing time -- in the order of milliseconds or less. The results show that with minimal adaptations to the model architecture and hyperparameter tuning, the NMT algorithm can produce accurate solutions within the computing time budget. While these predictions are slightly less accurate than approximate stochastic programming solutions (sample average approximation), they can be computed faster and with less variability.
△ Less
Submitted 17 October, 2019;
originally announced October 2019.
-
Generation of 3 mJ, 44 fs, 2.5 micrometer pulses from a single-stage Cr2+:ZnSe amplifier
Authors:
Yi. Wu,
Fangjie Zhou,
Esben W. Larsen,
Fengjiang Zhuang,
Yanchun Yin,
Zenghu Chang
Abstract:
Lasers capable of generating attosecond X-ray pulses in the water window (282 to 533 eV) through high-order harmonic generation are normally based on inefficient, multi-stage optical parametric amplifiers or optical parametric chirped pulse amplifiers pumped by femtosecond or picosecond lasers. Here we report a very efficient single amplification stage laser based on traditional chirped pulse ampl…
▽ More
Lasers capable of generating attosecond X-ray pulses in the water window (282 to 533 eV) through high-order harmonic generation are normally based on inefficient, multi-stage optical parametric amplifiers or optical parametric chirped pulse amplifiers pumped by femtosecond or picosecond lasers. Here we report a very efficient single amplification stage laser based on traditional chirped pulse amplification capable of producing 3 mJ, near-transform limited 44 fs (<6 cycles), 1 kHz pulses centered at 2.5 micrometer. The 68 GW peak power is the highest value ever reached at this wavelength. In order to fully compress the laser pulses our system is built in a nitrogen box. Our system utilizes water cooled chromium doped zinc selenide (Cr2+:ZnSe) as the gain medium and is pumped by a commercial nanosecond holmium doped yttrium-aluminum-garnet (Ho:YAG) laser.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
Predicting Tactical Solutions to Operational Planning Problems under Imperfect Information
Authors:
Eric Larsen,
Sébastien Lachapelle,
Yoshua Bengio,
Emma Fre**ger,
Simon Lacoste-Julien,
Andrea Lodi
Abstract:
This paper offers a methodological contribution at the intersection of machine learning and operations research. Namely, we propose a methodology to quickly predict tactical solutions to a given operational problem. In this context, the tactical solution is less detailed than the operational one but it has to be computed in very short time and under imperfect information. The problem is of importa…
▽ More
This paper offers a methodological contribution at the intersection of machine learning and operations research. Namely, we propose a methodology to quickly predict tactical solutions to a given operational problem. In this context, the tactical solution is less detailed than the operational one but it has to be computed in very short time and under imperfect information. The problem is of importance in various applications where tactical and operational planning problems are interrelated and information about the operational problem is revealed over time. This is for instance the case in certain capacity planning and demand management systems.
We formulate the problem as a two-stage optimal prediction stochastic program whose solution we predict with a supervised machine learning algorithm. The training data set consists of a large number of deterministic (second stage) problems generated by controlled probabilistic sampling. The labels are computed based on solutions to the deterministic problems (solved independently and offline) employing appropriate aggregation and subselection methods to address uncertainty. Results on our motivating application in load planning for rail transportation show that deep learning algorithms produce highly accurate predictions in very short computing time (milliseconds or less). The prediction accuracy is comparable to solutions computed by sample average approximation of the stochastic program.
△ Less
Submitted 1 March, 2021; v1 submitted 22 January, 2019;
originally announced January 2019.
-
The relationship between linguistic expression and symptoms of depression, anxiety, and suicidal thoughts: A longitudinal study of blog content
Authors:
B. ODea,
T. W. Boonstra,
M. E. Larsen,
T. Nguyen,
S. Venkatesh,
H. Christensen
Abstract:
Due to its popularity and availability, social media data may present a new way to identify individuals who are experiencing mental illness. By analysing blog content, this study aimed to investigate the associations between linguistic features and symptoms of depression, generalised anxiety, and suicidal ideation. This study utilised a longitudinal study design. Individuals who blogged were invit…
▽ More
Due to its popularity and availability, social media data may present a new way to identify individuals who are experiencing mental illness. By analysing blog content, this study aimed to investigate the associations between linguistic features and symptoms of depression, generalised anxiety, and suicidal ideation. This study utilised a longitudinal study design. Individuals who blogged were invited to participate in a study in which they completed fortnightly mental health questionnaires including the PHQ9 and GAD7 for a period of 36 weeks. Linguistic features were extracted from blog data using the LIWC tool. Bivariate and multivariate analyses were performed to investigate the correlations between the linguistic features and mental health scores between subjects. We then used the multivariate regression model to predict longitudinal changes in mood within subjects. A total of 153 participants consented to taking part, with 38 participants completing the required number of questionnaires and blog posts during the study period. Between-subject analysis revealed that several linguistic features, including tentativeness and non-fluencies, were significantly associated with depression and anxiety symptoms, but not suicidal thoughts. Within-subject analysis showed no robust correlations between linguistic features and changes in mental health score. This study provides further support for the relationship between linguistic features within social media data and symptoms of depression and anxiety. The lack of robust within-subject correlations indicate that the relationship observed at the group level may not generalise to individual changes over time.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
Predicting Tactical Solutions to Operational Planning Problems under Imperfect Information
Authors:
Eric Larsen,
Sébastien Lachapelle,
Yoshua Bengio,
Emma Fre**ger,
Simon Lacoste-Julien,
Andrea Lodi
Abstract:
This paper offers a methodological contribution at the intersection of machine learning and operations research. Namely, we propose a methodology to quickly predict expected tactical descriptions of operational solutions (TDOSs). The problem we address occurs in the context of two-stage stochastic programming where the second stage is demanding computationally. We aim to predict at a high speed th…
▽ More
This paper offers a methodological contribution at the intersection of machine learning and operations research. Namely, we propose a methodology to quickly predict expected tactical descriptions of operational solutions (TDOSs). The problem we address occurs in the context of two-stage stochastic programming where the second stage is demanding computationally. We aim to predict at a high speed the expected TDOS associated with the second stage problem, conditionally on the first stage variables. This may be used in support of the solution to the overall two-stage problem by avoiding the online generation of multiple second stage scenarios and solutions. We formulate the tactical prediction problem as a stochastic optimal prediction program, whose solution we approximate with supervised machine learning. The training dataset consists of a large number of deterministic operational problems generated by controlled probabilistic sampling. The labels are computed based on solutions to these problems (solved independently and offline), employing appropriate aggregation and subselection methods to address uncertainty. Results on our motivating application on load planning for rail transportation show that deep learning models produce accurate predictions in very short computing time (milliseconds or less). The predictive accuracy is close to the lower bounds calculated based on sample average approximation of the stochastic prediction programs.
△ Less
Submitted 1 March, 2021; v1 submitted 31 July, 2018;
originally announced July 2018.
-
Message-passing neural networks for high-throughput polymer screening
Authors:
Peter C. St. John,
Caleb Phillips,
Travis W. Kemper,
A. Nolan Wilson,
Michael F. Crowley,
Mark R. Nimlos,
Ross E. Larsen
Abstract:
Machine learning methods have shown promise in predicting molecular properties, and given sufficient training data machine learning approaches can enable rapid high-throughput virtual screening of large libraries of compounds. Graph-based neural network architectures have emerged in recent years as the most successful approach for predictions based on molecular structure, and have consistently ach…
▽ More
Machine learning methods have shown promise in predicting molecular properties, and given sufficient training data machine learning approaches can enable rapid high-throughput virtual screening of large libraries of compounds. Graph-based neural network architectures have emerged in recent years as the most successful approach for predictions based on molecular structure, and have consistently achieved the best performance on benchmark quantum chemical datasets. However, these models have typically required optimized 3D structural information for the molecule to achieve the highest accuracy. These 3D geometries are costly to compute for high levels of theory, limiting the applicability and practicality of machine learning methods in high-throughput screening applications. In this study, we present a new database of candidate molecules for organic photovoltaic applications, comprising approximately 91,000 unique chemical structures.Compared to existing datasets, this dataset contains substantially larger molecules (up to 200 atoms) as well as extrapolated properties for long polymer chains. We show that message-passing neural networks trained with and without 3D structural information for these molecules achieve similar accuracy, comparable to state-of-the-art methods on existing benchmark datasets. These results therefore emphasize that for larger molecules with practical applications, near-optimal prediction results can be obtained without using optimized 3D geometry as an input. We further show that learned molecular representations can be leveraged to reduce the training data required to transfer predictions to a new DFT functional.
△ Less
Submitted 5 April, 2019; v1 submitted 26 July, 2018;
originally announced July 2018.
-
Performance of interFoam on the simulation of progressive waves
Authors:
Bjarke Eltard Larsen,
David R. Fuhrman,
Johan Roenby
Abstract:
The performance of interFoam (a widely-used solver within the popular open source CFD package OpenFOAM) in simulating the propagation of a nonlinear (stream function solution) regular wave is investigated in this work, with the aim of systematically documenting its accuracy. It is demonstrated that over time there is a tendency for surface elevations to increase, wiggles to appear in the free surf…
▽ More
The performance of interFoam (a widely-used solver within the popular open source CFD package OpenFOAM) in simulating the propagation of a nonlinear (stream function solution) regular wave is investigated in this work, with the aim of systematically documenting its accuracy. It is demonstrated that over time there is a tendency for surface elevations to increase, wiggles to appear in the free surface, and crest velocities to become (severely) overestimated. It is shown that increasing the temporal and spatial resolution can mitigate these undesirable effects, but that a relatively small Courant number is required. It is further demonstrated that the choice of discretization schemes and solver settings (often treated as a "black box" by users) can have a major impact on the results. This impact is documented, and it is shown that obtaining a "diffusive balance" is crucial to accurately propagate a surface wave over long distances without requiring exceedingly high temporal and spatial resolutions. Finally, the new code isoAdvector is compared to interFoam, which is demonstrated to produce comparably accurate results, while maintaining a sharper surface. It is hoped that the systematic documentation of the performance of the interFoam solver will enable its more accurate and optimal use, as well as increase awareness of potential shortcomings, by CFD researchers interested in the general CFD simulation of free surface waves.
△ Less
Submitted 3 April, 2018;
originally announced April 2018.
-
Bayesian Models for Unit Discovery on a Very Low Resource Language
Authors:
Lucas Ondel,
Pierre Godard,
Laurent Besacier,
Elin Larsen,
Mark Hasegawa-Johnson,
Odette Scharenborg,
Emmanuel Dupoux,
Lukas Burget,
François Yvon,
Sanjeev Khudanpur
Abstract:
Develo** speech technologies for low-resource languages has become a very active research field over the last decade. Among others, Bayesian models have shown some promising results on artificial examples but still lack of in situ experiments. Our work applies state-of-the-art Bayesian models to unsupervised Acoustic Unit Discovery (AUD) in a real low-resource language scenario. We also show tha…
▽ More
Develo** speech technologies for low-resource languages has become a very active research field over the last decade. Among others, Bayesian models have shown some promising results on artificial examples but still lack of in situ experiments. Our work applies state-of-the-art Bayesian models to unsupervised Acoustic Unit Discovery (AUD) in a real low-resource language scenario. We also show that Bayesian models can naturally integrate information from other resourceful languages by means of informative prior leading to more consistent discovered units. Finally, discovered acoustic units are used, either as the 1-best sequence or as a lattice, to perform word segmentation. Word segmentation results show that this Bayesian approach clearly outperforms a Segmental-DTW baseline on the same corpus.
△ Less
Submitted 20 February, 2018; v1 submitted 16 February, 2018;
originally announced February 2018.
-
Linguistic unit discovery from multi-modal inputs in unwritten languages: Summary of the "Speaking Rosetta" JSALT 2017 Workshop
Authors:
Odette Scharenborg,
Laurent Besacier,
Alan Black,
Mark Hasegawa-Johnson,
Florian Metze,
Graham Neubig,
Sebastian Stueker,
Pierre Godard,
Markus Mueller,
Lucas Ondel,
Shruti Palaskar,
Philip Arthur,
Francesco Ciannella,
Mingxing Du,
Elin Larsen,
Danny Merkx,
Rachid Riad,
Liming Wang,
Emmanuel Dupoux
Abstract:
We summarize the accomplishments of a multi-disciplinary workshop exploring the computational and scientific issues surrounding the discovery of linguistic units (subwords and words) in a language without orthography. We study the replacement of orthographic transcriptions by images and/or translated text in a well-resourced language to help unsupervised discovery from raw speech.
We summarize the accomplishments of a multi-disciplinary workshop exploring the computational and scientific issues surrounding the discovery of linguistic units (subwords and words) in a language without orthography. We study the replacement of orthographic transcriptions by images and/or translated text in a well-resourced language to help unsupervised discovery from raw speech.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Fostering Bilateral Patient-Clinician Engagement in Active Self-Tracking of Subjective Experience
Authors:
Jakob Eg Larsen,
Thomas Blomseth Christiansen,
Kasper Eskelund
Abstract:
In this position paper we describe select aspects of our experience with health-related self-tracking, the data generated, and processes surrounding those. In particular we focus on how bilateral patient-clinician engagement may be fostered by the combination of technology and method. We exemplify with a case study where a PTSD-suffering veteran has been self-tracking a specific symptom precursor.…
▽ More
In this position paper we describe select aspects of our experience with health-related self-tracking, the data generated, and processes surrounding those. In particular we focus on how bilateral patient-clinician engagement may be fostered by the combination of technology and method. We exemplify with a case study where a PTSD-suffering veteran has been self-tracking a specific symptom precursor. The availability of high-resolution self-tracking data on the occurrences of even a single symptom created new opportunities in the therapeutic process for identifying underlying triggers of symptoms. The patient was highly engaged in self-tracking and sharing the collected data. We suggest a key reason was the collaborative effort in defining the data collection protocol and discussion of the data. The therapist also engaged highly in the self-tracking data, as it supported the existing therapeutic process in reaching insights otherwise unobtainable.
△ Less
Submitted 19 January, 2018;
originally announced January 2018.
-
Validation of a smartphone app to map social networks of proximity
Authors:
Tjeerd W. Boonstra,
Mark E. Larsen,
Samuel Townsend,
Helen Christensen
Abstract:
Social network analysis is a prominent approach to investigate interpersonal relationships. Most studies use self-report data to quantify the connections between participants and construct social networks. In recent years smartphones have been used as an alternative to map networks by assessing the proximity between participants based on Bluetooth and GPS data. While most studies have handed out s…
▽ More
Social network analysis is a prominent approach to investigate interpersonal relationships. Most studies use self-report data to quantify the connections between participants and construct social networks. In recent years smartphones have been used as an alternative to map networks by assessing the proximity between participants based on Bluetooth and GPS data. While most studies have handed out specially programmed smartphones to study participants, we developed an application for iOS and Android to collect Bluetooth data from participants own smartphones. In this study, we compared the networks estimated with the smartphone app to those obtained from sociometric badges and self-report data. Participants (n=21) installed the app on their phone and wore a sociometric badge during office hours. Proximity data was collected for 4 weeks. A contingency table revealed a significant association between proximity data (rho = 0.17, p<0.0001), but the marginal odds were higher for the app (8.6%) than for the badges (1.3%), indicating that dyads were more often detected by the app. We then compared the networks that were estimated using the proximity and self-report data. All three networks were significantly correlated, although the correlation with self-reported data was lower for the app (rho = 0.25) than for badges (rho = 0.67). The scanning rates of the app varied considerably between devices and was lower on iOS than on Android. The association between the app and the badges increased when the network was estimated between participants whose app recorded more regularly. These findings suggest that the accuracy of proximity networks can be further improved by reducing missing data and restricting the interpersonal distance at which interactions are detected.
△ Less
Submitted 5 December, 2017; v1 submitted 27 June, 2017;
originally announced June 2017.
-
The Blank Stare: Retrieving Unique Eye Tracking Signatures Independent of Visual Stimuli
Authors:
Per Bækgaard,
Michael Kai Petersen,
Jakob Eg Larsen
Abstract:
Using Low Cost Portable Eye Tracking for Biometric Identification Or Verification: Eye tracking technologies have in recent years become available outside of specialised labs, and are starting to become integrated in tablets and virtual reality headsets. This offers new opportunities for use in common office- and home environments, such as for biometric recognition (identification or verification)…
▽ More
Using Low Cost Portable Eye Tracking for Biometric Identification Or Verification: Eye tracking technologies have in recent years become available outside of specialised labs, and are starting to become integrated in tablets and virtual reality headsets. This offers new opportunities for use in common office- and home environments, such as for biometric recognition (identification or verification), alone or in combination with other technologies. This paper exposes two fundamentally different approaches that have been suggested, based on spatial and temporal signatures respectively. While deploying different stimulation paradigms for recording, it also proposes an alternative way to analyze spatial domain signatures using Fourier transformation. Empirical data recorded from two subjects over two weeks, three months apart, are found to support previous results. Further, variations and stability of some of the proposed signatures are analyzed over the extended timeframe and under slightly varying conditions.
△ Less
Submitted 8 May, 2017;
originally announced May 2017.
-
Active Self-Tracking of Subjective Experience with a One-Button Wearable: A Case Study in Military PTSD
Authors:
Jakob Eg Larsen,
Kasper Eskelund,
Thomas Blomseth Christiansen
Abstract:
We describe a case study with the participation of a Danish veteran suffering from post-traumatic stress disorder (PTSD). As part of psychotherapeutic treatment the participant and therapist have used our novel technique for instrumenting self-tracking of select aspects of subjective experience using a one-button wearable device. The instrumentation system is described along with the specific self…
▽ More
We describe a case study with the participation of a Danish veteran suffering from post-traumatic stress disorder (PTSD). As part of psychotherapeutic treatment the participant and therapist have used our novel technique for instrumenting self-tracking of select aspects of subjective experience using a one-button wearable device. The instrumentation system is described along with the specific self-track- ing protocol which defined the participant's self-tracking of a single symptom, namely the occurrences of a bodily experienced precursor to hyperarousal. Results from the case study demonstrate how self-tracking data on a single symptom collected by a patient can provide valuable input to the therapeutic process. Specifically, it facilitated identification of crucial details otherwise unavailable from the clinical assessment and even became decisive in disentangling different symptoms and their causes.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
-
Smartphone app to investigate the relationship between social connectivity and mental health
Authors:
Tjeerd W. Boonstra,
Aliza Werner-Seidler,
Bridianne O'Dea,
Mark E. Larsen,
Helen Christensen
Abstract:
Interpersonal relationships are necessary for successful daily functioning and wellbeing. Numerous studies have demonstrated the importance of social connectivity for mental health, both through direct peer-to-peer influence and by the location of individuals within their social network. Passive monitoring using smartphones provides an advanced tool to map social networks based on the proximity be…
▽ More
Interpersonal relationships are necessary for successful daily functioning and wellbeing. Numerous studies have demonstrated the importance of social connectivity for mental health, both through direct peer-to-peer influence and by the location of individuals within their social network. Passive monitoring using smartphones provides an advanced tool to map social networks based on the proximity between individuals. This study investigates the feasibility of using a smartphone app to measure and assess the relationship between social network metrics and mental health. The app collected Bluetooth and mental health data in 63 participants. Social networks of proximity were estimated from Bluetooth data and 95% of the edges were scanned at least every 30 minutes. The majority of participants found this method of data collection acceptable and reported that they would be likely to participate in future studies using this app. These findings demonstrate the feasibility of using a smartphone app that participants can install on their own phone to investigate the relationship between social connectivity and mental health.
△ Less
Submitted 2 May, 2017; v1 submitted 8 February, 2017;
originally announced February 2017.
-
Controlled free-induction decay in the extreme ultraviolet
Authors:
Samuel Bengtsson,
Esben W. Larsen,
David Kroon,
Seth Camp,
Miguel Miranda,
Cord L. Arnold,
Anne L'Huillier,
Kenneth J. Schafer,
Mette B. Gaarde,
Lars Rippe,
Johan Mauritsson
Abstract:
Coherent sources of attosecond extreme ultraviolet (XUV) radiation present many challenges if their full potential is to be realized. While many applications benefit from the broadband nature of these sources, it is also desirable to produce narrow band XUV pulses, or to study autoionizing resonances in a manner that is free of the broad ionization background that accompanies above-threshold XUV e…
▽ More
Coherent sources of attosecond extreme ultraviolet (XUV) radiation present many challenges if their full potential is to be realized. While many applications benefit from the broadband nature of these sources, it is also desirable to produce narrow band XUV pulses, or to study autoionizing resonances in a manner that is free of the broad ionization background that accompanies above-threshold XUV excitation. Here we demonstrate a method for controlling the coherent XUV free induction decay that results from using attosecond pulses to excite a gas, yielding a fully functional modulator for XUV wavelengths. We use an infrared (IR) control pulse to manipulate both the spatial and spectral phase of the XUV emission, sending the light in a direction of our choosing at a time of our choosing. This allows us to tailor the light using opto-optical modulation, similar to devices available in the IR and visible wavelength regions.
△ Less
Submitted 15 November, 2016;
originally announced November 2016.
-
Separating Components of Attention and Surprise
Authors:
Per Bækgaard,
Michael Kai Petersen,
Jakob Eg Larsen
Abstract:
Cognitive processes involved in both allocation of attention during decision making as well as surprise when making mistakes trigger release of the neurotransmitter norepinephrine, which has been shown to be correlated with an increase in pupil dilation, in turn reflecting raised levels of arousal. Extending earlier experiments based on the Attention Network Test (ANT), separating the neural compo…
▽ More
Cognitive processes involved in both allocation of attention during decision making as well as surprise when making mistakes trigger release of the neurotransmitter norepinephrine, which has been shown to be correlated with an increase in pupil dilation, in turn reflecting raised levels of arousal. Extending earlier experiments based on the Attention Network Test (ANT), separating the neural components of alertness and spatial re-orientation from the attention involved in more demanding conflict resolution tasks, we demonstrate that these signatures of attention are so robust that they may be retrieved even when applying low cost eye tracking in an everyday mobile computing context. Furthermore we find that the reaction of surprise elicited when committing mistakes in a decision task, which in the neuroimaging EEG literature have been referred to as a negativity feedback error correction signal, may likewise be retrieved solely based on an increase in pupil dilation.
△ Less
Submitted 30 August, 2016;
originally announced August 2016.
-
SensibleSleep: A Bayesian Model for Learning Sleep Patterns from Smartphone Events
Authors:
Andrea Cuttone,
Per Bækgaard,
Vedran Sekara,
Håkan Jonsson,
Jakob Eg Larsen,
Sune Lehmann
Abstract:
We propose a Bayesian model for extracting sleep patterns from smartphone events. Our method is able to identify individuals' daily sleep periods and their evolution over time, and provides an estimation of the probability of sleep and wake transitions. The model is fitted to more than 400 participants from two different datasets, and we verify the results against ground truth from dedicated armba…
▽ More
We propose a Bayesian model for extracting sleep patterns from smartphone events. Our method is able to identify individuals' daily sleep periods and their evolution over time, and provides an estimation of the probability of sleep and wake transitions. The model is fitted to more than 400 participants from two different datasets, and we verify the results against ground truth from dedicated armband sleep trackers. We show that the model is able to produce reliable sleep estimates with an accuracy of 0.89, both at the individual and at the collective level. Moreover the Bayesian model is able to quantify uncertainty and encode prior knowledge about sleep patterns. Compared with existing smartphone-based systems, our method requires only screen on/off events, and is therefore much less intrusive in terms of privacy and more battery-efficient.
△ Less
Submitted 22 August, 2016;
originally announced August 2016.
-
Geoplotlib: a Python Toolbox for Visualizing Geographical Data
Authors:
Andrea Cuttone,
Sune Lehmann,
Jakob Eg Larsen
Abstract:
We introduce geoplotlib, an open-source python toolbox for visualizing geographical data. geoplotlib supports the development of hardware-accelerated interactive visualizations in pure python, and provides implementations of dot maps, kernel density estimation, spatial graphs, Voronoi tesselation, shapefiles and many more common spatial visualizations. We describe geoplotlib design, functionalitie…
▽ More
We introduce geoplotlib, an open-source python toolbox for visualizing geographical data. geoplotlib supports the development of hardware-accelerated interactive visualizations in pure python, and provides implementations of dot maps, kernel density estimation, spatial graphs, Voronoi tesselation, shapefiles and many more common spatial visualizations. We describe geoplotlib design, functionalities and use cases.
△ Less
Submitted 5 August, 2016;
originally announced August 2016.
-
Who Wants to Self-Track Anyway? Measuring the Relation between Self-Tracking Behavior and Personality Traits
Authors:
Georgios Chatzigeorgakidis,
Andrea Cuttone,
Sune Lehmann,
Jakob Eg Larsen
Abstract:
We describe an empirical study of the usage of a mobility self-tracking app, SensibleJournal 2014, which provides personal mobility information to N=796 participants as part of a large mobile sensing study. Specifically, we report on the app design, as well as deployment, uptake and usage of the app. The latter analysis is based on logging of user interactions as well as answers gathered from a qu…
▽ More
We describe an empirical study of the usage of a mobility self-tracking app, SensibleJournal 2014, which provides personal mobility information to N=796 participants as part of a large mobile sensing study. Specifically, we report on the app design, as well as deployment, uptake and usage of the app. The latter analysis is based on logging of user interactions as well as answers gathered from a questionnaire provided to the participants. During the study enrollment process, participants were asked to fill out a questionnaire including a Big Five inventory and Narcissism NAR-Q personality tests. A comparison of personality traits was conducted to understand potential differences among the users and non-users of the app. We found a relation between self-tracking and conscientiousness, but contrary to the view in popular media, we found no relation between self-tracking behavior and narcissism.
△ Less
Submitted 5 August, 2016;
originally announced August 2016.
-
Spatially and spectrally resolved quantum path interference with chirped driving pulses
Authors:
Stefanos Carlström,
Jana Preclíková,
Eleonora Lorek,
Esben Witting Larsen,
Christoph M Heyl,
David Paleček,
Donatas Zigmantas,
Kenneth J Schafer,
Mette B Gaarde,
Johan Mauritsson
Abstract:
We measure spectrally and spatially resolved high-order harmonics generated in argon using chirped multi-cycle laser pulses. Using a stable, high-repetition rate laser we observe detailed interference structures in the far-field. The structures are of two kinds; off-axis interference from the long trajectory only and on-axis interference including the short and long trajectories. The former is rea…
▽ More
We measure spectrally and spatially resolved high-order harmonics generated in argon using chirped multi-cycle laser pulses. Using a stable, high-repetition rate laser we observe detailed interference structures in the far-field. The structures are of two kinds; off-axis interference from the long trajectory only and on-axis interference including the short and long trajectories. The former is readily visible in the far-field spectrum, modulating both the spectral and spatial profile. To access the latter, we vary the chirp of the fundamental, imparting different phases on the different trajectories, thereby changing their relative phase. Using this method together with an analytical model, we are able to explain the on-axis behaviour and access the dipole phase parameters for the short (\(α_s\)) and long (\(α_l\)) trajectories. The extracted results compare very well with phase parameters calculated by solving the time-dependent Schrödinger equation. Going beyond the analytical model, we are also able to successfully reproduce the off-axis interference structure.
△ Less
Submitted 21 October, 2016; v1 submitted 28 June, 2016;
originally announced June 2016.
-
Theano: A Python framework for fast computation of mathematical expressions
Authors:
The Theano Development Team,
Rami Al-Rfou,
Guillaume Alain,
Amjad Almahairi,
Christof Angermueller,
Dzmitry Bahdanau,
Nicolas Ballas,
Frédéric Bastien,
Justin Bayer,
Anatoly Belikov,
Alexander Belopolsky,
Yoshua Bengio,
Arnaud Bergeron,
James Bergstra,
Valentin Bisson,
Josh Bleecher Snyder,
Nicolas Bouchard,
Nicolas Boulanger-Lewandowski,
Xavier Bouthillier,
Alexandre de Brébisson,
Olivier Breuleux,
Pierre-Luc Carrier,
Kyunghyun Cho,
Jan Chorowski,
Paul Christiano
, et al. (88 additional authors not shown)
Abstract:
Theano is a Python library that allows to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Since its introduction, it has been one of the most used CPU and GPU mathematical compilers - especially in the machine learning community - and has shown steady performance improvements. Theano is being actively and continuously developed since 2008, mu…
▽ More
Theano is a Python library that allows to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Since its introduction, it has been one of the most used CPU and GPU mathematical compilers - especially in the machine learning community - and has shown steady performance improvements. Theano is being actively and continuously developed since 2008, multiple frameworks have been built on top of it and it has been used to produce many state-of-the-art machine learning models.
The present article is structured as follows. Section I provides an overview of the Theano software and its community. Section II presents the principal features of Theano and how to use them, and compares them with other similar projects. Section III focuses on recently-introduced functionalities and improvements. Section IV compares the performance of Theano against Torch7 and TensorFlow on several machine learning models. Section V discusses current limitations of Theano and potential ways of improving it.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
Assessing Levels of Attention using Low Cost Eye Tracking
Authors:
Per Bækgaard,
Michael Kai Petersen,
Jakob Eg Larsen
Abstract:
The emergence of mobile eye trackers embedded in next generation smartphones or VR displays will make it possible to trace not only what objects we look at but also the level of attention in a given situation. Exploring whether we can quantify the engagement of a user interacting with a laptop, we apply mobile eye tracking in an in-depth study over 2 weeks with nearly 10.000 observations to assess…
▽ More
The emergence of mobile eye trackers embedded in next generation smartphones or VR displays will make it possible to trace not only what objects we look at but also the level of attention in a given situation. Exploring whether we can quantify the engagement of a user interacting with a laptop, we apply mobile eye tracking in an in-depth study over 2 weeks with nearly 10.000 observations to assess pupil size changes, related to attentional aspects of alertness, orientation and conflict resolution. Visually presenting conflicting cues and targets we hypothesize that it's feasible to measure the allocated effort when responding to confusing stimuli. Although such experiments are normally carried out in a lab, we are able to differentiate between sustained alertness and complex decision making even with low cost eye tracking "in the wild". From a quantified self perspective of individual behavioral adaptation, the correlations between the pupil size and the task dependent reaction time and error rates may longer term provide a foundation for modifying smartphone content and interaction to the users perceived level of attention.
△ Less
Submitted 16 February, 2016; v1 submitted 17 December, 2015;
originally announced December 2015.
-
Using Bluetooth Low Energy in smartphones to map social networks
Authors:
Samuel Townsend,
Mark E. Larsen,
Tjeerd W. Boonstra,
Helen Christensen
Abstract:
Social networks have an important role in an individual's health, with the propagation of health-related features through a network, and correlations between network structures and symptomatology. Using Bluetooth-enabled smartphones to measure social connectivity is an alternative to traditional paper-based data collection; however studies employing this technology have been restricted to limited…
▽ More
Social networks have an important role in an individual's health, with the propagation of health-related features through a network, and correlations between network structures and symptomatology. Using Bluetooth-enabled smartphones to measure social connectivity is an alternative to traditional paper-based data collection; however studies employing this technology have been restricted to limited sets of homogenous handsets. We investigated the feasibility of using the Bluetooth Low Energy (BLE) protocol, present on users' own smartphones, to measure social connectivity. A custom application was designed for Android and iOS handsets. The app was configured to simultaneously broadcast via BLE and perform periodic discovery scans for other nearby devices. The app was installed on two Android handsets and two iOS handsets, and each combination of devices was tested in the foreground, background and locked states. Connectivity was successfully measured in all test cases, except between two iOS devices when both were in a locked state with their screens off. As smartphones are in a locked state for the majority of a day, this severely limits the ability to measure social connectivity on users' own smartphones. It is not currently feasible to use Bluetooth Low Energy to map social networks, due to the inability of iOS devices to detect another iOS device when both are in a locked state. While the technology was successfully implemented on Android devices, this represents a smaller market share of partially or fully compatible devices.
△ Less
Submitted 17 August, 2015;
originally announced August 2015.
-
On Infrared Excesses Associated With Li-Rich K Giants
Authors:
Luisa M. Rebull,
Joleen K. Carlberg,
John C. Gibbs,
J. Elin Deeb,
Estefania Larsen,
David V. Black,
Shailyn Altepeter,
Ethan Bucksbee,
Sarah Cashen,
Matthew Clarke,
Ashwin Datta,
Emily Hodgson,
Megan Lince
Abstract:
Infrared (IR) excesses around K-type red giants (RGs) have previously been discovered using IRAS data, and past studies have suggested a link between RGs with overabundant Li and IR excesses, implying the ejection of circumstellar shells or disks. We revisit the question of IR excesses around RGs using higher spatial resolution IR data, primarily from WISE. Our goal was to elucidate the link betwe…
▽ More
Infrared (IR) excesses around K-type red giants (RGs) have previously been discovered using IRAS data, and past studies have suggested a link between RGs with overabundant Li and IR excesses, implying the ejection of circumstellar shells or disks. We revisit the question of IR excesses around RGs using higher spatial resolution IR data, primarily from WISE. Our goal was to elucidate the link between three unusual RG properties: fast rotation, enriched Li, and IR excess. We have 316 targets thought to be K giants, about 40% of which we take to be Li-rich. In 24 cases with previous detections of IR excess at low spatial resolution, we believe that source confusion is playing a role, in that either (a) the source that is bright in the optical is not responsible for the IR flux, or (b) there is more than one source responsible for the IR flux as measured in IRAS. We looked for IR excesses in the remaining sources, identifying 28 that have significant IR excesses by ~20 um (with possible excesses for 2 additional sources). There appears to be an intriguing correlation in that the largest IR excesses are all in Li-rich K giants, though very few Li-rich K giants have IR excesses (large or small). These largest IR excesses also tend to be found in the fastest rotators. There is no correlation of IR excess with the carbon isotopic ratio, 12C/13C. IR excesses by 20 um, though relatively rare, are at least twice as common among our sample of Li-rich K giants. If dust shell production is a common by-product of Li enrichment mechanisms, these observations suggest that the IR excess stage is very short-lived, which is supported by theoretical calculations. Conversely, the Li-enrichment mechanism may only occasionally produce dust, and an additional parameter (e.g., rotation) may control whether or not a shell is ejected.
△ Less
Submitted 2 July, 2015;
originally announced July 2015.
-
Sub-cycle ionization dynamics revealed by trajectory resolved, elliptically-driven high-order harmonic generation
Authors:
E. W. Larsen,
S. Carlstrom,
E. Lorek,
C. M. Heyl,
D. Palecek,
K. J. Schafer,
A. L'Huillier,
D. Zigmantas,
J. Mauritsson
Abstract:
The sub-cycle dynamics of electrons driven by strong laser fields is central to the emerging field of attosecond science. We demonstrate how the dynamics can be probed through high-order harmonic generation, where different trajectories leading to the same harmonic order are initiated at different times, thereby probing different field strengths. We find large differences between the trajectories…
▽ More
The sub-cycle dynamics of electrons driven by strong laser fields is central to the emerging field of attosecond science. We demonstrate how the dynamics can be probed through high-order harmonic generation, where different trajectories leading to the same harmonic order are initiated at different times, thereby probing different field strengths. We find large differences between the trajectories with respect to both their sensitivity to driving field ellipticity and resonant enhancement. To accurately describe the ellipticity dependence of the long trajectory harmonics we must include a sub-cycle change of the initial velocity distribution of the electron and its excursion time. The resonant enhancement is observed only for the long trajectory contribution of a particular harmonic when a window resonance in argon, which is off-resonant in the field-free case, is shifted into resonance due to a large dynamic Stark shift.
△ Less
Submitted 2 November, 2016; v1 submitted 29 June, 2015;
originally announced June 2015.
-
Phase measurement of a Fano window resonance using tunable attosecond pulses
Authors:
M. Kotur,
D. Guenot,
A. Jimenez-Galan,
D. Kroon,
E. W. Larsen,
M. Louisy,
S. Bengtsson,
M. Miranda,
J. Mauritsson,
C. L. Arnold,
S. E. Canton,
M. Gisselbrecht,
T. Carette,
J. M. Dahlstrom,
E. Lindroth,
A. Maquet,
L. Argenti,
F. Martin,
A. L'Huillier
Abstract:
We study the photoionization of argon atoms close to the 3s$^2$3p$^6$ $\rightarrow$ 3s$^1$3p$^6$4p $\leftrightarrow$ 3s$^2$3p$^5$ $\varepsilon \ell$, $\ell$=s,d Fano window resonance. An interferometric technique using an attosecond pulse train, i.e. a frequency comb in the extreme ultraviolet range, and a weak infrared probe field allows us to study both amplitude and phase of the photoionization…
▽ More
We study the photoionization of argon atoms close to the 3s$^2$3p$^6$ $\rightarrow$ 3s$^1$3p$^6$4p $\leftrightarrow$ 3s$^2$3p$^5$ $\varepsilon \ell$, $\ell$=s,d Fano window resonance. An interferometric technique using an attosecond pulse train, i.e. a frequency comb in the extreme ultraviolet range, and a weak infrared probe field allows us to study both amplitude and phase of the photoionization probability amplitude as a function of photon energy. A theoretical calculation of the ionization process accounting for several continuum channels and bandwidth effects reproduces well the experimental observations and shows that the phase variation of the resonant two-photon amplitude depends on the interaction between the channels involved in the autoionization process.
△ Less
Submitted 8 May, 2015;
originally announced May 2015.
-
Photoemission electron microscopy of localized surface plasmons in silver nanostructures at telecommunication wavelengths
Authors:
Erik Mårsell,
Esben W. Larsen,
Cord L. Arnold,
Hongxing Xu,
Johan Mauritsson,
Anders Mikkelsen
Abstract:
We image the field enhancement at Ag nanostructures using femtosecond laser pulses with a center wavelength of 1.55 micrometer. Imaging is based on non-linear photoemission observed in a photoemission electron microscope (PEEM). The images are directly compared to ultra violet PEEM and scanning electron microscopy (SEM) imaging of the same structures. Further, we have carried out atomic scale scan…
▽ More
We image the field enhancement at Ag nanostructures using femtosecond laser pulses with a center wavelength of 1.55 micrometer. Imaging is based on non-linear photoemission observed in a photoemission electron microscope (PEEM). The images are directly compared to ultra violet PEEM and scanning electron microscopy (SEM) imaging of the same structures. Further, we have carried out atomic scale scanning tunneling microscopy (STM) on the same type of Ag nanostructures and on the Au substrate. Measuring the photoelectron spectrum from individual Ag particles shows a larger contribution from higher order photoemission process above the work function threshold than would be predicted by a fully perturbative model, consistent with recent results using shorter wavelengths. Investigating a wide selection of both Ag nanoparticles and nanowires, field enhancement is observed from 30% of the Ag nanoparticles and from none of the nanowires. No laser-induced damage is observed of the nanostructures neither during the PEEM experiments nor in subsequent SEM analysis. By direct comparison of SEM and PEEM images of the same nanostructures, we can conclude that the field enhancement is independent of the average nanostructure size and shape. Instead, we propose that the variations in observed field enhancement could originate from the wedge interface between the substrate and particles electrically connected to the substrate.
△ Less
Submitted 6 March, 2015;
originally announced March 2015.
-
The Non-Classical Boltzmann Equation, and Diffusion-Based Approximations to the Boltzmann Equation
Authors:
Martin Frank,
Kai Krycki,
Edward W. Larsen,
Richard Vasques
Abstract:
We show that several diffusion-based approximations (classical diffusion or SP1, SP2, SP3) to the linear Boltzmann equation can (for an infinite, homogeneous medium) be represented exactly by a non-classical transport equation. As a consequence, we indicate a method to solve diffusion-based approximations to the Boltzmann equation via Monte Carlo, with only statistical errors - no truncation error…
▽ More
We show that several diffusion-based approximations (classical diffusion or SP1, SP2, SP3) to the linear Boltzmann equation can (for an infinite, homogeneous medium) be represented exactly by a non-classical transport equation. As a consequence, we indicate a method to solve diffusion-based approximations to the Boltzmann equation via Monte Carlo, with only statistical errors - no truncation errors.
△ Less
Submitted 2 December, 2014;
originally announced December 2014.
-
High-order harmonic generation using a high-repetition-rate turnkey laser
Authors:
Eleonora Lorek,
Esben Witting Larsen,
Christoph Michael Heyl,
Stefanos Carlström,
David Paleček,
Donatas Zigmantas,
Johan Mauritsson
Abstract:
We generate high-order harmonics at high pulse repetition rates using a turnkey laser. High-order harmonics at 400 kHz are observed when argon is used as target gas. In neon we achieve generation of photons with energies exceeding 90 eV ($\sim$13 nm) at 20 kHz. We measure a photon flux of 4.4$\cdot10^{10}$ photons per second per harmonic in argon at 100 kHz. Many experiments employing high-order h…
▽ More
We generate high-order harmonics at high pulse repetition rates using a turnkey laser. High-order harmonics at 400 kHz are observed when argon is used as target gas. In neon we achieve generation of photons with energies exceeding 90 eV ($\sim$13 nm) at 20 kHz. We measure a photon flux of 4.4$\cdot10^{10}$ photons per second per harmonic in argon at 100 kHz. Many experiments employing high-order harmonics would benefit from higher repetition rates, and the user-friendly operation opens up for applications of coherent extreme ultra-violet pulses in new research areas.
△ Less
Submitted 9 September, 2014;
originally announced September 2014.
-
Non-linear optomechanical measurement of mechanical motion
Authors:
G. A. Brawley,
M. R. Vanner,
P. E. Larsen,
S. Schmid,
A. Boisen,
W. P. Bowen
Abstract:
Precision measurement of non-linear observables is an important goal in all facets of quantum optics. This allows measurement-based non-classical state preparation, which has been applied to great success in various physical systems, and provides a route for quantum information processing with otherwise linear interactions. In cavity optomechanics much progress has been made using linear interacti…
▽ More
Precision measurement of non-linear observables is an important goal in all facets of quantum optics. This allows measurement-based non-classical state preparation, which has been applied to great success in various physical systems, and provides a route for quantum information processing with otherwise linear interactions. In cavity optomechanics much progress has been made using linear interactions and measurement, but observation of non-linear mechanical degrees-of-freedom remains outstanding. Here we report the observation of displacement-squared thermal motion of a micro-mechanical resonator by exploiting the intrinsic non-linearity of the radiation pressure interaction. Using this measurement we generate bimodal mechanical states of motion with separations and feature sizes well below 100~pm. Future improvements to this approach will allow the preparation of quantum superposition states, which can be used to experimentally explore collapse models of the wavefunction and the potential for mechanical-resonator-based quantum information and metrology applications.
△ Less
Submitted 19 October, 2017; v1 submitted 23 April, 2014;
originally announced April 2014.
-
Measuring large-scale social networks with high resolution
Authors:
Arkadiusz Stopczynski,
Vedran Sekara,
Piotr Sapiezynski,
Andrea Cuttone,
Mette My Madsen,
Jakob Eg Larsen,
Sune Lehmann
Abstract:
This paper describes the deployment of a large-scale study designed to measure human interactions across a variety of communication channels, with high temporal resolution and spanning multiple years - the Copenhagen Networks Study. Specifically, we collect data on face-to-face interactions, telecommunication, social networks, location, and background information (personality, demographic, health,…
▽ More
This paper describes the deployment of a large-scale study designed to measure human interactions across a variety of communication channels, with high temporal resolution and spanning multiple years - the Copenhagen Networks Study. Specifically, we collect data on face-to-face interactions, telecommunication, social networks, location, and background information (personality, demographic, health, politics) for a densely connected population of 1,000 individuals, using state-of-art smartphones as social sensors. Here we provide an overview of the related work and describe the motivation and research agenda driving the study. Additionally the paper details the data-types measured, and the technical infrastructure in terms of both backend and phone software, as well as an outline of the deployment procedures. We document the participant privacy procedures and their underlying principles. The paper is concluded with early results from data analysis, illustrating the importance of multi-channel high-resolution approach to data collection.
△ Less
Submitted 13 February, 2014; v1 submitted 28 January, 2014;
originally announced January 2014.