On the mechanisms governing gas penetration into a tokamak plasma during a massive gas injection

A new 1D radial fluid code, IMAGINE, is used to simulate the penetration of gas into a tokamak plasma during a massive gas injection (MGI). The main result is that the gas is in general strongly braked as it reaches the plasma, due to mechanisms related to charge exchange and (to a smaller extent) recombination. As a result, only a fraction of the gas penetrates into the plasma. Also, a shock wave is created in the gas which propagates away from the plasma, braking and compressing the incoming gas. Simulation results are quantitatively consistent, at least in terms of orders of magnitude, with experimental data for a D 2 MGI into a JET Ohmic plasma. Simulations of MGI into the background plasma surrounding a runaway electron beam show that if the background electron density is too high, the gas may not penetrate, suggesting a possible explanation for the recent results of Reux et al in JET (2015 Nucl. Fusion 55 093013)

Colitis is associated with a loss of intestinofugal neurons

To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a high-level language that makes it easy for designers to specify their goals. We consider a high-level specification language that results from adding knowledge to a fragment of Nuprl specifically tailored for specifying distributed protocols, called event theory. We then show how high-level knowledge-based programs can be synthesized from the knowledge-based specifications using a proof development system such as Nuprl. Methods of Halpern and Zuck [20] then apply to convert these knowledge-based protocols to ordinary protocols. These methods can be expressed as heuristic transformation tactics in Nuprl.

Biogeosciences Perspectives on Integrated, Coordinated, Open, Networked (ICON) Science

International audienceThis article is composed of three independent commentaries about the state of Integrated, Coordinated, Open, Networked (ICON) principles in the American Geophysical Union Biogeosciences section, and discussion on the opportunities and challenges of adopting them. Each commentary focuses on a different topic: (a) Global collaboration, technology transfer, and application (Section 2), (b) Community engagement, community science, education, and stakeholder involvement (Section 3), and (c) Field, experimental, remote sensing, and real-time data research and application (Section 4). We discuss needs and strategies for implementing ICON and outline short-and long-term goals. The inclusion of global data and international community engagement are key to tackling grand challenges in biogeosciences. Although recent technological advances and growing open-access information across the world have enabled global collaborations to some extent, several barriers, ranging from technical to organizational to cultural, have remained in advancing interoperability and tangible scientific progress in biogeosciences. Overcoming these hurdles is necessary to address pressing large-scale research questions and applications in the biogeosciences, where ICON principles are essential. Here, we list several opportunities for ICON, including coordinated experimentation and field observations across global sites, that are ripe for implementation in biogeosciences as a means to scientific advancements and social progress. Plain Language Summary Biogeosciences is an interdisciplinary field that requires multiscale global data and concerted international community efforts to tackle grand challenges. However, several technical, institutional, and cultural hurdles have remained as major roadblocks toward scientific progress, hindering seamless global data acquisition and international community engagement. To bring a paradigm shift in biogeosciences, there is a need to implement integrated, coordinated, open, and networked efforts, collectively known as the Integrated, Coordinated, Open, Networked (ICON) principles. In this article, we present three related commentaries about the state of ICON, discuss needs to reduce geographical bias in data for enhancing scientific progress, and identify action items. Action items are primarily people-centric DWIVEDI ET AL