@misc{Salzer2016,
  author    = {Salzer, Dorothea M.},
  title     = {Naphtali Herz Wessely: Worte des Friedens und der Wahrheit. Dokumente einer Kontroverse {\"u}ber Erziehung in der europ{\"a}ischen Sp{\"a}taufkl{\"a}rung. Herausgegeben, eingeleitet und kommentiert von Ingrid Lohmann, mitherausgegeben von Rainer Wenzel / Uta Lohmann. Aus dem Hebr{\"a}ischen {\"u}bersetzt und mit Anmerkungen versehen von Rainer Wenzel / rezensiert von Dorothea Salzer},
  series = {PaRDeS : Zeitschrift der Vereinigung f{\"u}r J{\"u}dische Studien [22 (2016)] = Muslim-Jewish Dialogue},
  volume    = {22},
  journal   = {PaRDeS : Zeitschrift der Vereinigung f{\"u}r J{\"u}dische Studien [22 (2016)] = Muslim-Jewish Dialogue},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-370-1},
  issn      = {1614-6492},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-99807},
  pages     = {218 -- 221},
  year      = {2016},
  abstract  = {Rezensiertes Werk: Naphtali Herz Wessely: Worte des Friedens und der Wahrheit. Dokumente einer Kontroverse {\"u}ber Erziehung in der europ{\"a}ischen Sp{\"a}taufkl{\"a}rung. Herausgegeben, eingeleitet und kommentiert von Ingrid Lohmann, mitherausgegeben von Rainer Wenzel / Uta Lohmann. Aus dem Hebr{\"a}ischen {\"u}bersetzt und mit Anmerkungen versehen von Rainer Wenzel, J{\"u}dische Bildungsgeschichte in Deutschland, Bd. 8, M{\"u}nster: Waxmann 2014. 800 S.},
  language  = {de}
}
@misc{NauschBachCzernyetal.2016,
  author    = {Nausch, Monika and Bach, Lennart Thomas and Czerny, Jan and Goldstein, Josephine and Grossart, Hans-Peter and Hellemann, Dana and Hornick, Thomas and Achterberg, Eric Pieter and Schulz, Kai Georg and Riebesell, Ulf},
  title     = {Effects of CO 2 perturbation on phosphorus pool sizes and uptake in a mesocosm experiment during a low productive summer season in the northern Baltic Sea},
  series = {Biogeosciences},
  journal   = {Biogeosciences},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-410274},
  pages     = {16},
  year      = {2016},
  abstract  = {Studies investigating the effect of increasing CO2 levels on the phosphorus cycle in natural waters are lacking although phosphorus often controls phytoplankton development in many aquatic systems. The aim of our study was to analyse effects of elevated CO2 levels on phosphorus pool sizes and uptake. The phosphorus dynamic was followed in a CO2-manipulation mesocosm experiment in the Storfjarden (western Gulf of Finland, Baltic Sea) in summer 2012 and was also studied in the surrounding fjord water. In all mesocosms as well as in surface waters of Storfjarden, dissolved organic phosphorus (DOP) concentrations of 0.26aEuro-+/- aEuro-0.03 and 0.23aEuro-+/- aEuro-0.04aEuro-A mu molaEuro-L-1, respectively, formed the main fraction of the total P-pool (TP), whereas phosphate (PO4) constituted the lowest fraction with mean concentration of 0.15aEuro-A +/- aEuro-0.02 in the mesocosms and 0.17aEuro-A +/- aEuro-0.07aEuro-A mu molaEuro-L-1 in the fjord. Transformation of PO4 into DOP appeared to be the main pathway of PO4 turnover. About 82aEuro-\% of PO4 was converted into DOP whereby only 18aEuro-\% of PO4 was transformed into particulate phosphorus (PP). PO4 uptake rates measured in the mesocosms ranged between 0.6 and 3.9aEuro-nmolaEuro-L(-1)aEuro-h(-1). About 86aEuro-\% of them was realized by the size fraction < aEuro-3aEuro-A mu m. Adenosine triphosphate (ATP) uptake revealed that additional P was supplied from organic compounds accounting for 25-27aEuro-\% of P provided by PO4 only. CO2 additions did not cause significant changes in phosphorus (P) pool sizes, DOP composition, and uptake of PO4 and ATP when the whole study period was taken into account. However, significant short-term effects were observed for PO4 and PP pool sizes in CO2 treatments > aEuro-1000aEuro-A mu atm during periods when phytoplankton biomass increased. In addition, we found significant relationships (e.g., between PP and Chl a) in the untreated mesocosms which were not observed under high fCO(2) conditions. Consequently, it can be hypothesized that the relationship between PP formation and phytoplankton growth changed with CO2 elevation. It can be deduced from the results, that visible effects of CO2 on P pools are coupled to phytoplankton growth when the transformation of PO4 into POP was stimulated. The transformation of PO4 into DOP on the other hand does not seem to be affected. Additionally, there were some indications that cellular mechanisms of P regulation might be modified under CO2 elevation changing the relationship between cellular constituents.},
  language  = {en}
}
@misc{SpillingSchulzPauletal.2016,
  author    = {Spilling, Kristian and Schulz, Kai Georg and Paul, Allanah J. and Boxhammer, Tim and Achterberg, Eric Pieter and Hornick, Thomas and Lischka, Silke and Stuhr, Annegret and Berm{\´u}dez, Rafael and Czerny, Jan and Crawfurd, Kate and Brussaard, Corina P. D. and Grossart, Hans-Peter and Riebesell, Ulf},
  title     = {Effects of ocean acidification on pelagic carbon fluxes in a mesocosm experiment},
  series = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  journal   = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  number    = {544},
  issn      = {1866-8372},
  doi       = {10.25932/publishup-41183},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-411835},
  pages     = {13},
  year      = {2016},
  abstract  = {About a quarter of anthropogenic CO2 emissions are currently taken up by the oceans, decreasing seawater pH. We performed a mesocosm experiment in the Baltic Sea in order to investigate the consequences of increasing CO2 levels on pelagic carbon fluxes. A gradient of different CO2 scenarios, ranging from ambient (similar to 370 mu atm) to high (similar to 1200 mu atm), were set up in mesocosm bags (similar to 55m(3)). We determined standing stocks and temporal changes of total particulate carbon (TPC), dissolved organic carbon (DOC), dissolved inorganic carbon (DIC), and particulate organic carbon (POC) of specific plankton groups. We also measured carbon flux via CO2 exchange with the atmosphere and sedimentation (export), and biological rate measurements of primary production, bacterial production, and total respiration. The experiment lasted for 44 days and was divided into three different phases (I: t0-t16; II: t17-t30; III: t31-t43). Pools of TPC, DOC, and DIC were approximately 420, 7200, and 25 200 mmol Cm-2 at the start of the experiment, and the initial CO2 additions increased the DIC pool by similar to 7\% in the highest CO2 treatment. Overall, there was a decrease in TPC and increase of DOC over the course of the experiment. The decrease in TPC was lower, and increase in DOC higher, in treatments with added CO2. During phase I the estimated gross primary production (GPP) was similar to 100 mmol C m(-2) day(-1), from which 75-95\% was respired, similar to 1\% ended up in the TPC (including export), and 5-25\% was added to the DOC pool. During phase II, the respiration loss increased to similar to 100\% of GPP at the ambient CO2 concentration, whereas respiration was lower (85-95\% of GPP) in the highest CO2 treatment. Bacterial production was similar to 30\% lower, on average, at the highest CO2 concentration than in the controls during phases II and III. This resulted in a higher accumulation of DOC and lower reduction in the TPC pool in the elevated CO2 treatments at the end of phase II extending throughout phase III. The "extra" organic carbon at high CO2 remained fixed in an increasing biomass of small-sized plankton and in the DOC pool, and did not transfer into large, sinking aggregates. Our results revealed a clear effect of increasing CO2 on the carbon budget and mineralization, in particular under nutrient limited conditions. Lower carbon loss processes (respiration and bacterial remineralization) at elevated CO2 levels resulted in higher TPC and DOC pools than ambient CO2 concentration. These results highlight the importance of addressing not only net changes in carbon standing stocks but also carbon fluxes and budgets to better disentangle the effects of ocean acidification.},
  language  = {en}
}
@article{VorburgerNedielkovBrosigetal.2016,
  author    = {Vorburger, Thomas and Nedielkov, Ruslan and Brosig, Alexander and Bok, Eva and Schunke, Emina and Steffen, Wojtek and Mayer, Sonja and Goetz, Friedrich and M{\"o}ller, Heiko Michael and Steuber, Julia},
  title     = {Role of the Na+-translocating NADH:quinone oxidoreductase in voltage generation and Na+ extrusion in Vibrio cholerae},
  series = {Biochimica et biophysica acta : Bioenergetics},
  volume    = {1857},
  journal   = {Biochimica et biophysica acta : Bioenergetics},
  publisher = {Elsevier},
  address   = {Amsterdam},
  issn      = {0005-2728},
  doi       = {10.1016/j.bbabio.2015.12.010},
  pages     = {473 -- 482},
  year      = {2016},
  abstract  = {For Vibrio cholerae, the coordinated import and export of Na+ is crucial for adaptation to habitats with different osmolarities. We investigated the Na+-extruding branch of the sodium cycle in this human pathogen by in vivo Na-23-NMR spectroscopy. The Na+ extrusion activity of cells was monitored after adding glucose which stimulated respiration via the Na+-translocating NADH:quinone oxidoreductase (Na+-NQR). In a V. cholerae deletion mutant devoid of the Na+-NQR encoding genes (nqrA-F), rates of respiratory Na+ extrusion were decreased by a factor of four, but the cytoplasmic Na+ concentration was essentially unchanged. Furthermore, the mutant was impaired in formation of transmembrane voltage (Delta psi, inside negative) and did not grow under hypoosmotic conditions at pH 8.2 or above. This growth defect could be complemented by transformation with the plasmid encoded nqr operon. In an alkaline environment, Na+/H+ antiporters acidify the cytoplasm at the expense of the transmembrane voltage. It is proposed that, at alkaline pH and limiting Na+ concentrations, the Na+-NQR is crucial for generation of a transmembrane voltage to drive the import of H+ by electrogenic Na+/H+ antiporters. Our study provides the basis to understand the role of the Na+-NQR in pathogenicity of V. cholerae and other pathogens relying on this primary Na+ pump for respiration. (C) 2015 Elsevier B.V. All rights reserved.},
  language  = {en}
}
@article{Kohler2016,
  author    = {Kohler, Ulrich},
  title     = {Anforderungen an Hochschulabsolventen},
  series = {Human Resources : Qualit{\"a}tsaspekte der Ausbildung in der empirischen Forschung},
  journal   = {Human Resources : Qualit{\"a}tsaspekte der Ausbildung in der empirischen Forschung},
  editor    = {K{\"o}nig, Christian and Stahl, Matthias Matthias Stahl and Wiegand, Erich},
  publisher = {Springer},
  address   = {Wiesbaden},
  isbn      = {978-3-658-12567-7},
  doi       = {10.1007/978-3-658-12568-4_4},
  pages     = {43 -- 77},
  year      = {2016},
  abstract  = {Was sollten Mitarbeiter in einem empirisch ausgerichteten Forschungsprojekt k{\"o}nnen, und welche Kernkompetenzen sollte die Ausbildung an den Universit{\"a}ten daher vermitteln? Die Antworten auf diese Fragen h{\"a}ngen - wie sollte es anders sein - von der inhaltlichen Fragestellung und methodischen Ausrichtung des jeweiligen Forschungsprojektes ab. Nat{\"u}rlich sollten Projektmitarbeiter {\"u}ber Vorkenntnisse zum Forschungsthema verf{\"u}gen. Nat{\"u}rlich sollten Kenntnisse des projektspezifischen (statistischen) Methodenarsenals vorliegen.},
  language  = {de}
}
@article{OstrowskiPauleveSchaubetal.2016,
  author    = {Ostrowski, Max and Pauleve, L. and Schaub, Torsten and Siegel, A. and Guziolowski, Carito},
  title     = {Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming},
  series = {Biosystems : journal of biological and information processing sciences},
  volume    = {149},
  journal   = {Biosystems : journal of biological and information processing sciences},
  publisher = {Elsevier},
  address   = {Oxford},
  issn      = {0303-2647},
  doi       = {10.1016/j.biosystems.2016.07.009},
  pages     = {139 -- 153},
  year      = {2016},
  abstract  = {Boolean networks (and more general logic models) are useful frameworks to study signal transduction across multiple pathways. Logic models can be learned from a prior knowledge network structure and multiplex phosphoproteomics data. However, most efficient and scalable training methods focus on the comparison of two time-points and assume that the system has reached an early steady state. In this paper, we generalize such a learning procedure to take into account the time series traces of phosphoproteomics data in order to discriminate Boolean networks according to their transient dynamics. To that end, we identify a necessary condition that must be satisfied by the dynamics of a Boolean network to be consistent with a discretized time series trace. Based on this condition, we use Answer Set Programming to compute an over-approximation of the set of Boolean networks which fit best with experimental data and provide the corresponding encodings. Combined with model-checking approaches, we end up with a global learning algorithm. Our approach is able to learn logic models with a true positive rate higher than 78\% in two case studies of mammalian signaling networks; for a larger case study, our method provides optimal answers after 7 min of computation. We quantified the gain in our method predictions precision compared to learning approaches based on static data. Finally, as an application, our method proposes erroneous time-points in the time series data with respect to the optimal learned logic models. (C) 2016 Elsevier Ireland Ltd. All rights reserved.},
  language  = {en}
}
@article{BomansonJanhunenSchaubetal.2016,
  author    = {Bomanson, Jori and Janhunen, Tomi and Schaub, Torsten and Gebser, Martin and Kaufmann, Benjamin},
  title     = {Answer Set Programming Modulo Acyclicity},
  series = {Fundamenta informaticae},
  volume    = {147},
  journal   = {Fundamenta informaticae},
  publisher = {IOS Press},
  address   = {Amsterdam},
  issn      = {0169-2968},
  doi       = {10.3233/FI-2016-1398},
  pages     = {63 -- 91},
  year      = {2016},
  abstract  = {Acyclicity constraints are prevalent in knowledge representation and applications where acyclic data structures such as DAGs and trees play a role. Recently, such constraints have been considered in the satisfiability modulo theories (SMT) framework, and in this paper we carry out an analogous extension to the answer set programming (ASP) paradigm. The resulting formalism, ASP modulo acyclicity, offers a rich set of primitives to express constraints related to recursive structures. In the technical results of the paper, we relate the new generalization with standard ASP by showing (i) how acyclicity extensions translate into normal rules, (ii) how weight constraint programs can be instrumented by acyclicity extensions to capture stability in analogy to unfounded set checking, and (iii) how the gap between supported and stable models is effectively closed in the presence of such an extension. Moreover, we present an efficient implementation of acyclicity constraints by incorporating a respective propagator into the state-of-the-art ASP solver CLASP. The implementation provides a unique combination of traditional unfounded set checking with acyclicity propagation. In the experimental part, we evaluate the interplay of these orthogonal checks by equipping logic programs with supplementary acyclicity constraints. The performance results show that native support for acyclicity constraints is a worthwhile addition, furnishing a complementary modeling construct in ASP itself as well as effective means for translation-based ASP solving.},
  language  = {en}
}
@article{KronbergRashevDalyetal.2016,
  author    = {Kronberg, Elena A. and Rashev, M. V. and Daly, P. W. and Shprits, Yuri and Turner, D. L. and Drozdov, Alexander and Dobynde, M. and Kellerman, Adam C. and Fritz, T. A. and Pierrard, V. and Borremans, K. and Klecker, B. and Friedel, R.},
  title     = {Contamination in electron observations of the silicon detector on board},
  series = {Space Weather: The International Journal of Research and Applications},
  volume    = {14},
  journal   = {Space Weather: The International Journal of Research and Applications},
  publisher = {American Geophysical Union},
  address   = {Washington},
  issn      = {1542-7390},
  doi       = {10.1002/2016SW001369},
  pages     = {449 -- 462},
  year      = {2016},
  abstract  = {Since more than 15 years, the Cluster mission passes through Earth's radiation belts at least once every 2 days for several hours, measuring the electron intensity at energies from 30 to 400 keV. These data have previously been considered not usable due to contamination caused by penetrating energetic particles (protons at >100 keV and electrons at >400 keV). In this study, we assess the level of distortion of energetic electron spectra from the Research with Adaptive Particle Imaging Detector (RAPID)/Imaging Electron Spectrometer (IES) detector, determining the efficiency of its shielding. We base our assessment on the analysis of experimental data and a radiation transport code (Geant4). In simulations, we use the incident particle energy distribution of the AE9/AP9 radiation belt models. We identify the Roederer L values, L\&\#8902;, and energy channels that should be used with caution: at 3\&\#8804;L\&\#8902;\&\#8804;4, all energy channels (40-400 keV) are contaminated by protons (\&\#8771;230 to 630 keV and >600 MeV); at L\&\#8902;\&\#8771;1 and 4-6, the energy channels at 95-400 keV are contaminated by high-energy electrons (>400 keV). Comparison of the data with electron and proton observations from RBSP/MagEIS indicates that the subtraction of proton fluxes at energies \&\#8771; 230-630 keV from the IES electron data adequately removes the proton contamination. We demonstrate the usefulness of the corrected data for scientific applications.},
  language  = {en}
}
@article{RipollLoridanCunninghametal.2016,
  author    = {Ripoll, Jean-Fran{\c{c}}ois and Loridan, Vivien and Cunningham, G. S. and Reeves, Geoffrey D. and Shprits, Yuri},
  title     = {On the time needed to reach an equilibrium structure of the radiation belts},
  series = {Journal of geophysical research : Space physics},
  volume    = {121},
  journal   = {Journal of geophysical research : Space physics},
  publisher = {American Geophysical Union},
  address   = {Washington},
  issn      = {2169-9380},
  doi       = {10.1002/2015JA022207},
  pages     = {7684 -- 7698},
  year      = {2016},
  abstract  = {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.},
  language  = {en}
}
@article{ZhelavskayaSpasojevicShpritsetal.2016,
  author    = {Zhelavskaya, Irina and Spasojevic, M. and Shprits, Yuri and Kurth, William S.},
  title     = {Automated determination of electron density from electric field measurements on the Van Allen Probes spacecraft},
  series = {Journal of geophysical research : Space physics},
  volume    = {121},
  journal   = {Journal of geophysical research : Space physics},
  publisher = {American Geophysical Union},
  address   = {Washington},
  issn      = {2169-9380},
  doi       = {10.1002/2015JA022132},
  pages     = {4611 -- 4625},
  year      = {2016},
  abstract  = {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.},
  language  = {en}
}
@article{BoydSpenceHuangetal.2016,
  author    = {Boyd, A. J. and Spence, Harlan E. and Huang, Chia-Lin and Reeves, Geoffrey D. and Baker, Daniel N. and Turner, D. L. and Claudepierre, Seth G. and Fennell, Joseph F. and Blake, J. Bernard and Shprits, Yuri},
  title     = {Statistical properties of the radiation belt seed population},
  series = {Journal of geophysical research : Space physics},
  volume    = {121},
  journal   = {Journal of geophysical research : Space physics},
  publisher = {American Geophysical Union},
  address   = {Washington},
  issn      = {2169-9380},
  doi       = {10.1002/2016JA022652},
  pages     = {7636 -- 7646},
  year      = {2016},
  abstract  = {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.},
  language  = {en}
}
@article{AbseherMusliuWoltranetal.2016,
  author    = {Abseher, Michael and Musliu, Nysret and Woltran, Stefan and Gebser, Martin and Schaub, Torsten},
  title     = {Shift Design with Answer Set Programming},
  series = {Fundamenta informaticae},
  volume    = {147},
  journal   = {Fundamenta informaticae},
  publisher = {IOS Press},
  address   = {Amsterdam},
  issn      = {0169-2968},
  doi       = {10.3233/FI-2016-1396},
  pages     = {1 -- 25},
  year      = {2016},
  abstract  = {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.},
  language  = {en}
}
@article{GebserSchaub2016,
  author    = {Gebser, Martin and Schaub, Torsten},
  title     = {Modeling and Language Extensions},
  series = {AI magazine},
  volume    = {37},
  journal   = {AI magazine},
  publisher = {Association for the Advancement of Artificial Intelligence},
  address   = {Menlo Park},
  issn      = {0738-4602},
  pages     = {33 -- 44},
  year      = {2016},
  abstract  = {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.},
  language  = {en}
}
@article{KaufmannLeonePerrietal.2016,
  author    = {Kaufmann, Benjamin and Leone, Nicola and Perri, Simona and Schaub, Torsten},
  title     = {Grounding and Solving in Answer Set Programming},
  series = {AI magazine},
  volume    = {37},
  journal   = {AI magazine},
  publisher = {Association for the Advancement of Artificial Intelligence},
  address   = {Menlo Park},
  issn      = {0738-4602},
  pages     = {25 -- 32},
  year      = {2016},
  abstract  = {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.},
  language  = {en}
}
@article{AseevShpritsDrozdovetal.2016,
  author    = {Aseev, Nikita and Shprits, Yuri and Drozdov, Alexander and Kellerman, Adam C.},
  title     = {Numerical applications of the advective-diffusive codes for the inner magnetosphere},
  series = {Space Weather: The International Journal of Research and Applications},
  volume    = {14},
  journal   = {Space Weather: The International Journal of Research and Applications},
  publisher = {American Geophysical Union},
  address   = {Washington},
  issn      = {1542-7390},
  doi       = {10.1002/2016SW001484},
  pages     = {993 -- 1010},
  year      = {2016},
  abstract  = {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.},
  language  = {en}
}
@article{KimShpritsBlake2016,
  author    = {Kim, Kyung-Chan and Shprits, Yuri and Blake, J. Bernard},
  title     = {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},
  series = {Journal of geophysical research : Space physics},
  volume    = {121},
  journal   = {Journal of geophysical research : Space physics},
  publisher = {American Geophysical Union},
  address   = {Washington},
  issn      = {2169-9380},
  doi       = {10.1002/2015JA022072},
  pages     = {8329 -- 8342},
  year      = {2016},
  abstract  = {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.},
  language  = {en}
}
@article{ShpritsDrozdovSpasojevicetal.2016,
  author    = {Shprits, Yuri and Drozdov, Alexander and Spasojevic, Maria and Kellerman, Adam C. and Usanova, Maria E. and Engebretson, Mark J. and Agapitov, Oleksiy V. and Zhelavskaya, Irina and Raita, Tero J. and Spence, Harlan E. and Baker, Daniel N. and Zhu, Hui and Aseev, Nikita},
  title     = {Wave-induced loss of ultra-relativistic electrons in the Van Allen radiation belts},
  series = {Nature Communications},
  volume    = {7},
  journal   = {Nature Communications},
  publisher = {Nature Publ. Group},
  address   = {London},
  issn      = {2041-1723},
  doi       = {10.1038/ncomms12883},
  pages     = {7},
  year      = {2016},
  language  = {en}
}