We study the attainable performance of Particle-In-Cell codes on the Cori KNL system by analyzing a miniature particle push application based on the fusion PIC code XGC1. We start from the most basic building blocks of a PIC code and build up the complexity to identify the kernels that cost the most in performance and focus optimization efforts there. Particle push kernels operate at high AI an...

We discuss in this paper how connections, discovered almost forty years ago, between logics and automata can be used in practice. For such logics expressing regular sets, we have developed tools that allow eecient symbolic reasoning not attainable by theorem proving or symbolic model checking. We explain how the logic-automaton connection is already exploited in a limited way for the case of Qu...

Sensitive tests of Lorentz invariance can emerge from the study of neutrino oscillations, particularly for atmospheric neutrinos where the effect is conveniently near-maximal and has been observed over a wide range of energies. We assume these oscillations to be described in terms of two neutrinos with different masses and (possibly) different maximal attainable velocities (MAVs). It suffices t...

Coherent control holds the promise of becoming a powerful spectroscopic tool for the study of complex molecular systems. Achieving control requires coherence in the quantum system under study. In the condensed phase, coherence is typically lost rapidly because of fluctuating interactions between the solvated molecule and its surrounding environment. We investigate the degree of attainable contr...

Abstract The Fertilizer Recommendation Support Tool (FRST) will perform correlations between soil nutrient concentrations and crop response to fertilization from user‐selected datasets in the FRST national database. Yield for of interest a particular site‐year is presented as relative yield (RY), ratio unfertilized maximum attainable ( A ). Several methods exist literature estimating calculatin...

Compared with the conventional manufacturing of aluminum sheet metal, the forming of so called Tailored Heat Treated Blanks (THTB) enables the production of complex aluminum sheet metal parts [1], [2]. The reasons for the lower forming behavior of aluminum alloys are well founded in the material properties. Especially smaller values for uniform elongation (< 30 %) and vertical anisotropy (< 1) ...

Three of the most important criteria for cryptographically strong Boolean functions are the balancedness, the nonlinearity and the propagation criterion. This paper studies systematic methods for constructing Boolean functions satisfying some or all of the three criteria. We show that concatenating, splitting, modifying and multiplying sequences can yield balanced Boolean functions with a very ...

In this paper, we investigate the effects of spin squeezing on two-coupled quantum kicked tops, which have been previously shown to exhibit a quantum signature of chaos in terms of entanglement dynamics. Our results show that initial spin squeezing can lead to an enhancement in both the entanglement rate and the asymptotic entanglement for kicked tops when the initial state resides in the regul...

In this study, an upper limit in the solar energy conversion efficiency which can be translated to a maximum potential algal yield of a large-scale culture is calculated based on the algal productivity model in which light and nutrient are made the growth rate limiting factors, and taking the design characteristics of the cultivation system into account. Our results indicate that for the produc...