arXiv subjects

Markus Schneider

Publications and source records attributed to Markus Schneider.

17 recordsLinked to original sources

arXiv2025

Intermediate Relation Size Bounds for Select-Project-Join-Union Query Plans

We study the problem of statically optimizing select-project-join-union (SPJU) plans where unary key constraints are allowed. A natural measure of a plan, which we call the output degree and which has been studied previously, is the minimum degree of a polynomial bounding the plan's output relation, as a function of the input database's maximum relation size. This measure is, by definition, invariant under passing from a plan to another plan that is semantically equivalent to the first. In this article, we consider a plan measure which we call the intermediate degree; this measure is defined to be the minimum degree of a polynomial bounding the size of all intermediate relations computed during a plan's execution -- again, as a function of the input database's maximum relation size. We present an algorithm that, given an SPJU plan $p$ and a set $Σ$ of unary keys, computes an SPJU plan $p'$ that is semantically equivalent to $p$ (over databases satisfying $Σ$) and that has the minimum intermediate degree over all such semantically equivalent plans. For the types of plans considered, we thus obtain a complete and effective understanding of intermediate degree.

cs.DB↗

arXiv2025

Combined Approximations for Uniform Operational Consistent Query Answering

Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact deletions) starting from an inconsistent database until we reach a database that is consistent w.r.t. the given set of constraints. It has been recently shown that there is an efficient approximation for computing the percentage of repairs that entail a given query when we focus on primary keys, conjunctive queries, and assuming the query is fixed (i.e., in data complexity). However, it has been left open whether such an approximation exists when the query is part of the input (i.e., in combined complexity). We show that this is the case when we focus on self-join-free conjunctive queries of bounded generelized hypertreewidth. We also show that it is unlikely that efficient approximation schemes exist once we give up one of the adopted syntactic restrictions, i.e., self-join-freeness or bounding the generelized hypertreewidth. Towards the desired approximation, we introduce a counting complexity class, called $\mathsf{SpanTL}$, show that each problem in it admits an efficient approximation scheme by using a recent approximability result about tree automata, and then place the problem of interest in $\mathsf{SpanTL}$.

cs.DB↗

arXiv2024

Exact and Approximate Counting of Database Repairs

A key task in the context of consistent query answering is to count the number of repairs that entail the query, with the ultimate goal being a precise data complexity classification. This has been achieved in the case of primary keys and self-join-free conjunctive queries (CQs) via an FP/#P-complete dichotomy. We lift this result to the more general case of functional dependencies (FDs). Another important task in this context is whenever the counting problem in question is intractable, to classify it as approximable, i.e., the target value can be efficiently approximated with error guarantees via a fully polynomial-time randomized approximation scheme (FPRAS), or as inapproximable. Although for primary keys and CQs (even with self-joins) the problem is always approximable, we prove that this is not the case for FDs. We show, however, that the class of FDs with a left-hand side chain forms an island of approximability. We see these results, apart from being interesting in their own right, as crucial steps towards a complete classification of approximate counting of repairs in the case of FDs and self-join-free CQs.

cs.DB↗

arXiv2023

Combined Approximations for Uniform Operational Consistent Query Answering

Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact deletions) starting from an inconsistent database until we reach a database that is consistent w.r.t. the given set of constraints. It has been recently shown that there are efficient approximations for computing the percentage of repairs, as well as of sequences of operations leading to repairs, that entail a given query when we focus on primary keys, conjunctive queries, and assuming the query is fixed (i.e., in data complexity). However, it has been left open whether such approximations exist when the query is part of the input (i.e., in combined complexity). We show that this is the case when we focus on self-join-free conjunctive queries of bounded generelized hypertreewidth. We also show that it is unlikely that efficient approximation schemes exist once we give up one of the adopted syntactic restrictions, i.e., self-join-freeness or bounding the generelized hypertreewidth. Towards the desired approximation schemes, we introduce a novel counting complexity class, called SpanTL, show that each problem in SpanTL admits an efficient approximation scheme by using a recent approximability result in the context of tree automata, and then place the problems of interest in SpanTL.

cs.DB↗

arXiv2023

System-specific parameter optimization for non-polarizable and polarizable force fields

The accuracy of classical force fields (FFs) has been shown to be limited for the simulation of cation-protein systems despite their importance in understanding the processes of life. Improvements can result from optimizing the parameters of classical FFs or by extending the FF formulation by terms describing charge transfer and polarization effects. In this work, we introduce our implementation of the CTPOL model in OpenMM, which extends the classical additive FF formula by adding charge transfer (CT) and polarization (POL). Furthermore, we present an open-source parameterization tool, called FFAFFURR that enables the (system specific) parameterization of OPLS-AA and CTPOL models. The performance of our workflow was evaluated by its ability to reproduce quantum chemistry energies and by molecular dynamics simulations of a Zinc finger protein.

q-bio.BM↗

arXiv2023

Active Personal Eye Lens Dosimetry with the Hybrid Pixelated Dosepix Detector

Eye lens dosimetry has been an important field of research in the last decade. Dose measurements with a prototype of an active personal eye lens dosemeter based on the Dosepix detector are presented. The personal dose equivalent at $3\,$mm depth of soft tissue, $H_\text{p}(3)$, was measured in the center front of a water-filled cylinder phantom with a height and diameter of $20\,$cm. The energy dependence of the normalized response is investigated for mean photon energies between $12.4\,$keV and $248\,$keV for continuous reference radiation fields (N-series) according to ISO 4037. The response normalized to N-60 ($\overline{E}=47.9\,\text{keV}$) at $0^\circ$ angle of irradiation stays within the approval limits of IEC 61526 for angles of incidence between $-75^\circ$ and $+75^\circ$. Performance in pulsed photon fields was tested for varying dose rates from $0.1\,\frac{\text{Sv}}{\text{h}}$ up to $1000\,\frac{\text{Sv}}{\text{h}}$ and pulse durations from $1\,\text{ms}$ up to $10\,\text{s}$. The dose measurement works well within the approval limits (acc. to IEC 61526) up to $1\,\frac{\text{Sv}}{\text{h}}$. No significant influence of the pulse duration on the measured dose is found. Reproducibility measurements yield a coefficient of variation which does not exceed $1\,\%$ for two tested eye lens dosemeter prototypes.

physics.med-ph↗

arXiv2023

The Complexity of Why-Provenance for Datalog Queries

Explaining why a database query result is obtained is an essential task towards the goal of Explainable AI, especially nowadays where expressive database query languages such as Datalog play a critical role in the development of ontology-based applications. A standard way of explaining a query result is the so-called why-provenance, which essentially provides information about the witnesses to a query result in the form of subsets of the input database that are sufficient to derive that result. To our surprise, despite the fact that the notion of why-provenance for Datalog queries has been around for decades and intensively studied, its computational complexity remains unexplored. The goal of this work is to fill this apparent gap in the why-provenance literature. Towards this end, we pinpoint the data complexity of why-provenance for Datalog queries and key subclasses thereof. The takeaway of our work is that why-provenance for recursive queries, even if the recursion is limited to be linear, is an intractable problem, whereas for non-recursive queries is highly tractable. Having said that, we experimentally confirm, by exploiting SAT solvers, that making why-provenance for (recursive) Datalog queries work in practice is not an unrealistic goal.

cs.DB↗

arXiv2022

Uniform Operational Consistent Query Answering

Operational consistent query answering (CQA) is a recent framework for CQA, based on revised definitions of repairs and consistent answers, which opens up the possibility of efficient approximations with explicit error guarantees. The main idea is to iteratively apply operations (e.g., fact deletions), starting from an inconsistent database, until we reach a database that is consistent w.r.t. the given set of constraints. This gives us the flexibility of choosing the probability with which we apply an operation, which in turn allows us to calculate the probability of an operational repair, and thus, the probability with which a consistent answer is entailed. A natural way of assigning probabilities to operations is by targeting the uniform probability distribution over a reasonable space such as the set of operational repairs, the set of sequences of operations that lead to an operational repair, and the set of available operations at a certain step of the repairing process. This leads to what we generally call uniform operational CQA. The goal of this work is to perform a data complexity analysis of both exact and approximate uniform operational CQA, focusing on functional dependencies (and subclasses thereof), and conjunctive queries. The main outcome of our analysis (among other positive and negative results), is that uniform operational CQA pushes the efficiency boundaries further by ensuring the existence of efficient approximation schemes in scenarios that go beyond the simple case of primary keys, which seems to be the limit of the classical approach to CQA.

cs.DB↗

arXiv2018

Relative energetics of acetyl-histidine protomers with and without Zn2+ and a benchmark of energy methods

We studied acetylhistidine (AcH), bare or microsolvated with a zinc cation by simulations in isolation. First, a global search for minima of the potential energy surface combining both, empirical and first-principles methods, is performed individually for either one of five possible protonation states. Comparing the most stable structures between tautomeric forms of negatively charged AcH shows a clear preference for conformers with the neutral imidazole ring protonated at the N-epsilon-2 atom. When adding a zinc cation to the system, the situation is reversed and N-delta-1-protonated structures are energetically more favorable. Obtained minima structures then served as basis for a benchmark study to examine the goodness of commonly applied levels of theory, i.e. force fields, semi-empirical methods, density-functional approximations (DFA), and wavefunction-based methods with respect to high-level coupled-cluster calculations, i.e. the DLPNO-CCSD(T) method. All tested force fields and semi-empirical methods show a poor performance in reproducing the energy hierarchies of conformers, in particular of systems involving the zinc cation. Meta-GGA, hybrid, double hybrid DFAs, and the MP2 method are able to describe the energetics of the reference method within chemical accuracy, i.e. with a mean absolute error of less than 1kcal/mol. Best performance is found for the double hybrid DFA B3LYP+XYG3 with a mean absolute error of 0.7 kcal/mol and a maximum error of 1.8 kcal/mol. While MP2 performs similarly as B3LYP+XYG3, computational costs, i.e. timings, are increased by a factor of 4 in comparison due to the large basis sets required for accurate results.

physics.atm-clus↗

arXiv2017

Kinetically Trapped Liquid-State Conformers of a Sodiated Model Peptide Observed in the Gas Phase

We investigate the peptide AcPheAla5LysH+, a model system for studying helix formation in the gas phase, in order to fully understand the forces that stabilize the helical structure. In particular, we address the question of whether the local fixation of the positive charge at the peptide's C-terminus is a prerequisite for forming helices by replacing the protonated C-terminal Lys residue by Ala and a sodium cation. The combination of gas-phase vibrational spectroscopy of cryogenically cooled ions with molecular simulations based on density-functional theory (DFT) allows for detailed structure elucidation. For sodiated AcPheAla6, we find globular rather than helical structures, as the mobile positive charge strongly interacts with the peptide backbone and disrupts secondary structure formation. Interestingly, the global minimum structure from simulation is not present in the experiment. We interpret that this is due to high barriers involved in re-arranging the peptide-cation interaction that ultimately result in kinetically trapped structures being observed in the experiment.

physics.atm-clus↗

arXiv2017

A comparison of C-shaped and brush armature performance

The most important part of a railgun launch package is the armature where the electromagnetic force is generated leading to the acceleration of the launch package. In case of metal armatures, the most commonly used armature types are the C-shape and the multi-fiber brush technology. However, rarely both armature types were systematically compared under similar experimental conditions. That is why we constructed launch packages based on the C-shaped and brush armature technology with comparable armature and payload mass. With these launch packages a series of experiments were performed in an energy range between 0.8 MJ and 1.13 MJ corresponding to a speed range between 950 m/s and 1400 m/s. The results of the experiments were then analyzed qualitatively and quantitatively. On the one hand our results show that the total losses are higher for the C-shaped armature technology than for the brush aramture technology. On the other hand our results show that launch packages based on the C-shaped technology convert better electrical energy into kinetic energy.

physics.plasm-ph↗

arXiv2016

Expected Similarity Estimation for Large-Scale Batch and Streaming Anomaly Detection

We present a novel algorithm for anomaly detection on very large datasets and data streams. The method, named EXPected Similarity Estimation (EXPoSE), is kernel-based and able to efficiently compute the similarity between new data points and the distribution of regular data. The estimator is formulated as an inner product with a reproducing kernel Hilbert space embedding and makes no assumption about the type or shape of the underlying data distribution. We show that offline (batch) learning with EXPoSE can be done in linear time and online (incremental) learning takes constant time per instance and model update. Furthermore, EXPoSE can make predictions in constant time, while it requires only constant memory. In addition, we propose different methodologies for concept drift adaptation on evolving data streams. On several real datasets we demonstrate that our approach can compete with state of the art algorithms for anomaly detection while being an order of magnitude faster than most other approaches.

cs.LG↗

arXiv2016

Examination of the Plasma located in PSI Ring Cyclotron

A plasma has been observed inside the vacuum chamber of the PSI Ring Cyclotron. This ionized gas cloud maybe a substantial contributor to several interior components having reduced lifetimes. The plasma's generation has been directly linked to the voltage that is applied to the Flat Top Cavity through visual confirmation using CCD cameras. A spectrometer was used to correlate the plasma's intensity and ignition to the Flat Top Cavity voltage as well as to determine the composition of the plasma. This paper reports on the analysis of the plasma using spectroscopy. The spectrometer data was analyzed to determine the composition of the plasma and that the plasma intensity (luminosity) directly corresponds to the Flat Top voltage. The results showed that the plasma was comprised of elements consistent with the cyclotrons vacuum interior

physics.acc-ph↗

arXiv2016

First-principles data set of 45,892 isolated and cation-coordinated conformers of 20 proteinogenic amino acids

We present a structural data set of the 20 proteinogenic amino acids and their amino-methylated and acetylated (capped) dipeptides. Different protonation states of the backbone (uncharged and zwitterionic) were considered for the amino acids as well as varied side chain protonation states. Furthermore, we studied amino acids and dipeptides in complex with divalent cations (Ca2+, Ba2+, Sr2+, Cd2+, Pb2+, and Hg2+). The database covers the conformational hierarchies of 280 systems in a wide relative energy range of up to 4 eV (390 kJ/mol), summing up to an overall of 45,892 stationary points on the respective potential-energy surfaces. All systems were calculated on equal first-principles footing, applying density-functional theory in the generalized gradient approximation corrected for long-range van der Waals interactions. We show good agreement to available experimental data for gas-phase ion affinities. Our curated data can be utilized, for example, for a wide comparison across chemical space of the building blocks of life, for the parametrization of protein force fields, and for the calculation of reference spectra for biophysical applications.

q-bio.BM↗

arXiv2015

Constant Time EXPected Similarity Estimation using Stochastic Optimization

A new algorithm named EXPected Similarity Estimation (EXPoSE) was recently proposed to solve the problem of large-scale anomaly detection. It is a non-parametric and distribution free kernel method based on the Hilbert space embedding of probability measures. Given a dataset of $n$ samples, EXPoSE needs only $\mathcal{O}(n)$ (linear time) to build a model and $\mathcal{O}(1)$ (constant time) to make a prediction. In this work we improve the linear computational complexity and show that an $ε$-accurate model can be estimated in constant time, which has significant implications for large-scale learning problems. To achieve this goal, we cast the original EXPoSE formulation into a stochastic optimization problem. It is crucial that this approach allows us to determine the number of iteration based on a desired accuracy $ε$, independent of the dataset size $n$. We will show that the proposed stochastic gradient descent algorithm works in general (possible infinite-dimensional) Hilbert spaces, is easy to implement and requires no additional step-size parameters.

cs.LG↗

arXiv2014

Transductive Learning for Multi-Task Copula Processes

We tackle the problem of multi-task learning with copula process. Multivariable prediction in spatial and spatial-temporal processes such as natural resource estimation and pollution monitoring have been typically addressed using techniques based on Gaussian processes and co-Kriging. While the Gaussian prior assumption is convenient from analytical and computational perspectives, nature is dominated by non-Gaussian likelihoods. Copula processes are an elegant and flexible solution to handle various non-Gaussian likelihoods by capturing the dependence structure of random variables with cumulative distribution functions rather than their marginals. We show how multi-task learning for copula processes can be used to improve multivariable prediction for problems where the simple Gaussianity prior assumption does not hold. Then, we present a transductive approximation for multi-task learning and derive analytical expressions for the copula process model. The approach is evaluated and compared to other techniques in one artificial dataset and two publicly available datasets for natural resource estimation and concrete slump prediction.

cs.LG↗

arXiv2014

Experiments to increase the used Energy with the PEGASUS Railgun

The French-German Research Institute (ISL) has several railguns installed, the largest of these is the PEGASUS accelerator. It is a 6m long, 4x4 cm2 caliber distributed energy supply (DES) railgun. It has a 10 MJ capacitor bank as energy supply attached to it. In the past, this installation was used to accelerate projectiles with a mass of about 300 g to velocities up to 2500 m/s. In the ongoing investigation, it is attempted to accelerate heavier projectiles to velocities above 2000m/s. For this a new type of projectile including a payload section was developed. In this paper the results of the experiments with payload projectiles using a primary energy between 3.8 MJ and 4.8 MJ are discussed.

physics.plasm-ph↗