The Critical Exponent is Computable for Automatic Sequences

The critical exponent of an infinite word is defined to be the supremum of the exponent of each of its factors. For k-automatic sequences, we show that this critical exponent is always either a rational number or infinite, and its value is computable. Our results also apply to variants of the critical exponent, such as the initial critical exponent of Berthe, Holton, and Zamboni and the Diophantine exponent of Adamczewski and Bugeaud. Our work generalizes or recovers previous results of Krieger and others, and is applicable to other situations; e.g., the computation of the optimal recurrence constant for a linearly recurrent k-automatic sequence.Comment: In Proceedings WORDS 2011, arXiv:1108.341

Final data reduction and analysis of the AS and E OSO-4 grazing incidence X-ray telescope experiment

Final data analysis of grazing incidence of solar X ray telescope experiment of OSO- 4 satellit

Continuing data analysis of the AS/E grazing incidence X-ray telescope experiment on the OSO-4 satellite

The work to correct and extend the calculation of the theoretical solar X-ray spectrum produced during earlier OSO-4 data analysis is reported along with the work to formulate models of active regions, and compare these models with the experimental values. An atlas of solar X-ray photographs is included, and solar X-ray observations are correlated with the solar wind

New and extended parameterization of the thermodynamic model AIOMFAC: calculation of activity coefficients for organic-inorganic mixtures containing carboxyl, hydroxyl, carbonyl, ether, ester, alkenyl, alkyl, and aromatic functional groups

We present a new and considerably extended parameterization of the thermodynamic activity coefficient model AIOMFAC (Aerosol Inorganic-Organic Mixtures Functional groups Activity Coefficients) at room temperature. AIOMFAC combines a Pitzer-like electrolyte solution model with a UNIFAC-based group-contribution approach and explicitly accounts for interactions between organic functional groups and inorganic ions. Such interactions constitute the salt-effect, may cause liquid-liquid phase separation, and affect the gas-particle partitioning of aerosols. The previous AIOMFAC version was parameterized for alkyl and hydroxyl functional groups of alcohols and polyols. With the goal to describe a wide variety of organic compounds found in atmospheric aerosols, we extend here the parameterization of AIOMFAC to include the functional groups carboxyl, hydroxyl, ketone, aldehyde, ether, ester, alkenyl, alkyl, aromatic carbon-alcohol, and aromatic hydrocarbon. Thermodynamic equilibrium data of organic-inorganic systems from the literature are critically assessed and complemented with new measurements to establish a comprehensive database. The database is used to determine simultaneously the AIOMFAC parameters describing interactions of organic functional groups with the ions H^+, Li^+, Na^+, K^+, NH_(4)^+, Mg^(2+), Ca^(2+), Cl^−, Br^−, NO_(3)^−, HSO_(4)^−, and SO_(4)^(2−). Detailed descriptions of different types of thermodynamic data, such as vapor-liquid, solid-liquid, and liquid-liquid equilibria, and their use for the model parameterization are provided. Issues regarding deficiencies of the database, types and uncertainties of experimental data, and limitations of the model, are discussed. The challenging parameter optimization problem is solved with a novel combination of powerful global minimization algorithms. A number of exemplary calculations for systems containing atmospherically relevant aerosol components are shown. Amongst others, we discuss aqueous mixtures of ammonium sulfate with dicarboxylic acids and with levoglucosan. Overall, the new parameterization of AIOMFAC agrees well with a large number of experimental datasets. However, due to various reasons, for certain mixtures important deviations can occur. The new parameterization makes AIOMFAC a versatile thermodynamic tool. It enables the calculation of activity coefficients of thousands of different organic compounds in organic-inorganic mixtures of numerous components. Models based on AIOMFAC can be used to compute deliquescence relative humidities, liquid-liquid phase separations, and gas-particle partitioning of multicomponent mixtures of relevance for atmospheric chemistry or in other scientific fields

Parallel Sparse Tensor Decomposition in Chapel

In big-data analytics, using tensor decomposition to extract patterns from large, sparse multivariate data is a popular technique. Many challenges exist for designing parallel, high performance tensor decomposition algorithms due to irregular data accesses and the growing size of tensors that are processed. There have been many efforts at implementing shared-memory algorithms for tensor decomposition, most of which have focused on the traditional C/C++ with OpenMP framework. However, Chapel is becoming an increasingly popular programing language due to its expressiveness and simplicity for writing scalable parallel programs. In this work, we port a state of the art C/OpenMP parallel sparse tensor decomposition tool, SPLATT, to Chapel. We present a performance study that investigates bottlenecks in our Chapel code and discusses approaches for improving its performance. Also, we discuss features in Chapel that would have been beneficial to our porting effort. We demonstrate that our Chapel code is competitive with the C/OpenMP code for both runtime and scalability, achieving 83%-96% performance of the original code and near linear scalability up to 32 cores.Comment: 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 5th Annual Chapel Implementers and Users Workshop (CHIUW 2018

An Empirical Evaluation of Allgatherv on Multi-GPU Systems

Applications for deep learning and big data analytics have compute and memory requirements that exceed the limits of a single GPU. However, effectively scaling out an application to multiple GPUs is challenging due to the complexities of communication between the GPUs, particularly for collective communication with irregular message sizes. In this work, we provide a performance evaluation of the Allgatherv routine on multi-GPU systems, focusing on GPU network topology and the communication library used. We present results from the OSU-micro benchmark as well as conduct a case study for sparse tensor factorization, one application that uses Allgatherv with highly irregular message sizes. We extend our existing tensor factorization tool to run on systems with different node counts and varying number of GPUs per node. We then evaluate the communication performance of our tool when using traditional MPI, CUDA-aware MVAPICH and NCCL across a suite of real-world data sets on three different systems: a 16-node cluster with one GPU per node, NVIDIA's DGX-1 with 8 GPUs and Cray's CS-Storm with 16 GPUs. Our results show that irregularity in the tensor data sets produce trends that contradict those in the OSU micro-benchmark, as well as trends that are absent from the benchmark.Comment: 2018 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID

LArPix: Demonstration of low-power 3D pixelated charge readout for liquid argon time projection chambers

We report the demonstration of a low-power pixelated readout system designed for three-dimensional ionization charge detection and digital readout of liquid argon time projection chambers (LArTPCs). Unambiguous 3D charge readout was achieved using a custom-designed system-on-a-chip ASIC (LArPix) to uniquely instrument each pad in a pixelated array of charge-collection pads. The LArPix ASIC, manufactured in 180 nm bulk CMOS, provides 32 channels of charge-sensitive amplification with self-triggered digitization and multiplexed readout at temperatures from 80 K to 300 K. Using an 832-channel LArPix-based readout system with 3 mm spacing between pads, we demonstrated low-noise ($<$500 e$^-$ RMS equivalent noise charge) and very low-power ($<$100 $\mu$W/channel) ionization signal detection and readout. The readout was used to successfully measure the three-dimensional ionization distributions of cosmic rays passing through a LArTPC, free from the ambiguities of existing projective techniques. The system design relies on standard printed circuit board manufacturing techniques, enabling scalable and low-cost production of large-area readout systems using common commercial facilities. This demonstration overcomes a critical technical obstacle for operation of LArTPCs in high-occupancy environments, such as the near detector site of the Deep Underground Neutrino Experiment (DUNE).Comment: 19 pages, 10 figures, 1 ancillary animation. V3 includes minor revisions based on referee comment

Interaction Design of Augmented Education Environments - Augmented and Mixed Reality for performance and training support of Aviation / Automotive Technicians.

"Augmented reality (AR),Mixed Reality (MR) and their mix and combination with other disruptive technologies offer an enormous potential for supporting instructors and trainees in modern education and working environments such as of aircraft maintenance technicians or automotive service technicians. In this paper we investigate and show some examples on how the performance and training of such instructors and trainees can be actively supported. Furthermore we will discuss the new challenges for training designers. The augmentation of the physical world with interactive, context-aware information (e.g. 2D and 3D content) provides multifaceted possibilities, on various ubiquitous and pervasive computing environments. While there is still the broad opinion that these concepts are just situated in the world of science fiction (SciFi) and SciFi movies, we will relate these techniques to existing technologies and prototypes in research. Terms like outernet, print + or 2.0, augmented goggles, wearable technology are not just remaining pure buzzwords anymore. We will demonstrate how different prototypes applying low cost rapid prototyping methods can be applied as powerful performance assistance and training support instruments, whereby discussing the requirements and user-needs analysis phases as well as human–computer interaction and interaction design issues, user modelling, usability engineering, prototyping and evaluation issues. Different scenarios are possible and provide the basis to generate storyboards. One of the key factors is hereby to analyse typical tasks and activities of users and utilize familiar user interaction paradigms for accessing information, such as using a book or assisting the work with task sheets. For example by augmenting the material that is printed in the book with additional graphical 3D interactive information which can be viewed and manipulated by the instructor and/or trainee, one can provide a link between traditional learning and technology-enhanced learning. Basing on theoretical and empirical research it is possible then to design via first moodboards and scribbles relevant prototypes. A qualitative and quantitative analysis can be used to define a basic design process for such new environments and settings. Moreover, MR and AR along with Mobile Tagging (MT) combined with Pervasive Computing provide the possibility to realize a Physical World Connection (PWC) between Reality and Virtuality. In the field of aviation and automotive industry, this offers manifold possibilities for maintenance and service personnel to get access to assistive technologies in a very intuitive way to enhance their operation, work, training, and knowledge. Assistance for the large variety of job tasks can be provided to a certain extent by offering augmentation of the different senses like vision and audition, providing a media-rich interface. Although the roots of Mixed Reality and Augmented Reality are based on prototype applications in the aircraft industry in the early 1990s, the impact of these emerging technologies on special target groups has not yet been investigated and validated by many research groups. With a specific focus on these user communities, applications are considerably more influenced by both usefulness and usability of technology. Consequently, it is argued that key issues in developing such applications are the tracking methodology, the display technology, interaction (devices and framework) and most of all ensuring good usability. In this paper, a concrete example in a aviation and automotive environment will be presented as a case study for investigating and validating these key issues. Preliminary results of semi-structured interviews and observations in real training and work settings indicate a lack of information concerning existence of such technologies and environments, but show big interest and potential for such educational and workplace innovations, while concrete visions or user requirements for future augmented education environments remain open and are subject of our further research steps

Valve-sparing neo-aortic root replacement after Fontan completion for hypoplastic left heart syndrome

Digitalitzat per Artypla

Bloch oscillations, Zener tunneling and Wannier-Stark ladders in the time-domain

We present a time-domain analysis of carrier dynamics in a semiconductor superlattice with two minibands. Integration of the density-matrix equations of motion reveals a number of new features: (i) for certain values of the applied static electric field strong interband transitions occur; (ii) in static fields the complex time-dependence of the density-matrix displays a sequence of stable plateaus in the low field regime, and (iii) for applied fields with a periodic time-dependence the dynamic response can be understood in terms of the quasienergy spectra.Comment: 4 pages, 6 PostScript figures available from [email protected], REVTEX 3.