Refine
Year of publication
Document Type
- Postprint (2295) (remove)
Language
- English (2295) (remove)
Keywords
- climate change (22)
- diffusion (21)
- model (21)
- climate-change (20)
- anomalous diffusion (16)
- exercise (16)
- climate (15)
- dynamics (15)
- embodied cognition (15)
- variability (15)
Institute
- Mathematisch-Naturwissenschaftliche Fakultät (478)
- Institut für Biochemie und Biologie (283)
- Institut für Chemie (225)
- Humanwissenschaftliche Fakultät (206)
- Strukturbereich Kognitionswissenschaften (162)
- Institut für Geowissenschaften (138)
- Institut für Physik und Astronomie (136)
- Department Psychologie (135)
- Institut für Ernährungswissenschaft (104)
- Department Sport- und Gesundheitswissenschaften (81)
Abstract gringo
(2015)
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.
The effect of implicitly incentivized faking on explicit and implicit measures of doping attitude
(2015)
The Implicit Association Test (IAT) aims to measure participants' automatic evaluation of an attitude object and is useful especially for the measurement of attitudes related to socially sensitive subjects, e.g. doping in sports. Several studies indicate that IAT scores can be faked on instruction. But fully or semi-instructed research scenarios might not properly reflect what happens in more realistic situations, when participants secretly decide to try faking the test. The present study is the first to investigate IAT faking when there is only an implicit incentive to do so. Sixty-five athletes (22.83 years +/- 2.45; 25 women) were randomly assigned to an incentive-to-fake condition or a control condition. Participants in the incentive-to-fake condition were manipulated to believe that athletes with lenient doping attitudes would be referred to a tedious 45-minute anti-doping program. Attitudes were measured with the pictorial doping brief IAT (BIAT) and with the Performance Enhancement Attitude Scale (PEAS). A one-way MANOVA revealed significant differences between conditions after the manipulation in PEAS scores, but not in the doping BIAT. In the light of our hypothesis this suggests that participants successfully faked an exceedingly negative attitude to doping when completing the PEAS, but were unsuccessful in doing so on the reaction time-based test. This study assessed BIAT faking in a setting that aimed to resemble a situation in which participants want to hide their attempts to cheat. The two measures of attitude were differentially affected by the implicit incentive. Our findings provide evidence that the pictorial doping BIAT is relatively robust against spontaneous and naive faking attempts. (B) IATs might be less prone to faking than implied by previous studies.
Hyenas (family Hyaenidae), as the sister group to cats (family Felidae), represent a deeply diverging branch within the cat-like carnivores (Feliformia). With an estimated population size of <10,000 individuals worldwide, the brown hyena (Parahyaena brunnea) represents the rarest of the four extant hyena species and has been listed as Near Threatened by the IUCN. Here, we report a high-coverage genome from a captive bred brown hyena and both mitochondrial and low-coverage nuclear genomes of 14 wild-caught brown hyena individuals from across southern Africa. We find that brown hyena harbor extremely low genetic diversity on both the mitochondrial and nuclear level, most likely resulting from a continuous and ongoing decline in effective population size that started similar to 1 Ma and dramatically accelerated towards the end of the Pleistocene. Despite the strikingly low genetic diversity, we find no evidence of inbreeding within the captive bred individual and reveal phylogeographic structure, suggesting the existence of several potential subpopulations within the species.
Based on niche theory, closely related and morphologically similar species are not predicted to coexist due to overlap in resource and habitat use. Local assemblages of bats often contain cryptic taxa, which co-occur despite notable similarities in morphology and ecology. We measured in two different habitat types on Madagascar levels of stable carbon and nitrogen isotopes in hair (n = 103) and faeces (n = 57) of cryptic Vespertilionidae taxa to indirectly examine whether fine-grained trophic niche differentiation explains their coexistence. In the dry deciduous forest (Kirindy), six sympatric species ranged over 6.0% in delta N-15, i.e. two trophic levels, and 4.2% in delta C-13 with a community mean of 11.3% in delta N-15 and - 21.0% in delta C-13. In the mesic forest (Antsahabe), three sympatric species ranged over one trophic level (delta N-15: 2.4%, delta C-13: 1.0%) with a community mean of 8.0% delta N-15 and - 21.7% in delta C-13. Multivariate analyses and residual permutation of Euclidian distances in delta C-13- delta N-15 bi-plots revealed in both communities distinct stable isotope signatures and species separation for the hair samples among coexisting Vespertilionidae. Intraspecific variation in faecal and hair stable isotopes did not indicate that seasonal migration might relax competition and thereby facilitate the local co-occurrence of sympatric taxa.
aspeed
(2015)
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.
Background: Continuous treatment is an important indicator of medication adherence in dementia. However, long-term studies in larger clinical settings are lacking, and little is known about moderating effects of patient and service characteristics.
Methods: Data from 12,910 outpatients with dementia (mean age 79.2 years; SD = 7.6 years) treated between January 2003 and December 2013 in Germany were included. Continuous treatment was analysed using Kaplan-Meier curves and log-rank tests. In addition, multivariate Cox regression models were fitted with continuous treatment as dependent variable and the predictors antidementia agent, age, gender, medical comorbidities, physician specialty, and health insurance status.
Results: After one year of follow-up, nearly 60% of patients continued drug treatment. Donezepil (HR: 0.88; 95% CI: 0.82-0.95) and memantine (HR: 0.85; 0.79-0.91) patients were less likely to be discontinued treatment as compared to rivastigmine users. Patients were less likely to be discontinued if they were treated by specialist physicians as compared to general practitioners (HR: 0.44; 0.41-0.48). Younger male patients and patients who had private health insurance had a lower discontinuation risk. Regarding comorbidity, patients were more likely to be continuously treated with the index substance if a diagnosis of heart failure or hypertension had been diagnosed at baseline.
Conclusions: Our results imply that besides type of antidementia agent, involvement of a specialist in the complex process of prescribing antidementia drugs can provide meaningful benefits to patients, in terms of more disease-specific and continuous treatment.
The recently proposed global monsoon hypothesis interprets monsoon systems as part of one global-scale atmospheric overturning circulation, implying a connection between the regional monsoon systems and an in-phase behaviour of all northern hemispheric monsoons on annual timescales (Trenberth et al., 2000). Whether this concept can be applied to past climates and variability on longer timescales is still under debate, because the monsoon systems exhibit different regional characteristics such as different seasonality (i. e. onset, peak and withdrawal). To investigate the interconnection of different monsoon systems during the pre-industrial Holocene, five transient global climate model simulations have been analysed with respect to the rainfall trend and variability in different sub-domains of the Afro-Asian monsoon region. Our analysis suggests that on millennial timescales with varying orbital forcing, the monsoons do not behave as a tightly connected global system. According to the models, the Indian and North African monsoons are coupled, showing similar rainfall trend and moderate correlation in centennial rainfall variability in all models. The East Asian monsoon changes independently during the Holocene. The dissimilarities in the seasonality of the monsoon sub-systems lead to a stronger response of the North African and Indian monsoon systems to the Holocene insolation forcing than of the East Asian monsoon and affect the seasonal distribution of Holocene rainfall variations. Within the Indian and North African monsoon domain, precipitation solely changes during the summer months, showing a decreasing Holocene precipitation trend. In the East Asian monsoon region, the precipitation signal is determined by an increasing precipitation trend during spring and a decreasing precipitation change during summer, partly balancing each other. A synthesis of reconstructions and the model results do not reveal an impact of the different seasonality on the timing of the Holocene rainfall optimum in the different sub-monsoon systems. Rather they indicate locally inhomogeneous rainfall changes and show that single palaeo-records should not be used to characterise the rainfall change and monsoon evolution for entire monsoon sub-systems.
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.
Dual-normal logic programs
(2015)
Disjunctive Answer Set Programming is a powerful declarative programming paradigm with complexity beyond NP. Identifying classes of programs for which the consistency problem is in NP is of interest from the theoretical standpoint and can potentially lead to improvements in the design of answer set programming solvers. One of such classes consists of dual-normal programs, where the number of positive body atoms in proper rules is at most one. Unlike other classes of programs, dual-normal programs have received little attention so far. In this paper we study this class. We relate dual-normal programs to propositional theories and to normal programs by presenting several inter-translations. With the translation from dual-normal to normal programs at hand, we introduce the novel class of body-cycle free programs, which are in many respects dual to head-cycle free programs. We establish the expressive power of dual-normal programs in terms of SE- and UE-models, and compare them to normal programs. We also discuss the complexity of deciding whether dual-normal programs are strongly and uniformly equivalent.
40Ar/39Ar in situ UV laser ablation of white mica, Rb–Sr mineral isochrons and zircon fission track dating were applied to determine ages of very low- to low-grade metamorphic processes at 3.5±0.4 kbar, 280±30°C in the Avalonian Mira terrane of SE Cape Breton Island (Nova Scotia). The Mira terrane comprises Neoproterozoic volcanic-arc rocks overlain by Cambrian sedimentary rocks. Crystallization of metamorphic white mica was dated in six metavolcanic samples by 40Ar/39Ar spot age peaks between 396±3 and 363±14 Ma. Rb–Sr systematics of minerals and mineral aggregates yielded two isochrons at 389±7 Ma and 365±8 Ma, corroborating equilibrium conditions during very low- to low-grade metamorphism. The dated white mica is oriented parallel to foliations produced by sinistral strike-slip faulting and/or folding related to the Middle–Late Devonian transpressive assembly of Avalonian terranes during convergence and emplacement of the neighbouring Meguma terrane. Exhumation occurred earlier in the NW Mira terrane than in the SE. Transpression was related to the closure of the Rheic Ocean between Gondwana and Laurussia by NW-directed convergence. The 40Ar/39Ar spot age spectra also display relict age peaks at 477–465 Ma, 439 Ma and 420–428 Ma attributed to deformation and fluid access, possibly related to the collision of Avalonia with composite Laurentia or to earlier Ordovician–Silurian rifting. Fission track ages of zircon from Mira terrane samples range between 242±18 and 225±21 Ma and reflect late Palaeozoic reburial and reheating close to previous peak metamorphic temperatures under fluid-absent conditions during rifting prior to opening of the Central Atlantic Ocean.