TY - GEN A1 - Gebser, Martin A1 - Harrison, Amelia A1 - Kaminski, Roland A1 - Lifschitz, Vladimir A1 - Schaub, Torsten T1 - Abstract gringo T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - This paper defines the syntax and semantics of the input language of the ASP grounder gringo. The definition covers several constructs that were not discussed in earlier work on the semantics of that language, including intervals, pools, division of integers, aggregates with non-numeric values, and lparse-style aggregate expressions. The definition is abstract in the sense that it disregards some details related to representing programs by strings of ASCII characters. It serves as a specification for gringo from Version 4.5 on. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 592 KW - nested expressions Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-414751 SN - 1866-8372 IS - 592 ER - TY - JOUR A1 - Aseev, Nikita A1 - Shprits, Yuri A1 - Drozdov, Alexander A1 - Kellerman, Adam C. T1 - Numerical applications of the advective-diffusive codes for the inner magnetosphere JF - Space Weather: The International Journal of Research and Applications N2 - In this study we present analytical solutions for convection and diffusion equations. We gather here the analytical solutions for the one-dimensional convection equation, the two-dimensional convection problem, and the one- and two-dimensional diffusion equations. Using obtained analytical solutions, we test the four-dimensional Versatile Electron Radiation Belt code (the VERB-4D code), which solves the modified Fokker-Planck equation with additional convection terms. The ninth-order upwind numerical scheme for the one-dimensional convection equation shows much more accurate results than the results obtained with the third-order scheme. The universal limiter eliminates unphysical oscillations generated by high-order linear upwind schemes. Decrease in the space step leads to convergence of a numerical solution of the two-dimensional diffusion equation with mixed terms to the analytical solution. We compare the results of the third- and ninth-order schemes applied to magnetospheric convection modeling. The results show significant differences in electron fluxes near geostationary orbit when different numerical schemes are used. KW - advective-diffusive codes KW - inner magnetosphere KW - numerical schemes Y1 - 2016 U6 - https://doi.org/10.1002/2016SW001484 SN - 1542-7390 VL - 14 SP - 993 EP - 1010 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Kim, Kyung-Chan A1 - Shprits, Yuri A1 - Blake, J. Bernard T1 - Fast injection of the relativistic electrons into the inner zone and the formation of the split-zone structure during the Bastille Day storm in July 2000 JF - Journal of geophysical research : Space physics N2 - During the July 2000 geomagnetic storm, known as the Bastille Day storm, Solar, Anomalous, and Magnetospheric Particle Explorer (SAMPEX)/Heavy Ion Large Telescope (HILT) observed a strong injection of similar to 1MeV electrons into the slot region (L similar to 2.5) during the storm main phase. Then, during the following month, electrons were clearly seen diffusing inward down to L=2 and forming a pronounced split structure encompassing a narrow, newly formed slot region around L=3. SAMPEX observations are first compared with electron and proton observations on HEO-3 and NOAA-15 to validate that the observed unusual dynamics was not caused by proton contamination of the SAMPEX instrument. The time-dependent 3-D Versatile Electron Radiation Belt (VERB) simulation of 1MeV electron flux evolution is compared with the SAMPEX/HILT observations. The results show that the VERB code predicts overall time evolution of the observed split structure. The simulated split structure is produced by pitch angle scattering into the Earth atmosphere of similar to 1MeV electrons by plasmaspheric hiss. KW - inner radiation zone and slot region KW - Bastille Day geomagnetic storm KW - 3-D diffusion simulation KW - plasmaspheric hiss Y1 - 2016 U6 - https://doi.org/10.1002/2015JA022072 SN - 2169-9380 SN - 2169-9402 VL - 121 SP - 8329 EP - 8342 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Shprits, Yuri A1 - Drozdov, Alexander A1 - Spasojevic, Maria A1 - Kellerman, Adam C. A1 - Usanova, Maria E. A1 - Engebretson, Mark J. A1 - Agapitov, Oleksiy V. A1 - Zhelavskaya, Irina A1 - Raita, Tero J. A1 - Spence, Harlan E. A1 - Baker, Daniel N. A1 - Zhu, Hui A1 - Aseev, Nikita T1 - Wave-induced loss of ultra-relativistic electrons in the Van Allen radiation belts JF - Nature Communications Y1 - 2016 U6 - https://doi.org/10.1038/ncomms12883 SN - 2041-1723 VL - 7 PB - Nature Publ. Group CY - London ER - TY - JOUR A1 - Ripoll, Jean-Francois A1 - Loridan, Vivien A1 - Denton, Michael H. A1 - Cunningham, Gregory A1 - Reeves, G. A1 - Santolik, O. A1 - Fennell, Joseph A1 - Turner, Drew L. A1 - Drozdov, Alexander A1 - Cervantes Villa, Juan Sebastian A1 - Shprits, Yuri A1 - Thaller, Scott A. A1 - Kurth, William S. A1 - Kletzing, Craig A. A1 - Henderson, Michael G. A1 - Ukhorskiy, Aleksandr Y. T1 - Observations and Fokker-Planck Simulations of the L-Shell, Energy, and Times JF - Journal of geophysical research : Space physics N2 - The evolution of the radiation belts in L-shell (L), energy (E), and equatorial pitch angle (alpha(0)) is analyzed during the calm 11-day interval (4-15 March) following the 1 March 2013 storm. Magnetic Electron and Ion Spectrometer (MagEIS) observations from Van Allen Probes are interpreted alongside 1D and 3D Fokker-Planck simulations combined with consistent event-driven scattering modeling from whistler mode hiss waves. Three (L, E, alpha(0)) regions persist through 11 days of hiss wave scattering; the pitch angle-dependent inner belt core (L similar to <2.2 and E < 700 keV), pitch angle homogeneous outer belt low-energy core (L > similar to 5 and E similar to < 100 keV), and a distinct pocket of electrons (L similar to [4.5, 5.5] and E similar to [0.7, 2] MeV). The pitch angle homogeneous outer belt is explained by the diffusion coefficients that are roughly constant for alpha(0) similar to <60 degrees, E > 100 keV, 3.5 < L < L-pp similar to 6. Thus, observed unidirectional flux decays can be used to estimate local pitch angle diffusion rates in that region. Top-hat distributions are computed and observed at L similar to 3-3.5 and E = 100-300 keV. KW - radiation belts KW - wave-particle interactions KW - electron lifetime KW - pitch angle diffusion coefficient KW - hiss waves Y1 - 2018 U6 - https://doi.org/10.1029/2018JA026111 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 2 SP - 1125 EP - 1142 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Aseev, Nikita A1 - Shprits, Yuri A1 - Wang, Dedong A1 - Wygant, John A1 - Drozdov, Alexander A1 - Kellerman, Adam C. A1 - Reeves, Geoffrey D. T1 - Transport and loss of ring current electrons inside geosynchronous orbit during the 17 March 2013 storm JF - Journal of geophysical research : Space physics N2 - Ring current electrons (1–100 keV) have received significant attention in recent decades, but many questions regarding their major transport and loss mechanisms remain open. In this study, we use the four‐dimensional Versatile Electron Radiation Belt code to model the enhancement of phase space density that occurred during the 17 March 2013 storm. Our model includes global convection, radial diffusion, and scattering into the Earth's atmosphere driven by whistler‐mode hiss and chorus waves. We study the sensitivity of the model to the boundary conditions, global electric field, the electric field associated with subauroral polarization streams, electron loss rates, and radial diffusion coefficients. The results of the code are almost insensitive to the model parameters above 4.5 RERE, which indicates that the general dynamics of the electrons between 4.5 RE and the geostationary orbit can be explained by global convection. We found that the major discrepancies between the model and data can stem from the inaccurate electric field model and uncertainties in lifetimes. We show that additional mechanisms that are responsible for radial transport are required to explain the dynamics of ≥40‐keV electrons, and the inclusion of the radial diffusion rates that are typically assumed in radiation belt studies leads to a better agreement with the data. The overall effect of subauroral polarization streams on the electron phase space density profiles seems to be smaller than the uncertainties in other input parameters. This study is an initial step toward understanding the dynamics of these particles inside the geostationary orbit. KW - ring current electrons KW - magnetospheric convection KW - ensemble modeling KW - inner magnetosphere KW - electron transport KW - wave-particle interactions Y1 - 2019 U6 - https://doi.org/10.1029/2018JA026031 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 2 SP - 915 EP - 933 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Wang, Dedong A1 - Shprits, Yuri A1 - Zhelayskaya, Irina S. A1 - Agapitov, Oleksiy A1 - Drozdov, Alexander A1 - Aseev, Nikita T1 - Analytical chorus wave model derived from van Allen Probe Observations JF - Journal of geophysical research : Space physics N2 - Chorus waves play an important role in the dynamic evolution of energetic electrons in the Earth's radiation belts and ring current. Using more than 5 years of Van Allen Probe data, we developed a new analytical model for upper‐band chorus (UBC; 0.5fce < f < fce) and lower‐band chorus (LBC; 0.05fce < f < 0.5fce) waves, where fce is the equatorial electron gyrofrequency. By applying polynomial fits to chorus wave root mean square amplitudes, we developed regression models for LBC and UBC as a function of geomagnetic activity (Kp), L, magnetic latitude (λ), and magnetic local time (MLT). Dependence on Kp is separated from the dependence on λ, L, and MLT as Kp‐scaling law to simplify the calculation of diffusion coefficients and inclusion into particle tracing codes. Frequency models for UBC and LBC are also developed, which depends on MLT and magnetic latitude. This empirical model is valid in all MLTs, magnetic latitude up to 20°, Kp ≤ 6, L‐shell range from 3.5 to 6 for LBC and from 4 to 6 for UBC. The dependence of root mean square amplitudes on L are different for different bands, which implies different energy sources for different wave bands. This analytical chorus wave model is convenient for inclusion in quasi‐linear diffusion calculations of electron scattering rates and particle simulations in the inner magnetosphere, especially for the newly developed four‐dimensional codes, which require significantly improved wave parameterizations. KW - chorus waves KW - radiation belt electrons KW - ring current electrons KW - analytical model KW - wave-particle interactions KW - diffusion coefficients Y1 - 2019 U6 - https://doi.org/10.1029/2018JA026183 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 2 SP - 1063 EP - 1084 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Aseev, Nikita A1 - Shprits, Yuri T1 - Reanalysis of ring current electron phase space densities using van allen probe observations, convection model, and log‐normal kalman filter JF - Space weather : the international journal of research and applications N2 - Models of ring current electron dynamics unavoidably contain uncertainties in boundary conditions, electric and magnetic fields, electron scattering rates, and plasmapause location. Model errors can accumulate with time and result in significant deviations of model predictions from observations. Data assimilation offers useful tools which can combine physics-based models and measurements to improve model predictions. In this study, we systematically analyze performance of the Kalman filter applied to a log-transformed convection model of ring current electrons and Van Allen Probe data. We consider long-term dynamics of mu = 2.3 MeV/G and K = 0.3 G(1/2) R-E electrons from 1 February 2013 to 16 June 2013. By using synthetic data, we show that the Kalman filter is capable of correcting errors in model predictions associated with uncertainties in electron lifetimes, boundary conditions, and convection electric fields. We demonstrate that reanalysis retains features which cannot be fully reproduced by the convection model such as storm-time earthward propagation of the electrons down to 2.5 R-E. The Kalman filter can adjust model predictions to satellite measurements even in regions where data are not available. We show that the Kalman filter can adjust model predictions in accordance with observations for mu = 0.1, 2.3, and 9.9 MeV/G and constant K = 0.3 G(1/2) R-E electrons. The results of this study demonstrate that data assimilation can improve performance of ring current models, better quantify model uncertainties, and help deeper understand the physics of the ring current particles. Y1 - 2019 U6 - https://doi.org/10.1029/2018SW002110 SN - 1542-7390 VL - 17 IS - 4 SP - 619 EP - 638 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Lai, Shu T. A1 - Martinez-Sanchez, Manuel A1 - Cahoy, Kerri A1 - Thomsen, Michelle F. A1 - Shprits, Yuri A1 - Lohmeyer, Whitney A1 - Wong, Frankie K. T1 - Does spacecraft potential depend on the ambient electron density? JF - IEEE Transactions on Plasma Science N2 - In this paper, we address the question of whether spacecraft potential depends on the ambient electron density. In Maxwellian space plasmas, the onset of spacecraft charging does not depend on the ambient electron density. The balance of electron currents causes the incoming electrons to balance with the outgoing secondary electrons. The onset is controlled by the critical or anticritical temperature of the ambient electrons, but not the electron density. Above the critical temperature, charging to negative potential occurs. If the energy of the incoming electrons increases to well beyond the second crossing point of the secondary electron yield (SEY), the value of SEY decreases to well below unity. When the secondary electron current is negligible compared with the primary electron current, the spacecraft potential is governed solely by the balance of the incoming electrons and the sum of the currents of the repelled electrons and the attracted ions. In neutral space plasma, the electron and ion charges cancel each other. But if the space plasma deviates from being neutral, then the densities can have effect on the spacecraft potential. If the ambient plasma deviates significantly from equilibrium, a non-Maxwellian electron distribution may result. For a kappa distribution, one can show that the spacecraft charging level is independent of the ambient electron density. For a double Maxwellian distribution, the spacecraft charging level depends on the electron densities. For a conducting spacecraft charging in sunlight, the charging level is low and positive. It also depends on the ambient electron density. For a dielectric spacecraft in sunlight, the high-level negative-voltage charging on the shadowed side may extend to the sunlit side and block the photoelectrons trying to escape from the sunlit side. In this case, the charging level does not depend on ambient electron density. Using coordinated environmental and spacecraft charging data obtained from the Los Alamos National Laboratory geosynchronous satellites, we showed some results confirming that spacecraft potential is indeed often independent of the ambient electron density. KW - Charging in sunlight KW - critical temperature KW - electron density KW - geosynchronous satellites KW - ion density KW - Maxwellian distribution KW - plasma probes KW - space plasmas KW - spacecraft charging KW - spacecraft potential Y1 - 2017 U6 - https://doi.org/10.1109/TPS.2017.2751002 SN - 0093-3813 SN - 1939-9375 VL - 45 SP - 2875 EP - 2884 PB - IEEE CY - New York ER - TY - JOUR A1 - Smirnov, Artem G. A1 - Kronberg, Elena A. A1 - Latallerie, F. A1 - Daly, Patrick W. A1 - Aseev, Nikita A1 - Shprits, Yuri A1 - Kellerman, Adam C. A1 - Kasahara, Satoshi A1 - Turner, Drew L. A1 - Taylor, M. G. G. T. T1 - Electron Intensity Measurements by the Cluster/RAPID/IES Instrument in Earth's Radiation Belts and Ring Current JF - Space Weather: The International Journal of Research and Applications N2 - Plain Language Summary Radiation belts of the Earth, which are the zones of charged energetic particles trapped by the geomagnetic field, comprise enormous and dynamic systems. While the inner radiation belt, composed mainly of high-energy protons, is relatively stable, the outer belt, filled with energetic electrons, is highly variable and depends substantially on solar activity. Hence, extended reliable observations and the improved models of the electron intensities in the outer belt depending on solar wind parameters are necessary for prediction of their dynamics. The Cluster mission has been measuring electron flux intensities in the radiation belts since its launch in 2000, thus providing a huge dataset that can be used for radiation belts analysis. Using 16 years of electron measurements by the Cluster mission corrected for background contamination, we derived a uniform linear-logarithmic dependence of electron fluxes in the outer belt on the solar wind dynamic pressure. Y1 - 2019 U6 - https://doi.org/10.1029/2018SW001989 SN - 1542-7390 VL - 17 IS - 4 SP - 553 EP - 566 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Dobynde, M. I. A1 - Effenberger, Frederic A1 - Kartashov, D. A. A1 - Shprits, Yuri A1 - Shurshakov, V. A. T1 - Ray-tracing simulation of the radiation dose distribution on the surface of the spherical phantom of the MATROSHKA-R experiment onboard the ISS JF - Life sciences in space research N2 - Space radiation is one of the main concerns for human space flights. The prediction of the radiation dose for the actual spacecraft geometry is very important for the planning of long-duration missions. We present a numerical method for the fast calculation of the radiation dose rate during a space flight. We demonstrate its application for dose calculations during the first and the second sessions of the MATROSHKA-R space experiment with a spherical tissue-equivalent phantom. The main advantage of the method is the short simulation time, so it can be applied for urgent radiation dose calculations for low-Earth orbit space missions. The method uses depth-dose curve and shield-and-composition distribution functions to calculate a radiation dose at the point of interest. The spacecraft geometry is processed into a shield-and-composition distribution function using a ray-tracing method. Depth-dose curves are calculated using the GEANT4 Monte-Carlo code (version 10.00.P02) for a double-layer aluminum-water shielding. Aluminum-water shielding is a good approximation of the real geometry, as water is a good equivalent for biological tissues, and aluminum is the major material of spacecraft bodies. KW - Space radiation KW - Radiation protection KW - Radiation dose calculation KW - GEANT4 modeling KW - Radiation on the ISS KW - MATROSHKA-R Y1 - 2019 U6 - https://doi.org/10.1016/j.lssr.2019.04.001 SN - 2214-5524 SN - 2214-5532 VL - 21 SP - 65 EP - 72 PB - Elsevier CY - Amsterdam ER - TY - JOUR A1 - Zhu, Hui A1 - Chen, Lunjin A1 - Liu, Xu A1 - Shprits, Yuri T1 - Modulation of locally generated equatorial noise by ULF wave JF - Journal of geophysical research : Space physics N2 - In this paper we report a rare and fortunate event of fast magnetosonic (MS, also called equatorial noise) waves modulated by compressional ultralow frequency (ULF) waves measured by Van Allen Probes. The characteristics of MS waves, ULF waves, proton distribution, and their potential correlations are analyzed. The results show that ULF waves can modulate the energetic ring proton distribution and in turn modulate the MS generation. Furthermore, the variation of MS intensities is attributed to not only ULF wave activities but also the variation of background parameters, for example, number density. The results confirm the opinion that MS waves are generated by proton ring distribution and propose a new modulation phenomenon. Y1 - 2019 U6 - https://doi.org/10.1029/2018JA026199 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 4 SP - 2779 EP - 2787 PB - American Geophysical Union CY - Washington ER - TY - GEN A1 - Smirnov, Artem G. A1 - Kronberg, Elena A. A1 - Daly, Patrick W. A1 - Aseev, Nikita A1 - Shprits, Yuri A1 - Kellerman, Adam C. T1 - Adiabatic Invariants Calculations for Cluster Mission: A Long-Term Product for Radiation Belts Studies T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - The Cluster mission has produced a large data set of electron flux measurements in the Earth's magnetosphere since its launch in late 2000. Electron fluxes are measured using Research with Adaptive Particle Imaging Detector (RAPID)/Imaging Electron Spectrometer (IES) detector as a function of energy, pitch angle, spacecraft position, and time. However, no adiabatic invariants have been calculated for Cluster so far. In this paper we present a step-by-step guide to calculations of adiabatic invariants and conversion of the electron flux to phase space density (PSD) in these coordinates. The electron flux is measured in two RAPID/IES energy channels providing pitch angle distribution at energies 39.2-50.5 and 68.1-94.5 keV in nominal mode since 2004. A fitting method allows to expand the conversion of the differential fluxes to the range from 40 to 150 keV. Best data coverage for phase space density in adiabatic invariant coordinates can be obtained for values of second adiabatic invariant, K, similar to 10(2), and values of the first adiabatic invariant mu in the range approximate to 5-20 MeV/G. Furthermore, we describe the production of a new data product "LSTAR," equivalent to the third adiabatic invariant, available through the Cluster Science Archive for years 2001-2018 with 1-min resolution. The produced data set adds to the availability of observations in Earth's radiation belts region and can be used for long-term statistical purposes. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 1192 KW - L-Asterisk KW - magnetosphere KW - electrons KW - model Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-523915 SN - 1866-8372 IS - 2 ER - TY - JOUR A1 - Shprits, Yuri A1 - Menietti, J. D. A1 - Drozdov, Alexander A1 - Horne, Richard B. A1 - Woodfield, Emma E. A1 - Groene, J. B. A1 - de Soria-Santacruz, M. A1 - Averkamp, T. F. A1 - Garrett, H. A1 - Paranicas, C. A1 - Gurnett, Don A. T1 - Strong whistler mode waves observed in the vicinity of Jupiter’s moons JF - Nature Communications N2 - Understanding of wave environments is critical for the understanding of how particles are accelerated and lost in space. This study shows that in the vicinity of Europa and Ganymede, that respectively have induced and internal magnetic fields, chorus wave power is significantly increased. The observed enhancements are persistent and exceed median values of wave activity by up to 6 orders of magnitude for Ganymede. Produced waves may have a pronounced effect on the acceleration and loss of particles in the Jovian magnetosphere and other astrophysical objects. The generated waves are capable of significantly modifying the energetic particle environment, accelerating particles to very high energies, or producing depletions in phase space density. Observations of Jupiter’s magnetosphere provide a unique opportunity to observe how objects with an internal magnetic field can interact with particles trapped in magnetic fields of larger scale objects. Y1 - 2018 U6 - https://doi.org/10.1038/s41467-018-05431-x SN - 2041-1723 VL - 9 PB - Nature Publ. Group CY - London ER - TY - JOUR A1 - Shprits, Yuri A1 - Angelopoulos, V. A1 - Russell, C. T. A1 - Strangeway, R. J. A1 - Runov, A. A1 - Turner, D. A1 - Caron, R. A1 - Cruce, P. A1 - Leneman, D. A1 - Michaelis, I. A1 - Petrov, V. A1 - Panasyuk, M. A1 - Yashin, I. A1 - Drozdov, Alexander A1 - Russell, C. L. A1 - Kalegaev, V. A1 - Nazarkov, I. A1 - Clemmons, J. H. T1 - Scientific Objectives of Electron Losses and Fields INvestigation Onboard Lomonosov Satellite JF - Space science reviews N2 - The objective of the Electron Losses and Fields INvestigation on board the Lomonosov satellite ( ELFIN-L) project is to determine the energy spectrum of precipitating energetic electrons and ions and, together with other polar-orbiting and equatorial missions, to better understand the mechanisms responsible for scattering these particles into the atmosphere. This mission will provide detailed measurements of the radiation environment at low altitudes. The 400-500 km sun-synchronous orbit of Lomonosov is ideal for observing electrons and ions precipitating into the atmosphere. This mission provides a unique opportunity to test the instruments. Similar suite of instruments will be flown in the future NSF-and NASA-supported spinning CubeSat ELFIN satellites which will augment current measurements by providing detailed information on pitch-angle distributions of precipitating and trapped particles. KW - Magnetospheric physics KW - Observations KW - Particles precipitating KW - Particles trapped KW - Radiation belts Y1 - 2017 U6 - https://doi.org/10.1007/s11214-017-0455-4 SN - 0038-6308 SN - 1572-9672 VL - 214 IS - 1 PB - Springer CY - Dordrecht ER - TY - JOUR A1 - Schaub, Torsten A1 - Woltran, Stefan T1 - Answer set programming unleashed! JF - Künstliche Intelligenz N2 - Answer Set Programming faces an increasing popularity for problem solving in various domains. While its modeling language allows us to express many complex problems in an easy way, its solving technology enables their effective resolution. In what follows, we detail some of the key factors of its success. Answer Set Programming [ASP; Brewka et al. Commun ACM 54(12):92–103, (2011)] is seeing a rapid proliferation in academia and industry due to its easy and flexible way to model and solve knowledge-intense combinatorial (optimization) problems. To this end, ASP offers a high-level modeling language paired with high-performance solving technology. As a result, ASP systems provide out-off-the-box, general-purpose search engines that allow for enumerating (optimal) solutions. They are represented as answer sets, each being a set of atoms representing a solution. The declarative approach of ASP allows a user to concentrate on a problem’s specification rather than the computational means to solve it. This makes ASP a prime candidate for rapid prototyping and an attractive tool for teaching key AI techniques since complex problems can be expressed in a succinct and elaboration tolerant way. This is eased by the tuning of ASP’s modeling language to knowledge representation and reasoning (KRR). The resulting impact is nicely reflected by a growing range of successful applications of ASP [Erdem et al. AI Mag 37(3):53–68, 2016; Falkner et al. Industrial applications of answer set programming. K++nstliche Intelligenz (2018)] Y1 - 2018 U6 - https://doi.org/10.1007/s13218-018-0550-z SN - 0933-1875 SN - 1610-1987 VL - 32 IS - 2-3 SP - 105 EP - 108 PB - Springer CY - Heidelberg ER - TY - JOUR A1 - Cabalar, Pedro A1 - Kaminski, Roland A1 - Schaub, Torsten A1 - Schuhmann, Anna T1 - Temporal answer set programming on finite traces JF - Theory and practice of logic programming N2 - In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces. This approach allows us to even out the expressiveness of TEL over infinite traces with the computational capacity of (incremental) Answer Set Programming (ASP). Also, we argue that finite traces are more natural when reasoning about action and change. As a result, our approach is readily implementable via multi-shot ASP systems and benefits from an extension of ASP's full-fledged input language with temporal operators. This includes future as well as past operators whose combination offers a rich temporal modeling language. For computation, we identify the class of temporal logic programs and prove that it constitutes a normal form for our approach. Finally, we outline two implementations, a generic one and an extension of the ASP system clingo. Under consideration for publication in Theory and Practice of Logic Programming (TPLP) Y1 - 2018 U6 - https://doi.org/10.1017/S1471068418000297 SN - 1471-0684 SN - 1475-3081 VL - 18 IS - 3-4 SP - 406 EP - 420 PB - Cambridge Univ. Press CY - New York ER - TY - GEN A1 - Shprits, Yuri A1 - Zhelavskaya, Irina A1 - Green, Janet C. A1 - Pulkkinen, Antti A. A1 - Horne, Richard B. A1 - Pitchford, David A1 - Glover, Alexi T1 - Discussions on Stakeholder Requirements for Space Weather-Related Models T2 - Space Weather: The International Journal of Research and Applications N2 - Participants of the 2017 European Space Weather Week in Ostend, Belgium, discussed the stakeholder requirements for space weather-related models. It was emphasized that stakeholders show an increased interest in space weather-related models. Participants of the meeting discussed particular prediction indicators that can provide first-order estimates of the impact of space weather on engineering systems. KW - 7924 KW - 7934 KW - 7959 Y1 - 2018 U6 - https://doi.org/10.1002/2018SW001864 SN - 1542-7390 VL - 16 IS - 4 SP - 341 EP - 342 PB - American Geophysical Union CY - Washington ER - TY - GEN A1 - Brewka, Gerhard A1 - Schaub, Torsten A1 - Woltran, Stefan T1 - Interview with Gerhard Brewka T2 - Künstliche Intelligenz N2 - This interview with Gerhard Brewka was conducted by correspondance in May 2018. The question set was compiled by Torsten Schaub and Stefan Woltran. Y1 - 2018 U6 - https://doi.org/10.1007/s13218-018-0549-5 SN - 0933-1875 SN - 1610-1987 VL - 32 IS - 2-3 SP - 219 EP - 221 PB - Springer CY - Heidelberg ER - TY - GEN A1 - Schaub, Torsten A1 - Woltran, Stefan T1 - Special issue on answer set programming T2 - Künstliche Intelligenz Y1 - 2018 U6 - https://doi.org/10.1007/s13218-018-0554-8 SN - 0933-1875 SN - 1610-1987 VL - 32 IS - 2-3 SP - 101 EP - 103 PB - Springer CY - Heidelberg ER - TY - GEN A1 - Shprits, Yuri A1 - Horne, Richard B. A1 - Kellerman, Adam C. A1 - Drozdov, Alexander T1 - The dynamics of Van Allen belts revisited T2 - Nature physics N2 - In an effort to explain the formation of a narrow third radiation belt at ultra-relativistic energies detected during a solar storm in September 20121, Mann et al.2 present simulations from which they conclude it arises from a process of outward radial diffusion alone, without the need for additional loss processes from higher frequency waves. The comparison of observations with the model in Figs 2 and 3 of their Article clearly shows that even with strong radial diffusion rates, the model predicts a third belt near L* = 3 that is twice as wide as observed and approximately an order of magnitude more intense. We therefore disagree with their interpretation that “the agreement between the absolute fluxes from the model and those observed by REPT [the Relativistic Electron Proton Telescope] shown on Figs 2 and 3 is excellent.” Previous studies3 have shown that outward radial diffusion plays a very important role in the dynamics of the outer belt and is capable of explaining rapid reductions in the electron flux. It has also been shown that it can produce remnant belts (Fig. 2 of a long-term simulation study4). However, radial diffusion alone cannot explain the formation of the narrow third belt at multi-MeV during September 2012. An additional loss mechanism is required. Higher radial diffusion rates cannot improve the comparison of model presented by Mann et al. with observations. A further increase in the radial diffusion rates (reported in Fig. 4 of the Supplementary Information of ref. 2) results in the overestimation of the outer belt fluxes by up to three orders of magnitude at energy of 3.4 MeV. Observations at 2 MeV, where belts show only a two-zone structure, were not presented by Mann et al. Moreover, simulations of electrons with energies below 2 MeV with the same diffusion rates and boundary conditions used by the authors would probably produce very strong depletions down to L = 3–3.5, where L is radial distance from the centre of the Earth to the given field line in the equatorial plane. Observations do not show a non-adiabatic loss below L ∼ 4.5 for 2 MeV. Such different dynamics between 2 MeV and above 4 MeV at around L = 3.5 are another indication that particles are scattered by electromagnetic ion cyclotron (EMIC) waves that affect only energies above a certain threshold. Observations of the phase space density (PSD) provide additional evidence for the local loss of electrons. Around L* = 3.5–4 PSD shows significant decrease by an order of magnitude starting in the afternoon of 3 September (Fig. 1a), while PSD above L* = 4 is increasing. The minimum in PSD between L* = 3.5–4 continues to decrease until 4 September. This evolution demonstrates that the loss is not produced by outward diffusion. Radial diffusion cannot produce deepening minima, as it works to smooth gradients. Just as growing peaks in PSD show the presence of localized acceleration5, deepening minima show the presence of localized loss. Figure 1: Time evolution of radiation profiles in electron PSD at relativistic and ultra-relativistic energies. figure 1 a, Similar to Supplementary Fig. 3 of ref. 2, but using TS07D model10 and for μ = 2,500 MeV G−1, K = 0.05 RE G0.5 (where RE is the radius of the Earth). b, Similar to Supplementary Fig. 3 of ref. 2, but using TS07D model and for μ = 700 MeV G−1, corresponding to MeV energies in the heart of the belt. Minimum in PSD in the heart of the multi-MeV electron radiation belt between 3.5 and 4 RE deepening between the afternoon of 3 September and 5 September clearly show that the narrow remnant belt at multi-MeV below 3.5 RE is produced by the local loss. Full size image The minimum in the outer boundary is reached on the evening of 2 September. After that, the outer boundary moves up, while the minimum decreases by approximately an order of magnitude, clearly showing that this main decrease cannot be explained by outward diffusion, and requires additional loss processes. The analysis of profiles of PSD is a standard tool used, for example, in the study about electron acceleration5 and routinely used by the entire Van Allen Probes team. In the Supplementary Information, we show that this analysis is validated by using different magnetic field models. The Supplementary Information also shows that measurements are above background noise. Deepening minima at multi-MeV during the times when the boundary flux increases are clearly seen in Fig. 1a. They show that there must be localized loss, as radial diffusion cannot produce a minimum that becomes lower with time. At lower energies of 1–2 MeV, which corresponds to lower values of the first adiabatic invariant μ (Fig. 1b), the profiles are monotonic between L* = 3–3.5, consistent with the absence of scattering by EMIC waves that affect only electrons above a certain energy threshold6,7,8,9. In summary, the results of the modelling and observations presented by Mann et al. do not lend support to the claim of explaining the dynamics of the ultra-relativistic third Van Allen radiation belt in terms of an outward radial diffusion process alone. While the outward radial diffusion driven by the loss to the magnetopause2 is certainly operating during this storm, there is compelling observational and modelling2,6 evidence that shows that very efficient localized electron loss operates during this storm at multi-MeV energies, consistent with localized loss produced by EMIC waves. Y1 - 2018 U6 - https://doi.org/10.1038/nphys4350 SN - 1745-2473 SN - 1745-2481 VL - 14 IS - 2 SP - 102 EP - 103 PB - Nature Publ. Group CY - London ER - TY - JOUR A1 - Cervantes Villa, Juan Sebastian A1 - Shprits, Yuri A1 - Aseev, Nikita A1 - Allison, Hayley J. T1 - Quantifying the effects of EMIC wave scattering and magnetopause shadowing in the outer electron radiation belt by means of data assimilation JF - Journal of geophysical research : Space physics N2 - In this study we investigate two distinct loss mechanisms responsible for the rapid dropouts of radiation belt electrons by assimilating data from Van Allen Probes A and B and Geostationary Operational Environmental Satellites (GOES) 13 and 15 into a 3-D diffusion model. In particular, we examine the respective contribution of electromagnetic ion cyclotron (EMIC) wave scattering and magnetopause shadowing for values of the first adiabatic invariant mu ranging from 300 to 3,000 MeV G(-1). We inspect the innovation vector and perform a statistical analysis to quantitatively assess the effect of both processes as a function of various geomagnetic indices, solar wind parameters, and radial distance from the Earth. Our results are in agreement with previous studies that demonstrated the energy dependence of these two mechanisms. We show that EMIC wave scattering tends to dominate loss at lower L shells, and it may amount to between 10%/hr and 30%/hr of the maximum value of phase space density (PSD) over all L shells for fixed first and second adiabatic invariants. On the other hand, magnetopause shadowing is found to deplete electrons across all energies, mostly at higher L shells, resulting in loss from 50%/hr to 70%/hr of the maximum PSD. Nevertheless, during times of enhanced geomagnetic activity, both processes can operate beyond such location and encompass the entire outer radiation belt. Y1 - 2020 U6 - https://doi.org/10.1029/2020JA028208 SN - 2169-9380 SN - 2169-9402 VL - 125 IS - 8 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Shprits, Yuri A1 - Kellerman, Adam C . A1 - Aseev, Nikita A1 - Drozdov, Alexander A1 - Michaelis, Ingo T1 - Multi-MeV electron loss in the heart of the radiation belts JF - Geophysical research letters N2 - Significant progress has been made in recent years in understanding acceleration mechanisms in the Earth's radiation belts. In particular, a number of studies demonstrated the importance of the local acceleration by analyzing the radial profiles of phase space density (PSD) and observing building up peaks in PSD. In this study, we focus on understanding of the local loss using very similar tools. The profiles of PSD for various values of the first adiabatic invariants during the previously studied 17 January 2013 storm are presented and discussed. The profiles of PSD show clear deepening minimums consistent with the scattering by electromagnetic ion cyclotron waves. Long-term evolution shows that local minimums in PSD can persist for relatively long times. During considered interval of time the deepening minimums were observed around L* = 4 during 17 January 2013 storm and around L* = 3.5 during 1 March 2013 storm. This study shows a new method that can help identify the location, magnitude, and time of the local loss and will help quantify local loss in the future. This study also provides additional clear and definitive evidence that local loss plays a major role for the dynamics of the multi-MeV electrons. Y1 - 2017 U6 - https://doi.org/10.1002/2016GL072258 SN - 0094-8276 SN - 1944-8007 VL - 44 IS - 3 SP - 1204 EP - 1209 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Adolfs, Marjolijn A1 - Hoque, Mohammed Mainul A1 - Shprits, Yuri T1 - Storm-time relative total electron content modelling using machine learning techniques JF - Remote sensing N2 - Accurately predicting total electron content (TEC) during geomagnetic storms is still a challenging task for ionospheric models. In this work, a neural-network (NN)-based model is proposed which predicts relative TEC with respect to the preceding 27-day median TEC, during storm time for the European region (with longitudes 30 degrees W-50 degrees E and latitudes 32.5 degrees N-70 degrees N). The 27-day median TEC (referred to as median TEC), latitude, longitude, universal time, storm time, solar radio flux index F10.7, global storm index SYM-H and geomagnetic activity index Hp30 are used as inputs and the output of the network is the relative TEC. The relative TEC can be converted to the actual TEC knowing the median TEC. The median TEC is calculated at each grid point over the European region considering data from the last 27 days before the storm using global ionosphere maps (GIMs) from international GNSS service (IGS) sources. A storm event is defined when the storm time disturbance index Dst drops below 50 nanotesla. The model was trained with storm-time relative TEC data from the time period of 1998 until 2019 (2015 is excluded) and contains 365 storms. Unseen storm data from 33 storm events during 2015 and 2020 were used to test the model. The UQRG GIMs were used because of their high temporal resolution (15 min) compared to other products from different analysis centers. The NN-based model predictions show the seasonal behavior of the storms including positive and negative storm phases during winter and summer, respectively, and show a mixture of both phases during equinoxes. The model's performance was also compared with the Neustrelitz TEC model (NTCM) and the NN-based quiet-time TEC model, both developed at the German Aerospace Agency (DLR). The storm model has a root mean squared error (RMSE) of 3.38 TEC units (TECU), which is an improvement by 1.87 TECU compared to the NTCM, where an RMSE of 5.25 TECU was found. This improvement corresponds to a performance increase by 35.6%. The storm-time model outperforms the quiet-time model by 1.34 TECU, which corresponds to a performance increase by 28.4% from 4.72 to 3.38 TECU. The quiet-time model was trained with Carrington averaged TEC and, therefore, is ideal to be used as an input instead of the GIM derived 27-day median. We found an improvement by 0.8 TECU which corresponds to a performance increase by 17% from 4.72 to 3.92 TECU for the storm-time model using the quiet-time-model predicted TEC as an input compared to solely using the quiet-time model. KW - ionosphere KW - relative total electron content KW - geomagnetic storms KW - neural KW - networks KW - NTCM KW - European storm-time model Y1 - 2022 U6 - https://doi.org/10.3390/rs14236155 SN - 2072-4292 VL - 14 IS - 23 PB - MDPI CY - Basel ER - TY - JOUR A1 - Smirnov, Artem A1 - Berrendorf, Max A1 - Shprits, Yuri A1 - Kronberg, Elena A. A1 - Allison, Hayley J. A1 - Aseev, Nikita A1 - Zhelavskaya, Irina A1 - Morley, Steven K. A1 - Reeves, Geoffrey D. A1 - Carver, Matthew R. A1 - Effenberger, Frederic T1 - Medium energy electron flux in earth's outer radiation belt (MERLIN) BT - a Machine learning model JF - Space weather : the international journal of research and applications N2 - The radiation belts of the Earth, filled with energetic electrons, comprise complex and dynamic systems that pose a significant threat to satellite operation. While various models of electron flux both for low and relativistic energies have been developed, the behavior of medium energy (120-600 keV) electrons, especially in the MEO region, remains poorly quantified. At these energies, electrons are driven by both convective and diffusive transport, and their prediction usually requires sophisticated 4D modeling codes. In this paper, we present an alternative approach using the Light Gradient Boosting (LightGBM) machine learning algorithm. The Medium Energy electRon fLux In Earth's outer radiatioN belt (MERLIN) model takes as input the satellite position, a combination of geomagnetic indices and solar wind parameters including the time history of velocity, and does not use persistence. MERLIN is trained on >15 years of the GPS electron flux data and tested on more than 1.5 years of measurements. Tenfold cross validation yields that the model predicts the MEO radiation environment well, both in terms of dynamics and amplitudes o f flux. Evaluation on the test set shows high correlation between the predicted and observed electron flux (0.8) and low values of absolute error. The MERLIN model can have wide space weather applications, providing information for the scientific community in the form of radiation belts reconstructions, as well as industry for satellite mission design, nowcast of the MEO environment, and surface charging analysis. KW - machine learning KW - radiation belts KW - electron flux KW - empirical modeling KW - magnetosphere KW - electrons Y1 - 2020 U6 - https://doi.org/10.1029/2020SW002532 SN - 1542-7390 VL - 18 IS - 11 PB - American geophysical union, AGU CY - Washington ER - TY - JOUR A1 - Cervantes Villa, Juan Sebastian A1 - Shprits, Yuri A1 - Aseev, Nikita A1 - Drozdov, Alexander A1 - Castillo Tibocha, Angelica Maria A1 - Stolle, Claudia T1 - Identifying radiation belt electron source and loss processes by assimilating spacecraft data in a three-dimensional diffusion model JF - Journal of geophysical research : Space physics N2 - Data assimilation aims to blend incomplete and inaccurate data with physics-based dynamical models. In the Earth's radiation belts, it is used to reconstruct electron phase space density, and it has become an increasingly important tool in validating our current understanding of radiation belt dynamics, identifying new physical processes, and predicting the near-Earth hazardous radiation environment. In this study, we perform reanalysis of the sparse measurements from four spacecraft using the three-dimensional Versatile Electron Radiation Belt diffusion model and a split-operator Kalman filter over a 6-month period from 1 October 2012 to 1 April 2013. In comparison to previous works, our 3-D model accounts for more physical processes, namely, mixed pitch angle-energy diffusion, scattering by Electromagnetic Ion Cyclotron waves, and magnetopause shadowing. We describe how data assimilation, by means of the innovation vector, can be used to account for missing physics in the model. We use this method to identify the radial distances from the Earth and the geomagnetic conditions where our model is inconsistent with the measured phase space density for different values of the invariants mu and K. As a result, the Kalman filter adjusts the predictions in order to match the observations, and we interpret this as evidence of where and when additional source or loss processes are active. The current work demonstrates that 3-D data assimilation provides a comprehensive picture of the radiation belt electrons and is a crucial step toward performing reanalysis using measurements from ongoing and future missions. KW - acceleration KW - code KW - density KW - emic waves KW - energetic particle KW - mechanisms KW - reanalysis KW - ultrarelativistic electrons KW - weather Y1 - 2019 U6 - https://doi.org/10.1029/2019JA027514 SN - 2169-9380 SN - 2169-9402 VL - 125 IS - 1 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Smirnov, Artem A1 - Shprits, Yuri A1 - Allison, Hayley A1 - Aseev, Nikita A1 - Drozdov, Alexander A1 - Kollmann, Peter A1 - Wang, Dedong A1 - Saikin, Anthony T1 - An empirical model of the equatorial electron pitch angle distributions in earth's outer radiation belt JF - Space Weather: the International Journal of Research and Applications N2 - In this study, we present an empirical model of the equatorial electron pitch angle distributions (PADs) in the outer radiation belt based on the full data set collected by the Magnetic Electron Ion Spectrometer (MagEIS) instrument onboard the Van Allen Probes in 2012-2019. The PADs are fitted with a combination of the first, third and fifth sine harmonics. The resulting equation resolves all PAD types found in the outer radiation belt (pancake, flat-top, butterfly and cap PADs) and can be analytically integrated to derive omnidirectional flux. We introduce a two-step modeling procedure that for the first time ensures a continuous dependence on L, magnetic local time and activity, parametrized by the solar wind dynamic pressure. We propose two methods to reconstruct equatorial electron flux using the model. The first approach requires two uni-directional flux observations and is applicable to low-PA data. The second method can be used to reconstruct the full equatorial PADs from a single uni- or omnidirectional measurement at off-equatorial latitudes. The model can be used for converting the long-term data sets of electron fluxes to phase space density in terms of adiabatic invariants, for physics-based modeling in the form of boundary conditions, and for data assimilation purposes. KW - pitch angle KW - radiation belt KW - model KW - magnetosphere KW - van allen probes; KW - electrons Y1 - 2022 U6 - https://doi.org/10.1029/2022SW003053 SN - 1542-7390 VL - 20 IS - 9 PB - American Geophysical Union CY - Washington, DC ER - TY - JOUR A1 - Cabalar, Pedro A1 - Fandiño, Jorge A1 - Garea, Javier A1 - Romero, Javier A1 - Schaub, Torsten T1 - Eclingo BT - a solver for epistemic logic programs JF - Theory and practice of logic programming N2 - We describe eclingo, a solver for epistemic logic programs under Gelfond 1991 semantics built upon the Answer Set Programming system clingo. The input language of eclingo uses the syntax extension capabilities of clingo to define subjective literals that, as usual in epistemic logic programs, allow for checking the truth of a regular literal in all or in some of the answer sets of a program. The eclingo solving process follows a guess and check strategy. It first generates potential truth values for subjective literals and, in a second step, it checks the obtained result with respect to the cautious and brave consequences of the program. This process is implemented using the multi-shot functionalities of clingo. We have also implemented some optimisations, aiming at reducing the search space and, therefore, increasing eclingo 's efficiency in some scenarios. Finally, we compare the efficiency of eclingo with two state-of-the-art solvers for epistemic logic programs on a pair of benchmark scenarios and show that eclingo generally outperforms their obtained results. KW - Answer Set Programming KW - Epistemic Logic Programs KW - Non-Monotonic KW - Reasoning KW - Conformant Planning Y1 - 2020 U6 - https://doi.org/10.1017/S1471068420000228 SN - 1471-0684 SN - 1475-3081 VL - 20 IS - 6 SP - 834 EP - 847 PB - Cambridge Univ. Press CY - New York ER - TY - JOUR A1 - Walker, Simon N. A1 - Boynton, Richard J. A1 - Shprits, Yuri A1 - Balikhin, Michael A. A1 - Drozdov, Alexander T1 - Forecast of the energetic electron environment of the radiation belts JF - Space Weather: The International Journal of Research and Applications N2 - Different modeling methodologies possess different strengths and weakness. For instance, data based models may provide superior accuracy but have a limited spatial coverage while physics based models may provide lower accuracy but provide greater spatial coverage. This study investigates the coupling of a data based model of the electron fluxes at geostationary orbit (GEO) with a numerical model of the radiation belt region to improve the resulting forecasts/pastcasts of electron fluxes over the whole radiation belt region. In particular, two coupling methods are investigated. The first assumes an average value for L* for GEO, namely LGEO* L-GEO* = 6.2. The second uses a value of L* that varies with geomagnetic activity, quantified using the Kp index. As the terrestrial magnetic field responds to variations in geomagnetic activity, the value of L* will vary for a specific location. In this coupling method, the value of L* is calculated using the Kp driven Tsyganenko 89c magnetic field model for field line tracing. It is shown that this addition can result in changes in the initialization of the parameters at the Versatile Electron Radiation Belt model outer boundary. Model outputs are compared to Van Allen Probes MagEIS measurements of the electron fluxes in the inner magnetosphere for the March 2015 geomagnetic storm. It is found that the fixed LGEO* L-GEO* coupling method produces a more realistic forecast. KW - radiation belt forecasts KW - data based NARMAX modeling KW - verb simulations; KW - geostationary orbit KW - electron flux forecasts Y1 - 2022 U6 - https://doi.org/10.1029/2022SW003124 SN - 1542-7390 VL - 20 IS - 12 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Zwickel, Theresa A1 - Kahl, Sandra A1 - Rychlik, Michael A1 - Müller, Marina E. H. T1 - Chemotaxonomy of Mycotoxigenic Small-Spored Alternaria Fungi BT - Do Multitoxin Mixtures Act as an Indicator for Species Differentiation? JF - Frontiers in microbiology N2 - Necrotrophic as well as saprophytic small-spored Altemaria (A.) species are annually responsible for major losses of agricultural products, such as cereal crops, associated with the contamination of food and feedstuff with potential health-endangering Altemaria toxins. Knowledge of the metabolic capabilities of different species-groups to form mycotoxins is of importance for a reliable risk assessment. 93 Altemaria strains belonging to the four species groups Alternaria tenuissima, A. arborescens, A. altemata, and A. infectoria were isolated from winter wheat kernels harvested from fields in Germany and Russia and incubated under equal conditions. Chemical analysis by means of an HPLC-MS/MS multi-Alternaria-toxin-method showed that 95% of all strains were able to form at least one of the targeted 17 non-host specific Altemaria toxins. Simultaneous production of up to 15 (modified) Altemaria toxins by members of the A. tenuissima, A. arborescens, A. altemata species-groups and up to seven toxins by A. infectoria strains was demonstrated. Overall tenuazonic acid was the most extensively formed mycotoxin followed by alternariol and alternariol mono methylether, whereas altertoxin I was the most frequently detected toxin. Sulfoconjugated modifications of alternariol, alternariol mono methylether, altenuisol and altenuene were frequently determined. Unknown perylene quinone derivatives were additionally detected. Strains of the species-group A. infectoria could be segregated from strains of the other three species-groups due to significantly lower toxin levels and the specific production of infectopyrone. Apart from infectopyrone, alterperylenol was also frequently produced by 95% of the A. infectoria strains. Neither by the concentration nor by the composition of the targeted Altemaria toxins a differentiation between the species-groups A. altemata, A. tenuissima and A. arborescens was possible. KW - small-spored Alternaria fungi KW - Alternaria species-groups KW - Alternaria mycotoxins KW - chemotaxonomy KW - secondary metabolite profiling KW - LC-MS/MS KW - wheat KW - perylene quinone derivatives Y1 - 2018 U6 - https://doi.org/10.3389/fmicb.2018.01368 SN - 1664-302X VL - 9 PB - Frontiers Research Foundation CY - Lausanne ER - TY - JOUR A1 - Neiber, Marco Thomas A1 - Kahl, Sandra A1 - Wiggering, Benedikt A1 - Glaubrecht, Matthias T1 - Adding the West-African riverine component BT - Revision of the Recent freshwater snails belonging to Pseudocleopatra Thiele, 1928 (Caenogastropoda, Cerithioidea, Paludomidae) JF - Zootaxa : an international journal of zootaxonomy ; a rapid international journal for animal taxonomists N2 - While Africa’s lacustrine gastropod fauna, in particular of Lake Tanganyika, has received much attention, the continent’s riverine malacofauna has long been neglected. Pseudocleopatra is a relatively poorly known paludomid gastropod genus with species found throughout the lower reaches of the West African Volta and Congo rivers. In the course of ongoing systematic revisions of African paludomids, we present here a morphometric analysis and revision of the recent species assigned to the genus, i.e., P. togoensis, P. voltana, P. dartevellei and P. bennikei, to improve taxonomic acuity for this group. We use available museum material for geometric morphometrics, multivariate ratio analysis and comparisons of radular and opercular characters. Our results demonstrate that the four recent species of Pseudocleopatra are clearly distinguishable on the basis of ratios of shell measurements as well as radular and opercular characters. Pseudocleopatra has generic-level synapomorphies including: concentric opercula with relatively large paucispiral nuclei, and rachidian radular teeth with usually 13–20 cusps. On the basis of this characterisation, the nominal species Cleopatra broecki is transferred to Pseudocleopatra. Additionally, the nominal taxon P. bennikei is synonymized with P. broecki n. comb. The phylogenetic relationships of Pseudocleopatra are currently unknown, but the observed tendency of some fossil taxa assigned to Pseudocleopatra towards thalassoidism, i.e., the resemblance to marine gastropods, has led to the hypothesis that some of the thalassoid endemics in Lake Tanganyika may have originated from or be related to Pseudocleopatra. Should this hypothesis be correct, which is in need of testing by molecular genetic methods when suitable samples become available, Pseudocleopatra may play a crucial role in understanding of the evolution of thalassoidism in African Paludomidae. KW - Africa KW - Congo River KW - Volta River KW - thalassoidism KW - geometric morphometrics KW - multivariate ratio analysis Y1 - 2019 U6 - https://doi.org/10.11646/zootaxa.4674.3.1 SN - 1175-5326 SN - 1175-5334 VL - 4674 IS - 3 SP - 301 EP - 328 PB - Magnolia Press CY - Auckland ER - TY - JOUR A1 - Kahl, Sandra A1 - Lenhard, Michael A1 - Joshi, Jasmin Radha T1 - Compensatory mechanisms to climate change in the widely distributed species Silene vulgaris JF - The journal of ecology N2 - The adaptation of plants to future climatic conditions is crucial for their survival. Not surprisingly, phenotypic responses to climate change have already been observed in many plant populations. These responses may be due to evolutionary adaptive changes or phenotypic plasticity. Especially plant species with a wide geographic range are either expected to show genetic differentiation in response to differing climate conditions or to have a high phenotypic plasticity. We investigated phenotypic responses and plasticity as an estimate of the adaptive potential in the widespread species Silene vulgaris. In a greenhouse experiment, 25 European populations covering a geographic range from the Canary Islands to Sweden were exposed to three experimental precipitation and two temperature regimes mimicking a possible climate-change scenario for central Europe. We hypothesized that southern populations have a better performance under high temperature and drought conditions, as they are already adapted to a comparable environment. We found that our treatments significantly influenced the plants, but did not reveal a latitudinal difference in response to climate treatments for most plant traits. Only flower number showed a stronger plasticity in northern European populations (e.g. Swedish populations) where numbers decreased more drastically with increased temperature and decreased precipitation treatment. Synthesis. The significant treatment response in Silene vulgaris, independent of population origin - except for the number of flowers produced - suggests a high degree of universal phenotypic plasticity in this widely distributed species. This reflects the likely adaptation strategy of the species and forms the basis for a successful survival strategy during upcoming climatic changes. However, as flower number, a strongly fitness-related trait, decreased more strongly in northern populations under a climate-change scenario, there might be limits to adaptation even in this widespread, plastic species. KW - climate change KW - global change ecology KW - latitudinal gradient KW - local adaptation KW - phenotypic plasticity KW - plant performance KW - temperature increase Y1 - 2019 U6 - https://doi.org/10.1111/1365-2745.13133 SN - 0022-0477 SN - 1365-2745 VL - 107 IS - 4 SP - 1918 EP - 1930 PB - Wiley CY - Hoboken ER - TY - JOUR A1 - Ette, Ottmar A1 - Schwarz, Ingo A1 - Gao, Hong A1 - Kraft, Tobias A1 - Kutzinski, Vera A1 - Zielnica, Krzysztof ED - Ette, Ottmar ED - Knobloch, Eberhard T1 - HiN : Alexander von Humboldt im Netz N2 - -Ottmar Ette, Ingo Schwarz: „Ein junges, neues Geschlecht wird besseres liefern als das alte“. Ein Empfehlungsbrief Alexander von Humboldts für Carl Ludwig -GAO Hong: Nachgedanken zur Übersetzung des ersten Bandes von Humboldts Kosmos -Tobias Kraft: Neue Quellen zu Humboldts Kuba-Forschung. Das „Digitale Dossier“ des Proyecto Humboldt Digital (2019 – 2023) -Vera Kutzinski: Off-Road Adventures: Reading Statistics in Alexander von Humboldt’s Political Essay on the Kingdom of New Spain -Krzysztof Zielnica: Alexander von Humboldt und Polen – zum 150. Jahrestag seiner Reise nach Warschau. Mit einleitenden Worten von Ingo Schwarz T3 - HiN : Alexander von Humboldt im Netz ; International Review for Humboldtian Studies - 48 KW - Alexander von Humboldt KW - Förderung junger Wissenschaftler KW - Carl Ludwig KW - Emil du Bois-Reymond KW - Kurhessen KW - Bernhard Eberhard KW - Physiologie KW - Kosmos KW - Zusammenhänge der Naturerscheinungen und deren Wechselwirkungen auf einander KW - Ehrfurcht vor Kosmos KW - architektonische Schönheit der Humboldt’schen Sprache KW - digitale Geisteswissenschaften KW - Kuba KW - Editionsphilologie KW - Humboldt-Nachlass KW - Essai politique sur l'île de Cuba KW - statistics KW - visuality and narrative KW - word-image relations KW - New Spain KW - Verhältnis zu Polen KW - Ehrenmitglied der Warschauer Gesellschaft der Freunde der Wissenschaften KW - Julian Ursyn Niemcewicz KW - Nikolaus I. KW - Kaiser von Russland und König von Polen (Kongresspolen) Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-633524 SN - 2568-3543 SN - 1617-5239 VL - XXV IS - 48 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Nasr, Omar T. A1 - Corbett, Tim T1 - Diversifying Modern Austrian History BT - Exploring Parallels and Intersections between Jewish and Muslim Histories in Austria JF - PaRDeS N2 - Jews and Muslims have lived in the territory of modern-day Austria for centuries untold, yet often continue to be construed as the essential “other.” This essay explores a selection of sometimes divergent, sometimes convergent historical experiences amongst these two broad population groups, focusing specifically on demographic diversity, community-building, discrimination and persecution, and the post-war situation. The ultimate aim is to illuminate paradigmatically through the Austrian case study the complex multicultural mosaic of historical Central Europe, the understanding of which, so our contention, sheds a critical light on the often divisive present-day debates concerning immigration and diversity in Austria and Central Europe more broadly. It furthermore opens up a hitherto understudied field of historical research, namely the entangled history of Jews and Muslims in modern Europe. Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-650290 SN - 978-3-86956-574-3 SN - 1614-6492 SN - 1862-7684 IS - 29 SP - 137 EP - 147 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Saikin, Anthony A1 - Jordanova, Vania K. A1 - Zhang, J. C. A1 - Smith, C. W. A1 - Spence, H. E. A1 - Larsen, B. A. A1 - Reeves, G. D. A1 - Torbert, R. B. A1 - Kletzing, C. A. A1 - Zhelayskaya, I. S. A1 - Shprits, Yuri T1 - Comparing simulated and observed EMIC wave amplitudes using in situ Van JF - Journal of Atmospheric and Solar-Terrestrial Physics N2 - We perform a statistical study calculating electromagnetic ion cyclotron (EMIC) wave amplitudes based off in situ plasma measurements taken by the Van Allen Probes’ (1.1–5.8 Re) Helium, Oxygen, Proton, Electron (HOPE) instrument. Calculated wave amplitudes are compared to EMIC waves observed by the Electric and Magnetic Field Instrument Suite and Integrated Science on board the Van Allen Probes during the same period. The survey covers a 22-month period (1 November 2012 to 31 August 2014), a full Van Allen Probe magnetic local time (MLT) precession. The linear theory proxy was used to identify EMIC wave events with plasma conditions favorable for EMIC wave excitation. Two hundred and thirty-two EMIC wave events (103 H+-band and 129 He+-band) were selected for this comparison. Nearly all events selected are observed beyond L = 4. Results show that calculated wave amplitudes exclusively using the in situ HOPE measurements produce amplitudes too low compared to the observed EMIC wave amplitudes. Hot proton anisotropy (Ahp) distributions are asymmetric in MLT within the inner (L < 7) magnetosphere with peak (minimum) Ahp, ∼0.81 to 1.00 (∼0.62), observed in the dawn (dusk), 0000 < MLT ≤ 1200 (1200 < MLT ≤ 2400), sectors. Measurements of Ahp are found to decrease in the presence of EMIC wave activity. Ahp amplification factors are determined and vary with respect to EMIC wave-band and MLT. He+-band events generally require double (quadruple) the measured Ahp for the dawn (dusk) sector to reproduce the observed EMIC wave amplitudes. KW - EMIC waves KW - Van Allen Probes KW - Linear theory KW - Wave generation Y1 - 2018 U6 - https://doi.org/10.1016/j.jastp.2018.01.024 SN - 1364-6826 SN - 1879-1824 VL - 177 SP - 190 EP - 201 PB - Elsevier CY - Oxford ER - TY - JOUR A1 - Landis, Daji August A1 - Saikin, Anthony A1 - Zhelavskaya, Irina A1 - Drozdov, Alexander A1 - Aseev, Nikita A1 - Shprits, Yuri A1 - Pfitzer, Maximilian F. A1 - Smirnov, Artem G. T1 - NARX Neural Network Derivations of the Outer Boundary Radiation Belt Electron Flux JF - Space Weather: the international journal of research and applications N2 - We present two new empirical models of radiation belt electron flux at geostationary orbit. GOES-15 measurements of 0.8 MeV electrons were used to train a Nonlinear Autoregressive with Exogenous input (NARX) neural network for both modeling GOES-15 flux values and an upper boundary condition scaling factor (BF). The GOES-15 flux model utilizes an input and feedback delay of 2 and 2 time steps (i.e., 5 min time steps) with the most efficient number of hidden layers set to 10. Magnetic local time, Dst, Kp, solar wind dynamic pressure, AE, and solar wind velocity were found to perform as predicative indicators of GOES-15 flux and therefore were used as the exogenous inputs. The NARX-derived upper boundary condition scaling factor was used in conjunction with the Versatile Electron Radiation Belt (VERB) code to produce reconstructions of the radiation belts during the period of July-November 1990, independent of in-situ observations. Here, Kp was chosen as the sole exogenous input to be more compatible with the VERB code. This Combined Release and Radiation Effects Satellite-era reconstruction showcases the potential to use these neural network-derived boundary conditions as a method of hindcasting the historical radiation belts. This study serves as a companion paper to another recently published study on reconstructing the radiation belts during Solar Cycles 17-24 (Saikin et al., 2021, ), for which the results featured in this paper were used. KW - radiation belts KW - forecasting (1922, 4315, 7924, 7964) KW - machine learning (0555) Y1 - 2022 U6 - https://doi.org/10.1029/2021SW002774 SN - 1542-7390 VL - 20 IS - 5 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Prol, Fabricio S. A1 - Smirnov, Artem G. A1 - Hoque, M. Mainul A1 - Shprits, Yuri T1 - Combined model of topside ionosphere and plasmasphere derived from radio-occultation and Van Allen Probes data JF - Scientific reports N2 - In the last years, electron density profile functions characterized by a linear dependence on the scale height showed good results when approximating the topside ionosphere. The performance above 800 km, however, is not yet well investigated. This study investigates the capability of the semi-Epstein functions to represent electron density profiles from the peak height up to 20,000 km. Electron density observations recorded by the Van Allen Probes were used to resolve the scale height dependence in the plasmasphere. It was found that the linear dependence of the scale height in the topside ionosphere cannot be directly used to extrapolate profiles above 800 km. We find that the dependence of scale heights on altitude is quadratic in the plasmasphere. A statistical model of the scale heights is therefore proposed. After combining the topside ionosphere and plasmasphere by a unified model, we have obtained good estimations not only in the profile shapes, but also in the Total Electron Content magnitude and distributions when compared to actual measurements from 2013, 2014, 2016 and 2017. Our investigation shows that Van Allen Probes can be merged to radio-occultation data to properly represent the upper ionosphere and plasmasphere by means of a semi-Epstein function. Y1 - 2022 U6 - https://doi.org/10.1038/s41598-022-13302-1 SN - 2045-2322 VL - 12 IS - 1 PB - Macmillan Publishers Limited, part of Springer Nature CY - London ER - TY - JOUR A1 - Shprits, Yuri A1 - Allison, Hayley J. A1 - Wang, Dedong A1 - Drozdov, Alexander A1 - Szabo-Roberts, Matyas A1 - Zhelavskaya, Irina A1 - Vasile, Ruggero T1 - A new population of ultra-relativistic electrons in the outer radiation zone JF - Journal of geophysical research : Space physics N2 - Van Allen Probes measurements revealed the presence of the most unusual structures in the ultra-relativistic radiation belts. Detailed modeling, analysis of pitch angle distributions, analysis of the difference between relativistic and ultra-realistic electron evolution, along with theoretical studies of the scattering and wave growth, all indicate that electromagnetic ion cyclotron (EMIC) waves can produce a very efficient loss of the ultra-relativistic electrons in the heart of the radiation belts. Moreover, a detailed analysis of the profiles of phase space densities provides direct evidence for localized loss by EMIC waves. The evolution of multi-MeV fluxes shows dramatic and very sudden enhancements of electrons for selected storms. Analysis of phase space density profiles reveals that growing peaks at different values of the first invariant are formed at approximately the same radial distance from the Earth and show the sequential formation of the peaks from lower to higher energies, indicating that local energy diffusion is the dominant source of the acceleration from MeV to multi-MeV energies. Further simultaneous analysis of the background density and ultra-relativistic electron fluxes shows that the acceleration to multi-MeV energies only occurs when plasma density is significantly depleted outside of the plasmasphere, which is consistent with the modeling of acceleration due to chorus waves. KW - radiation belts KW - ultra-relativistic electrons KW - EMIC waves KW - modeling; KW - plasma density KW - chorus waves Y1 - 2022 U6 - https://doi.org/10.1029/2021JA030214 SN - 2169-9380 SN - 2169-9402 VL - 127 IS - 5 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Haas, Bernhard A1 - Shprits, Yuri A1 - Allison, Hayley A1 - Wutzig, Michael A1 - Wang, Dedong T1 - Which parameter controls ring current electron dynamics JF - Frontiers in astronomy and space sciences N2 - Predicting the electron population of Earth's ring current during geomagnetic storms still remains a challenging task. In this work, we investigate the sensitivity of 10 keV ring current electrons to different driving processes, parameterised by the Kp index, during several moderate and intense storms. Results are validated against measurements from the Van Allen Probes satellites. Perturbing the Kp index allows us to identify the most dominant processes for moderate and intense storms respectively. We find that during moderate storms (Kp < 6) the drift velocities mostly control the behaviour of low energy electrons, while loss from wave-particle interactions is the most critical parameter for quantifying the evolution of intense storms (Kp > 6). Perturbations of the Kp index used to drive the boundary conditions at GEO and set the plasmapause location only show a minimal effect on simulation results over a limited L range. It is further shown that the flux at L & SIM; 3 is more sensitive to changes in the Kp index compared to higher L shells, making it a good proxy for validating the source-loss balance of a ring current model. KW - ring current KW - magnetosphere KW - electron lifetimes KW - electrons KW - van allen probes (RBSP) KW - ring current model KW - verb Y1 - 2022 U6 - https://doi.org/10.3389/fspas.2022.911002 SN - 2296-987X VL - 9 PB - Frontiers Media CY - Lausanne ER - TY - JOUR A1 - Drozdov, Alexander A1 - Allison, Hayley J. A1 - Shprits, Yuri A1 - Usanova, Maria E. A1 - Saikin, Anthony A1 - Wang, Dedong T1 - Depletions of Multi-MeV Electrons and their association to Minima in Phase Space Density JF - Geophysical research letters N2 - Fast-localized electron loss, resulting from interactions with electromagnetic ion cyclotron (EMIC) waves, can produce deepening minima in phase space density (PSD) radial profiles. Here, we perform a statistical analysis of local PSD minima to quantify how readily these are associated with radiation belt depletions. The statistics of PSD minima observed over a year are compared to the Versatile Electron Radiation Belts (VERB) simulations, both including and excluding EMIC waves. The observed minima distribution can only be achieved in the simulation including EMIC waves, indicating their importance in the dynamics of the radiation belts. By analyzing electron flux depletions in conjunction with the observed PSD minima, we show that, in the heart of the outer radiation belt (L* < 5), on average, 53% of multi-MeV electron depletions are associated with PSD minima, demonstrating that fast localized loss by interactions with EMIC waves are a common and crucial process for ultra-relativistic electron populations. KW - radiation belts KW - EMIC KW - VERB KW - PSD Y1 - 2022 U6 - https://doi.org/10.1029/2021GL097620 SN - 0094-8276 SN - 1944-8007 VL - 49 IS - 8 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Mileo, Alessandra A1 - Schaub, Torsten A1 - Merico, Davide A1 - Bisiani, Roberto T1 - Knowledge-based multi-criteria optimization to support indoor positioning JF - Annals of mathematics and artificial intelligence N2 - Indoor position estimation constitutes a central task in home-based assisted living environments. Such environments often rely on a heterogeneous collection of low-cost sensors whose diversity and lack of precision has to be compensated by advanced techniques for localization and tracking. Although there are well established quantitative methods in robotics and neighboring fields for addressing these problems, they lack advanced knowledge representation and reasoning capacities. Such capabilities are not only useful in dealing with heterogeneous and incomplete information but moreover they allow for a better inclusion of semantic information and more general homecare and patient-related knowledge. We address this problem and investigate how state-of-the-art localization and tracking methods can be combined with Answer Set Programming, as a popular knowledge representation and reasoning formalism. We report upon a case-study and provide a first experimental evaluation of knowledge-based position estimation both in a simulated as well as in a real setting. KW - Knowledge representation KW - Answer Set Programming KW - Wireless Sensor Networks KW - Localization KW - Tracking Y1 - 2011 U6 - https://doi.org/10.1007/s10472-011-9241-2 SN - 1012-2443 SN - 1573-7470 VL - 62 IS - 3-4 SP - 345 EP - 370 PB - Springer CY - Dordrecht ER - TY - GEN A1 - Sadovnichii, V. A. A1 - Panasyuk, M. I. A1 - Amelyushkin, A. M. A1 - Benghin, V. V. A1 - Garipov, G. K. A1 - Kalegaev, V. V. A1 - Klimov, P. A. A1 - Khrenov, B. A. A1 - Petrov, V. L. A1 - Sharakin, S. A. A1 - Shirokov, A. V. A1 - Svertilov, S. I. A1 - Zotov, M. Y. A1 - Yashin, I. V. A1 - Gorbovskoy, E. S. A1 - Lipunov, V. M. A1 - Park, I. H. A1 - Lee, J. A1 - Jeong, S. A1 - Kim, M. B. A1 - Jeong, H. M. A1 - Shprits, Yuri A1 - Angelopoulos, V. A1 - Russell, C. T. A1 - Runov, A. A1 - Turner, D. A1 - Strangeway, R. J. A1 - Caron, R. A1 - Biktemerova, S. A1 - Grinyuk, A. A1 - Lavrova, M. A1 - Tkachev, L. A1 - Tkachenko, A. A1 - Martinez, O. A1 - Salazar, H. A1 - Ponce, E. T1 - "Lomonosov" satellite-space observatory to study extreme phenomena in space T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - The "Lomonosov" space project is lead by Lomonosov Moscow State University in collaboration with the following key partners: Joint Institute for Nuclear Research, Russia, University of California, Los Angeles (USA), University of Pueblo (Mexico), Sungkyunkwan University (Republic of Korea) and with Russian space industry organi-zations to study some of extreme phenomena in space related to astrophysics, astroparticle physics, space physics, and space biology. The primary goals of this experiment are to study: -Ultra-high energy cosmic rays (UHECR) in the energy range of the Greizen-ZatsepinKuzmin (GZK) cutoff; -Ultraviolet (UV) transient luminous events in the upper atmosphere; -Multi-wavelength study of gamma-ray bursts in visible, UV, gamma, and X-rays; -Energetic trapped and precipitated radiation (electrons and protons) at low-Earth orbit (LEO) in connection with global geomagnetic disturbances; -Multicomponent radiation doses along the orbit of spacecraft under different geomagnetic conditions and testing of space segments of optical observations of space-debris and other space objects; -Instrumental vestibular-sensor conflict of zero-gravity phenomena during space flight. This paper is directed towards the general description of both scientific goals of the project and scientific equipment on board the satellite. The following papers of this issue are devoted to detailed descriptions of scientific instruments. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 959 KW - gamma-ray bursts KW - ultra-high energy cosmic rays KW - radiation belts KW - space mission Y1 - 2020 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-428185 SN - 1866-8372 IS - 959 SP - 1705 EP - 1738 ER - TY - JOUR A1 - Kim, Kyung-Chan A1 - Shprits, Yuri T1 - Statistical Analysis of Hiss Waves in Plasmaspheric Plumes Using Van Allen Probe Observations JF - Journal of geophysical research : Space physics N2 - Plasmaspheric hiss waves commonly observed in high‐density regions in the Earth's magnetosphere are known to be one of the main contributors to the loss of radiation belt electrons. There has been a lot of effort to investigate the distributions of hiss waves in the plasmasphere, while relatively little attention has been given to those in the plasmaspheric plume. In this study, we present for the first time a statistical analysis of the occurrence and the spatial distribution of wave amplitudes and wave normal angles for hiss waves in plumes using Van Allen Probes observations during the period of October 2012 to December 2016. Statistical results show that a wide range of hiss wave amplitudes in plumes from a few picotesla to >100 pT is observed, but a modest (<20 pT) wave amplitude is more commonly observed regardless of geomagnetic activity in both the midnight‐to‐dawn and dusk sector. By contrast, stronger amplitude hiss occurs preferentially during geomagnetically active times in the dusk sector. The wave normal angles are distributed over a broad range from 0° to 90° with a bimodal distribution: a quasi‐field‐aligned population (<20°) with an occurrence rate of <60% and an oblique one (>50°) with a relative low occurrence rate of ≲20%. Therefore, from a statistical point of view, we confirm that the hiss intensity (a few tens of picotesla) and field‐aligned hiss wave adopted in previous simulation studies are a reasonable assumption but stress that the activity dependence of the wave amplitude should be considered. KW - plasmaspheric hiss KW - plasmaspheric plume KW - Van Allen Probes Y1 - 2019 U6 - https://doi.org/10.1029/2018JA026458 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 3 SP - 1904 EP - 1915 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Fandiño, Jorge A1 - Lifschitz, Vladimir A1 - Lühne, Patrick A1 - Schaub, Torsten T1 - Verifying tight logic programs with Anthem and Vampire JF - Theory and practice of logic programming N2 - This paper continues the line of research aimed at investigating the relationship between logic programs and first-order theories. We extend the definition of program completion to programs with input and output in a subset of the input language of the ASP grounder gringo, study the relationship between stable models and completion in this context, and describe preliminary experiments with the use of two software tools, anthem and vampire, for verifying the correctness of programs with input and output. Proofs of theorems are based on a lemma that relates the semantics of programs studied in this paper to stable models of first-order formulas. Y1 - 2020 U6 - https://doi.org/10.1017/S1471068420000344 SN - 1471-0684 SN - 1475-3081 VL - 20 IS - 5 SP - 735 EP - 750 PB - Cambridge Univ. Press CY - Cambridge [u.a.] ER - TY - JOUR A1 - Ripoll, Jean-François A1 - Loridan, Vivien A1 - Cunningham, G. S. A1 - Reeves, Geoffrey D. A1 - Shprits, Yuri T1 - On the time needed to reach an equilibrium structure of the radiation belts JF - Journal of geophysical research : Space physics N2 - In this study, we complement the notion of equilibrium states of the radiation belts with a discussion on the dynamics and time needed to reach equilibrium. We solve for the equilibrium states obtained using 1-D radial diffusion with recently developed hiss and chorus lifetimes at constant values of Kp = 1, 3, and 6. We find that the equilibrium states at moderately low Kp, when plotted versus L shell (L) and energy (E), display the same interesting S shape for the inner edge of the outer belt as recently observed by the Van Allen Probes. The S shape is also produced as the radiation belts dynamically evolve toward the equilibrium state when initialized to simulate the buildup after a massive dropout or to simulate loss due to outward diffusion from a saturated state. Physically, this shape, intimately linked with the slot structure, is due to the dependence of electron loss rate (originating from wave-particle interactions) on both energy and L shell. Equilibrium electron flux profiles are governed by the Biot number (tau(Diffusion)/tau(loss)), with large Biot number corresponding to low fluxes and low Biot number to large fluxes. The time it takes for the flux at a specific (L, E) to reach the value associated with the equilibrium state, starting from these different initial states, is governed by the initial state of the belts, the property of the dynamics (diffusion coefficients), and the size of the domain of computation. Its structure shows a rather complex scissor form in the (L, E) plane. The equilibrium value (phase space density or flux) is practically reachable only for selected regions in (L, E) and geomagnetic activity. Convergence to equilibrium requires hundreds of days in the inner belt for E>300 keV and moderate Kp (<= 3). It takes less time to reach equilibrium during disturbed geomagnetic conditions (Kp = 3), when the system evolves faster. Restricting our interest to the slot region, below L = 4, we find that only small regions in (L, E) space can reach the equilibrium value: E similar to [200, 300] keV for L= [3.7, 4] at Kp= 1, E similar to[0.6, 1] MeV for L = [3, 4] at Kp = 3, and E similar to 300 keV for L = [3.5, 4] at Kp = 6 assuming no new incoming electrons. Y1 - 2016 U6 - https://doi.org/10.1002/2015JA022207 SN - 2169-9380 SN - 2169-9402 VL - 121 SP - 7684 EP - 7698 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Zhelavskaya, Irina A1 - Shprits, Yuri A1 - Spasojevic, Maria T1 - Empirical Modeling of the Plasmasphere Dynamics Using Neural Networks JF - Journal of geophysical research : Space physics N2 - We present the PINE (Plasma density in the Inner magnetosphere Neural network‐based Empirical) model ‐ a new empirical model for reconstructing the global dynamics of the cold plasma density distribution based only on solar wind data and geomagnetic indices. Utilizing the density database obtained using the NURD (Neural‐network‐based Upper hybrid Resonance Determination) algorithm for the period of 1 October 2012 to 1 July 2016, in conjunction with solar wind data and geomagnetic indices, we develop a neural network model that is capable of globally reconstructing the dynamics of the cold plasma density distribution for 2≤L≤6 and all local times. We validate and test the model by measuring its performance on independent data sets withheld from the training set and by comparing the model‐predicted global evolution with global images of He+ distribution in the Earth's plasmasphere from the IMAGE Extreme UltraViolet (EUV) instrument. We identify the parameters that best quantify the plasmasphere dynamics by training and comparing multiple neural networks with different combinations of input parameters (geomagnetic indices, solar wind data, and different durations of their time history). The optimal model is based on the 96 h time history of Kp, AE, SYM‐H, and F10.7 indices. The model successfully reproduces erosion of the plasmasphere on the nightside and plume formation and evolution. We demonstrate results of both local and global plasma density reconstruction. This study illustrates how global dynamics can be reconstructed from local in situ observations by using machine learning techniques. Y1 - 2017 U6 - https://doi.org/10.1002/2017JA024406 SN - 2169-9380 SN - 2169-9402 VL - 122 SP - 11227 EP - 11244 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Zhelavskaya, Irina A1 - Spasojevic, M. A1 - Shprits, Yuri A1 - Kurth, William S. T1 - Automated determination of electron density from electric field measurements on the Van Allen Probes spacecraft JF - Journal of geophysical research : Space physics N2 - We present the Neural-network-based Upper hybrid Resonance Determination (NURD) algorithm for automatic inference of the electron number density from plasma wave measurements made on board NASA's Van Allen Probes mission. A feedforward neural network is developed to determine the upper hybrid resonance frequency, fuhr, from electric field measurements, which is then used to calculate the electron number density. In previous missions, the plasma resonance bands were manually identified, and there have been few attempts to do robust, routine automated detections. We describe the design and implementation of the algorithm and perform an initial analysis of the resulting electron number density distribution obtained by applying NURD to 2.5 years of data collected with the Electric and Magnetic Field Instrument Suite and Integrated Science (EMFISIS) instrumentation suite of the Van Allen Probes mission. Densities obtained by NURD are compared to those obtained by another recently developed automated technique and also to an existing empirical plasmasphere and trough density model. KW - Van Allen Probes KW - electron number density KW - neural networks Y1 - 2016 U6 - https://doi.org/10.1002/2015JA022132 SN - 2169-9380 SN - 2169-9402 VL - 121 SP - 4611 EP - 4625 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Boyd, A. J. A1 - Spence, Harlan E. A1 - Huang, Chia-Lin A1 - Reeves, Geoffrey D. A1 - Baker, Daniel N. A1 - Turner, D. L. A1 - Claudepierre, Seth G. A1 - Fennell, Joseph F. A1 - Blake, J. Bernard A1 - Shprits, Yuri T1 - Statistical properties of the radiation belt seed population JF - Journal of geophysical research : Space physics N2 - We present a statistical analysis of phase space density data from the first 26 months of the Van Allen Probes mission. In particular, we investigate the relationship between the tens and hundreds of keV seed electrons and >1 MeV core radiation belt electron population. Using a cross-correlation analysis, we find that the seed and core populations are well correlated with a coefficient of approximate to 0.73 with a time lag of 10-15 h. We present evidence of a seed population threshold that is necessary for subsequent acceleration. The depth of penetration of the seed population determines the inner boundary of the acceleration process. However, we show that an enhanced seed population alone is not enough to produce acceleration in the higher energies, implying that the seed population of hundreds of keV electrons is only one of several conditions required for MeV electron radiation belt acceleration. Y1 - 2016 U6 - https://doi.org/10.1002/2016JA022652 SN - 2169-9380 SN - 2169-9402 VL - 121 SP - 7636 EP - 7646 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Cao, Xing A1 - Shprits, Yuri A1 - Ni, Binbin A1 - Zhelavskaya, Irina T1 - Scattering of Ultra-relativistic Electrons in the Van Allen Radiation Belts Accounting for Hot Plasma Effects JF - Scientific reports N2 - Electron flux in the Earth’s outer radiation belt is highly variable due to a delicate balance between competing acceleration and loss processes. It has been long recognized that Electromagnetic Ion Cyclotron (EMIC) waves may play a crucial role in the loss of radiation belt electrons. Previous theoretical studies proposed that EMIC waves may account for the loss of the relativistic electron population. However, recent observations showed that while EMIC waves are responsible for the significant loss of ultra-relativistic electrons, the relativistic electron population is almost unaffected. In this study, we provide a theoretical explanation for this discrepancy between previous theoretical studies and recent observations. We demonstrate that EMIC waves mainly contribute to the loss of ultra-relativistic electrons. This study significantly improves the current understanding of the electron dynamics in the Earth’s radiation belt and also can help us understand the radiation environments of the exoplanets and outer planets. Y1 - 2017 U6 - https://doi.org/10.1038/s41598-017-17739-7 SN - 2045-2322 VL - 7 PB - Nature Publ. Group CY - London ER - TY - JOUR A1 - Abseher, Michael A1 - Musliu, Nysret A1 - Woltran, Stefan A1 - Gebser, Martin A1 - Schaub, Torsten T1 - Shift Design with Answer Set Programming JF - Fundamenta informaticae N2 - Answer Set Programming (ASP) is a powerful declarative programming paradigm that has been successfully applied to many different domains. Recently, ASP has also proved successful for hard optimization problems like course timetabling and travel allotment. In this paper, we approach another important task, namely, the shift design problem, aiming at an alignment of a minimum number of shifts in order to meet required numbers of employees (which typically vary for different time periods) in such a way that over- and understaffing is minimized. We provide an ASP encoding of the shift design problem, which, to the best of our knowledge, has not been addressed by ASP yet. Our experimental results demonstrate that ASP is capable of improving the best known solutions to some benchmark problems. Other instances remain challenging and make the shift design problem an interesting benchmark for ASP-based optimization methods. Y1 - 2016 U6 - https://doi.org/10.3233/FI-2016-1396 SN - 0169-2968 SN - 1875-8681 VL - 147 SP - 1 EP - 25 PB - IOS Press CY - Amsterdam ER - TY - JOUR A1 - Gebser, Martin A1 - Schaub, Torsten T1 - Modeling and Language Extensions JF - AI magazine N2 - Answer set programming (ASP) has emerged as an approach to declarative problem solving based on the stable model semantics for logic programs. The basic idea is to represent a computational problem by a logic program, formulating constraints in terms of rules, such that its answer sets correspond to problem solutions. To this end, ASP combines an expressive language for high-level modeling with powerful low-level reasoning capacities, provided by off-the-shelf tools. Compact problem representations take advantage of genuine modeling features of ASP, including (first-order) variables, negation by default, and recursion. In this article, we demonstrate the ASP methodology on two example scenarios, illustrating basic as well as advanced modeling and solving concepts. We also discuss mechanisms to represent and implement extended kinds of preferences and optimization. An overview of further available extensions concludes the article. Y1 - 2016 SN - 0738-4602 VL - 37 SP - 33 EP - 44 PB - Association for the Advancement of Artificial Intelligence CY - Menlo Park ER - TY - JOUR A1 - Kaufmann, Benjamin A1 - Leone, Nicola A1 - Perri, Simona A1 - Schaub, Torsten T1 - Grounding and Solving in Answer Set Programming JF - AI magazine N2 - Answer set programming is a declarative problem-solving paradigm that rests upon a work flow involving modeling, grounding, and solving. While the former is described by Gebser and Schaub (2016), we focus here on key issues in grounding, or how to systematically replace object variables by ground terms in an effective way, and solving, or how to compute the answer sets, of a propositional logic program obtained by grounding. Y1 - 2016 SN - 0738-4602 VL - 37 SP - 25 EP - 32 PB - Association for the Advancement of Artificial Intelligence CY - Menlo Park ER - TY - GEN A1 - Shprits, Yuri T1 - Editorial: Topical Collection on the Lomonosov Mission T2 - Space science reviews Y1 - 2017 U6 - https://doi.org/10.1007/s11214-017-0393-1 SN - 0038-6308 SN - 1572-9672 VL - 212 SP - 1685 EP - 1686 PB - Springer CY - Dordrecht ER - TY - GEN A1 - Woodfield, Emma E. A1 - Horne, Richard B. A1 - Glauert, Sarah A. A1 - Menietti, John D. A1 - Shprits, Yuri A1 - Kurth, William S. T1 - Formation of electron radiation belts at Saturn by Z-mode wave acceleration T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - At Saturn electrons are trapped in the planet's magnetic field and accelerated to relativistic energies to form the radiation belts, but how this dramatic increase in electron energy occurs is still unknown. Until now the mechanism of radial diffusion has been assumed but we show here that in-situ acceleration through wave particle interactions, which initial studies dismissed as ineffectual at Saturn, is in fact a vital part of the energetic particle dynamics there. We present evidence from numerical simulations based on Cassini spacecraft data that a particular plasma wave, known as Z-mode, accelerates electrons to MeV energies inside 4 R-S (1 R-S = 60,330 km) through a Doppler shifted cyclotron resonant interaction. Our results show that the Z-mode waves observed are not oblique as previously assumed and are much better accelerators than O-mode waves, resulting in an electron energy spectrum that closely approaches observed values without any transport effects included. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 1032 KW - astrophysical plasmas KW - giant planets KW - magnetospheric physics KW - diffusion KW - pitch angle KW - plasma KW - radio KW - region Y1 - 2020 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-468342 SN - 1866-8372 IS - 1032 ER - TY - JOUR A1 - Zhu, Hui A1 - Shprits, Yuri A1 - Spasojevic, M. A1 - Drozdov, Alexander T1 - New hiss and chorus waves diffusion coefficient parameterizations from the Van Allen Probes and their effect on long-term relativistic electron radiation-belt VERB simulations JF - Journal of Atmospheric and Solar-Terrestrial Physics N2 - New wave frequency and amplitude models for the nightside and dayside chorus waves are built based on measurements from the Electric and Magnetic Field Instrument Suite and Integrated Science (EMFISIS) instrument onboard the Van Allen Probes. The corresponding 3D diffusion coefficients are systematically obtained. Compared with previous commonly-used (typical) parameterizations, the new parameterizations result in differences in diffusion rates that depend on the energy and pitch angle. Furthermore, one-year 3D diffusive simulations are performed using the Versatile Electron Radiation Belt (VERB) code. Both typical and new wave parameterizations simulation results are in a good agreement with observations at 0.9 MeV. However, the new parameterizations for nightside chorus better reproduce the observed electron fluxes. These parameterizations will be incorporated into future modeling efforts. KW - Inner magnetosphere KW - Radiation belts KW - Chorus waves KW - Diffusion coefficients KW - VERB code Y1 - 2019 U6 - https://doi.org/10.1016/j.jastp.2019.105090 SN - 1364-6826 SN - 1879-1824 VL - 193 PB - Elsevier CY - Oxford ER - TY - JOUR A1 - Kim, Kyung-Chan A1 - Shprits, Yuri T1 - Dependence of the amplitude of magnetosonic waves on the solar wind and AE index using Van Allen Probes JF - Journal of geophysical research : Space physics N2 - We present the dependence of the magnetosonic wave amplitudes both outside and inside the plasmapause on the solar wind and AE index using Van Allen Probe-A spacecraft during the time period of 1 October 2012 to 31 December 2015, based on a correlation and regression analysis. Solar wind parameters considered are the southward interplanetary magnetic field (IMF B-S), solar wind number density (N-SW), and bulk speed (V-SW). We find that the wave amplitudes outside (inside) the plasmapause are well correlated with the preceding AE, IMF B-S, and N-SW with time delays, each corresponding to 2-3 h (3-4 h), 4-5 h (3-4 h), and 2-3 h (8-9 h), while the correlation with V-SW is ambiguous both inside and outside the plasmapause. As measured by the correlation coefficient, the IMF B-S is the most influential solar wind parameter that affects the dayside wave amplitudes both outside and inside the plasmapause, while N-SW contributes to enhancing the duskside waves outside the plasmapause. The AE effect on wave amplitudes is comparable to that of IMF B-S. More interestingly, regression with time histories of the solar wind parameters and the AE index preceding the wave measurements outside the plasmapause shows significant dependence on the IMF B-S, N-SW, and AE: the region of peak coefficients is changed with time delay for IMF B-S and AE, while isolated peaks around duskside remain gradually decrease with time for N-SW. In addition, the regression with magnetosonic waves inside the plasmapause shows high coefficients around prenoon sector with preceding IMF B-S and V-SW. KW - magnetosonic equatorial noise KW - solar wind dependence KW - Van Allen Probes Y1 - 2017 U6 - https://doi.org/10.1002/2017JA024094 SN - 2169-9380 SN - 2169-9402 VL - 122 SP - 6022 EP - 6034 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Drozdov, Alexander A1 - Shprits, Yuri A1 - Usanova, Maria E. A1 - Aseev, Nikita A1 - Kellerman, Adam C. A1 - Zhu, H. T1 - EMIC wave parameterization in the long-term VERB code simulation JF - Journal of geophysical research : Space physics N2 - Electromagnetic ion cyclotron (EMIC) waves play an important role in the dynamics of ultrarelativistic electron population in the radiation belts. However, as EMIC waves are very sporadic, developing a parameterization of such wave properties is a challenging task. Currently, there are no dynamic, activity-dependent models of EMIC waves that can be used in the long-term (several months) simulations, which makes the quantitative modeling of the radiation belt dynamics incomplete. In this study, we investigate Kp, Dst, and AE indices, solar wind speed, and dynamic pressure as possible parameters of EMIC wave presence. The EMIC waves are included in the long-term simulations (1year, including different geomagnetic activity) performed with the Versatile Electron Radiation Belt code, and we compare results of the simulation with the Van Allen Probes observations. The comparison shows that modeling with EMIC waves, parameterized by solar wind dynamic pressure, provides a better agreement with the observations among considered parameterizations. The simulation with EMIC waves improves the dynamics of ultrarelativistic fluxes and reproduces the formation of the local minimum in the phase space density profiles. KW - radiation belts KW - VERB code KW - EMIC Y1 - 2017 U6 - https://doi.org/10.1002/2017JA024389 SN - 2169-9380 SN - 2169-9402 VL - 122 SP - 8488 EP - 8501 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Aseev, Nikita A1 - Shprits, Yuri A1 - Drozdov, Alexander A1 - Kellerman, Adam C. A1 - Usanova, Maria E. A1 - Wang, D. A1 - Zhelavskaya, Irina T1 - Signatures of Ultrarelativistic Electron Loss in the Heart of the Outer Radiation Belt Measured by Van Allen Probes JF - Journal of geophysical research : Space physics N2 - Up until recently, signatures of the ultrarelativistic electron loss driven by electromagnetic ion cyclotron (EMIC) waves in the Earth's outer radiation belt have been limited to direct or indirect measurements of electron precipitation or the narrowing of normalized pitch angle distributions in the heart of the belt. In this study, we demonstrate additional observational evidence of ultrarelativistic electron loss that can be driven by resonant interaction with EMIC waves. We analyzed the profiles derived from Van Allen Probe particle data as a function of time and three adiabatic invariants between 9 October and 29 November 2012. New local minimums in the profiles are accompanied by the narrowing of normalized pitch angle distributions and ground‐based detection of EMIC waves. Such a correlation may be indicative of ultrarelativistic electron precipitation into the Earth's atmosphere caused by resonance with EMIC waves. Y1 - 2017 U6 - https://doi.org/10.1002/2017JA024485 SN - 2169-9380 SN - 2169-9402 VL - 122 SP - 10102 EP - 10111 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Drozdov, Alexander A1 - Aseev, Nikita A1 - Effenberger, Frederic A1 - Turner, Drew L. A1 - Saikin, Anthony A1 - Shprits, Yuri T1 - Storm Time Depletions of Multi-MeV Radiation Belt Electrons Observed at Different Pitch Angles JF - Journal of geophysical research : Space physics N2 - During geomagnetic storms, the rapid depletion of the high-energy (several MeV) outer radiation belt electrons is the result of loss to the interplanetary medium through the magnetopause, outward radial diffusion, and loss to the atmosphere due to wave-particle interactions. We have performed a statistical study of 110 storms using pitch angle resolved electron flux measurements from the Van Allen Probes mission and found that inside of the radiation belt (L* = 3 - 5) the number of storms that result in depletion of electrons with equatorial pitch angle alpha(eq) = 30 degrees is higher than number of storms that result in depletion of electrons with equatorial pitch angle alpha(eq) = 75 degrees. We conclude that this result is consistent with electron scattering by whistler and electromagnetic ion cyclotron waves. At the outer edge of the radiation belt (L* >= 5.2) the number of storms that result in depletion is also large (similar to 40-50%), emphasizing the significance of the magnetopause shadowing effect and outward radial transport. Y1 - 2019 U6 - https://doi.org/10.1029/2019JA027332 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 11 SP - 8943 EP - 8953 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Banbara, Mutsunori A1 - Kaufmann, Benjamin A1 - Ostrowski, Max A1 - Schaub, Torsten T1 - Clingcon: The next generation JF - Theory and practice of logic programming KW - Constraint Answer Set Programming (CASP) KW - Answer Set Programming (ASP) KW - Sat Modulo Theories (SMT) KW - Constraint Programming (CP) Y1 - 2017 U6 - https://doi.org/10.1017/S1471068417000138 SN - 1471-0684 SN - 1475-3081 VL - 17 SP - 408 EP - 461 PB - Cambridge Univ. Press CY - New York ER - TY - GEN A1 - Hoos, Holger A1 - Kaminski, Roland A1 - Lindauer, Marius A1 - Schaub, Torsten T1 - aspeed BT - solver scheduling via answer set programming T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances, and is known to depend strongly on algorithm parameters. This problem was addressed by means of a simple, yet effective approach using handmade, uniform, and unordered schedules of multiple solvers in ppfolio, which showed very impressive performance in the 2011 Satisfiability Testing (SAT) Competition. Inspired by this, we take advantage of the modeling and solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that is, nonuniform and ordered solver schedules from the existing benchmarking data. We begin by formulating the determination of such schedules as multi-criteria optimization problems and provide corresponding ASP encodings. The resulting encodings are easily customizable for different settings, and the computation of optimum schedules can mostly be done in the blink of an eye, even when dealing with large runtime data sets stemming from many solvers on hundreds to thousands of instances. Also, the fact that our approach can be customized easily enabled us to swiftly adapt it to generate parallel schedules for multi-processor machines. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 588 KW - algorithm schedules KW - answer set programming KW - portfolio-based solving Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-414743 SN - 1866-8372 IS - 588 ER - TY - GEN A1 - Gebser, Martin A1 - Kaminski, Roland A1 - Schaub, Torsten T1 - Complex optimization in answer set programming T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - Preference handling and optimization are indispensable means for addressing nontrivial applications in Answer Set Programming (ASP). However, their implementation becomes difficult whenever they bring about a significant increase in computational complexity. As a consequence, existing ASP systems do not offer complex optimization capacities, supporting, for instance, inclusion-based minimization or Pareto efficiency. Rather, such complex criteria are typically addressed by resorting to dedicated modeling techniques, like saturation. Unlike the ease of common ASP modeling, however, these techniques are rather involved and hardly usable by ASP laymen. We address this problem by developing a general implementation technique by means of meta-prpogramming, thus reusing existing ASP systems to capture various forms of qualitative preferences among answer sets. In this way, complex preferences and optimization capacities become readily available for ASP applications. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 554 KW - answer set programming KW - preference handling KW - complex optimization KW - meta-programming Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-412436 SN - 1866-8372 IS - 554 ER - TY - GEN A1 - Gebser, Martin A1 - Kaufmann, Benjamin A1 - Schaub, Torsten T1 - Multi-threaded ASP solving with clasp T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and illustrate how they support the principal functionalities of clasp. Also, we provide some insights into the data representation used for different constraint types handled by clasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading in clasp. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 586 KW - propositional satisfiability KW - clause elimination KW - parallel execution KW - SAT KW - algorithm KW - platypus KW - systems KW - search KW - solver Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-413977 SN - 1866-8372 IS - 586 ER - TY - GEN A1 - Durzinsky, Markus A1 - Marwan, Wolfgang A1 - Ostrowski, Max A1 - Schaub, Torsten A1 - Wagler, Annegret T1 - Automatic network reconstruction using ASP T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - Building biological models by inferring functional dependencies from experimental data is an important issue in Molecular Biology. To relieve the biologist from this traditionally manual process, various approaches have been proposed to increase the degree of automation. However, available approaches often yield a single model only, rely on specific assumptions, and/or use dedicated, heuristic algorithms that are intolerant to changing circumstances or requirements in the view of the rapid progress made in Biotechnology. Our aim is to provide a declarative solution to the problem by appeal to Answer Set Programming (ASP) overcoming these difficulties. We build upon an existing approach to Automatic Network Reconstruction proposed by part of the authors. This approach has firm mathematical foundations and is well suited for ASP due to its combinatorial flavor providing a characterization of all models explaining a set of experiments. The usage of ASP has several benefits over the existing heuristic algorithms. First, it is declarative and thus transparent for biological experts. Second, it is elaboration tolerant and thus allows for an easy exploration and incorporation of biological constraints. Third, it allows for exploring the entire space of possible models. Finally, our approach offers an excellent performance, matching existing, special-purpose systems. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 560 KW - regulatory networks KW - biological networks KW - answer Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-412419 SN - 1866-8372 IS - 560 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten T1 - Expressing default logic variants in default logic N2 - Reiter's default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Several variants of default logic have subsequently been proposed to give systems with properties differing from the original. In this paper, we examine the relationship between default logic and its major variants. We accomplish this by translating a default theory under a variant interpretation into a second default theory, under the original Reiter semantics, wherein the variant interpretation is respected. That is, in each case we show that, given an extension of a translated theory, one may extract an extension of the original variant default logic theory. We show how constrained, rational, justified, and cumulative default logic can be expressed in Reiter's default logic. As well, we show how Reiter's default logic can be expressed in rational default logic. From this, we suggest that any such variant can be similarly treated. Consequently, we provide a unification of default logics, showing how the original formulation of default logic may express its variants. Moreover, the translations clearly express the relationships between alternative approaches to default logic. The translations themselves are shown to generally have good properties. Thus, in at least a theoretical sense, we show that these variants are in a sense superfluous, in that for any of these variants of default logic, we can exactly mimic the behaviour of a variant in standard default logic. As well, the translations lend insight into means of classifying the expressive power of default logic variants; specifically we suggest that the property of semi-monotonicity represents a division with respect to expressibility, whereas regularity and cumulativity do not Y1 - 2005 SN - 0955-792X ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten T1 - Reasoning with sets of preferences in default logic N2 - We present a general approach for representing and reasoning with sets of defaults in default logic, focusing on reasoning about preferences among sets of defaults. First, we consider how to control the application of a set of defaults so that either all apply (if possible) or none do (if not). From this, an approach to dealing with preferences among sets of default rules is developed. We begin with an ordered default theory, consisting of a standard default theory, but with possible preferences on sets of rules. This theory is transformed into a second, standard default theory wherein the preferences are respected. The approach differs from other work, in that we obtain standard default theories and do not rely on prioritized versions of default logic. In practical terms this means we can immediately use existing default logic theorem provers for an implementation. Also, we directly generate just those extensions containing the most preferred applied rules; in contrast, most previous approaches generate all extensions, then select the most preferred. In a major application of the approach, we show how semimonotonic default theories can be encoded so that reasoning can be carried out at the object level. With this, we can reason about default extensions from within the framework of a standard default logic. Hence one can encode notions such as skeptical and credulous conclusions, and can reason about such conclusions within a single extension Y1 - 2004 SN - 0824-7935 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten A1 - Tompits, Hans A1 - Wang, Kewen T1 - A classification and survey of preference handling approchaches in nonmonotonic reasoning N2 - In recent years, there has been a large amount of disparate work concerning the representation and reasoning with qualitative preferential information by means of approaches to nonmonotonic reasoning. Given the variety of underlying systems, assumptions, motivations, and intuitions, it is difficult to compare or relate one approach with another. Here, we present an overview and classification for approaches to dealing with preference. A set of criteria for classifying approaches is given, followed by a set of desiderata that an approach might be expected to satisfy. A comprehensive set of approaches is subsequently given and classified with respect to these sets of underlying principles Y1 - 2004 SN - 0824-7935 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten T1 - Consistency-based approaches to merging knowledge based : preliminary report Y1 - 2004 UR - http://www.pims.math.ca/science/2004/NMR/papers/paper17.pdf SN - 92-990021-0-X ER - TY - JOUR A1 - Boesel, Andreas A1 - Linke, Thomas A1 - Schaub, Torsten T1 - Profiling answer set programming : the visualization component of the noMoRe System Y1 - 2004 SN - 3-540-23242-7 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten T1 - Two approaches to merging knowledge bases Y1 - 2004 SN - 3-540-23242-7 ER - TY - JOUR A1 - Delgrande, James A1 - Schaub, Torsten A1 - Tompits, Hans A1 - Woltran, Stefan T1 - A model-theoretic approach to belief change in answer set programming JF - ACM transactions on computational logic N2 - We address the problem of belief change in (nonmonotonic) logic programming under answer set semantics. Our formal techniques are analogous to those of distance-based belief revision in propositional logic. In particular, we build upon the model theory of logic programs furnished by SE interpretations, where an SE interpretation is a model of a logic program in the same way that a classical interpretation is a model of a propositional formula. Hence we extend techniques from the area of belief revision based on distance between models to belief change in logic programs. We first consider belief revision: for logic programs P and Q, the goal is to determine a program R that corresponds to the revision of P by Q, denoted P * Q. We investigate several operators, including (logic program) expansion and two revision operators based on the distance between the SE models of logic programs. It proves to be the case that expansion is an interesting operator in its own right, unlike in classical belief revision where it is relatively uninteresting. Expansion and revision are shown to satisfy a suite of interesting properties; in particular, our revision operators satisfy all or nearly all of the AGM postulates for revision. We next consider approaches for merging a set of logic programs, P-1,...,P-n. Again, our formal techniques are based on notions of relative distance between the SE models of the logic programs. Two approaches are examined. The first informally selects for each program P-i those models of P-i that vary the least from models of the other programs. The second approach informally selects those models of a program P-0 that are closest to the models of programs P-1,...,P-n. In this case, P-0 can be thought of as a set of database integrity constraints. We examine these operators with regards to how they satisfy relevant postulate sets. Last, we present encodings for computing the revision as well as the merging of logic programs within the same logic programming framework. This gives rise to a direct implementation of our approach in terms of off-the-shelf answer set solvers. These encodings also reflect the fact that our change operators do not increase the complexity of the base formalism. KW - Theory KW - Answer set programming KW - belief revision KW - belief merging KW - program encodings KW - strong equivalence Y1 - 2013 U6 - https://doi.org/10.1145/2480759.2480766 SN - 1529-3785 VL - 14 IS - 2 PB - Association for Computing Machinery CY - New York ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten A1 - Tompits, Hans T1 - A general framework for expressing preferences in causal reasoning and planning N2 - We consider the problem of representing arbitrary preferences in causal reasoning and planning systems. In planning, a preference may be seen as a goal or constraint that is desirable, but not necessary, to satisfy. To begin, we define a very general query language for histories, or interleaved sequences of world states and actions. Based on this, we specify a second language in which preferences are defined. A single preference defines a binary relation on histories, indicating that one history is preferred to the other. From this, one can define global preference orderings on the set of histories, the maximal elements of which are the preferred histories. The approach is very general and flexible; thus it constitutes a base language in terms of which higher-level preferences may be defined. To this end, we investigate two fundamental types of preferences that we call choice and temporal preferences. We consider concrete strategies for these types of preferences and encode them in terms of our framework. We suggest how to express aggregates in the approach, allowing, e.g. the expression of a preference for histories with lowest total action costs. Last, our approach can be used to express other approaches and so serves as a common framework in which such approaches can be expressed and compared. We illustrate this by indicating how an approach due to Son and Pontelli can be encoded in our approach, as well as the language PDDL3. Y1 - 2007 UR - http://logcom.oxfordjournals.org/ U6 - https://doi.org/10.1093/logcom/exm046 SN - 0955-792X ER - TY - JOUR A1 - Gebser, Martin A1 - Schaub, Torsten A1 - Thiele, Sven A1 - Veber, Philippe T1 - Detecting inconsistencies in large biological networks with answer set programming JF - Theory and practice of logic programming N2 - We introduce an approach to detecting inconsistencies in large biological networks by using answer set programming. To this end, we build upon a recently proposed notion of consistency between biochemical/genetic reactions and high-throughput profiles of cell activity. We then present an approach based on answer set programming to check the consistency of large-scale data sets. Moreover, we extend this methodology to provide explanations for inconsistencies by determining minimal representations of conflicts. In practice, this can be used to identify unreliable data or to indicate missing reactions. KW - answer set programming KW - bioinformatics KW - consistency KW - diagnosis Y1 - 2011 U6 - https://doi.org/10.1017/S1471068410000554 SN - 1471-0684 VL - 11 IS - 5-6 SP - 323 EP - 360 PB - Cambridge Univ. Press CY - New York ER - TY - JOUR A1 - Gebser, Martin A1 - Kaminski, Roland A1 - Schaub, Torsten T1 - Complex optimization in answer set programming JF - Theory and practice of logic programming N2 - Preference handling and optimization are indispensable means for addressing nontrivial applications in Answer Set Programming (ASP). However, their implementation becomes difficult whenever they bring about a significant increase in computational complexity. As a consequence, existing ASP systems do not offer complex optimization capacities, supporting, for instance, inclusion-based minimization or Pareto efficiency. Rather, such complex criteria are typically addressed by resorting to dedicated modeling techniques, like saturation. Unlike the ease of common ASP modeling, however, these techniques are rather involved and hardly usable by ASP laymen. We address this problem by developing a general implementation technique by means of meta-prpogramming, thus reusing existing ASP systems to capture various forms of qualitative preferences among answer sets. In this way, complex preferences and optimization capacities become readily available for ASP applications. KW - Answer Set Programming KW - Preference Handling KW - Complex optimization KW - Meta-Programming Y1 - 2011 U6 - https://doi.org/10.1017/S1471068411000329 SN - 1471-0684 VL - 11 IS - 3 SP - 821 EP - 839 PB - Cambridge Univ. Press CY - New York ER - TY - JOUR A1 - Gebser, Martin A1 - Gharib, Mona A1 - Mercer, Robert E. A1 - Schaub, Torsten T1 - Monotonic answer set programming N2 - Answer set programming (ASP) does not allow for incrementally constructing answer sets or locally validating constructions like proofs by only looking at a part of the given program. In this article, we elaborate upon an alternative approach to ASP that allows for incremental constructions. Our approach draws its basic intuitions from the area of default logics. We investigate the feasibility of the concept of semi-monotonicity known from default logics as a basis of incrementality. On the one hand, every logic program has at least one answer set in our alternative setting, which moreover can be constructed incrementally based on generating rules. On the other hand, the approach may produce answer sets lacking characteristic properties of standard answer sets, such as being a model of the given program. We show how integrity constraints can be used to re-establish such properties, even up to correspondence with standard answer sets. Furthermore, we develop an SLD-like proof procedure for our incremental approach to ASP, which allows for query-oriented computations. Also, we provide a characterization of our definition of answer sets via a modification of Clarks completion. Based on this notion of program completion, we present an algorithm for computing the answer sets of a logic program in our approach. Y1 - 2009 UR - http://logcom.oxfordjournals.org/ U6 - https://doi.org/10.1093/logcom/exn040 SN - 0955-792X ER - TY - JOUR A1 - Gebser, Martin A1 - Kaufmann, Benjamin A1 - Schaub, Torsten T1 - Multi-threaded ASP solving with clasp JF - Theory and practice of logic programming N2 - We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and illustrate how they support the principal functionalities of clasp. Also, we provide some insights into the data representation used for different constraint types handled by clasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading in clasp. Y1 - 2012 U6 - https://doi.org/10.1017/S1471068412000166 SN - 1471-0684 VL - 12 IS - 8 SP - 525 EP - 545 PB - Cambridge Univ. Press CY - New York ER - TY - JOUR A1 - Hermenegildo, Manuel A1 - Schaub, Torsten T1 - Introduction to the technical communications of the 26th International Conference on Logic Programming : special issue Y1 - 2010 UR - http://www.cs.kuleuven.ac.be/~dtai/projects/ALP//TPLP/ U6 - https://doi.org/10.1017/S1471068410000153 SN - 1471-0684 ER - TY - JOUR A1 - Gerbser, Martin A1 - Schaub, Torsten T1 - Tableau calculi for answer set programming Y1 - 2006 UR - http://www.cs.uni-potsdam.de/wv/pdfformat/gebsch06c.pdf U6 - https://doi.org/10.1007/11799573 SN - 0302-9743 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten A1 - Tompits, Hans A1 - Woltran, Stefan T1 - On Computing belief change operations using quantifield boolean formulas N2 - In this paper, we show how an approach to belief revision and belief contraction can be axiomatized by means of quantified Boolean formulas. Specifically, we consider the approach of belief change scenarios, a general framework that has been introduced for expressing different forms of belief change. The essential idea is that for a belief change scenario (K, R, C), the set of formulas K, representing the knowledge base, is modified so that the sets of formulas R and C are respectively true in, and consistent with the result. By restricting the form of a belief change scenario, one obtains specific belief change operators including belief revision, contraction, update, and merging. For both the general approach and for specific operators, we give a quantified Boolean formula such that satisfying truth assignments to the free variables correspond to belief change extensions in the original approach. Hence, we reduce the problem of determining the results of a belief change operation to that of satisfiability. This approach has several benefits. First, it furnishes an axiomatic specification of belief change with respect to belief change scenarios. This then leads to further insight into the belief change framework. Second, this axiomatization allows us to identify strict complexity bounds for the considered reasoning tasks. Third, we have implemented these different forms of belief change by means of existing solvers for quantified Boolean formulas. As well, it appears that this approach may be straightforwardly applied to other specific approaches to belief change Y1 - 2004 SN - 0955-792X ER - TY - JOUR A1 - Flöter, André A1 - Nicolas, Jacques A1 - Schaub, Torsten A1 - Selbig, Joachim T1 - Threshold extraction in metabolite concentration data N2 - Motivation: Continued development of analytical techniques based on gas chromatography and mass spectrometry now facilitates the generation of larger sets of metabolite concentration data. An important step towards the understanding of metabolite dynamics is the recognition of stable states where metabolite concentrations exhibit a simple behaviour. Such states can be characterized through the identification of significant thresholds in the concentrations. But general techniques for finding discretization thresholds in continuous data prove to be practically insufficient for detecting states due to the weak conditional dependences in concentration data. Results: We introduce a method of recognizing states in the framework of decision tree induction. It is based upon a global analysis of decision forests where stability and quality are evaluated. It leads to the detection of thresholds that are both comprehensible and robust. Applied to metabolite concentration data, this method has led to the discovery of hidden states in the corresponding variables. Some of these reflect known properties of the biological experiments, and others point to putative new states Y1 - 2004 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten T1 - A consistency-based framework for merging knowledge bases Y1 - 2007 SN - 1570-8683 ER - TY - JOUR A1 - Konczak, Kathrin A1 - Linke, Thomas A1 - Schaub, Torsten T1 - Graphs and colorings for answer set programming N2 - We investigate the usage of rule dependency graphs and their colorings for characterizing and computing answer sets of logic programs. This approach provides us with insights into the interplay between rules when inducing answer sets. We start with different characterizations of answer sets in terms of totally colored dependency graphs that differ ill graph-theoretical aspects. We then develop a series of operational characterizations of answer sets in terms of operators on partial colorings. In analogy to the notion of a derivation in proof theory, our operational characterizations are expressed as (non-deterministically formed) sequences of colorings, turning an uncolored graph into a totally colored one. In this way, we obtain an operational framework in which different combinations of operators result in different formal properties. Among others, we identify the basic strategy employed by the noMoRe system and justify its algorithmic approach. Furthermore, we distinguish operations corresponding to Fitting's operator as well as to well-founded semantics Y1 - 2006 UR - http://www.cs.kuleuven.ac.be/~dtai/projects/ALP//TPLP/ U6 - https://doi.org/10.1017/S1471068405002528 SN - 1471-0684 ER - TY - JOUR A1 - Anger, Christian A1 - Gebser, Martin A1 - Linke, Thomas A1 - Neumann, Andre A1 - Schaub, Torsten T1 - The nomore++ approach to answer set solving Y1 - 2005 UR - http://www.cs.uni-potsdam.de/wv/pdfformat/angelinesc05c.pdf ER - TY - JOUR A1 - Grell, Susanne A1 - Konczak, Kathrin A1 - Schaub, Torsten T1 - nomore) : a system for computing preferred Answer Sets Y1 - 2005 SN - 0302-9743 ER - TY - JOUR A1 - Videla, Santiago A1 - Guziolowski, Carito A1 - Eduati, Federica A1 - Thiele, Sven A1 - Gebser, Martin A1 - Nicolas, Jacques A1 - Saez-Rodriguez, Julio A1 - Schaub, Torsten A1 - Siegel, Anne T1 - Learning Boolean logic models of signaling networks with ASP JF - Theoretical computer science N2 - Boolean networks provide a simple yet powerful qualitative modeling approach in systems biology. However, manual identification of logic rules underlying the system being studied is in most cases out of reach. Therefore, automated inference of Boolean logical networks from experimental data is a fundamental question in this field. This paper addresses the problem consisting of learning from a prior knowledge network describing causal interactions and phosphorylation activities at a pseudo-steady state, Boolean logic models of immediate-early response in signaling transduction networks. The underlying optimization problem has been so far addressed through mathematical programming approaches and the use of dedicated genetic algorithms. In a recent work we have shown severe limitations of stochastic approaches in this domain and proposed to use Answer Set Programming (ASP), considering a simpler problem setting. Herein, we extend our previous work in order to consider more realistic biological conditions including numerical datasets, the presence of feedback-loops in the prior knowledge network and the necessity of multi-objective optimization. In order to cope with such extensions, we propose several discretization schemes and elaborate upon our previous ASP encoding. Towards real-world biological data, we evaluate the performance of our approach over in silico numerical datasets based on a real and large-scale prior knowledge network. The correctness of our encoding and discretization schemes are dealt with in Appendices A-B. (C) 2014 Elsevier B.V. All rights reserved. KW - Answer set programming KW - Signaling transduction networks KW - Boolean logic models KW - Combinatorial multi-objective optimization KW - Systems biology Y1 - 2015 U6 - https://doi.org/10.1016/j.tcs.2014.06.022 SN - 0304-3975 SN - 1879-2294 VL - 599 SP - 79 EP - 101 PB - Elsevier CY - Amsterdam ER - TY - JOUR A1 - Hoos, Holger A1 - Kaminski, Roland A1 - Lindauer, Marius A1 - Schaub, Torsten T1 - aspeed: Solver scheduling via answer set programming JF - Theory and practice of logic programming N2 - Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances, and is known to depend strongly on algorithm parameters. This problem was addressed by means of a simple, yet effective approach using handmade, uniform, and unordered schedules of multiple solvers in ppfolio, which showed very impressive performance in the 2011 Satisfiability Testing (SAT) Competition. Inspired by this, we take advantage of the modeling and solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that is, nonuniform and ordered solver schedules from the existing benchmarking data. We begin by formulating the determination of such schedules as multi-criteria optimization problems and provide corresponding ASP encodings. The resulting encodings are easily customizable for different settings, and the computation of optimum schedules can mostly be done in the blink of an eye, even when dealing with large runtime data sets stemming from many solvers on hundreds to thousands of instances. Also, the fact that our approach can be customized easily enabled us to swiftly adapt it to generate parallel schedules for multi-processor machines. KW - algorithm schedules KW - answer set programming KW - portfolio-based solving Y1 - 2015 U6 - https://doi.org/10.1017/S1471068414000015 SN - 1471-0684 SN - 1475-3081 VL - 15 SP - 117 EP - 142 PB - Cambridge Univ. Press CY - New York ER - TY - JOUR A1 - Gebser, Martin A1 - Kaufmann, Benjamin A1 - Kaminski, Roland A1 - Ostrowski, Max A1 - Schaub, Torsten A1 - Schneider, Marius T1 - Potassco the Potsdam answer set solving collection JF - AI communications : AICOM ; the European journal on artificial intelligence N2 - This paper gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam. KW - Answer set programming KW - declarative problem solving Y1 - 2011 U6 - https://doi.org/10.3233/AIC-2011-0491 SN - 0921-7126 VL - 24 IS - 2 SP - 107 EP - 124 PB - IOS Press CY - Amsterdam ER - TY - JOUR A1 - Castillo, Angelica M. A1 - Shprits, Yuri A1 - Ganushkina, Natalia A1 - Drozdov, Alexander A1 - Aseev, Nikita A1 - Wang, Dedong A1 - Dubyagin, Stepan T1 - Simulations of the inner magnetospheric energetic electrons using the IMPTAM-VERB coupled model JF - Journal of Atmospheric and Solar-Terrestrial Physics N2 - In this study, we present initial results of the coupling between the Inner Magnetospheric Particle Transport and Acceleration Model (IMPTAM) and the Versatile Electron Radiation Belt (VERB-3D) code. IMPTAM traces electrons of 10-100 keV energies from the plasma sheet (L = 9 Re) to inner L-shell regions. The flux evolution modeled by IMPTAM is used at the low energy and outer L* computational boundaries of the VERB code (assuming a dipole approximation) to perform radiation belt simulations of energetic electrons. The model was tested on the March 17th, 2013 storm, for a six-day period. Four different simulations were performed and their results compared to satellites observations from Van Allen probes and GOES. The coupled IMPTAM-VERB model reproduces evolution and storm-time features of electron fluxes throughout the studied storm in agreement with the satellite data (within similar to 0.5 orders of magnitude). Including dynamics of the low energy population at L* = 6.6 increases fluxes closer to the heart of the belt and has a strong impact in the VERB simulations at all energies. However, inclusion of magnetopause losses leads to drastic flux decreases even below L* = 3. The dynamics of low energy electrons (max. 10s of keV) do not affect electron fluxes at energies >= 900 keV. Since the IMPTAM-VERB coupled model is only driven by solar wind parameters and the Dst and Kp indexes, it is suitable as a forecasting tool. In this study, we demonstrate that the estimation of electron dynamics with satellite-data-independent models is possible and very accurate. KW - Electron populations KW - Radiation belts KW - IMPTAM KW - VERB Y1 - 2019 U6 - https://doi.org/10.1016/j.jastp.2019.05.014 SN - 1364-6826 SN - 1879-1824 VL - 191 PB - Elsevier CY - Oxford ER - TY - JOUR A1 - Woodfield, Emma E. A1 - Glauert, Saraha A. A1 - Menietti, J. Douglas A1 - Averkamp, Terrance F. A1 - Horne, Richard B. A1 - Shprits, Yuri T1 - Rapid Electron Acceleration in Low‐Density Regions of Saturn's Radiation Belt by Whistler Mode Chorus Waves JF - Geophysical research letters N2 - Electron acceleration at Saturn due to whistler mode chorus waves has previously been assumed to be ineffective; new data closer to the planet show it can be very rapid (factor of 104 flux increase at 1 MeV in 10 days compared to factor of 2). A full survey of chorus waves at Saturn is combined with an improved plasma density model to show that where the plasma frequency falls below the gyrofrequency additional strong resonances are observed favoring electron acceleration. This results in strong chorus acceleration between approximately 2.5 R-S and 5.5 R-S outside which adiabatic transport may dominate. Strong pitch angle dependence results in butterfly pitch angle distributions that flatten over a few days at 100s keV, tens of days at MeV energies which may explain observations of butterfly distributions of MeV electrons near L = 3. Including cross terms in the simulations increases the tendency toward butterfly distributions. Plain Language Summary Radiation belts are hazardous regions found around several of the planets in our Solar System. They consist of very hot, electrically charged particles trapped in the magnetic field of the planet. At Saturn the most important way to heat these particles has for many years been thought to involve the particles drifting closer toward the planet. This paper adds to the emerging idea at Saturn that a different way to heat the particles is also possible where the heating is done by waves, in a similar way to what we find at the Earth. We use recent information from the Cassini spacecraft on the number and location of particles and also of the waves strength and location combined with computer simulations to show that a particular wave called chorus is excellent at heating the particles where the surrounding number of cold particles is low. Y1 - 2019 U6 - https://doi.org/10.1029/2019GL083071 SN - 0094-8276 SN - 1944-8007 VL - 46 IS - 13 SP - 7191 EP - 7198 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Cabalar, Pedro A1 - Fandiño, Jorge A1 - Schaub, Torsten A1 - Schellhorn, Sebastian T1 - Gelfond-Zhang aggregates as propositional formulas JF - Artificial intelligence N2 - Answer Set Programming (ASP) has become a popular and widespread paradigm for practical Knowledge Representation thanks to its expressiveness and the available enhancements of its input language. One of such enhancements is the use of aggregates, for which different semantic proposals have been made. In this paper, we show that any ASP aggregate interpreted under Gelfond and Zhang's (GZ) semantics can be replaced (under strong equivalence) by a propositional formula. Restricted to the original GZ syntax, the resulting formula is reducible to a disjunction of conjunctions of literals but the formulation is still applicable even when the syntax is extended to allow for arbitrary formulas (including nested aggregates) in the condition. Once GZ-aggregates are represented as formulas, we establish a formal comparison (in terms of the logic of Here-and-There) to Ferraris' (F) aggregates, which are defined by a different formula translation involving nested implications. In particular, we prove that if we replace an F-aggregate by a GZ-aggregate in a rule head, we do not lose answer sets (although more can be gained). This extends the previously known result that the opposite happens in rule bodies, i.e., replacing a GZ-aggregate by an F-aggregate in the body may yield more answer sets. Finally, we characterize a class of aggregates for which GZ- and F-semantics coincide. KW - Aggregates KW - Answer Set Programming Y1 - 2019 U6 - https://doi.org/10.1016/j.artint.2018.10.007 SN - 0004-3702 SN - 1872-7921 VL - 274 SP - 26 EP - 43 PB - Elsevier CY - Amsterdam ER - TY - JOUR A1 - Denton, Richard E. A1 - Ofman, L. A1 - Shprits, Yuri A1 - Bortnik, J. A1 - Millan, R. M. A1 - Rodger, C. J. A1 - da Silva, C. L. A1 - Rogers, B. N. A1 - Hudson, M. K. A1 - Liu, K. A1 - Min, K. A1 - Glocer, A. A1 - Komar, C. T1 - Pitch Angle Scattering of Sub-MeV Relativistic Electrons by Electromagnetic Ion Cyclotron Waves JF - Journal of geophysical research : Space physics N2 - Electromagnetic ion cyclotron (EMIC) waves have long been considered to be a significant loss mechanism for relativistic electrons. This has most often been attributed to resonant interactions with the highest amplitude waves. But recent observations have suggested that the dominant energy of electrons precipitated to the atmosphere may often be relatively low, less than 1 MeV, whereas the minimum resonant energy of the highest amplitude waves is often greater than 2 MeV. Here we use relativistic electron test particle simulations in the wavefields of a hybrid code simulation of EMIC waves in dipole geometry in order to show that significant pitch angle scattering can occur due to interaction with low-amplitude short-wavelength EMIC waves. In the case we examined, these waves are in the H band (at frequencies above the He+ gyrofrequency), even though the highest amplitude waves were in the He band frequency range (below the He+ gyrofrequency). We also present wave power distributions for 29 EMIC simulations in straight magnetic field line geometry that show that the high wave number portion of the spectrum is in every case mostly due to the H band waves. Though He band waves are often associated with relativistic electron precipitation, it is possible that the He band waves do not directly scatter the sub-megaelectron volts (sub-MeV) electrons, but that the presence of He band waves is associated with high plasma density which lowers the minimum resonant energy so that these electrons can more easily resonate with the H band waves. KW - electromagnetic ion cyclotron waves KW - EMIC KW - relativistic electron precipitation KW - pitch angle scattering KW - wave particle interaction KW - radiation belts Y1 - 2019 U6 - https://doi.org/10.1029/2018JA026384 SN - 2169-9402 VL - 124 IS - 7 SP - 5610 EP - 5626 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Qin, Murong A1 - Hudson, Mary A1 - Li, Zhao A1 - Millan, Robyn A1 - Shen, Xiaochen A1 - Shprits, Yuri A1 - Woodger, Leslie A1 - Jaynes, Allison A1 - Kletzing, Craig T1 - Investigating loss of relativistic electrons associated with EMIC Waves at low L values on 22 June 2015 JF - Journal of geophysical research : Space physics N2 - In this study, rapid loss of relativistic radiation belt electrons at low L* values (2.4-3.2) during a strong geomagnetic storm on 22 June 2015 is investigated along with five possible loss mechanisms. Both the particle and wave data are obtained from the Van Allen Probes. Duskside H+ band electromagnetic ion cyclotron (EMIC) waves were observed during a rapid decrease of relativistic electrons with energy above 5.2 MeV occurring outside the plasma sphere during extreme magnetopause compression. Lower He+ composition and enriched O+ composition are found compared to typical values assumed in other studies of cyclotron resonant scattering of relativistic electrons by EMIC waves. Quantitative analysis demonstrates that even with the existence of He+ band EMIC waves, it is the H+ band EMIC waves that are likely to cause the depletion at small pitch angles and strong gradients in pitch angle distributions of relativistic electrons with energy above 5.2 MeV at low L values for this event. Very low frequency wave activity at other magnetic local time can be favorable for the loss of relativistic electrons at higher pitch angles. An illustrative calculation that combines the nominal pitch angle scattering rate due to whistler mode chorus at high pitch angles with the H+ band EMIC wave loss rate at low pitch angles produces loss on time scale observed at L = 2.4-3.2. At high L values and lower energies, radial loss to the magnetopause is a viable explanation. Y1 - 2019 U6 - https://doi.org/10.1029/2018JA025726 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 6 SP - 4022 EP - 4036 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Shprits, Yuri A1 - Vasile, Ruggero A1 - Zhelayskaya, Irina S. T1 - Nowcasting and Predicting the Kp Index Using Historical Values and Real-Time Observations JF - Space Weather: The International Journal of Research and Applications N2 - Current algorithms for the real-time prediction of the Kp index use a combination of models empirically driven by solar wind measurements at the L1 Lagrange point and historical values of the index. In this study, we explore the limitations of this approach, examining the forecast for short and long lead times using measurements at L1 and Kp time series as input to artificial neural networks. We explore the relative efficiency of the solar wind-based predictions, predictions based on recurrence, and predictions based on persistence. Our modeling results show that for short-term forecasts of approximately half a day, the addition of the historical values of Kp to the measured solar wind values provides a barely noticeable improvement. For a longer-term forecast of more than 2 days, predictions can be made using recurrence only, while solar wind measurements provide very little improvement for a forecast with long horizon times. We also examine predictions for disturbed and quiet geomagnetic activity conditions. Our results show that the paucity of historical measurements of the solar wind for high Kp results in a lower accuracy of predictions during disturbed conditions. Rebalancing of input data can help tailor the predictions for more disturbed conditions. KW - Kp index KW - geomagnetic activity KW - empirical prediction KW - solar wind KW - forecast KW - AI Y1 - 2019 U6 - https://doi.org/10.1029/2018SW002141 SN - 1542-7390 VL - 17 IS - 8 SP - 1219 EP - 1229 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Zhelayskaya, Irina S. A1 - Vasile, Ruggero A1 - Shprits, Yuri A1 - Stolle, Claudia A1 - Matzka, Jürgen T1 - Systematic Analysis of Machine Learning and Feature Selection Techniques for Prediction of the Kp Index JF - Space Weather: The International Journal of Research and Applications N2 - The Kp index is a measure of the midlatitude global geomagnetic activity and represents short-term magnetic variations driven by solar wind plasma and interplanetary magnetic field. The Kp index is one of the most widely used indicators for space weather alerts and serves as input to various models, such as for the thermosphere and the radiation belts. It is therefore crucial to predict the Kp index accurately. Previous work in this area has mostly employed artificial neural networks to nowcast Kp, based their inferences on the recent history of Kp and on solar wind measurements at L1. In this study, we systematically test how different machine learning techniques perform on the task of nowcasting and forecasting Kp for prediction horizons of up to 12 hr. Additionally, we investigate different methods of machine learning and information theory for selecting the optimal inputs to a predictive model. We illustrate how these methods can be applied to select the most important inputs to a predictive model of Kp and to significantly reduce input dimensionality. We compare our best performing models based on a reduced set of optimal inputs with the existing models of Kp, using different test intervals, and show how this selection can affect model performance. KW - Kp index KW - Predictive models KW - Feature selection KW - Machine learning KW - Validation Y1 - 2019 U6 - https://doi.org/10.1029/2019SW002271 SN - 1542-7390 VL - 17 IS - 10 SP - 1461 EP - 1486 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Wang, Dedong A1 - Shprits, Yuri T1 - On How High-Latitude Chorus Waves Tip the Balance Between Acceleration and Loss of Relativistic Electrons JF - Geophysical research letters N2 - Modeling and observations have shown that energy diffusion by chorus waves is an important source of acceleration of electrons to relativistic energies. By performing long-term simulations using the three-dimensional Versatile Electron Radiation Belt code, in this study, we test how the latitudinal dependence of chorus waves can affect the dynamics of the radiation belt electrons. Results show that the variability of chorus waves at high latitudes is critical for modeling of megaelectron volt (MeV) electrons. We show that, depending on the latitudinal distribution of chorus waves under different geomagnetic conditions, they cannot only produce a net acceleration but also a net loss of MeV electrons. Decrease in high-latitude chorus waves can tip the balance between acceleration and loss toward acceleration, or alternatively, the increase in high-latitude waves can result in a net loss of MeV electrons. Variations in high-latitude chorus may account for some of the variability of MeV electrons. KW - radiation belts KW - chorus waves KW - high latitude KW - acceleration KW - loss KW - modeling Y1 - 2019 U6 - https://doi.org/10.1029/2019GL082681 SN - 0094-8276 SN - 1944-8007 VL - 46 IS - 14 SP - 7945 EP - 7954 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Kühne, Franziska A1 - Paunov, Tatjana A1 - Weck, Florian T1 - Recognizing obsessive-compulsive disorder BT - How suitable is the German Zohar-Fineberg obsessive-compulsive screen? JF - BMC psychiatry N2 - Background Despite the prevalence of obsessive-compulsive disorder (OCD), its precise identification remains challenging. With the Zohar-Fineberg Obsessive-Compulsive Screen (ZF-OCS; 5 or 6 items), a brief instrument is widely available mainly in English. As there is a lack of empirical studies on the ZF-OCS, the aim of the present study was to translate the items into German and investigate the instrument in a nonclinical sample. Methods In two consecutive online surveys, n = 304 and n = 51 students participated. Besides the ZF-OCS, they answered established measures on OCD, depression, health anxiety, general anxiety and health-related well-being. Results Whereas internal consistency was low (α = .53–.72; ω = .55–.69), retest reliability (rt1,t2 = .89) at two weeks was high. As expected, we found high correlations with other OCD instruments (r > .61; convergent validity), and significantly weaker correlations with measures of depression (r = .39), health anxiety (r = .29), and health-related well-being (r = −.28, divergent validity). Nonetheless, the correlations with general anxiety were somewhere in between (r = .52). Conclusions Due to heterogeneous OCD subtypes, the ZF-OCS asks diverse questions which probably resulted in the present internal consistency. Nevertheless, the results on retest reliability and validity were promising. As for other OCD instruments, divergent validity regarding general anxiety seems problematic to establish. Even so, the ZF-OCS seems valuable for screening purposes, as it is short and easy to administer, and may facilitate initiating subsequent clinical assessment. Further studies should determine the instrument’s diagnostic accuracy. KW - Obsessive-compulsive disorder KW - Psychodiagnostics KW - Psychometric properties KW - Screening Y1 - 2021 U6 - https://doi.org/10.1186/s12888-021-03458-x SN - 1471-244X VL - 21 PB - Springer Nature CY - London ER - TY - JOUR A1 - Richter, Eric A1 - Hußner, Isabell A1 - Huang, Yizhen A1 - Richter, Dirk A1 - Lazarides, Rebecca T1 - Video-based reflection in teacher education: comparing virtual reality and real classroom videos JF - Computers & education : an international journal N2 - While previous studies have examined the use of real-world classroom videos to support the development of student teachers' reflective skills, there has been little research to date on the use of virtual reality (VR) videos in teacher education to provide opportunities for authentic reflec-tion. This mixed-methods study investigated changes in reflection-related self-efficacy and dif-ferences in written reflection processes using a quasi-experimental design with two types of reflection stimuli. One group of 46 student teachers used a VR-based video to reflect on in-struction while another group of 23 student teachers used a real classroom video. We found an increase in reflection-related self-efficacy over time among participants in the VR group only. We also found that VR videos triggered similar reflection processes to real classroom videos. This study shows, for the first time, that video-based reflection on VR classroom videos produced comparable results to reflection on real classroom videos. This indicates that VR can be used successfully in teacher education and that it offers a useful learning tool for teacher education programs. KW - augmented reality KW - virtual reality KW - simulations KW - media in education KW - teacher professional development KW - teaching/learning strategies Y1 - 2022 U6 - https://doi.org/10.1016/j.compedu.2022.104601 SN - 0360-1315 SN - 1873-782X VL - 190 PB - Elsevier Science CY - Amsterdam [u.a.] ER - TY - JOUR A1 - Bornhorst, Dorothee A1 - Seyfried, Salim T1 - Strong as a hippo’s heart BT - Biomechanical hippo signaling during zebrafish cardiac development JF - Frontiers in cell and developmental biology N2 - The heart is comprised of multiple tissues that contribute to its physiological functions. During development, the growth of myocardium and endocardium is coupled and morphogenetic processes within these separate tissue layers are integrated. Here, we discuss the roles of mechanosensitive Hippo signaling in growth and morphogenesis of the zebrafish heart. Hippo signaling is involved in defining numbers of cardiac progenitor cells derived from the secondary heart field, in restricting the growth of the epicardium, and in guiding trabeculation and outflow tract formation. Recent work also shows that myocardial chamber dimensions serve as a blueprint for Hippo signaling-dependent growth of the endocardium. Evidently, Hippo pathway components act at the crossroads of various signaling pathways involved in embryonic zebrafish heart development. Elucidating how biomechanical Hippo signaling guides heart morphogenesis has direct implications for our understanding of cardiac physiology and pathophysiology. KW - Hippo signaling KW - Yap1/Wwtr1 (Taz) KW - cardiac development KW - mechanobiology KW - endocardium KW - myocardium KW - zebrafish KW - intra-organ-communication Y1 - 2021 U6 - https://doi.org/10.3389/fcell.2021.731101 SN - 2296-634X VL - 9 SP - 1 EP - 10 PB - Frontiers Media CY - Lausanne, Schweiz ER - TY - JOUR A1 - Naze, Yael A1 - Wang, Q. Daniel A1 - Chu, You-Hua A1 - Gruendl, Robert A1 - Oskinova, Lidia M. T1 - A deep chandra observation of the giant HII region N11. I. x-ray sorces in the field JF - The astrophysical journal : an international review of spectroscopy and astronomical physics ; Supplement series N2 - A very sensitive X-ray investigation of the giant HII region N11 in the Large Megallanic Cloud was performed using the Chandra X-ray Observatory. The 300 ks observation reveals X-ray sources with luminosities down to 10(32) erg s(-1), increasing the number of known point sources in the field by more than a factor of five. Among these detections are 13 massive stars (3 compact groups of massive stars, 9 O stars, and one early B star) with log(L-X/L-BOL) similar to -6.5 to -7, which may suggest that they are highly magnetic or colliding-wind systems. On the other hand, the stacked signal for regions corresponding to undetected O stars yields log(L-X/L-BOL) similar to -7.3, i.e., an emission level comparable to similar Galactic stars despite the lower metallicity. Other point sources coincide with 11 foreground stars, 6 late-B/A stars in N11, and many background objects. This observation also uncovers the extent and detailed spatial properties of the soft, diffuse emission regions, but the presence of some hotter plasma in their spectra suggests contamination by the unresolved stellar population. KW - galaxies: star clusters: general KW - ISM: individual objects (LMC N11) KW - Magellanic Clouds KW - X-rays: stars Y1 - 2014 U6 - https://doi.org/10.1088/0067-0049/213/2/23 SN - 0067-0049 SN - 1538-4365 VL - 213 IS - 2 PB - IOP Publ. Ltd. CY - Bristol ER - TY - JOUR A1 - Postnov, K. A1 - Oskinova, Lidia M. A1 - Torrejon, J. M. T1 - A propelling neutron star in the enigmatic Be-star gamma Cassiopeia JF - Monthly notices of the Royal Astronomical Society N2 - gamma Cassiopeia (gamma Cas), is known to be a binary system consisting of a Be-type star and a low-mass (M similar to 1M(circle dot)) companion of unknown nature orbiting in the Be-disc plane. Here, we apply the quasi-spherical accretion theory on to a compact magnetized star and show that if the low-mass companion of gamma Cas is a fast spinning neutron star, the key observational signatures of. Cas are remarkably well reproduced. Direct accretion on to this fast rotating neutron star is impeded by the propeller mechanism. In this case, around the neutron star magnetosphere a hot shell is formed which emits thermal X-rays in qualitative and quantitative agreement with observed properties of the X-ray emission from gamma Cas. We suggest that gamma Cas and its analogues constitute a new subclass of Be-type X-ray binaries hosting rapidly rotating neutron stars formed in supernova explosions with small kicks. The subsequent evolutionary stage of gamma Cas and its analogues should be the X Per-type binaries comprising low-luminosity slowly rotating X-ray pulsars. The model explains the enigmatic X-ray emission from gamma Cas, and also establishes evolutionary connections between various types of rotating magnetized neutron stars in Be-binaries. KW - stars: emission-line, Be KW - stars: neutron Y1 - 2017 U6 - https://doi.org/10.1093/mnrasl/slw223 SN - 0035-8711 SN - 1365-2966 VL - 465 IS - 1 SP - L119 EP - L123 PB - Oxford Univ. Press CY - Oxford ER -