Refine
Year of publication
Document Type
- Postprint (2347) (remove)
Language
- English (2347) (remove)
Keywords
- climate change (23)
- model (22)
- diffusion (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 (282)
- Institut für Chemie (226)
- Humanwissenschaftliche Fakultät (206)
- Strukturbereich Kognitionswissenschaften (161)
- Department Psychologie (147)
- Institut für Geowissenschaften (138)
- Institut für Physik und Astronomie (136)
- Institut für Ernährungswissenschaft (104)
- Department Sport- und Gesundheitswissenschaften (86)
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.
Processes involved in late bilinguals' production of morphologically complex words were studied using an event-related brain potentials (ERP) paradigm in which EEGs were recorded during participants' silent productions of English past- and present-tense forms. Twenty-three advanced second language speakers of English (first language [L1] German) were compared to a control group of 19 L1 English speakers from an earlier study. We found a frontocentral negativity for regular relative to irregular past-tense forms (e.g., asked vs. held) during (silent) production, and no difference for the present-tense condition (e.g., asks vs. holds), replicating the ERP effect obtained for the L1 group. This ERP effect suggests that combinatorial processing is involved in producing regular past-tense forms, in both late bilinguals and L1 speakers. We also suggest that this paradigm is a useful tool for future studies of online language production.
The Strange-tailed Tyrant Alectrurus risora (Aves: Tyrannidae) is an endemic species of southern South American grasslands that suffered a 90% reduction of its original distribution due to habitat transformation. This has led the species to be classified as globally Vulnerable. By the beginning of the last century, populations were partially migratory and moved south during the breeding season. Currently, the main breeding population inhabits the Ibera wetlands in the province of Corrientes, north-east Argentina, where it is resident all year round. There are two remaining small populations in the province of Formosa, north-east Argentina, and in southern Paraguay, which are separated from the main population by the Parana-Paraguay River and its continuous riverine forest habitat. The populations of Corrientes and Formosa are separated by 300 km and the grasslands between populations are non-continuous due to habitat transformation. We used mtDNA sequences and eight microsatellite loci to test if there were evidences of genetic isolation between Argentinean populations. We found no evidence of genetic structure between populations (Phi(ST) = 0.004, P = 0.32; Fst = 0.01, P = 0.06), which can be explained by either retained ancestral polymorphism or by dispersal between populations. We found no evidence for a recent demographic bottleneck in nuclear loci. Our results indicate that these populations could be managed as a single conservation unit on a regional scale. Conservation actions should be focused on preserving the remaining network of areas with natural grasslands to guarantee reproduction, dispersal and prevent further decline of populations.
X-ray observations of young Planetary Nebulæ (PNe) have revealed diffuse emission in extended regions around both H-rich and H-deficient central stars. In order to also repro-duce physical properties of H-deficient objects, we have, at first, extended our time-dependent radiation-hydrodynamic models with heat conduction for such conditions. Here we present some of the important physical concepts, which determine how and when a hot wind-blown bubble forms. In this study we have had to consider the, largely unknown, evolution of the CSPN, the slow (AGB) wind, the fast hot-CSPN wind, and the chemical composition. The main conclusion of our work is that heat conduction is needed to explain X-ray properties of wind-blown bubbles also in H-deficient objects.
Although morphosyntax has been identified as a major source of difficulty for adult (nonnative) language learners, most previous studies have examined a limited set of largely affix-based phenomena. Little is known about word-based morphosyntax in late bilinguals and of how morphosyntax is represented and processed in a nonnative speaker's lexicon. To address these questions, we report results from two behavioral experiments investigating stem variants of strong verbs in German (which encode features such as tense, person, and number) in groups of advanced adult learners as well as native speakers of German. Although the late bilinguals were highly proficient in German, the results of a lexical priming experiment revealed clear native-nonnative differences. We argue that lexical representation and processing relies less on morphosyntactic information in a nonnative than in a native language.
Unlike for other retroviruses, only a few host cell factors that aid the replication of foamy viruses (FVs) via interaction with viral structural components are known. Using a yeast-two-hybrid (Y2H) screen with prototype FV (PFV) Gag protein as bait we identified human polo-like kinase 2 (hPLK2), a member of cell cycle regulatory kinases, as a new interactor of PFV capsids. Further Y2H studies confirmed interaction of PFV Gag with several PLKs of both human and rat origin. A consensus Ser-Thr/Ser-Pro (S-T/S-P) motif in Gag, which is conserved among primate FVs and phosphorylated in PFV virions, was essential for recognition by PLKs. In the case of rat PLK2, functional kinase and polo-box domains were required for interaction with PFV Gag. Fluorescently-tagged PFV Gag, through its chromatin tethering function, selectively relocalized ectopically expressed eGFP-tagged PLK proteins to mitotic chromosomes in a Gag STP motif-dependent manner, confirming a specific and dominant nature of the Gag-PLK interaction in mammalian cells. The functional relevance of the Gag-PLK interaction was examined in the context of replication-competent FVs and single-round PFV vectors. Although STP motif mutated viruses displayed wild type (wt) particle release, RNA packaging and intra-particle reverse transcription, their replication capacity was decreased 3-fold in single-cycle infections, and up to 20-fold in spreading infections over an extended time period. Strikingly similar defects were observed when cells infected with single-round wt Gag PFV vectors were treated with a pan PLK inhibitor. Analysis of entry kinetics of the mutant viruses indicated a post-fusion defect resulting in delayed and reduced integration, which was accompanied with an enhanced preference to integrate into heterochromatin. We conclude that interaction between PFV Gag and cellular PLK proteins is important for early replication steps of PFV within host cells.
The synthesis, structure, and photocatalytic water splitting performance of two new titania (TiO 2 )/gold(Au)/Bombyx mori silk hybrid materials are reported. All materials are monoliths with diameters of up to ca. 4.5 cm. The materials are macroscopically homogeneous and porous with surface areas between 170 and 210 m 2/g. The diameter of the TiO 2 nanoparticles (NPs) – mainly anatase with a minor fraction of brookite – and the Au NPs are on the order of 5 and 7–18 nm, respectively. Addition of poly(ethylene oxide) to the reaction mixture enables pore size tuning, thus providing access to different materials with different photocatalytic activities. Water splitting experiments using a sunlight simulator and a Xe lamp show that the new hybrid materials are effective water splitting catalysts and produce up to 30 mmol of hydrogen per 24 h. Overall the article demonstrates that the combination of a renewable and robust scaffold such as B. mori silk with a photoactive material provides a promising approach to new monolithic photocatalysts that can easily be recycled and show great potential for application in lightweight devices for green fuel production.
ASP modulo CSP
(2012)
We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with techniques for using non-Boolean constraints from the area of Constraint Programming (CP). The new clingcon system features an extended syntax supporting global constraints and optimize statements for constraint variables. The major technical innovation improves the interaction between ASP and CP solver through elaborated learning techniques based on irreducible inconsistent sets. A broad empirical evaluation shows that these techniques yield a performance improvement of an order of magnitude.
Degeneration of the intervertebral disc – triggered by ageing, mechanical stress, traumatic injury, infection, inflammation and other factors – has a significant role in the development of low back pain. Back pain not only has a high prevalence, but also a major socio-economic impact. With the ageing population, its occurrence and costs are expected to grow even more in the future. Disc degeneration is characterized by matrix breakdown, loss in proteoglycans and thus water content, disc height loss and an increase in inflammatory molecules. The accumulation of cytokines, such as interleukin (IL)-1 , IL-8 or tumor necrosis factor (TNF)-, together with age-related immune deficiency, leads to the so-called inflammaging – low-grade, chronic inflammation with a crucial role in pain development. Despite the relevance of these molecular processes, current therapies target symptoms, but not underlying causes. This review describes the biological and biomechanical changes that occur in a degenerated disc, discusses the connection between disc degeneration and inflammaging, highlights factors that enhance the inflammatory processes in disc pathologies and suggests future research avenues.
Mineral chemistry and thermobarometry of the staurolite-chloritoid schists from Poshtuk, NW Iran
(2012)
The Poshtuk metapelitic rocks in northwestern Iran underwent two main phases of regional and contact metamorphism. Microstructures, textural features and field relations indicate that these rocks underwent a polymetamorphic history. The dominant metamorphic assemblage of the metapelites is garnet, staurolite, chloritoid, chlorite, muscovite and quartz, which grew mainly syntectonically during the later contact metamorphic event. Peak metamorphic conditions of this event took place at 580 ◦ C and ∼ 3–4 kbar, indicating that this event occurred under high-temperature and low-pressure conditions (HT/LP metamorphism), which reflects the high heat flow in this part of the crust. This event is mainly controlled by advective heat input through magmatic intrusions into all levels of the crust. These extensive Eocene metamorphic and magmatic activities can be associated with the early Alpine Orogeny, which resulted in this area from the convergence between the Arabian and Eurasian plates, and the Cenozoic closure of the Tethys oceanic tract(s).
We study pattern-forming instabilities in reaction-advection-diffusion systems. We develop an approach based on Lyapunov-Bloch exponents to figure out the impact of a spatially periodic mixing flow on the stability of a spatially homogeneous state. We deal with the flows periodic in space that may have arbitrary time dependence. We propose a discrete in time model, where reaction, advection, and diffusion act as successive operators, and show that a mixing advection can lead to a pattern-forming instability in a two-component system where only one of the species is advected. Physically, this can be explained as crossing a threshold of Turing instability due to effective increase of one of the diffusion constants.
The space missions Voyager and Cassini together with earthbound observations re-vealed a wealth of structures in Saturn’s rings. There are, for example, waves being excited at ring positions which are in orbital resonance with Saturn’s moons. Other structures can be assigned to embedded moons like empty gaps, moon induced wakes or S-shaped propeller features. Further-more, irregular radial structures are observed in the range from 10 meters until kilometers. Here some of these structures will be discussed in the frame of hydrodynamical modeling of Saturn’s dense rings. For this purpose we will characterize the physical properties of the ring particle ensemble by mean field quantities and point to the special behavior of the transport coefficients. We show that unperturbed rings can become unstable and how diffusion acts in the rings. Additionally, the alternative streamline formalism is introduced to describe perturbed regions of dense rings with applications to the wake damping and the dispersion relation of the density waves.
Much of our knowledge about the solar dynamo is based on sunspot observations. It is thus desirable to extend the set of positional and morphological data of sunspots into the past. Gustav Spörer observed in Germany from Anklam (1861–1873) and Potsdam (1874–1894). He left detailed prints of sunspot groups, which we digitized and processed to mitigate artifacts left in the print by the passage of time. After careful geometrical correction, the sunspot data are now available as synoptic charts for almost 450 solar rotation periods. Individual sunspot positions can thus be precisely determined and spot areas can be accurately measured using morphological image processing techniques. These methods also allow us to determine tilt angles of active regions (Joy’s law) and to assess the complexity of an active region.
The Gradient Symbolic Computation (GSC) model presented in the keynote article (Goldrick, Putnam & Schwarz) constitutes a significant theoretical development, not only as a model of bilingual code-mixing, but also as a general framework that brings together symbolic grammars and graded representations. The authors are to be commended for successfully integrating a theory of grammatical knowledge with the voluminous research on lexical co-activation in bilinguals. It is, however, unfortunate that a certain conception of bilingualism was inherited from this latter research tradition, one in which the contrast between native and non-native language takes a back seat.
Identifying abrupt transitions is a key question in various disciplines. Existing transition detection methods, however, do not rigorously account for time series uncertainties, often neglecting them altogether or assuming them to be independent and qualitatively similar. Here, we introduce a novel approach suited to handle uncertainties by representing the time series as a time-ordered sequence of probability density functions. We show how to detect abrupt transitions in such a sequence using the community structure of networks representing probabilities of recurrence. Using our approach, we detect transitions in global stock indices related to well-known periods of politico-economic volatility. We further uncover transitions in the El Nino-Southern Oscillation which coincide with periods of phase locking with the Pacific Decadal Oscillation. Finally, we provide for the first time an 'uncertainty-aware' framework which validates the hypothesis that ice-rafting events in the North Atlantic during the Holocene were synchronous with a weakened Asian summer monsoon.
The main thread of this review article is to identify the reasons of how to account for the trajectory of American power in the region. Leaving behind the vast amount of highly politicised and hastily compiled volumes of recent years (notwithstanding valuable exceptions), the monographs composed by Lawrence Freedman, Trita Parsi and Oliver Roy attempt to subtly disentangle the intricacies of US involvement in the region from highly distinct perspectives. One caveat for International Relations theorists is that none of the
aforementioned authors intends to provide theoretical frameworks for his examination. However, since IR theory has damagingly neglected history in the last decades, the works under review here, at least in part, compensate for this disciplinary and intellectual failure. In conclusion, Freedman’s in-depth approach as a diplomatic historian, with its under-lying reference to the various traditions in US foreign policy thinking, is most illuminating, while Parsi’s contestable account focuses too narrowly on the Iran-Israel relationship. Roy’s explications fail to show how and why the ‘ideological’ element in US foreign policy came to carry exceedingly more weight after 2001 than it did in the 1990s.
The clumping of massive star winds is an established paradigm, which is confirmed by multiple lines of evidence and is supported by stellar wind theory. We use the results from time-dependent hydrodynamical models of the instability in the line-driven wind of a massive supergiant star to derive the time-dependent accretion rate on to a compact object in the Bondi-Hoyle-Lyttleton approximation. The strong density and velocity fluctuations in the wind result in strong variability of the synthetic X-ray light curves. Photoionization of inhomogeneous winds is different from the photoinization of smooth winds. The degree of ionization is affected by the wind clumping. The wind clumping must also be taken into account when comparing the observed and model spectra of the photoionized stellar wind.
Many previous studies have shown that the turbulent mixing layer under periodic forcing tends to adopt a lock-on state, where the major portion of the fluctuations in the flow are synchronized at the forcing frequency. The goal of this experimental study is to apply closed-loop control in order to provoke the lock-on state, using information from the flow itself. We aim to determine the range of frequencies for which the closed-loop control can establish the lock-on, and what mechanisms are contributing to the selection of a feedback frequency. In order to expand the solution space for optimal closed-loop control laws, we use the genetic programming control (CPC) framework. The best closed-loop control laws obtained by CPC are analysed along with the associated physical mechanisms in the mixing layer flow. The resulting closed-loop control significantly outperforms open-loop forcing in terms of robustness to changes in the free-stream velocities. In addition, the selection of feedback frequencies is not locked to the most amplified local mode, but rather a range of frequencies around it.
It has been suggested that coronal mass ejections (CMEs) remove the magnetic he-licity of their coronal source region from the Sun. Such removal is often regarded to be necessary due to the hemispheric sign preference of the helicity, which inhibits a simple annihilation by reconnection between volumes of opposite chirality. Here we monitor the relative magnetic he-licity contained in the coronal volume of a simulated flux rope CME, as well as the upward flux of relative helicity through horizontal planes in the simulation box. The unstable and erupting flux rope carries away only a minor part of the initial relative helicity; the major part remains in the volume. This is a consequence of the requirement that the current through an expanding loop must decrease if the magnetic energy of the configuration is to decrease as the loop rises, to provide the kinetic energy of the CME.