-
GeoAI in resource-constrained environments
Authors:
Marc Böhlen,
Gede Sughiarta,
Atiek Kurnianingsih,
Srikar Reddy Gopaladinne,
Sujay Shrivastava,
Hemanth Kumar Reddy Gorla
Abstract:
This paper describes spatially aware Artificial Intelligence, GeoAI, tailored for small organizations such as NGOs in resource constrained contexts where access to large datasets, expensive compute infrastructure and AI expertise may be restricted. We furthermore consider future scenarios in which resource-intensive, large geospatial models may homogenize the representation of complex landscapes,…
▽ More
This paper describes spatially aware Artificial Intelligence, GeoAI, tailored for small organizations such as NGOs in resource constrained contexts where access to large datasets, expensive compute infrastructure and AI expertise may be restricted. We furthermore consider future scenarios in which resource-intensive, large geospatial models may homogenize the representation of complex landscapes, and suggest strategies to prepare for this condition.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
A.I. In All The Wrong Places
Authors:
Marc Böhlen,
Ruolin Chen,
Xiaoxu Dong,
Srikar Gopaladinne,
Hemanth Gorla,
Divya Kandukuri,
Sean Mansfield
Abstract:
This text describes experiences gained across a two-year test period during which two generations of Generative Artificial Intelligence (A.I.) systems were incorporated into an interdisciplinary, university level course on A.I. for art and design practices. The text uses the results from the courses to reflect on new opportunities for generative systems in art and design, while considering traps a…
▽ More
This text describes experiences gained across a two-year test period during which two generations of Generative Artificial Intelligence (A.I.) systems were incorporated into an interdisciplinary, university level course on A.I. for art and design practices. The text uses the results from the courses to reflect on new opportunities for generative systems in art and design, while considering traps and limits.
△ Less
Submitted 17 February, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
Imaging across multiple spatial scales with the multi-camera array microscope
Authors:
Mark Harfouche,
Kanghyun Kim,
Kevin C. Zhou,
Pavan Chandra Konda,
Sunanda Sharma,
Eric E. Thomson,
Colin Cooke,
Shiqi Xu,
Lucas Kreiss,
Amey Chaware,
Xi Yang,
Xing Yao,
Vinayak Pathak,
Martin Bohlen,
Ron Appel,
Aurélien Bègue,
Clare Cook,
Jed Doman,
John Efromson,
Gregor Horstmeyer,
Jaehee Park,
Paul Reamey,
Veton Saliu,
Eva Naumann,
Roarke Horstmeyer
Abstract:
This article experimentally examines different configurations of a novel multi-camera array microscope (MCAM) imaging technology. The MCAM is based upon a densely packed array of "micro-cameras" to jointly image across a large field-of-view at high resolution. Each micro-camera within the array images a unique area of a sample of interest, and then all acquired data with 54 micro-cameras are digit…
▽ More
This article experimentally examines different configurations of a novel multi-camera array microscope (MCAM) imaging technology. The MCAM is based upon a densely packed array of "micro-cameras" to jointly image across a large field-of-view at high resolution. Each micro-camera within the array images a unique area of a sample of interest, and then all acquired data with 54 micro-cameras are digitally combined into composite frames, whose total pixel counts significantly exceed the pixel counts of standard microscope systems. We present results from three unique MCAM configurations for different use cases. First, we demonstrate a configuration that simultaneously images and estimates the 3D object depth across a 100 x 135 mm^2 field-of-view (FOV) at approximately 20 um resolution, which results in 0.15 gigapixels (GP) per snapshot. Second, we demonstrate an MCAM configuration that records video across a continuous 83 x 123 mm^2 FOV with two-fold increased resolution (0.48 GP per frame). Finally, we report a third high-resolution configuration (2 um resolution) that can rapidly produce 9.8 GP composites of large histopathology specimens.
△ Less
Submitted 28 February, 2023; v1 submitted 30 November, 2022;
originally announced December 2022.
-
Robust and Scalable Content-and-Structure Indexing (Extended Version)
Authors:
Kevin Wellenzohn,
Michael H. Böhlen,
Sven Helmer,
Antoine Pietri,
Stefano Zacchiroli
Abstract:
Frequent queries on semi-structured hierarchical data are Content-and-Structure (CAS) queries that filter data items based on their location in the hierarchical structure and their value for some attribute. We propose the Robust and Scalable Content-and-Structure (RSCAS) index to efficiently answer CAS queries on big semi-structured data. To get an index that is robust against queries with varying…
▽ More
Frequent queries on semi-structured hierarchical data are Content-and-Structure (CAS) queries that filter data items based on their location in the hierarchical structure and their value for some attribute. We propose the Robust and Scalable Content-and-Structure (RSCAS) index to efficiently answer CAS queries on big semi-structured data. To get an index that is robust against queries with varying selectivities we introduce a novel dynamic interleaving that merges the path and value dimensions of composite keys in a balanced manner. We store interleaved keys in our trie-based RSCAS index, which efficiently supports a wide range of CAS queries, including queries with wildcards and descendant axes. We implement RSCAS as a log-structured merge (LSM) tree to scale it to data-intensive applications with a high insertion rate. We illustrate RSCAS's robustness and scalability by indexing data from the Software Heritage (SWH) archive, which is the world's largest, publicly-available source code archive.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Dynamic Spanning Trees for Connectivity Queries on Fully-dynamic Undirected Graphs (Extended version)
Authors:
Qing Chen,
Oded Lachish,
Sven Helmer,
Michael Böhlen
Abstract:
Answering connectivity queries is fundamental to fully dynamic graphs where edges and vertices are inserted and deleted frequently. Existing work proposes data structures and algorithms with worst-case guarantees. We propose a new data structure, the dynamic tree (D-tree), together with algorithms to construct and maintain it. The D-tree is the first data structure that scales to fully dynamic gra…
▽ More
Answering connectivity queries is fundamental to fully dynamic graphs where edges and vertices are inserted and deleted frequently. Existing work proposes data structures and algorithms with worst-case guarantees. We propose a new data structure, the dynamic tree (D-tree), together with algorithms to construct and maintain it. The D-tree is the first data structure that scales to fully dynamic graphs with millions of vertices and edges and, on average, answers connectivity queries much faster than data structures with worst case guarantees.
△ Less
Submitted 18 July, 2022; v1 submitted 14 July, 2022;
originally announced July 2022.
-
Excitation dynamics in polyacene molecules on rare-gas clusters
Authors:
Matthias Bohlen,
Rupert Michiels,
Moritz Michelbach,
Selmane Ferchane,
Michael Walter,
Alexander Eisfeld,
Frank Stienkemeier
Abstract:
Laser-induced fluorescence spectra and excitation lifetimes of anthracene, tetracene, and pentacene molecules attached to the surface of solid argon clusters have been measured with respect to cluster size, density of molecules and excitation density. Results are compared to previous studies on the same sample molecules attached to neon clusters. A contrasting lifetime behavior of anthracene on ne…
▽ More
Laser-induced fluorescence spectra and excitation lifetimes of anthracene, tetracene, and pentacene molecules attached to the surface of solid argon clusters have been measured with respect to cluster size, density of molecules and excitation density. Results are compared to previous studies on the same sample molecules attached to neon clusters. A contrasting lifetime behavior of anthracene on neon and argon clusters is discussed, and mechanisms are suggested to interpret the results. Although both neon and argon clusters are considered to be weakly interacting environments, we find that the excitation decay dynamics of the studied acenes depends significantly on the cluster material. Moreover, we find even qualitative differences regarding the dependence on the dopant density. Based on these observations, previous assignments of collective radiative and non-radiative decay mechanisms are discussed in the context of the new experimental findings.
△ Less
Submitted 4 January, 2022;
originally announced January 2022.
-
From images in the wild to video-informed image classification
Authors:
Marc Böhlen,
Varun Chandola,
Wawan Sujarwo,
Raunaq Jain
Abstract:
Image classifiers work effectively when applied on structured images, yet they often fail when applied on images with very high visual complexity. This paper describes experiments applying state-of-the-art object classifiers toward a unique set of images in the wild with high visual complexity collected on the island of Bali. The text describes differences between actual images in the wild and ima…
▽ More
Image classifiers work effectively when applied on structured images, yet they often fail when applied on images with very high visual complexity. This paper describes experiments applying state-of-the-art object classifiers toward a unique set of images in the wild with high visual complexity collected on the island of Bali. The text describes differences between actual images in the wild and images from Imagenet, and then discusses a novel approach combining informational cues particular to video with an ensemble of imperfect classifiers in order to improve classification results on video sourced images of plants in the wild.
△ Less
Submitted 24 September, 2021;
originally announced September 2021.
-
Comparing fermionic superfluids in two and three dimensions
Authors:
Lennart Sobirey,
Hauke Biss,
Niclas Luick,
Markus Bohlen,
Henning Moritz,
Thomas Lompe
Abstract:
Understanding the origins of unconventional superconductivity has been a major focus of condensed matter physics for many decades. While many questions remain unanswered, experiments have found that the systems with the highest critical temperatures tend to be layered materials where superconductivity occurs in two-dimensional (2D) structures. However, to what extent the remarkable stability of th…
▽ More
Understanding the origins of unconventional superconductivity has been a major focus of condensed matter physics for many decades. While many questions remain unanswered, experiments have found that the systems with the highest critical temperatures tend to be layered materials where superconductivity occurs in two-dimensional (2D) structures. However, to what extent the remarkable stability of these strongly correlated 2D superfluids is related to their reduced dimensionality is still an open question. In this work, we use dilute gases of ultracold fermionic atoms as a model system to directly observe the influence of dimensionality on strongly interacting fermionic superfluids. We achieve this by measuring the superfluid gap of a strongly correlated quasi-2D Fermi gas over a wide range of interaction strengths and comparing the results to recent measurements in 3D Fermi gases. We find that the superfluid gap follows the same universal function of the interaction strength in both systems, which suggests that there is no inherent difference in the stability of fermionic superfluidity between two- and three-dimensional quantum gases. Finally, we compare our data to results from solid state systems and find a similar relation between the interaction strength and the gap for a wide range of two- and three-dimensional superconductors.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
Excitation Spectrum and Superfluid Gap of an Ultracold Fermi Gas
Authors:
Hauke Biss,
Lennart Sobirey,
Niclas Luick,
Markus Bohlen,
Jami J. Kinnunen,
Georg M. Bruun,
Thomas Lompe,
Henning Moritz
Abstract:
Ultracold atomic gases are a powerful tool to experimentally study strongly correlated quantum many-body systems. In particular, ultracold Fermi gases with tunable interactions have allowed to realize the famous BEC-BCS crossover from a Bose-Einstein condensate (BEC) of molecules to a Bardeen-Cooper-Schrieffer (BCS) superfluid of weakly bound Cooper pairs. However, large parts of the excitation sp…
▽ More
Ultracold atomic gases are a powerful tool to experimentally study strongly correlated quantum many-body systems. In particular, ultracold Fermi gases with tunable interactions have allowed to realize the famous BEC-BCS crossover from a Bose-Einstein condensate (BEC) of molecules to a Bardeen-Cooper-Schrieffer (BCS) superfluid of weakly bound Cooper pairs. However, large parts of the excitation spectrum of fermionic superfluids in the BEC-BCS crossover are still unexplored. In this work, we use Bragg spectroscopy to measure the full momentum-resolved low-energy excitation spectrum of strongly interacting ultracold Fermi gases. This enables us to directly observe the smooth transformation from a bosonic to a fermionic superfluid that takes place in the BEC-BCS crossover. We also use our spectra to determine the evolution of the superfluid gap and find excellent agreement with previous experiments and self-consistent T-matrix calculations both in the BEC and crossover regime. However, towards the BCS regime a calculation that includes the effects of particle-hole correlations shows better agreement with our data.
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
Classification, Slippage, Failure and Discovery
Authors:
Marc Böhlen
Abstract:
This text argues for the potential of machine learning infused classification systems as vectors for a technically-engaged and constructive technology critique. The text describes this potential with several experiments in image data creation and neural network based classification. The text considers varying aspects of slippage in classification and considers the potential for discovery - as oppo…
▽ More
This text argues for the potential of machine learning infused classification systems as vectors for a technically-engaged and constructive technology critique. The text describes this potential with several experiments in image data creation and neural network based classification. The text considers varying aspects of slippage in classification and considers the potential for discovery - as opposed to disaster - stemming from machine learning systems when they fail to perform as anticipated.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Evolution and ion kinetics of a XUV-induced nanoplasma in ammonia clusters
Authors:
R. Michiels,
A. C. LaForge,
M. Bohlen,
C. Callegari,
A. Clark,
A. von Conta,
M. Coreno,
M. Di Fraia,
M. Drabbels,
P. Finetti,
M. Huppert,
V. Oliver,
O. Plekan,
K. C. Prince,
S. Stranges,
H. J. Wörner,
F. Stienkemeier
Abstract:
High-intensity extreme ultraviolet (XUV) pulses from a free-electron laser can be used to create a nanoplasma in clusters. In Ref. [Michiels et al. PCCP, 2020; 22: 7828-7834] we investigated the formation of excited states in an XUV-induced nanoplasma in ammonia clusters. In the present article we expand our previous study with a detailed analysis of the nanoplasma evolution and ion kinetics. We u…
▽ More
High-intensity extreme ultraviolet (XUV) pulses from a free-electron laser can be used to create a nanoplasma in clusters. In Ref. [Michiels et al. PCCP, 2020; 22: 7828-7834] we investigated the formation of excited states in an XUV-induced nanoplasma in ammonia clusters. In the present article we expand our previous study with a detailed analysis of the nanoplasma evolution and ion kinetics. We use a time-delayed UV laser as probe to ionize excited states of H and H$_2^+$ in the XUV-induced plasma. Employing covariance mapping techniques, we show that the correlated emission of protons plays an important role in the plasma dynamics. The time-dependent kinetic energy of the ions created by the probe laser is measured, revealing the charge neutralization of the cluster happens on a sub-picosecond timescale. Furthermore, we observe ro-vibrationally excited molecular hydrogen ions H$_2^{+*}$ being ejected from the clusters. We rationalize our data through a qualitative model of a finite-size non-thermal plasma.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
Return to Bali
Authors:
Marc Böhlen,
Wawan Sujarwo
Abstract:
This paper gives an overview of the project Return to Bali that seeks to create a living dataset of ethnobotanically significant flora on the island of Bali and new methods through which underrepresented forms of knowledge can be documented, shared and made compatible within the logics of machine learning while considering practical approaches to benefit multiple stakeholders and preventing uninte…
▽ More
This paper gives an overview of the project Return to Bali that seeks to create a living dataset of ethnobotanically significant flora on the island of Bali and new methods through which underrepresented forms of knowledge can be documented, shared and made compatible within the logics of machine learning while considering practical approaches to benefit multiple stakeholders and preventing unintended harm.
△ Less
Submitted 1 September, 2020;
originally announced September 2020.
-
Machine Learning in Ethnobotany -- a first experiment
Authors:
Marc Böhlen,
Wawan Sujarwo
Abstract:
We describe new opportunities afforded by bring A.I to the field of ethnobotany. In particular we describe a novel approach to ethnobotany documentation that harnesses machine learning opportunities, specifically for the documentation of traditional ecological knowledge with mobile phones in emerging economies. Using a case study on the island of Bali as a departure point, the project maps out mac…
▽ More
We describe new opportunities afforded by bring A.I to the field of ethnobotany. In particular we describe a novel approach to ethnobotany documentation that harnesses machine learning opportunities, specifically for the documentation of traditional ecological knowledge with mobile phones in emerging economies. Using a case study on the island of Bali as a departure point, the project maps out machine learning approaches to documentation and responds to technology and capital gradients between research contexts in the global north and south in an attempt to capture knowledge that might otherwise not be represented.
△ Less
Submitted 29 August, 2020; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Dynamic Interleaving of Content and Structure for Robust Indexing of Semi-Structured Hierarchical Data (Extended Version)
Authors:
Kevin Wellenzohn,
Michael H. Böhlen,
Sven Helmer
Abstract:
We propose a robust index for semi-structured hierarchical data that supports content-and-structure (CAS) queries specified by path and value predicates. At the heart of our approach is a novel dynamic interleaving scheme that merges the path and value dimensions of composite keys in a balanced way. We store these keys in our trie-based Robust Content-And-Structure index, which efficiently support…
▽ More
We propose a robust index for semi-structured hierarchical data that supports content-and-structure (CAS) queries specified by path and value predicates. At the heart of our approach is a novel dynamic interleaving scheme that merges the path and value dimensions of composite keys in a balanced way. We store these keys in our trie-based Robust Content-And-Structure index, which efficiently supports a wide range of CAS queries, including queries with wildcards and descendant axes. Additionally, we show important properties of our scheme, such as robustness against varying selectivities, and demonstrate improvements of up to two orders of magnitude over existing approaches in our experimental evaluation.
△ Less
Submitted 9 June, 2020;
originally announced June 2020.
-
Observation of superfluidity in a strongly correlated two-dimensional Fermi gas
Authors:
Lennart Sobirey,
Niclas Luick,
Markus Bohlen,
Hauke Biss,
Henning Moritz,
Thomas Lompe
Abstract:
Understanding how strongly correlated two-dimensional (2D) systems can give rise to unconventional superconductivity with high critical temperatures is one of the major unsolved problems in condensed matter physics. Ultracold 2D Fermi gases have emerged as clean and controllable model systems to study the interplay of strong correlations and reduced dimensionality, but direct evidence of superflui…
▽ More
Understanding how strongly correlated two-dimensional (2D) systems can give rise to unconventional superconductivity with high critical temperatures is one of the major unsolved problems in condensed matter physics. Ultracold 2D Fermi gases have emerged as clean and controllable model systems to study the interplay of strong correlations and reduced dimensionality, but direct evidence of superfluidity in these systems has been missing. Here, we demonstrate superfluidity in an ultracold 2D Fermi gas by moving a periodic potential through the system and observing no dissipation below a critical velocity v$_{\rm c}$. We measure v$_{\rm c}$ as a function of interaction strength and find a maximum in the crossover regime between bosonic and fermionic superfluidity. Our measurement establishes ultracold Fermi gases as a powerful tool for studying the influence of reduced dimensionality on strongly correlated superfluids.
△ Less
Submitted 15 May, 2020;
originally announced May 2020.
-
A Relational Matrix Algebra and its Implementation in a Column Store
Authors:
Oksana Dolmatova,
Nikolaus Augsten,
Michael H. Boehlen
Abstract:
Analytical queries often require a mixture of relational and linear algebra operations applied to the same data. This poses a challenge to analytic systems that must bridge the gap between relations and matrices. Previous work has mainly strived to fix the problem at the implementation level. This paper proposes a principled solution at the logical level. We introduce the relational matrix algebra…
▽ More
Analytical queries often require a mixture of relational and linear algebra operations applied to the same data. This poses a challenge to analytic systems that must bridge the gap between relations and matrices. Previous work has mainly strived to fix the problem at the implementation level. This paper proposes a principled solution at the logical level. We introduce the relational matrix algebra (RMA), which seamlessly integrates linear algebra operations into the relational model and eliminates the dichotomy between matrices and relations. RMA is closed: All our relational matrix operations are performed on relations and result in relations; no additional data structure is required. Our implementation in MonetDB shows the feasibility of our approach, and empirical evaluations suggest that in-database analytics performs well for mixed workloads.
△ Less
Submitted 11 April, 2020;
originally announced April 2020.
-
Time-resolved formation of excited atomic and molecular states in XUV-induced nanoplasmas in ammonia clusters
Authors:
Rupert Michiels,
Aaron Cristopher LaForge,
Matthias Bohlen,
Carlo Callegari,
Andrew Clark,
Aaron von Conta,
Marcello Coreno,
Michele Di Fraia,
Marcel Drabbels,
Paola Finetti,
Martin Huppert,
Veronica Oliver Álvarez de Lara,
Oksana Plekan,
Kevin Charles Prince,
Stefano Stranges,
Vit Svoboda,
Hans Jakob Wörner,
Frank Stienkemeier
Abstract:
High intensity XUV radiation from a free-electron (FEL) was used to create a nanoplasma inside ammonia clusters with the intent of studying the resulting electron-ion interactions and their interplay with plasma evolution. In a plasma-like state, electrons with kinetic energy lower than the local collective Coulomb potential of the positive ionic core are trapped in the cluster and take part in se…
▽ More
High intensity XUV radiation from a free-electron (FEL) was used to create a nanoplasma inside ammonia clusters with the intent of studying the resulting electron-ion interactions and their interplay with plasma evolution. In a plasma-like state, electrons with kinetic energy lower than the local collective Coulomb potential of the positive ionic core are trapped in the cluster and take part in secondary processes (e.g. electron-impact excitation/ionization and electron-ion recombination) which lead to subsequent excited and neutral molecular fragmentation. Using a time-delayed UV laser, the dynamics of the excited atomic and molecular states are probed from -0.1 ps to 18 ps. We identify three different phases of molecular fragmentation that are clearly distinguished by the effect of the probe laser on the ionic and electronic yield. We propose a simple model to rationalize our data and further identify two separate channels leading to the formation of excited hydrogen.
△ Less
Submitted 12 March, 2020;
originally announced March 2020.
-
Sound propagation and quantum limited damping in a two-dimensional Fermi gas
Authors:
Markus Bohlen,
Lennart Sobirey,
Niclas Luick,
Hauke Biss,
Tilman Enss,
Thomas Lompe,
Henning Moritz
Abstract:
Strongly interacting two-dimensional Fermi systems are one of the great remaining challenges in many-body physics due to the interplay of strong local correlations and enhanced long-range fluctuations. Here, we probe the thermodynamic and transport properties of a 2D Fermi gas across the BEC-BCS crossover by studying the propagation and damping of sound modes. We excite particle currents by imprin…
▽ More
Strongly interacting two-dimensional Fermi systems are one of the great remaining challenges in many-body physics due to the interplay of strong local correlations and enhanced long-range fluctuations. Here, we probe the thermodynamic and transport properties of a 2D Fermi gas across the BEC-BCS crossover by studying the propagation and damping of sound modes. We excite particle currents by imprinting a phase step onto homogeneous Fermi gases trapped in a box potential and extract the speed of sound from the frequency of the resulting density oscillations. We measure the speed of sound across the BEC-BCS crossover and compare the resulting dynamic measurement of the equation of state both to a static measurement based on recording density profiles and to Quantum Monte Carlo calculations and find reasonable agreement between all three. We also measure the damping of the sound mode, which is determined by the shear and bulk viscosities as well as the thermal conductivity of the gas. We find that the damping is minimal in the strongly interacting regime and the diffusivity approaches the universal quantum bound $\hbar/m$ of a perfect fluid.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Query Results over Ongoing Databases that Remain Valid as Time Passes By (Extended Version)
Authors:
Yvonne Mülle,
Michael H. Böhlen
Abstract:
Ongoing time point now is used to state that a tuple is valid from the start point onward. For database systems ongoing time points have far-reaching implications since they change continuously as time passes by. State-of-the-art approaches deal with ongoing time points by instantiating them to the reference time. The instantiation yields query results that are only valid at the chosen time and ge…
▽ More
Ongoing time point now is used to state that a tuple is valid from the start point onward. For database systems ongoing time points have far-reaching implications since they change continuously as time passes by. State-of-the-art approaches deal with ongoing time points by instantiating them to the reference time. The instantiation yields query results that are only valid at the chosen time and get invalidated as time passes by. We propose a solution that keeps ongoing time points uninstantiated during query processing. We do so by evaluating predicates and functions at all possible reference times. This renders query results independent of a specific reference time and yields results that remain valid as time passes by. As query results, we propose ongoing relations that include a reference time attribute. The value of the reference time attribute is restricted by predicates and functions on ongoing attributes. We describe and evaluate an efficient implementation of ongoing data types and operations in PostgreSQL.
△ Less
Submitted 28 July, 2020; v1 submitted 16 January, 2020;
originally announced January 2020.
-
Lineage-Aware Temporal Windows: Supporting Set Operations in Temporal-Probabilistic Databases
Authors:
Katerina Papaioannou,
Martin Theobald,
Michael H. Böhlen
Abstract:
In temporal-probabilistic (TP) databases, the combination of the temporal and the probabilistic dimension adds significant overhead to the computation of set operations. Although set queries are guaranteed to yield linearly sized output relations, existing solutions exhibit quadratic runtime complexity. They suffer from redundant interval comparisons and additional joins for the formation of linea…
▽ More
In temporal-probabilistic (TP) databases, the combination of the temporal and the probabilistic dimension adds significant overhead to the computation of set operations. Although set queries are guaranteed to yield linearly sized output relations, existing solutions exhibit quadratic runtime complexity. They suffer from redundant interval comparisons and additional joins for the formation of lineage expressions. In this paper, we formally define the semantics of set operations in TP databases and study their properties. For their efficient computation, we introduce the lineage-aware temporal window, a mechanism that directly binds intervals with lineage expressions. We suggest the lineage-aware window advancer (LAWA) for producing the windows of two TP relations in linearithmic time, and we implement all TP set operations based on LAWA. By exploiting the flexibility of lineage-aware temporal windows, we perform direct filtering of irrelevant intervals and finalization of output lineage expressions and thus guarantee that no additional computational cost or buffer space is needed. A series of experiments over both synthetic and real-world datasets show that (a) our approach has predictable performance, depending only on the input size and not on the number of time intervals per fact or their overlap, and that (b) it outperforms state-of-the-art approaches in both temporal and probabilistic databases.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
An ideal Josephson junction in an ultracold two-dimensional Fermi gas
Authors:
Niclas Luick,
Lennart Sobirey,
Markus Bohlen,
Vijay Pal Singh,
Ludwig Mathey,
Thomas Lompe,
Henning Moritz
Abstract:
The role of reduced dimensionality in high temperature superconductors is still under debate. Recently, ultracold atoms have emerged as an ideal model system to study such strongly correlated 2D systems. Here, we report on the realisation of a Josephson junction in an ultracold 2D Fermi gas. We measure the frequency of Josephson oscillations as a function of the phase difference across the junctio…
▽ More
The role of reduced dimensionality in high temperature superconductors is still under debate. Recently, ultracold atoms have emerged as an ideal model system to study such strongly correlated 2D systems. Here, we report on the realisation of a Josephson junction in an ultracold 2D Fermi gas. We measure the frequency of Josephson oscillations as a function of the phase difference across the junction and find excellent agreement with the sinusoidal current phase relation of an ideal Josephson junction. Furthermore, we determine the critical current of our junction in the crossover from tightly bound molecules to weakly bound Cooper pairs. Our measurements clearly demonstrate phase coherence and provide strong evidence for superfluidity in a strongly interacting 2D Fermi gas.
△ Less
Submitted 26 February, 2021; v1 submitted 26 August, 2019;
originally announced August 2019.
-
ABC of Order Dependencies
Authors:
Pei Li,
Michael Bohlen,
Jaroslaw Szlichta,
Divesh Srivastava
Abstract:
We enhance constrained-based data quality with approximate band conditional order dependencies (abcODs). Band ODs model the semantics of attributes that are monotonically related with small variations without there being an intrinsic violation of semantics. The class of abcODs generalizes band ODs to make them more relevant to real-world applications by relaxing them to hold approximately (abODs)…
▽ More
We enhance constrained-based data quality with approximate band conditional order dependencies (abcODs). Band ODs model the semantics of attributes that are monotonically related with small variations without there being an intrinsic violation of semantics. The class of abcODs generalizes band ODs to make them more relevant to real-world applications by relaxing them to hold approximately (abODs) with some exceptions and conditionally (bcODs) on subsets of the data. We study the problem of automatic dependency discovery over a hierarchy of abcODs. First, we propose a more efficient algorithm to discover abODs than in recent prior work. The algorithm is based on a new optimization to compute a longest monotonic band (longest subsequence of tuples that satisfy a band OD) through dynamic programming by decreasing the runtime from O(n^2) to O(n \log n) time. We then illustrate that while the discovery of bcODs is relatively straightforward, there exist codependencies between approximation and conditioning that make the problem of abcOD discovery challenging. The naive solution is prohibitively expensive as it considers all possible segmentations of tuples resulting in exponential time complexity. To reduce the search space, we devise a dynamic programming algorithm for abcOD discovery that determines the optimal solution in O(n^3 \log n) complexity. To further optimize the performance, we adapt the algorithm to cheaply identify consecutive tuples that are guaranteed to belong to the same band--this improves the performance significantly in practice without losing optimality. While unidirectional abcODs are most common in practice, for generality we extend our algorithms with both ascending and descending orders to discover bidirectional abcODs. Finally, we perform a thorough experimental evaluation of our techniques over real-world and synthetic datasets.
△ Less
Submitted 28 February, 2020; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Snapshot Semantics for Temporal Multiset Relations (Extended Version)
Authors:
Anton Dignös,
Boris Glavic,
Xing Niu,
Michael Böhlen,
Johann Gamper
Abstract:
Snapshot semantics is widely used for evaluating queries over temporal data: temporal relations are seen as sequences of snapshot relations, and queries are evaluated at each snapshot. In this work, we demonstrate that current approaches for snapshot semantics over interval-timestamped multiset relations are subject to two bugs regarding snapshot aggregation and bag difference. We introduce a nove…
▽ More
Snapshot semantics is widely used for evaluating queries over temporal data: temporal relations are seen as sequences of snapshot relations, and queries are evaluated at each snapshot. In this work, we demonstrate that current approaches for snapshot semantics over interval-timestamped multiset relations are subject to two bugs regarding snapshot aggregation and bag difference. We introduce a novel temporal data model based on K-relations that overcomes these bugs and prove it to correctly encode snapshot semantics. Furthermore, we present an efficient implementation of our model as a database middleware and demonstrate experimentally that our approach is competitive with native implementations and significantly outperforms such implementations on queries that involve aggregation.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Generalized Lineage-Aware Temporal Windows: Supporting Outer and Anti Joins in Temporal-Probabilistic Databases
Authors:
Katerina Papaioannou,
Martin Theobald,
Michael Böhlen
Abstract:
The result of a temporal-probabilistic (TP) join with negation includes, at each time point, the probability with which a tuple of a positive relation ${\bf p}$ matches none of the tuples in a negative relation ${\bf n}$, for a given join condition $θ$. TP outer and anti joins thus resemble the characteristics of relational outer and anti joins also in the case when there exist time points at whic…
▽ More
The result of a temporal-probabilistic (TP) join with negation includes, at each time point, the probability with which a tuple of a positive relation ${\bf p}$ matches none of the tuples in a negative relation ${\bf n}$, for a given join condition $θ$. TP outer and anti joins thus resemble the characteristics of relational outer and anti joins also in the case when there exist time points at which input tuples from ${\bf p}$ have non-zero probabilities to be $true$ and input tuples from ${\bf n}$ have non-zero probabilities to be $false$, respectively. For the computation of TP joins with negation, we introduce generalized lineage-aware temporal windows, a mechanism that binds an output interval to the lineages of all the matching valid tuples of each input relation. We group the windows of two TP relations into three disjoint sets based on the way attributes, lineage expressions and intervals are produced. We compute all windows in an incremental manner, and we show that pipelined computations allow for the direct integration of our approach into PostgreSQL. We thereby alleviate the prevalent redundancies in the interval computations of existing approaches, which is proven by an extensive experimental evaluation with real-world datasets.
△ Less
Submitted 12 February, 2019;
originally announced February 2019.
-
Server, server in the cloud. Who is the fairest in the crowd?
Authors:
Marc Böhlen,
Varun Chandola,
Amol Salunkhe
Abstract:
This paper follows the recent history of automated beauty competitions to discuss how machine learning techniques, in particular neural networks, alter the way attractiveness is handled and how this impacts the cultural landscape. We describe experiments performed to probe the behavior of two different convolutional neural network architectures in the classification of facial attractiveness in a l…
▽ More
This paper follows the recent history of automated beauty competitions to discuss how machine learning techniques, in particular neural networks, alter the way attractiveness is handled and how this impacts the cultural landscape. We describe experiments performed to probe the behavior of two different convolutional neural network architectures in the classification of facial attractiveness in a large database of celebrity faces. As opposed to other easily definable facial features, attractiveness is difficult to detect robustly even for the best classification systems. Based on the observations from these experiments, we discuss several approaches to detect factors that come into play when a machine evaluates human features, and how bias can occur not only in data selection but in network architectures; in multiple forms on multiple levels throughout the process. The overall goal is to map out with mixed methods a novel condition: slippages produced by platform level machine learning systems that make judgements in domains considered dependent on high level human intelligence.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.