@article{ErlerRiebeBeitzetal.2020, author = {Erler, Alexander and Riebe, Daniel and Beitz, Toralf and L{\"o}hmannsr{\"o}ben, Hans-Gerd and Grothusheitkamp, Daniela and Kunz, Thomas and Methner, Frank-J{\"u}rgen}, title = {Characterization of volatile metabolites formed by molds on barley by mass and ion mobility spectrometry}, series = {Journal of mass spectrometr}, volume = {55}, journal = {Journal of mass spectrometr}, number = {5}, publisher = {Wiley}, address = {Hoboken}, issn = {1076-5174}, doi = {10.1002/jms.4501}, pages = {1 -- 10}, year = {2020}, abstract = {The contamination of barley by molds on the field or in storage leads to the spoilage of grain and the production of mycotoxins, which causes major economic losses in malting facilities and breweries. Therefore, on-site detection of hidden fungus contaminations in grain storages based on the detection of volatile marker compounds is of high interest. In this work, the volatile metabolites of 10 different fungus species are identified by gas chromatography (GC) combined with two complementary mass spectrometric methods, namely, electron impact (EI) and chemical ionization at atmospheric pressure (APCI)-mass spectrometry (MS). The APCI source utilizes soft X-radiation, which enables the selective protonation of the volatile metabolites largely without side reactions. Nearly 80 volatile or semivolatile compounds from different substance classes, namely, alcohols, aldehydes, ketones, carboxylic acids, esters, substituted aromatic compounds, alkenes, terpenes, oxidized terpenes, sesquiterpenes, and oxidized sesquiterpenes, could be identified. The profiles of volatile and semivolatile metabolites of the different fungus species are characteristic of them and allow their safe differentiation. The application of the same GC parameters and APCI source allows a simple method transfer from MS to ion mobility spectrometry (IMS), which permits on-site analyses of grain stores. Characterization of IMS yields limits of detection very similar to those of APCI-MS. Accordingly, more than 90\% of the volatile metabolites found by APCI-MS were also detected in IMS. In addition to different fungus genera, different species of one fungus genus could also be differentiated by GC-IMS.}, language = {en} } @article{ChenLangeAndjelkovicetal.2020, author = {Chen, Junchao and Lange, Thomas and Andjelkovic, Milos and Simevski, Aleksandar and Krstić, Miloš}, title = {Prediction of solar particle events with SRAM-based soft error rate monitor and supervised machine learning}, series = {Microelectronics reliability}, volume = {114}, journal = {Microelectronics reliability}, publisher = {Elsevier}, address = {Oxford}, issn = {0026-2714}, doi = {10.1016/j.microrel.2020.113799}, pages = {6}, year = {2020}, abstract = {This work introduces an embedded approach for the prediction of Solar Particle Events (SPEs) in space applications by combining the real-time Soft Error Rate (SER) measurement with SRAM-based detector and the offline trained machine learning model. The proposed approach is intended for the self-adaptive fault-tolerant multiprocessing systems employed in space applications. With respect to the state-of-the-art, our solution allows for predicting the SER 1 h in advance and fine-grained hourly tracking of SER variations during SPEs as well as under normal conditions. Therefore, the target system can activate the appropriate mechanisms for radiation hardening before the onset of high radiation levels. Based on the comparison of five different machine learning algorithms trained with the public space flux database, the preliminary results indicate that the best prediction accuracy is achieved with the recurrent neural network (RNN) with long short-term memory (LSTM).}, language = {en} } @article{CabalarFandinoLierler2020, author = {Cabalar, Pedro and Fandi{\~n}o, Jorge and Lierler, Yuliya}, title = {Modular Answer Set Programming as a formal specification language}, series = {Theory and practice of logic programming}, volume = {20}, journal = {Theory and practice of logic programming}, number = {5}, publisher = {Cambridge University Press}, address = {New York}, issn = {1471-0684}, doi = {10.1017/S1471068420000265}, pages = {767 -- 782}, year = {2020}, abstract = {In this paper, we study the problem of formal verification for Answer Set Programming (ASP), namely, obtaining aformal proofshowing that the answer sets of a given (non-ground) logic programPcorrectly correspond to the solutions to the problem encoded byP, regardless of the problem instance. To this aim, we use a formal specification language based on ASP modules, so that each module can be proved to capture some informal aspect of the problem in an isolated way. This specification language relies on a novel definition of (possibly nested, first order)program modulesthat may incorporate local hidden atoms at different levels. Then,verifyingthe logic programPamounts to prove some kind of equivalence betweenPand its modular specification.}, language = {en} } @article{ChigarevKazakovPikovsky2020, author = {Chigarev, Vladimir and Kazakov, Alexey and Pikovsky, Arkady}, title = {Kantorovich-Rubinstein-Wasserstein distance between overlapping attractor and repeller}, series = {Chaos : an interdisciplinary journal of nonlinear science}, volume = {30}, journal = {Chaos : an interdisciplinary journal of nonlinear science}, number = {7}, publisher = {American Institute of Physics}, address = {Melville}, issn = {1054-1500}, doi = {10.1063/5.0007230}, pages = {10}, year = {2020}, abstract = {We consider several examples of dynamical systems demonstrating overlapping attractor and repeller. These systems are constructed via introducing controllable dissipation to prototypic models with chaotic dynamics (Anosov cat map, Chirikov standard map, and incompressible three-dimensional flow of the ABC-type on a three-torus) and ergodic non-chaotic behavior (skew-shift map). We employ the Kantorovich-Rubinstein-Wasserstein distance to characterize the difference between the attractor and the repeller, in dependence on the dissipation level.}, language = {en} } @article{SchaffenrothCasewellSchneideretal.2020, author = {Schaffenroth, Veronika and Casewell, Sarah L. and Schneider, D. and Kilkenny, David and Geier, Stephan and Heber, Ulrich and Irrgang, Andreas and Przybilla, Norbert and Marsh, Thomas R. and Littlefair, Stuart P. and Dhillon, Vik S.}, title = {A quantitative in-depth analysis of the prototype sdB plus BD system SDSS J08205+0008 revisited in the Gaia era}, series = {Monthly notices of the Royal Astronomical Society}, volume = {501}, journal = {Monthly notices of the Royal Astronomical Society}, number = {3}, publisher = {Oxford Univ. Press}, address = {Oxford}, issn = {0035-8711}, doi = {10.1093/mnras/staa3661}, pages = {3847 -- 3870}, year = {2020}, abstract = {Subdwarf B stars are core-helium-burning stars located on the extreme horizontal branch (EHB). Extensive mass loss on the red giant branch is necessary to form them. It has been proposed that substellar companions could lead to the required mass loss when they are engulfed in the envelope of the red giant star. J08205+0008 was the first example of a hot subdwarf star with a close, substellar companion candidate to be found. Here, we perform an in-depth re-analysis of this important system with much higher quality data allowing additional analysis methods. From the higher resolution spectra obtained with ESO-VLT/XSHOOTER, we derive the chemical abundances of the hot subdwarf as well as its rotational velocity. Using the Gaia parallax and a fit to the spectral energy distribution in the secondary eclipse, tight constraints to the radius of the hot subdwarf are derived. From a long-term photometric campaign, we detected a significant period decrease of -3.2(8) x 10(-12) dd(-1). This can be explained by the non-synchronized hot subdwarf star being spun up by tidal interactions forcing it to become synchronized. From the rate of period decrease we could derive the synchronization time-scale to be 4 Myr, much smaller than the lifetime on EHB. By combining all different methods, we could constrain the hot subdwarf to a mass of 0.39-0.50 M-circle dot and a radius of R-sdB = 0.194 +/- 0.008 R-circle dot, and the companion to 0.061-0.071 M-circle dot with a radius of R-comp = 0.092 +/- 0.005 R-circle dot, below the hydrogen-burning limit. We therefore confirm that the companion is most likely a massive brown dwarf.}, language = {en} } @article{PelisoliVosGeieretal.2020, author = {Pelisoli, Ingrid and Vos, Joris and Geier, Stephan and Schaffenroth, Veronika and Baran, Andrzej S.}, title = {Alone but not lonely}, series = {Astronomy and astrophysics : an international weekly journal}, volume = {642}, journal = {Astronomy and astrophysics : an international weekly journal}, publisher = {EDP Sciences}, address = {Les Ulis}, issn = {0004-6361}, doi = {10.1051/0004-6361/202038473}, pages = {14}, year = {2020}, abstract = {Context. Hot subdwarfs are core-helium burning stars that show lower masses and higher temperatures than canonical horizontal branch stars. They are believed to be formed when a red giant suffers an extreme mass-loss episode. Binary interaction is suggested to be the main formation channel, but the high fraction of apparently single hot subdwarfs (up to 30\%) has prompted single star formation scenarios to be proposed.Aims. We investigate the possibility that hot subdwarfs could form without interaction by studying wide binary systems. If single formation scenarios were possible, there should be hot subdwarfs in wide binaries that have undergone no interaction.Methods. Angular momentum accretion during interaction is predicted to cause the hot subdwarf companion to spin up to the critical velocity. The effect of this should still be observable given the timescales of the hot subdwarf phase. To study the rotation rates of companions, we have analysed light curves from the Transiting Exoplanet Survey Satellite for all known hot subdwarfs showing composite spectral energy distributions indicating the presence of a main sequence wide binary companion. If formation without interaction were possible, that would also imply the existence of hot subdwarfs in very wide binaries that are not predicted to interact. To identify such systems, we have searched for common proper motion companions with projected orbital distances of up to 0.1 pc to all known spectroscopically confirmed hot subdwarfs using Gaia DR2 astrometry.Results. We find that the companions in composite hot subdwarfs show short rotation periods when compared to field main sequence stars. They display a triangular-shaped distribution with a peak around 2.5 days, similar to what is observed for young open clusters. We also report a shortage of hot subdwarfs with candidate common proper motion companions. We identify only 16 candidates after probing 2938 hot subdwarfs with good astrometry. Out of those, at least six seem to be hierarchical triple systems, in which the hot subdwarf is part of an inner binary.Conclusions. The observed distribution of rotation rates for the companions in known wide hot subdwarf binaries provides evidence of previous interaction causing spin-up. Additionally, there is a shortage of hot subdwarfs in common proper motion pairs, considering the frequency of such systems among progenitors. These results suggest that binary interaction is always required for the formation of hot subdwarfs.}, language = {en} }