@article{GebserSabuncuSchaub2011, author = {Gebser, Martin and Sabuncu, Orkunt and Schaub, Torsten H.}, title = {An incremental answer set programming based system for finite model computation}, series = {AI communications : AICOM ; the European journal on artificial intelligence}, volume = {24}, journal = {AI communications : AICOM ; the European journal on artificial intelligence}, number = {2}, publisher = {IOS Press}, address = {Amsterdam}, issn = {0921-7126}, doi = {10.3233/AIC-2011-0496}, pages = {195 -- 212}, year = {2011}, abstract = {We address the problem of Finite Model Computation (FMC) of first-order theories and show that FMC can efficiently and transparently be solved by taking advantage of a recent extension of Answer Set Programming (ASP), called incremental Answer Set Programming (iASP). The idea is to use the incremental parameter in iASP programs to account for the domain size of a model. The FMC problem is then successively addressed for increasing domain sizes until an answer set, representing a finite model of the original first-order theory, is found. We implemented a system based on the iASP solver iClingo and demonstrate its competitiveness by showing that it slightly outperforms the winner of the FNT division of CADE's 2009 Automated Theorem Proving (ATP) competition on the respective benchmark collection.}, language = {en} } @article{GebserKaufmannKaminskietal.2011, author = {Gebser, Martin and Kaufmann, Benjamin and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten H. and Schneider, Marius}, title = {Potassco the Potsdam answer set solving collection}, series = {AI communications : AICOM ; the European journal on artificial intelligence}, volume = {24}, journal = {AI communications : AICOM ; the European journal on artificial intelligence}, number = {2}, publisher = {IOS Press}, address = {Amsterdam}, issn = {0921-7126}, doi = {10.3233/AIC-2011-0491}, pages = {107 -- 124}, year = {2011}, abstract = {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.}, language = {en} } @misc{MulderBoitBonkowskietal.2011, author = {Mulder, Christian and Boit, Alice and Bonkowski, Michael and De Ruiter, Peter C. and Mancinelli, Giorgio and Van der Heijden, Marcel G. A. and Van Wijnen, Harm J. and Vonk, J. Arie and Rutgers, Michiel}, title = {A belowground perspective on dutch agroecosystems how soil organisms interact to support ecosystem services}, series = {Advances in ecological research}, volume = {44}, journal = {Advances in ecological research}, number = {2}, editor = {Woodward, G}, publisher = {Elsevier}, address = {San Diego}, isbn = {978-0-12-374794-5}, issn = {0065-2504}, doi = {10.1016/B978-0-12-374794-5.00005-5}, pages = {277 -- 357}, year = {2011}, abstract = {1. New patterns and trends in land use are becoming increasingly evident in Europe's heavily modified landscape and else whereas sustainable agriculture and nature restoration are developed as viable long-term alternatives to intensively farmed arable land. The success of these changes depends on how soil biodiversity and processes respond to changes in management. To improve our understanding of the community structure and ecosystem functioning of the soil biota, we analyzed abiotic variables across 200 sites, and biological variables across 170 sites in The Netherlands, one of the most intensively farmed countries. The data were derived from the Dutch Soil Quality Network (DSQN), a long-term monitoring framework designed to obtain ecological insight into soil types (STs) and ecosystem types (ETs). 2. At the outset we describe STs and biota, and we estimate the contribution of various groups to the provision of ecosystem services. We focused on interactive effects of soil properties on community patterns and ecosystem functioning using food web models. Ecologists analyze soil food webs by means of mechanistic and statistical modelling, linking network structure to energy flow and elemental dynamics commonly based on allometric scaling. 3. We also explored how predatory and metabolic processes are constrained by body size, diet and metabolic type, and how these constraints govern the interactions within and between trophic groups. In particular, we focused on how elemental fluxes determine the strengths of ecological interactions, and the resulting ecosystem services, in terms of sustenance of soil fertility. 4. We discuss data mining, food web visualizations, and an appropriate categorical way to capture subtle interrelationships within the DSQN dataset. Sampled metazoans were used to provide an overview of below-ground processes and influences of land use. Unlike most studies to date we used data from the entire size spectrum, across 15 orders of magnitude, using body size as a continuous trait crucial for understanding ecological services. 5. Multimodality in the frequency distributions of body size represents a performance filter that acts as a buffer to environmental change. Large differences in the body-size distributions across ETs and STs were evident. Most observed trends support the hypothesis that the direct influence of ecological stoichiometry on the soil biota as an independent predictor (e.g. in the form of nutrient to carbon ratios), and consequently on the allometric scaling, is more dominant than either ET or ST. This provides opportunities to develop a mechanistic and physiologically oriented model for the distribution of species' body sizes, where responses of invertebrates can be predicted. 6. Our results highlight the different roles that organisms play in a number of key ecosystem services. Such a trait-based research has unique strengths in its rigorous formulation of fundamental scaling rules, as well as in its verifiability by empirical data. Nonetheless, it still has weaknesses that remain to be addressed, like the consequences of intraspecific size variation, the high degree of omnivory, and a possibly inaccurate assignment to trophic groups. 7. Studying the extent to which nutrient levels influence multitrophic interactions and how different land-use regimes affect soil biodiversity is clearly a fruitful area for future research to develop predictive models for soil ecosystem services under different management regimes. No similar efforts have been attempted previously for soil food webs, and our dataset has the potential to test and further verify its usefulness at an unprecedented space scale.}, language = {en} } @misc{Kallmeyer2011, author = {Kallmeyer, Jens}, title = {Detection and quantification of microbial cells in subsurface sediments}, series = {Advances in applied microbiology}, volume = {76}, journal = {Advances in applied microbiology}, editor = {Laskin, AI and Sariaslani, S and Gadd, GM}, publisher = {Elsevier}, address = {San Diego}, isbn = {978-0-12-387048-3}, issn = {0065-2164}, doi = {10.1016/B978-0-12-387048-3.00003-9}, pages = {79 -- 103}, year = {2011}, abstract = {Quantification of total cell abundance is one of the most fundamental parameters in the exploration of subsurface life. Despite all recent advances in molecular techniques, this parameter is usually determined by fluorescence microscopy. In order to obtain reliable and reproducible results, it is important not just to focus on the actual cell enumeration but also to consider the entire chain of processing. Starting with the retrieval of the sample, over subsampling and sample processing to the final step of fluorescence microscopy, there are many potential sources of contamination that have to be assessed and, if possible, avoided. Because some degree of sample contamination will always occur, it is necessary to employ some form of contamination control. Different tracers are available, each one with its specific advantages and drawbacks. In many cases, the problems arise not after the sample has arrived in a well-equipped laboratory with highly trained personnel, but much earlier at the drill site or in a field camp. In this review, I discuss the different aspects of cell enumeration in subsurface sediment, evaluating every step in the long process chain.}, language = {en} } @article{SeemuellerFiehlerRoesler2011, author = {Seem{\"u}ller, Anna and Fiehler, Katja and R{\"o}sler, Frank}, title = {Unimodal and crossmodal working memory representations of visual and kinesthetic movement trajectories}, series = {Acta psychologica : international journal of psychonomics}, volume = {136}, journal = {Acta psychologica : international journal of psychonomics}, number = {1}, publisher = {Elsevier}, address = {Amsterdam}, issn = {0001-6918}, doi = {10.1016/j.actpsy.2010.09.014}, pages = {52 -- 59}, year = {2011}, abstract = {The present study investigated whether visual and kinesthetic stimuli are stored as multisensory or modality-specific representations in unimodal and crossmodal working memory tasks. To this end, angle-shaped movement trajectories were presented to 16 subjects in delayed matching-to-sample tasks either visually or kinesthetically during encoding and recognition. During the retention interval, a secondary visual or kinesthetic interference task was inserted either immediately or with a delay after encoding. The modality of the interference task interacted significantly with the encoding modality. After visual encoding, memory was more impaired by a visual than by a kinesthetic secondary task, while after kinesthetic encoding the pattern was reversed. The time when the secondary task had to be performed interacted with the encoding modality as well. For visual encoding, memory was more impaired, when the secondary task had to be performed at the beginning of the retention interval. In contrast, memory after kinesthetic encoding was more affected, when the secondary task was introduced later in the retention interval. The findings suggest that working memory traces are maintained in a modality-specific format characterized by distinct consolidation processes that take longer after kinesthetic than after visual encoding.}, language = {en} } @article{SchenkHamiltonJohnsonetal.2011, author = {Schenk, Paul and Hamilton, Douglas P. and Johnson, Robert E. and McKinnon, William B. and Paranicas, Chris and Schmidt, J{\"u}rgen and Showalter, Mark R.}, title = {Plasma, plumes and rings saturn system dynamics as recorded in global color patterns on its midsize icy satellites}, series = {Icarus : international journal of solar system studies}, volume = {211}, journal = {Icarus : international journal of solar system studies}, number = {1}, publisher = {Elsevier}, address = {San Diego}, issn = {0019-1035}, doi = {10.1016/j.icarus.2010.08.016}, pages = {740 -- 757}, year = {2011}, abstract = {New global maps of the five inner midsize icy saturnian satellites, Mimas, Enceladus, Tethys, Dione, and Rhea, have been constructed in three colors (UV, Green and near-IR) at resolutions of 1 km/pixel. The maps reveal prominent global patterns common to several of these satellites but also three major color features unique to specific satellites or satellite subgroups. The most common features among the group are first-order global asymmetries in color properties. This pattern, expressed on Tethys, Dione and Rhea, takes the form of a similar to 1.4-1.8 times enhancement in redness (expressed as IR/UV ratio) of the surface at the center of the trailing hemisphere of motion, and a similar though significantly weaker IR/UV enhancement at the center of the leading hemisphere. The peak in redness on the trailing hemisphere also corresponds to a known decrease in albedo. These double hemispheric asymmetries are attributable to plasma and E-ring grain bombardment on the trailing and leading hemispheres, respectively, for the outer three satellites Tethys, Dione and Rhea, whereas as E-ring bombardment may be focused on the trailing hemisphere of Mimas due to its orbital location interior to Enceladus. The maps also reveal three major deviations from these basic global patterns. We observe the previously known dark bluish leading hemisphere equatorial band on Tethys but have also discovered a similar band on Mimas. Similar in shape, both features match the surface patterns expected for irradiation of the surface by incident MeV electrons that drift in a direction opposite to the plasma flow. The global asymmetry on Enceladus is offset similar to 40 degrees to the west compared to the other satellites. We do not consider Enceladus in detail here, but the global distribution of bluish material can be shown to match the deposition pattern predicted for plume fallback onto the surface (Kempf, S., Beckmann, U., Schmidt, S. [2010]. Icarus 206, 446-457. doi:10.1016/j.icarus.2009.09.016). E-ring deposition on Enceladus thus appears to mask or prevent the formation of the lenses and hemispheric asymmetries we see on the other satellites. Finally, we observe a chain of discrete bluish splotches along the equator of Rhea. Unlike the equatorial bands of Tethys and Mimas, these splotches form a very narrow great circle <= 10-km wide (north-to-south) and appear to be related to surface disruption, exposing fresh, bluish ice on older crater rims. This feature is unique to Rhea and may have formed by impact onto its surface of orbiting material.}, language = {en} } @article{MohsenAschMechieetal.2011, author = {Mohsen, Amjad and Asch, G{\"u}nter and Mechie, James and Kind, Rainer and Hofstetter, Rami and Weber, Michael H. and Stiller, M. and Abu-Ayyash, Khalil}, title = {Crustal structure of the Dead Sea Basin (DSB) from a receiver function analysis}, series = {Geophysical journal international}, volume = {184}, journal = {Geophysical journal international}, number = {1}, publisher = {Wiley-Blackwell}, address = {Malden}, issn = {0956-540X}, doi = {10.1111/j.1365-246X.2010.04853.x}, pages = {463 -- 476}, year = {2011}, abstract = {The Dead Sea Transform (DST) is a major left-lateral strike-slip fault that accommodates the relative motion between the African and Arabian plates, connecting a region of extension in the Red Sea to the Taurus collision zone in Turkey over a length of about 1100 km. The Dead Sea Basin (DSB) is one of the largest basins along the DST. The DSB is a morphotectonic depression along the DST, divided into a northern and a southern sub-basin, separated by the Lisan salt diapir. We report on a receiver function study of the crust within the multidisciplinary geophysical project, DEad Sea Integrated REsearch (DESIRE), to study the crustal structure of the DSB. A temporary seismic network was operated on both sides of the DSB between 2006 October and 2008 April. The aperture of the network is approximately 60 km in the E-W direction crossing the DSB on the Lisan peninsula and about 100 km in the N-S direction. Analysis of receiver functions from the DESIRE temporary network indicates that Moho depths vary between 30 and 38 km beneath the area. These Moho depth estimates are consistent with results of near-vertical incidence and wide-angle controlled-source techniques. Receiver functions reveal an additional discontinuity in the lower crust, but only in the DSB and west of it. This leads to the conclusion that the internal crustal structure east and west of the DSB is different at the present-day. However, if the 107 km left-lateral movement along the DST is taken into account, then the region beneath the DESIRE array where no lower crustal discontinuity is observed would have lain about 18 Ma ago immediately adjacent to the region under the previous DESERT array west of the DST where no lower crustal discontinuity is recognized.}, language = {en} } @article{PanetKuroishiHolschneider2011, author = {Panet, Isabelle and Kuroishi, Yuki and Holschneider, Matthias}, title = {Wavelet modelling of the gravity field by domain decomposition methods: an example over Japan}, series = {Geophysical journal international}, volume = {184}, journal = {Geophysical journal international}, number = {1}, publisher = {Oxford Univ. Press}, address = {Oxford}, issn = {0956-540X}, doi = {10.1111/j.1365-246X.2010.04840.x}, pages = {203 -- 219}, year = {2011}, abstract = {With the advent of satellite gravity, large gravity data sets of unprecedented quality at low and medium resolution become available. For local, high resolution field modelling, they need to be combined with the surface gravity data. Such models are then used for various applications, from the study of the Earth interior to the determination of oceanic currents. Here we show how to realize such a combination in a flexible way using spherical wavelets and applying a domain decomposition approach. This iterative method, based on the Schwarz algorithms, allows to split a large problem into smaller ones, and avoids the calculation of the entire normal system, which may be huge if high resolution is sought over wide areas. A subdomain is defined as the harmonic space spanned by a subset of the wavelet family. Based on the localization properties of the wavelets in space and frequency, we define hierarchical subdomains of wavelets at different scales. On each scale, blocks of subdomains are defined by using a tailored spatial splitting of the area. The data weighting and regularization are iteratively adjusted for the subdomains, which allows to handle heterogeneity in the data quality or the gravity variations. Different levels of approximations of the subdomains normals are also introduced, corresponding to building local averages of the data at different resolution levels. We first provide the theoretical background on domain decomposition methods. Then, we validate the method with synthetic data, considering two kinds of noise: white noise and coloured noise. We then apply the method to data over Japan, where we combine a satellite-based geopotential model, EIGEN-GL04S, and a local gravity model from a combination of land and marine gravity data and an altimetry-derived marine gravity model. A hybrid spherical harmonics/wavelet model of the geoid is obtained at about 15 km resolution and a corrector grid for the surface model is derived.}, language = {en} } @article{CandanKoralayAkaletal.2011, author = {Candan, Osman and Koralay, O. E. and Akal, Cemal B. and Kaya, O. and Oberh{\"a}nsli, Roland and Dora, O. O. and Konak, N. and Chen, F.}, title = {Supra-Pan-African unconformity between core and cover series of the Menderes Massif/Turkey and its geological implications}, series = {Precambrian research}, volume = {184}, journal = {Precambrian research}, number = {1-4}, publisher = {Elsevier}, address = {Amsterdam}, issn = {0301-9268}, doi = {10.1016/j.precamres.2010.09.010}, pages = {1 -- 23}, year = {2011}, abstract = {Well-preserved primary contact relationships between a Late Proterozoic metasedimentary and the metagranitic core and Palaeozoic cover series of the Menderes Massif have been recognized in the eastern part of the Cine submassif on a regional-scale. Metaconglomerates occur as laterally discontinuous channel-fill bodies close the base of the metaquartzarenite directly above the basement. The pebbles in the metaconglomerates consist mainly of different types of tourmaline-rich leucocratic granitoids, tourmalinite and schist in a sandy matrix. Petrographic features, geochemical compositions and zircon radiometric ages (549.6 +/- 3.7-552.3 +/- 3.1 Ma) of the diagnostic clasts of the metaconglomerates (e.g. leucocratic granitoids and tourmalinites) show excellent agreement with their in situ equivalents (549.0 +/- 5.4 Ma) occurring in the Pan-African basement as stocks and veins. The correlation between clasts in the metaconglomerates and granitoids of the basement suggests that the primary contact between the basement and cover series is a regional unconformity (supra-Pan-African Unconformity) representing deep erosion of the Pan-African basement followed by the deposition of the cover series. Hence the usage of 'core-cover' terminology in the Menderes Massif is valid. Consequently, these new data preclude the views that the granitic precursors of the leucocratic orthogneisses are Tertiary intrusions.}, language = {en} } @article{SakiMoazzenOberhaensli2011, author = {Saki, A. and Moazzen, Mohssen and Oberh{\"a}nsli, Roland}, title = {P-T evolution of the precambrian metamorphic complex, NW Iran a study of metapelitic rocks}, series = {Geological journal}, volume = {46}, journal = {Geological journal}, number = {1}, publisher = {Wiley-Blackwell}, address = {Malden}, issn = {0072-1050}, doi = {10.1002/gj.1236}, pages = {10 -- 25}, year = {2011}, abstract = {The Mahneshan Metamorphic Complex (MMC) is one of the Precambrian terrains exposed in the northwest of Iran. The MMC underwent two main phases of deformation (D-1 and D-2) and at least two metamorphic events (M-1 and M-2). Critical metamorphic mineral assemblages in the metapelitic rocks testify to regional metamorphism under amphibolite-facies conditions. The dominant metamorphic mineral assemblage in metapelitic rocks (M-1) is muscovite, biotite I, Garnet I, staurolite, Andalusite I and sillimanite. Peak metamorphism took place at 600-620 degrees C and similar to 7 kbar, corresponding to a depth of ca. 24 km. This was followed by decompression during exhumation of the crustal rocks up to the surface. The decrease of temperature and pressure during exhumation produced retrograde metamorphic assemblages (M-2). Secondary phases such as garnet II biotite It. Andalusite II constrain the temperature and pressure of M, retrograde metamorphism to 520-560 degrees C and 2.5-3.5 kbar, respectively. The geothermal gradient obtained for the peak of metamorphism is 33 degrees C km(-1), which indicates that peak metamorphism was of Barrovian type and occurred under medium-pressure conditions. The MMC followed a 'clockwise' P T path during metamorphism, consistent with thermal relaxation following tectonic thickening. The bulk chemistry of the MMC metapelites shows that their protoliths were deposited at an active continental margin. Together with the presence of palaeo-suture zones and ophiolitic rocks around the high-grade metamorphic rocks of the MMC, these features suggest that the Iranian Precambrian basement formed by an island-arc type cratonization.}, language = {en} }