Showing 1–24 of 24 results for author: Boehm, S

AI-based Classification of Customer Support Tickets: State of the Art and Implementation with AutoML

Authors: Mario Truss, Stephan Boehm

Abstract: Automation of support ticket classification is crucial to improve customer support performance and shortening resolution time for customer inquiries. This research aims to test the applicability of automated machine learning (AutoML) as a technology to train a machine learning model (ML model) that can classify support tickets. The model evaluation conducted in this research shows that AutoML can… ▽ More Automation of support ticket classification is crucial to improve customer support performance and shortening resolution time for customer inquiries. This research aims to test the applicability of automated machine learning (AutoML) as a technology to train a machine learning model (ML model) that can classify support tickets. The model evaluation conducted in this research shows that AutoML can be used to train ML models with good classification performance. Moreover, this paper fills a research gap by providing new insights into develo** AI solutions without a dedicated professional by utilizing AutoML, which makes this technology more accessible for companies without specialized AI departments and staff. △ Less

Submitted 3 June, 2024; originally announced June 2024.

ACM Class: I.2; I.2.7; K.6

Journal ref: Proceedings of the IWEMB 2021/2022: Fifth and Sixth International Workshop on Entrepreneurship, Electronic and Mobile Business

$G$-complete reducibility and saturation

Authors: Michael Bate, Sören Böhm, Alastair Litterick, Benjamin Martin, Gerhard Roehrle

Abstract: Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first principal theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then it is also $G$-completely reducible in the sense of Serre, under some restrictions on $p$, generalising the known case for $G = GL(V)$. Our second main th… ▽ More Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first principal theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then it is also $G$-completely reducible in the sense of Serre, under some restrictions on $p$, generalising the known case for $G = GL(V)$. Our second main theorem shows that if $K$ is $H$-completely reducible, then the saturation of $K$ in $G$ is completely reducible in the saturation of $H$ in $G$ (which is again a connected reductive subgroup of $G$), under suitable restrictions on $p$, again generalising the known instance for $G = GL(V)$. We also study saturation of finite subgroups of Lie type in $G$. We show that saturation is compatible with standard Frobenius endomorphisms, and we use this to generalise a result due to Nori from 1987 in case $G = GL(V)$. △ Less

Submitted 27 March, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Comments: 15 pages; v2 minor changes; v3 18 pages, various changes; new is Proposition 4.8 which shows that saturation is compatible with standard Frobenius endomorphisms

MSC Class: 20G15; 14L24

Complete reducibility for Lie subalgebras and semisimplification

Authors: Michael Bate, Sören Böhm, Benjamin Martin, Gerhard Roehrle, Laura Voggesberger

Abstract: Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra $\mathfrak g = Lie(G)$ of $G$ and prove some results when $\mathfrak h$ is solvable or $char(k)= 0$. We introduce the concept of a $k$-semisimplification $\mathfrak h'$… ▽ More Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra $\mathfrak g = Lie(G)$ of $G$ and prove some results when $\mathfrak h$ is solvable or $char(k)= 0$. We introduce the concept of a $k$-semisimplification $\mathfrak h'$ of $\mathfrak h$; $\mathfrak h'$ is a Lie subalgebra of $\mathfrak g$ associated to $\mathfrak h$ which is $G$-completely reducible over $k$. This is the Lie algebra counterpart of the analogous notion for subgroups studied earlier by the first, third and fourth authors. As in the subgroup case, we show that $\mathfrak h'$ is unique up to $Ad(G(k))$-conjugacy in $\mathfrak g$. Moreover, we prove that the two concepts are compatible: for $H$ a closed subgroup of $G$ and $H'$ a $k$-semisimplification of $H$, the Lie algebra $Lie(H')$ is a $k$-semisimplification of $Lie(H)$. △ Less

Submitted 26 October, 2023; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: 22 pages; v2 25 pages, several improvements; to appear in the European Journal of Mathematics

MSC Class: 20G15; 14L24

Journal ref: Eur. J. Math. 9 (2023), no. 4, Paper No. 116, 27 pp

Additive manufacturing of Ni-Mn-Sn shape memory Heusler alloy -- Microstructure and magnetic properties from powder to printed parts

Authors: Franziska Scheibel, Christian Lauhoff, Philipp Krooß, Stefan Riegg, Niklas Sommer, David Koch, Konrad Opelt, Heiner Gutte, Olena Volkova, Stefan Böhm, Thomas Niendorf, Oliver Gutfleisch

Abstract: Ni-Mn-based Heusler alloys like Ni-Mn-Sn show an elastocaloric as well as magnetocaloric effect during the magneto-structural phase transition, making this material interesting for solid-state cooling application. Material processing by additive manufacturing can overcome difficulties related to machinability of the alloys, caused by their intrinsic brittleness. Since the magnetic properties and t… ▽ More Ni-Mn-based Heusler alloys like Ni-Mn-Sn show an elastocaloric as well as magnetocaloric effect during the magneto-structural phase transition, making this material interesting for solid-state cooling application. Material processing by additive manufacturing can overcome difficulties related to machinability of the alloys, caused by their intrinsic brittleness. Since the magnetic properties and transition temperature are highly sensitive to the chemical composition, it is essential to understand and monitoring these properties over the entire processing chain. In the present work the microstructural and magnetic properties from gas-atomized powder to post-processed Ni-Mn-Sn alloy are investigated. Direct energy deposition was used for processing, promoting the evolution of a polycrystalline microstructure being characterized by elongated grains along the building direction. A complete and sharp martensitic transformation can be achieved after applying a subsequent heat treatment at 1173 K for 24 h. The Mn-evaporation of 1.3 at. % and the formation of Mn-oxide during DED-processing lead to an increase of the transition temperature of 45 K and a decrease of magnetization, clearly pointing at the necessity of controlling the composition, oxygen partial pressure and magnetic properties over the entire processing chain. △ Less

Submitted 11 April, 2023; originally announced April 2023.

VLBI Celestial and Terrestrial Reference Frames VIE2022b

Authors: H. Krásná, L. Baldreich, J. Böhm, S. Böhm, J. Gruber, A. Hellerschmied, F. Jaron, L. Kern, D. Mayer, A. Nothnagel, O. Panzenböck, H. Wolf

Abstract: Context: We introduce the computation of global reference frames from Very Long Baseline Interferometry (VLBI) observations at the Vienna International VLBI Service for Geodesy and Astrometry (IVS) Analysis Center (VIE) in detail. We focus on the celestial and terrestrial frames from our two latest solutions VIE2020 and VIE2022b. Aims: The current International Celestial and Terrestrial Reference… ▽ More Context: We introduce the computation of global reference frames from Very Long Baseline Interferometry (VLBI) observations at the Vienna International VLBI Service for Geodesy and Astrometry (IVS) Analysis Center (VIE) in detail. We focus on the celestial and terrestrial frames from our two latest solutions VIE2020 and VIE2022b. Aims: The current International Celestial and Terrestrial Reference Frames, ICRF3 and ITRF2020, include VLBI observations until spring 2018 and December 2020, respectively. We provide terrestrial and celestial reference frames including VLBI sessions until June 2022 organized by the IVS. Methods: Vienna terrestrial and celestial reference frames are computed in a common least squares adjustment of geodetic and astrometric VLBI observations with the Vienna VLBI and Satellite Software (VieVS). Results: We provide high-quality celestial and terrestrial reference frames computed from 24-hour IVS observing sessions. The CRF provides positions of 5407 radio sources. In particular, positions of sources with few observations at the time of the ICRF3 calculation could be improved. The frame also includes positions of 870 new radio sources, which are not included in ICRF3. The additional observations beyond the data used for ITRF2020 provide a more reliable estimation of positions and linear velocities of newly established VLBI Global Observing System (VGOS) telescopes. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Comments: 11 pages, Submitted to the Astronomy & Astrophysics

Journal ref: A&A 679, A53 (2023)

Predicting Cellular Responses to Novel Drug Perturbations at a Single-Cell Resolution

Authors: Leon Hetzel, Simon Böhm, Niki Kilbertus, Stephan Günnemann, Mohammad Lotfollahi, Fabian Theis

Abstract: Single-cell transcriptomics enabled the study of cellular heterogeneity in response to perturbations at the resolution of individual cells. However, scaling high-throughput screens (HTSs) to measure cellular responses for many drugs remains a challenge due to technical limitations and, more importantly, the cost of such multiplexed experiments. Thus, transferring information from routinely perform… ▽ More Single-cell transcriptomics enabled the study of cellular heterogeneity in response to perturbations at the resolution of individual cells. However, scaling high-throughput screens (HTSs) to measure cellular responses for many drugs remains a challenge due to technical limitations and, more importantly, the cost of such multiplexed experiments. Thus, transferring information from routinely performed bulk RNA HTS is required to enrich single-cell data meaningfully. We introduce chemCPA, a new encoder-decoder architecture to study the perturbational effects of unseen drugs. We combine the model with an architecture surgery for transfer learning and demonstrate how training on existing bulk RNA HTS datasets can improve generalisation performance. Better generalisation reduces the need for extensive and costly screens at single-cell resolution. We envision that our proposed method will facilitate more efficient experiment designs through its ability to generate in-silico hypotheses, ultimately accelerating drug discovery. △ Less

Submitted 30 December, 2022; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: 10 pages. NeurIPS 2022 conference paper

Analysis of Workflow Schedulers in Simulated Distributed Environments

Authors: Jakub Beránek, Stanislav Böhm, Vojtěch Cima

Abstract: Task graphs provide a simple way to describe scientific workflows (sets of tasks with dependencies) that can be executed on both HPC clusters and in the cloud. An important aspect of executing such graphs is the used scheduling algorithm. Many scheduling heuristics have been proposed in existing works; nevertheless, they are often tested in oversimplified environments. We provide an extensible sim… ▽ More Task graphs provide a simple way to describe scientific workflows (sets of tasks with dependencies) that can be executed on both HPC clusters and in the cloud. An important aspect of executing such graphs is the used scheduling algorithm. Many scheduling heuristics have been proposed in existing works; nevertheless, they are often tested in oversimplified environments. We provide an extensible simulation environment designed for prototy** and benchmarking task schedulers, which contains implementations of various scheduling algorithms and is open-sourced, in order to be fully reproducible. We use this environment to perform a comprehensive analysis of workflow scheduling algorithms with a focus on quantifying the effect of scheduling challenges that have so far been mostly neglected, such as delays between scheduler invocations or partially unknown task durations. Our results indicate that network models used by many previous works might produce results that are off by an order of magnitude in comparison to a more realistic model. Additionally, we show that certain implementation details of scheduling algorithms which are often neglected can have a large effect on the scheduler's performance, and they should thus be described in great detail to enable proper evaluation. △ Less

Submitted 14 April, 2022; originally announced April 2022.

Sparse dictionary learning recovers pleiotropy from human cell fitness screens

Authors: Joshua Pan, Jason J. Kwon, Jessica A. Talamas, Ashir A. Borah, Francisca Vazquez, Jesse S. Boehm, Aviad Tsherniak, Marinka Zitnik, James M. McFarland, William C. Hahn

Abstract: In high-throughput functional genomic screens, each gene product is commonly assumed to exhibit a singular biological function within a defined protein complex or pathway. In practice, a single gene perturbation may induce multiple cascading functional outcomes, a genetic principle known as pleiotropy. Here, we model pleiotropy in fitness screen collections by representing each gene perturbation a… ▽ More In high-throughput functional genomic screens, each gene product is commonly assumed to exhibit a singular biological function within a defined protein complex or pathway. In practice, a single gene perturbation may induce multiple cascading functional outcomes, a genetic principle known as pleiotropy. Here, we model pleiotropy in fitness screen collections by representing each gene perturbation as the sum of multiple perturbations of biological functions, each harboring independent fitness effects inferred empirically from the data. Our approach ('Webster') recovered pleiotropic functions for DNA damage proteins from genotoxic fitness screens, untangled distinct signaling pathways upstream of shared effector proteins from cancer cell fitness screens, and learned aspects of the cellular hierarchy in an unsupervised manner. Modeling compound sensitivity profiles in terms of genetically defined functions recovered compound mechanisms of action. Our approach establishes a sparse approximation mechanism for unraveling complex genetic architectures underlying high-dimensional gene perturbation readouts. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Comments: Accepted to the 16th Machine Learning in Computational Biology (MLCB) meeting 2021, and the Learning Meaningful Representations of Life (LMRL) Workshop at NeurIPS 2021

Comparing Heuristics, Constraint Optimization, and Reinforcement Learning for an Industrial 2D Packing Problem

Authors: Stefan Böhm, Martin Neumayer, Oliver Kramer, Alexander Schiendorfer, Alois Knoll

Abstract: Cutting and Packing problems are occurring in different industries with a direct impact on the revenue of businesses. Generally, the goal in Cutting and Packing is to assign a set of smaller objects to a set of larger objects. To solve Cutting and Packing problems, practitioners can resort to heuristic and exact methodologies. Lately, machine learning is increasingly used for solving such problems… ▽ More Cutting and Packing problems are occurring in different industries with a direct impact on the revenue of businesses. Generally, the goal in Cutting and Packing is to assign a set of smaller objects to a set of larger objects. To solve Cutting and Packing problems, practitioners can resort to heuristic and exact methodologies. Lately, machine learning is increasingly used for solving such problems. This paper considers a 2D packing problem from the furniture industry, where a set of wooden workpieces must be assigned to different modules of a trolley in the most space-saving way. We present an experimental setup to compare heuristics, constraint optimization, and deep reinforcement learning for the given problem. The used methodologies and their results get collated in terms of their solution quality and runtime. In the given use case a greedy heuristic produces optimal results and outperforms the other approaches in terms of runtime. Constraint optimization also produces optimal results but requires more time to perform. The deep reinforcement learning approach did not always produce optimal or even feasible solutions. While we assume this could be remedied with more training, considering the good results with the heuristic, deep reinforcement learning seems to be a bad fit for the given use case. △ Less

Submitted 27 October, 2021; originally announced October 2021.

EVEREST: A design environment for extreme-scale big data analytics on heterogeneous platforms

Authors: Christian Pilato, Stanislav Bohm, Fabien Brocheton, Jeronimo Castrillon, Riccardo Cevasco, Vojtech Cima, Radim Cmar, Dionysios Diamantopoulos, Fabrizio Ferrandi, Jan Martinovic, Gianluca Palermo, Michele Paolino, Antonio Parodi, Lorenzo Pittaluga, Daniel Raho, Francesco Regazzoni, Katerina Slaninova, Christoph Hagleitner

Abstract: High-Performance Big Data Analytics (HPDA) applications are characterized by huge volumes of distributed and heterogeneous data that require efficient computation for knowledge extraction and decision making. Designers are moving towards a tight integration of computing systems combining HPC, Cloud, and IoT solutions with artificial intelligence (AI). Matching the application and data requirements… ▽ More High-Performance Big Data Analytics (HPDA) applications are characterized by huge volumes of distributed and heterogeneous data that require efficient computation for knowledge extraction and decision making. Designers are moving towards a tight integration of computing systems combining HPC, Cloud, and IoT solutions with artificial intelligence (AI). Matching the application and data requirements with the characteristics of the underlying hardware is a key element to improve the predictions thanks to high performance and better use of resources. We present EVEREST, a novel H2020 project started on October 1st, 2020 that aims at develo** a holistic environment for the co-design of HPDA applications on heterogeneous, distributed, and secure platforms. EVEREST focuses on programmability issues through a data-driven design approach, the use of hardware-accelerated AI, and an efficient runtime monitoring with virtualization support. In the different stages, EVEREST combines state-of-the-art programming models, emerging communication standards, and novel domain-specific extensions. We describe the EVEREST approach and the use cases that drive our research. △ Less

Submitted 6 March, 2021; originally announced March 2021.

Comments: Paper accepted for presentation at the IEEE/EDAC/ACM Design, Automation and Test in Europe Conference and Exhibition (DATE 2021)

VFSIE -- Development and Testing Framework for Federated Science Instruments

Authors: Anees Al-Najjar, Nageswara S. V. Rao, Neena Imam, Thomas Naughton, Seth Hitefield, Lawrence Sorrillo, James Kohl, Wael Elwasif, Jean-Christophe Bilheux, Hassina Bilheux, Swen Boehm, Jason Kincl

Abstract: Recent developments in softwarization of networked infrastructures combined with containerization of computing workflows promise unprecedented compute anywhere and everywhere capabilities for federations of edge and remote computing systems and science instruments. The development and testing of software stacks that implement these capabilities over physical production federations, however, is not… ▽ More Recent developments in softwarization of networked infrastructures combined with containerization of computing workflows promise unprecedented compute anywhere and everywhere capabilities for federations of edge and remote computing systems and science instruments. The development and testing of software stacks that implement these capabilities over physical production federations, however, is not very practical nor cost-effective. In response, we develop a digital twin of the physical infrastructure, called the Virtual Federated Science Instrument Environment (VFSIE). This framework emulates the federation using containers and hosts connected over an emulated network, and supports the development and testing of federation stacks and workflows. We illustrate its use in a case study involving Jupiter Notebook computations and instrument control. △ Less

Submitted 2 February, 2021; v1 submitted 6 January, 2021; originally announced January 2021.

Comments: Earlier Version of VFSIE framework for emulating science workflows at a single site

Inkjet printed circuits with two-dimensional semiconductor inks for high-performance electronics

Authors: Tian Carey, Adrees Arbab, Luca Anzi, Helen Bristow, Fei Hui, Sivasambu Bohm, Gwenhivir Wyatt-Moon, Andrew Flewitt, Andrew Wadsworth, Nicola Gasparini, Jong Min Kim, Mario Lanza, Iain McCulloch, Roman Sordan, Felice Torrisi

Abstract: Air-stable semiconducting inks suitable for complementary logic are key to create low-power printed integrated circuits (ICs). High-performance printable electronic inks with two-dimensional materials have the potential to enable the next generation of high performance, low-cost printed digital electronics. Here we demonstrate air-stable, low voltage (< 5 V) operation of inkjet-printed n-type moly… ▽ More Air-stable semiconducting inks suitable for complementary logic are key to create low-power printed integrated circuits (ICs). High-performance printable electronic inks with two-dimensional materials have the potential to enable the next generation of high performance, low-cost printed digital electronics. Here we demonstrate air-stable, low voltage (< 5 V) operation of inkjet-printed n-type molybdenum disulfide (MoS2) and p-type indacenodithiophene-co-benzothiadiazole (IDT-BT) field-effect transistors (FETs), estimating a switching time of τ ~ 3.3 μs for the MoS2 FETs. We achieve this by engineering high-quality MoS2 and air-stable IDT-BT inks suitable for inkjet-printing complementary pairs of n-type MoS2 and p-type IDT-BT FETs. We then integrate MoS2 and IDT-BT FETs to realise inkjet-printed complementary logic inverters with a voltage gain |Av| ~ 4 when in resistive load configuration and |Av| ~ 1.36 in complementary configuration. These results represent a key enabling step towards ubiquitous long-term stable, low-cost printed digital ICs. △ Less

Submitted 24 November, 2020; originally announced November 2020.

Runtime vs Scheduler: Analyzing Dask's Overheads

Authors: Stanislav Böhm, Jakub Beránek

Abstract: Dask is a distributed task framework which is commonly used by data scientists to parallelize Python code on computing clusters with little programming effort. It uses a sophisticated work-stealing scheduler which has been hand-tuned to execute task graphs as efficiently as possible. But is scheduler optimization a worthwhile effort for Dask? Our paper shows on many real world task graphs that eve… ▽ More Dask is a distributed task framework which is commonly used by data scientists to parallelize Python code on computing clusters with little programming effort. It uses a sophisticated work-stealing scheduler which has been hand-tuned to execute task graphs as efficiently as possible. But is scheduler optimization a worthwhile effort for Dask? Our paper shows on many real world task graphs that even a completely random scheduler is surprisingly competitive with its built-in scheduler and that the main bottleneck of Dask lies in its runtime overhead. We develop a drop-in replacement for the Dask central server written in Rust which is backwards compatible with existing Dask programs. Thanks to its efficient runtime, our server implementation is able to scale up to larger clusters than Dask and consistently outperforms it on a variety of task graphs, despite the fact that it uses a simpler scheduling algorithm. △ Less

Submitted 21 October, 2020; originally announced October 2020.

Haydi: Rapid Prototy** and Combinatorial Objects

Authors: Stanislav Böhm, Jakub Beránek, Martin Šurkovský

Abstract: Haydi (http://haydi.readthedocs.io) is a framework for generating discrete structures. It provides a way to define a structure from basic building blocks and then enumerate all elements, all non-isomorphic elements, or generate random elements in the structure. Haydi is designed as a tool for rapid prototy**. It is implemented as a pure Python package and supports execution in distributed enviro… ▽ More Haydi (http://haydi.readthedocs.io) is a framework for generating discrete structures. It provides a way to define a structure from basic building blocks and then enumerate all elements, all non-isomorphic elements, or generate random elements in the structure. Haydi is designed as a tool for rapid prototy**. It is implemented as a pure Python package and supports execution in distributed environments. The goal of this paper is to give the overall picture of Haydi together with a formal definition for the case of generating canonical forms. △ Less

Submitted 27 September, 2019; originally announced September 2019.

Journal ref: Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. Lecture Notes in Computer Science 10833, Springer 2018, ISBN 978-3-319-90049-0

Noise Regularization for Conditional Density Estimation

Authors: Jonas Rothfuss, Fabio Ferreira, Simon Boehm, Simon Walther, Maxim Ulrich, Tamim Asfour, Andreas Krause

Abstract: Modelling statistical relationships beyond the conditional mean is crucial in many settings. Conditional density estimation (CDE) aims to learn the full conditional probability density from data. Though highly expressive, neural network based CDE models can suffer from severe over-fitting when trained with the maximum likelihood objective. Due to the inherent structure of such models, classical re… ▽ More Modelling statistical relationships beyond the conditional mean is crucial in many settings. Conditional density estimation (CDE) aims to learn the full conditional probability density from data. Though highly expressive, neural network based CDE models can suffer from severe over-fitting when trained with the maximum likelihood objective. Due to the inherent structure of such models, classical regularization approaches in the parameter space are rendered ineffective. To address this issue, we develop a model-agnostic noise regularization method for CDE that adds random perturbations to the data during training. We demonstrate that the proposed approach corresponds to a smoothness regularization and prove its asymptotic consistency. In our experiments, noise regularization significantly and consistently outperforms other regularization methods across seven data sets and three CDE models. The effectiveness of noise regularization makes neural network based CDE the preferable method over previous non- and semi-parametric approaches, even when training data is scarce. △ Less

Submitted 14 February, 2020; v1 submitted 21 July, 2019; originally announced July 2019.

Neutron Scattering Instrumentation at Compact Neutron Sources

Authors: Sarah Böhm, Tobias Cronert, Jan-Philipp Dabrück, Xavier Fabrèges, Thomas Gutberlet, Ferenc Mezei, Alain Letourneau, Alain Menelle, Frédéric Ott, Ulrich Rücker, Hoang Tran, Jorg Voïgt, Paul Zakalek

Abstract: There is currently a strong interest in Compact Accelerator-based Neutron Source (CANS) as a possible new type of source for neutron scattering experiments. A workshop around the "Neutron scattering instrumentation around CANS" was organized in July 2017 between several European institutes. This report summarizes the main outcome of the discussions. The document is aiming at providing general guid… ▽ More There is currently a strong interest in Compact Accelerator-based Neutron Source (CANS) as a possible new type of source for neutron scattering experiments. A workshop around the "Neutron scattering instrumentation around CANS" was organized in July 2017 between several European institutes. This report summarizes the main outcome of the discussions. The document is aiming at providing general guidelines for the instrumentation around CANS. Detailed technical discussions are or will be provided in specific publications. △ Less

Submitted 7 September, 2018; originally announced September 2018.

Comments: Minutes of the "Neutron Scattering Instrumentation at CANS" workshop, Gif-sur-Yvette, France, Juillet 2018

Looking into Hardware-in-the-Loop Coupling of OMNeT++ and RoSeNet

Authors: Sebastian Böhm, Michael Kirsche

Abstract: Network emulation using real sensor node hardware is used to increase the accuracy of pure network simulations. Coupling OMNeT++ with network emulation platforms and tools introduces new application possibilities for both sides. This work-in-progress report covers our experiences of using OMNeT++ as a test driver for RoSeNet, a network emulation and test platform for low-power wireless technologie… ▽ More Network emulation using real sensor node hardware is used to increase the accuracy of pure network simulations. Coupling OMNeT++ with network emulation platforms and tools introduces new application possibilities for both sides. This work-in-progress report covers our experiences of using OMNeT++ as a test driver for RoSeNet, a network emulation and test platform for low-power wireless technologies like IEEE 802.15.4. OMNeT++ and RoSeNet were interconnected to enable a co-simulation of real sensor networks with a MAC layer simulation model. Experiences and insights on this Hardware-in-the-Loop (HIL) simulation together with ideas to extend OMNeT++ and to provide a generic interconnection API complete the report. △ Less

Submitted 11 September, 2015; originally announced September 2015.

Comments: Published in: A. Förster, C. Minkenberg, G. R. Herrera, M. Kirsche (Eds.), Proc. of the 2nd OMNeT++ Community Summit, IBM Research - Zurich, Switzerland, September 3-4, 2015, arXiv:1509.03284, 2015

Report number: OMNET/2015/15

Equivalence of Deterministic One-Counter Automata is NL-complete

Authors: Stanislav Böhm, Stefan Göller, Petr Jančar

Abstract: We prove that language equivalence of deterministic one-counter automata is NL-complete. This improves the superpolynomial time complexity upper bound shown by Valiant and Paterson in 1975. Our main contribution is to prove that two deterministic one-counter automata are inequivalent if and only if they can be distinguished by a word of length polynomial in the size of the two input automata. We prove that language equivalence of deterministic one-counter automata is NL-complete. This improves the superpolynomial time complexity upper bound shown by Valiant and Paterson in 1975. Our main contribution is to prove that two deterministic one-counter automata are inequivalent if and only if they can be distinguished by a word of length polynomial in the size of the two input automata. △ Less

Submitted 10 January, 2013; originally announced January 2013.

Isotope shift in the dielectronic recombination of three-electron ^{A}Nd^{57+}

Authors: C. Brandau, C. Kozhuharov, Z. Harman, A. Müller, S. Schippers, Y. S. Kozhedub, D. Bernhardt, S. Böhm, J. Jacobi, E. W. Schmidt, P. H. Mokler, F. Bosch, H. -J. Kluge, Th. Stöhlker, K. Beckert, P. Beller, F. Nolden, M. Steck, A. Gumberidze, R. Reuschl, U. Spillmann, F. J. Currell, I. I. Tupitsyn, V. M. Shabaev, U. D. Jentschura , et al. (3 additional authors not shown)

Abstract: Isotope shifts in dielectronic recombination spectra were studied for Li-like ^{A}Nd^{57+} ions with A=142 and A=150. From the displacement of resonance positions energy shifts δE^{142,150}(2s-2p_1/2)= 40.2(3)(6) meV (stat)(sys)) and δE^{142,150}(2s-2p_3/2) = 42.3(12)(20) meV of 2s-2p_j transitions were deduced. An evaluation of these values within a full QED treatment yields a change in the mea… ▽ More Isotope shifts in dielectronic recombination spectra were studied for Li-like ^{A}Nd^{57+} ions with A=142 and A=150. From the displacement of resonance positions energy shifts δE^{142,150}(2s-2p_1/2)= 40.2(3)(6) meV (stat)(sys)) and δE^{142,150}(2s-2p_3/2) = 42.3(12)(20) meV of 2s-2p_j transitions were deduced. An evaluation of these values within a full QED treatment yields a change in the mean-square charge radius of ^{142,150}δ<r^2> = -1.36(1)(3) fm^2. The approach is conceptually new and combines the advantage of a simple atomic structure with high sensitivity to nuclear size. △ Less

Submitted 24 January, 2008; originally announced January 2008.

Comments: 10 pages, 3 figures, accepted for publication in Physical Review Letters

Journal ref: Phys. Rev. Lett. 100, 073201 (2008)

Dielectronic Recombination of Fe XV forming Fe XIV: Laboratory Measurements and Theoretical Calculations

Authors: D. V. Lukić, M. Schnell, D. W. Savin, C. Brandau, E. W. Schmidt, S. Böhm, A. Müller, S. Schippers, M. Lestinsky, F. Sprenger, A. Wolf, Z. Altun, N. R. Badnell

Abstract: We have measured resonance strengths and energies for dielectronic recombination (DR) of Mg-like Fe XV forming Al-like Fe XIV via N=3 -> N' = 3 core excitations in the electron-ion collision energy range 0-45 eV. All measurements were carried out using the heavy-ion Test Storage Ring at the Max Planck Institute for Nuclear Physics in Heidelberg, Germany. We have also carried out new multiconfigu… ▽ More We have measured resonance strengths and energies for dielectronic recombination (DR) of Mg-like Fe XV forming Al-like Fe XIV via N=3 -> N' = 3 core excitations in the electron-ion collision energy range 0-45 eV. All measurements were carried out using the heavy-ion Test Storage Ring at the Max Planck Institute for Nuclear Physics in Heidelberg, Germany. We have also carried out new multiconfiguration Breit-Pauli (MCBP) calculations using the AUTOSTRUCTURE code. For electron-ion collision energies < 25 eV we find poor agreement between our experimental and theoretical resonance energies and strengths. From 25 to 42 eV we find good agreement between the two for resonance energies. But in this energy range the theoretical resonance strengths are ~ 31% larger than the experimental results. This is larger than our estimated total experimental uncertainty in this energy range of +/- 26% (at a 90% confidence level). Above 42 eV the difference in the shape between the calculated and measured 3s3p(^1P_1)nl DR series limit we attribute partly to the nl dependence of the detection probabilities of high Rydberg states in the experiment. We have used our measurements, supplemented by our AUTOSTRUCTURE calculations, to produce a Maxwellian-averaged 3 -> 3 DR rate coefficient for Fe XV forming Fe XIV. The resulting rate coefficient is estimated to be accurate to better than +/- 29% (at a 90% confidence level) for k_BT_e > 1 eV. At temperatures of k_BT_e ~ 2.5-15 eV, where Fe XV is predicted to form in photoionized plasmas, significant discrepancies are found between our experimentally-derived rate coefficient and previously published theoretical results. Our new MCBP plasma rate coefficient is 19-28% smaller than our experimental results over this temperature range. △ Less

Submitted 6 April, 2007; originally announced April 2007.

Journal ref: Astrophys.J.664:1244-1252,2007

Experimental N V and Ne VIII low-temperature dielectronic recombination rate coefficients

Authors: S. Boehm, A. Mueller, S. Schippers, W. Shi, M. Fogle, P. Glans, R. Schuch, H. Danared

Abstract: The dielectronic recombination rate coefficients of N V and Ne VIII ions have been measured at a heavy-ion storage ring. The investigated energy ranges covered all dielectronic recombination resonances attached to 2s -> 2p (Delta n=0) core excitations. The rate coefficients in a plasma are derived and parameterized by using a convenient fit formula. The experimentally derived rate coefficients a… ▽ More The dielectronic recombination rate coefficients of N V and Ne VIII ions have been measured at a heavy-ion storage ring. The investigated energy ranges covered all dielectronic recombination resonances attached to 2s -> 2p (Delta n=0) core excitations. The rate coefficients in a plasma are derived and parameterized by using a convenient fit formula. The experimentally derived rate coefficients are compared with theoretical data by Colgan et al. (2004, A&A, 417, 1183) and Nahar & Pradhan (1997, ApJ, 111, 339) as well as with the recommended rate coefficients by Mazzotta et al. (1998, A&A, 133, 403). The data of Colgan et al. and Nahar & Pradhan reproduce the experiment very well over the temperature ranges where N V and Ne VIII are expected to exist in photoionized as well as in collisionally ionized plasmas. In contrast, the recommendation of Mazzotta et al. agrees with the experimental rate coefficient only in the temperature range of collisional ionization. At lower temperatures it deviates from the measured rate coefficient by orders of magnitude. In addition the influence of external electric fields with field strengths up to 1300 V/cm on the dielectronic recombination rate coefficient has been investigated. △ Less

Submitted 9 March, 2005; originally announced March 2005.

Comments: 9 pages, 9 figures, to be published in Astronomy & Astrophysics

Exploiting the randomness of the measurement basis in quantum cryptography: Secure Quantum Key Growing without Privacy Amplification

Authors: Hannes R. Böhm, Paul S. Böhm, Markus Aspelmeyer, Časlav Brukner, Anton Zeilinger

Abstract: We suggest that the randomness of the choices of measurement basis by Alice and Bob provides an additional important resource for quantum cryptography. As a specific application, we present a novel protocol for quantum key distribution (QKD) which enhances the BB84 scheme by encrypting the information sent over the classical channel during key sifting. We show that, in the limit of long keys, th… ▽ More We suggest that the randomness of the choices of measurement basis by Alice and Bob provides an additional important resource for quantum cryptography. As a specific application, we present a novel protocol for quantum key distribution (QKD) which enhances the BB84 scheme by encrypting the information sent over the classical channel during key sifting. We show that, in the limit of long keys, this process prevents an eavesdropper from reproducing the sifting process carried out by the legitimate users. The inability of the eavesdropper to sift the information gathered by tap** the quantum channel reduces the amount of information that an eavesdropper can gain on the sifted key. We further show that the protocol proposed is self sustaining, and thus allows the growing of a secret key. △ Less

Submitted 30 August, 2004; originally announced August 2004.

Recombination rate coefficients for astrophysical applications from storage-ring experiments

Authors: S. Schippers, S. Boehm, A. Mueller, G. Gwinner, M. Schnell, D. Schwalm, A. Wolf, D. W. Savin

Abstract: The basic approach for measuring electron-ion recombination rate coefficients in merged-beams electron-ion collision experiments at heavy-ion storage rings is outlined. As an example experimental results for the low temperature recombination of C IV ions are compared with the recommended theoretical rate coefficient by Mazzotta et al. The latter deviates by factors of up to 5 from the experiment… ▽ More The basic approach for measuring electron-ion recombination rate coefficients in merged-beams electron-ion collision experiments at heavy-ion storage rings is outlined. As an example experimental results for the low temperature recombination of C IV ions are compared with the recommended theoretical rate coefficient by Mazzotta et al. The latter deviates by factors of up to 5 from the experimental one. △ Less

Submitted 21 January, 2003; v1 submitted 10 January, 2003; originally announced January 2003.

Comments: 5 pages, 3 figures, Workshop on Stellar Coronae in the Chandra and XMM-Newton era, June 2001, Noordwijk, The Netherlands, for a recent theoretical treatment of C IV DR see Pradhan and al., Phys. Rev. Lett. 87, 183201 (2001)

Journal ref: ASP Conference Series 277 (2002) 591-595

Enhanced dielectronic recombination of lithium-like Ti19+ ions in external ExB fields

Authors: Timo Bartsch, Stefan Schippers, Michael Beutelspacher, Sebastian Boehm, Manfred Grieser, Gerald Gwinner, Amir A. Saghiri, Guido Saathoff, Reinhold Schuch, Dirk Schwalm, Andreas Wolf, Alfred Mueller

Abstract: Dielectronic recombination(DR) of lithium-like Ti19+(1s2 2s) ions via 2s->2p core excitations has been measured at the Heidelberg heavy ion storage ring TSR. We find that not only external electric fields (0 <= Ey <= 280 V/cm) but also crossed magnetic fields (30 mT <= Bz <= 80 mT) influence the DR via high-n (2p_j nl)-Rydberg resonances. This result confirms our previous finding for isoelectron… ▽ More Dielectronic recombination(DR) of lithium-like Ti19+(1s2 2s) ions via 2s->2p core excitations has been measured at the Heidelberg heavy ion storage ring TSR. We find that not only external electric fields (0 <= Ey <= 280 V/cm) but also crossed magnetic fields (30 mT <= Bz <= 80 mT) influence the DR via high-n (2p_j nl)-Rydberg resonances. This result confirms our previous finding for isoelectronic Cl14+ ions [Bartsch T et al, PRL 82, 3779 (1999)] that experimentally established the sensitivity of DR to ExB fields. In the present investigation the larger 2p_{1/2}-2p_{3/2} fine structure splitting of Ti19+ allowed us to study separately the influence of external fields via the two series of Rydberg DR resonances attached to the 2s -> 2p_{1/2} and 2s -> 2p_{3/2} excitations of the Li-like core, extracting initial slopes and saturation fields of the enhancement. We find that for Ey > 80 V/cm the field induced enhancement is about 1.8 times stronger for the 2p_{3/2} series than for the 2p_{1/2} series. △ Less

Submitted 29 March, 2000; v1 submitted 23 March, 2000; originally announced March 2000.

Comments: 10 pages, 3 figures, to be published in Journal of Physics B, see also http://www.strz.uni-giessen.de/~k3

Journal ref: Journal of Physics B 33, L453 (2000)