Refine
Year of publication
- 2016 (2358) (remove)
Document Type
- Article (1449)
- Doctoral Thesis (322)
- Postprint (216)
- Monograph/Edited Volume (76)
- Other (73)
- Review (72)
- Part of a Book (69)
- Part of Periodical (23)
- Preprint (18)
- Master's Thesis (12)
Language
- English (1796)
- German (515)
- Russian (23)
- Spanish (12)
- French (6)
- Italian (4)
- Multiple languages (1)
- Portuguese (1)
Keywords
- Migration (15)
- migration (15)
- religion (15)
- Religion (12)
- interkulturelle Missverständnisse (12)
- religiöses Leben (12)
- German (11)
- confusions and misunderstandings (11)
- climate change (10)
- Germany (8)
Institute
- Institut für Geowissenschaften (292)
- Institut für Biochemie und Biologie (291)
- Institut für Physik und Astronomie (258)
- Institut für Chemie (213)
- Institut für Ernährungswissenschaft (84)
- Mathematisch-Naturwissenschaftliche Fakultät (80)
- Institut für Slavistik (76)
- Institut für Mathematik (71)
- Department Psychologie (70)
- Wirtschaftswissenschaften (61)
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.
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.
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.
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⋆, and energy channels that should be used with caution: at 3≤L⋆≤4, all energy channels (40–400 keV) are contaminated by protons (≃230 to 630 keV and >600 MeV); at L⋆≃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 ≃ 230–630 keV from the IES electron data adequately removes the proton contamination. We demonstrate the usefulness of the corrected data for scientific applications.
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.
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.
Alternaria (A.) is a genus of widespread fungi capable of producing numerous, possibly health-endangering Alternaria toxins (ATs), which are usually not the focus of attention. The formation of ATs depends on the species and complex interactions of various environmental factors and is not fully understood. In this study the influence of temperature (7 degrees C, 25 degrees C), substrate (rice, wheat kernels) and incubation time (4, 7, and 14 days) on the production of thirteen ATs and three sulfoconjugated ATs by three different Alternaria isolates from the species groups A. tenuissima and A. infectoria was determined. High-performance liquid chromatography coupled with tandem mass spectrometry was used for quantification. Under nearly all conditions, tenuazonic acid was the most extensively produced toxin. At 25 degrees C and with increasing incubation time all toxins were formed in high amounts by the two A. tenuissima strains on both substrates with comparable mycotoxin profiles. However, for some of the toxins, stagnation or a decrease in production was observed from day 7 to 14. As opposed to the A. tenuissima strains, the A. infectoria strain only produced low amounts of ATs, but high concentrations of stemphyltoxin III. The results provide an essential insight into the quantitative in vitro AT formation under different environmental conditions, potentially transferable to different field and storage conditions.