Global gyrokinetic simulations of ITG turbulence in the configuration space of the Wendelstein 7-X stellarator

We study the effect of turbulent transport in different magnetic configurations of the Weldenstein 7-X stellarator. In particular, we performed direct numerical simulations with the global gyrokinetic code GENE-3D, modeling the behavior of Ion Temperature Gradient turbulence in the Standard, High-Mirror, and Low-Mirror configurations of W7-X. We found that the Low-Mirror configuration produces more transport than both the High-Mirror and the Standard configurations. By comparison with radially local simulations, we have demonstrated the importance of performing global nonlinear simulations to predict the turbulent fluxes quantitatively

A non-uniform semantic analysis of the Italian temporal connectives Prima and Dopo

In this paper, I argue that the temporal connective prima ('before') is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo ('after'). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, it also sheds some light on other asymmetries between prima and dopo which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (1964)

Overview of core impurity transport in the first divertor operation of Wendelstein 7-X

The impurity transport at Wendelstein 7-X during its most recent campaign is characterized and documented for a variety of different plasma scenarios. An overview of its dependence on several quantities is given, which allows identification of transport regimes and the major driver for impurity transport. Beyond this, a comparison with the impurity behavior in other fusion devices is now possible. In contrast to other stellarators, no density dependence of the impurity transport has been found. Additionally, the influence of the turbulence contribution to the overall transport is reflected in the dependence on various parameters, e.g. turbulent diffusion and density fluctuation amplitudes. With this database approach, one can now also apply scaling laws to make extrapolations about the impurity confinement in future plasma scenarios

Identification of Cisplatin-Regulated Metabolic Pathways in Pluripotent Stem Cells

The chemotherapeutic compound, cisplatin causes various kinds of DNA lesions but also triggers other pertubations, such as ER and oxidative stress. We and others have shown that treatment of pluripotent stem cells with cisplatin causes a plethora of transcriptional and post-translational alterations that, to a major extent, point to DNA damage response (DDR) signaling. The orchestrated DDR signaling network is important to arrest the cell cycle and repair the lesions or, in case of damage beyond repair, eliminate affected cells. Failure to properly balance the various aspects of the DDR in stem cells contributes to ageing and cancer. Here, we performed metabolic profiling by mass spectrometry of embryonic stem (ES) cells treated for different time periods with cisplatin. We then integrated metabolomics with transcriptomics analyses and connected cisplatin-regulated metabolites with regulated metabolic enzymes to identify enriched metabolic pathways. These included nucleotide metabolism, urea cycle and arginine and proline metabolism. Silencing of identified proline metabolic and catabolic enzymes indicated that altered proline metabolism serves as an adaptive, rather than a toxic response. A group of enriched metabolic pathways clustered around the metabolite S-adenosylmethionine, which is a hub for methylation and transsulfuration reactions and polyamine metabolism. Enzymes and metabolites with pro- or anti-oxidant functions were also enriched but enhanced levels of reactive oxygen species were not measured in cisplatin-treated ES cells. Lastly, a number of the differentially regulated metabolic enzymes were identified as target genes of the transcription factor p53, pointing to p53-mediated alterations in metabolism in response to genotoxic stress. Altogether, our findings reveal interconnecting metabolic pathways that are responsive to cisplatin and may serve as signaling modules in the DDR in pluripotent stem cells

Adjectival and Adverbial Modification:The View from Modern Type Theories

In this paper we present a study of adjectival/adverbial modification using modern type theories (MTTs), i.e. type theories within the tradition of Martin-Lof. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented (e.g. in proof-assistants) given their proof-theoretic nature. In MTT-semantics, common nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: (a) degree adjectives, (b) comparatives and (c) multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of -types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context (i.e. without resorting to intensional typing). We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured

A low energy demand scenario for meeting the 1.5 °C target and sustainable development goals without negative emission technologies

Scenarios that limit global warming to 1.5 °C describe major transformations in energy supply and ever-rising energy demand. Here, we provide a contrasting perspective by developing a narrative of future change based on observable trends that results in low energy demand. We describe and quantify changes in activity levels and energy intensity in the global North and global South for all major energy services. We project that global final energy demand by 2050 reduces to 245 EJ, around 40% lower than today, despite rises in population, income and activity. Using an integrated assessment modelling framework, we show how changes in the quantity and type of energy services drive structural change in intermediate and upstream supply sectors (energy and land use). Down-sizing the global energy system dramatically improves the feasibility of a low-carbon supply-side transformation. Our scenario meets the 1.5 °C climate target as well as many sustainable development goals, without relying on negative emission technologies

Localized phase contrast imaging at the Wendelstein 7-X stellarator

In its basic form, phase contrast imaging (PCI) provides line-integrated measurements of electron density fluctuations in plasmas. As turbulent fluctuations in magnetically confined plasmas have wave vectors almost perpendicular to the background magnetic field, the signals scattered by fluctuations from different parts of the PCI line-of-sight (LoS) are spatially separated in focal planes of the plasma. This allows localized PCI measurements by placing a mask in such a plane, to only permit signals from specific parts of the LoS to reach the PCI detectors. The present paper describes modeling and design of localization masks for the PCI system at the Wendelstein 7-X (W7-X) stellarator as well as the first results obtained using the masks in the recent long-pulse W7-X experimental campaign. During this project, we have extended the theory describing the mask response within the Fraunhofer diffraction model. As a novel development, we show from first principles that the mask response is determined by the fraction of power of the scattered beam spots that passes the mask. These insights have been used to select the W7-X mask design, consisting of a circular cutout, allowing the unscattered beam spot to pass the mask, with wedges covering a fixed angular range outside the central cutout. In the recent W7-X experimental campaign, the masks have verified the location of the main turbulence features observed by the PCI system and provided new information about the location of short-wavelength magnetohydrodynamic modes

Sustainable development goal 2: improved targets and indicators for agriculture and food security

The pursuit of global food security and agricultural sustainability, the dual aim of the second Sustainable Development Goal (SDG-2), requires urgent and concerted action from developing and developed countries. This, in turn, depends on clear and universally applicable targets and indicators which are partially lacking. The novel and complex nature of the SDGs poses further challenges to their implementation on the ground, especially in the face of interlinkages across SDG objectives and scales. Here we review the existing SDG-2 indicators, propose improvements to facilitate their operationalization and illustrate their practical implementation in Nigeria, Brazil and the Netherlands. This exercise provides insights into the concrete actions needed to achieve SDG-2 across contrasting development contexts and highlights the challenges of addressing the links between targets and indicators within and beyond SDG-2. Ultimately, it underscores the need for integrated policies and reveals opportunities to leverage the fulfillment of SDG-2 worldwide

Technical summary

The Working Group III (WGIII) contribution to the IPCC's Fifth Assessment Report (AR5) assesses literature on the scientific, technological, environmental, economic and social aspects of mitigation of climate change. It builds upon the WGIII contribution to the IPCC's Fourth Assessment Report (AR4), the Special Report on Renewable Energy Sources and Climate Change Mitigation (SRREN) and previous reports and incorporates subsequent new findings and research. Throughout, the focus is on the implications of its findings for policy, without being prescriptive about the particular policies that governments and other important participants in the policy process should adopt. In light of the IPCC's mandate, authors in WGIII were guided by several principles when assembling this assessment: (1) to be explicit about mitigation options, (2) to be explicit about their costs and about their risks and opportunities vis-a-vis other development priorities, (3) and to be explicit about the underlying criteria, concepts, and methods for evaluating alternative policies. This summary offers the main findings of the report