Simulations of secondary Farley-Buneman instability driven by a kilometer-scale primary wave: anomalous transport and formation of flat-topped electric fields

Since the 1950s, high frequency and very high frequency radars near the magnetic equator have frequently detected strong echoes caused ultimately by the Farley‐Buneman instability (FBI) and the gradient drift instability (GDI). In the 1980s, coordinated rocket and radar campaigns made the astonishing observation of flat‐topped electric fields coincident with both meter‐scale irregularities and the passage of kilometer‐scale waves. The GDI in the daytime E region produces kilometer‐scale primary waves with polarization electric fields large enough to drive meter‐scale secondary FBI waves. The meter‐scale waves propagate nearly vertically along the large‐scale troughs and crests and act as VHF tracers for the large‐scale dynamics. This work presents a set of hybrid numerical simulations of secondary FBIs, driven by a primary kilometer‐scale GDI‐like wave. Meter‐scale density irregularities develop in the crest and trough of the kilometer‐scale wave, where the total electric field exceeds the FBI threshold, and propagate at an angle near the direction of total Hall drift determined by the combined electric fields. The meter‐scale irregularities transport plasma across the magnetic field, producing flat‐topped electric fields similar to those observed in rocket data and reducing the large‐scale wave electric field to just above the FBI threshold value. The self‐consistent reduction in driving electric field helps explain why echoes from the FBI propagate near the plasma acoustic speed.NSF grants PHY-1500439 and AGS-1755350 and NASA grant NNX14AI13G supported the research presented in this work. This work used TACC and XSEDE computational resources supported by the National Science Foundation grant ACI-1053575. This paper did not use any data; simulation runs are archived on the TACC Ranch system. The authors thank one anonymous reviewer for helpful comments. (PHY-1500439 - NSF; AGS-1755350 - NSF; NNX14AI13G - NASA; ACI-1053575 - National Science Foundation)Published version2019-07-0

On Graph Refutation for Relational Inclusions

We introduce a graphical refutation calculus for relational inclusions: it reduces establishing a relational inclusion to establishing that a graph constructed from it has empty extension. This sound and complete calculus is conceptually simpler and easier to use than the usual ones.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Guidance on Design and Construction of the Built Environment Against Wildland Urban Interface Fire Hazard: A Review

Wildland-Urban Interface (WUI) fires, a worldwide problem, are gaining more importance over time due to climate change and increased urbanization in WUI areas. Some jurisdictions have provided standards, codes and guidelines, which may greatly help planning, prevention and protection against wildfires. This work presents a wide systematic review of standards, codes and guidelines for the design and construction of the built environment against WUI fire hazard from North American, European, Oceanic countries, alongside with trans-national codes. The main information reviewed includes: the definition of WUI hazards, risk areas and related severity classes, the influence of land and environmental factors, the requirements for building materials, constructions, utilities, fire protection measures and road access. Some common threads among the documents reviewed have been highlighted. They include similar attempts at: (a) defining WUI risk areas and severity classes, (b) considering land factors including the defensible space (also known as ignition zones), (c) prescribing requirements for buildings and access. The main gaps highlighted in the existing standards/guidelines include lacks of detailed and widespread requirements for resources, fire protection measures, and lacks of taking into account environmental factors in detail. The main design and construction principles contained in the reviewed documents are largely based on previous research and/or good practices. Hence, the main contributions of this paper consist in: (a) systematically disseminate these guidance concepts, (b) setting a potential basis for the development of standards/guidelines in other jurisdictions lacking dedicated WUI fire design guidance, (c) highlighting gaps in existing standards/guidelines to be addressed by current and future research

Adopting a cross-scale approach for the deployment of a green infrastructure

The implementation of a Green Infrastructure (GI) involves several actors and governance scales that need adequate knowledge support. The multifunctionality of GI entails the implementation of a cross-scale approach, which combines assessments conducted at different levels and active stakeholder engagement. This paper provides a methodology to implement a cross-scale approach to support the deployment of a Regional GI. The methodology was tested in Lombardy Region (north-west of Italy), considering three relevant territorial scales and relative strategic and planning policies. The continental level representing the overall policy-context; the regional level, with its key role for guaranteeing landscape coherence and connectivity and the local level where planning actions are effectively designed and implemented. The EU Biodiversity Strategy for 2030 and the EU GI strategy were used as references for the continental level; at the regional level, a proposal of Regional GI was evaluated focusing on two Provinces (Varese and Lecco), three regional parks (Ticino, Adda Nord and Campo dei Fiori). At the local scale, the new development plan of the Municipality of Cassano d'Adda (Milan metropolitan area) was evaluated considering different possible scenarios. The regional GI was evaluated with respect to the capacity to provide Cultural Ecosystem Services (CES). CES were mapped using the ESTIMAP-recreation model. The model was adapted to the regional and local level with the active engagement of local stakeholders. Additionally, census data were analysed to obtain an overview of the equitable distribution of the CES amongst inhabitants. Results show that, in 78% of the census blocks of the study area, inhabitants have a high-value recreation resource within 4 km (31% within 4 km and 47% within 300 m). Unmet demand characterises 22% of the census blocks in the study area, clustered in zones with a high population density. The regional GI covers almost completely the two Provinces and the regional parks. In Varese Province: 68% of the territory is included in the regional GI, 82% of the census blocks local demand for recreation opportunities is met, but the population density is higher where the demand is unmet. The Province is characterised by a relatively old population (share of people older than 65 years 23.4%). In Lecco Province, 80% of the territory is included in the regional GI, in 96% of the blocks the local demand is met and the local population is relatively old (share of elderly population 22.12%). The three regional parks present significant differences, strongly influenced by the territorial context. The Campo dei Fiori Park is almost completely included in the regional GI. The entire local population has nature-based recreation opportunities in their close vicinity. Nevertheless, the population density is very low and citizens are relatively old. The majority of the Parco Adda Nord is included in the regional GI providing recreation opportunities to 90% of the census blocks within the Park boundaries. A total of 70% of Ticino Park is included in the regional GI, where local residents are relatively old (share of elderly population 23.78%) and 90% of local census blocks are close to nature-based opportunities. At local scale, we explored how the approach can be used to estimate changes in the CES potential provision and how this can be integrated into a site management plan. This paper demonstrated that the combination of studies in a cross-scale perspective enhances the understanding of GI multifunctionality. It provides a framework to adapt CES mapping models to the local setting with active stakeholders engagement. Moreover, it demonstrates that also highly urbanised areas, such as the Lombardy Region in Italy, can play a role in the deployment of a continental GI and can support biodiversity and nature protection

Design and evaluation of buccal adhesive hydrocortisone acetate (HCA) tablets.

Many studies have shown that topical buccal therapy with steroid anti-inflammatory drugs is useful in controlling ulcerative and inflammatory mucosal diseases. This local treatment is based on the concept that a high activity of steroids can be produced at the site of administration and, at the same time, the degree of systemic side effects can be minimized or avoided. In this study we developed a new formulation consisting of a mucoadhesive tablet formulation for buccal administration of hydrocortisone acetate (HCA). Three types of tablet were developed containing three mucoadhesive components: hydroxypropylmethyl cellulose (Methocel K4M), carboxyvinyl polymer (Carbopol 974P), and polycarbophyl (Noveon AA1); the first polymer is a cellulose derivative, the others are both polyacrylic acid derivatives. For each of those, three tablet batches were produced changing the quantity of the mucoadhesive component (10, 20, and 30%), resulting in 9 different formulations. The compatibility of HCA with all excipients using Differential Scanning Calorimetry (DSC) was assessed. Tablets were manufactured by wet granulation followed by compression. Technological controls on granulates (Hausner index, Carr index, granulometry and Karl-Fischer percentage humidity) and tablets (thickness, diameter, friability, hardness, uniformity of content, weigh uniformity and dissolution kinetic) were carried out. Mucoadhesion properties, ex vivo permeability through porcine buccal mucosa, in vivo behavior and compliance were evaluated. Technological controls have demonstrated that the increase in the (percentage) of mucoadhesive causes an increase in granulometry followed by a reduction in the granulate flowability, however all the tablets have given satisfactory technological results and conformed to the 3rd Ed. European Pharmacopoeia specifications. Mucoadhesion, ex vivo permeability and in vivo behavior results notably differed among tablets, depending on the quality and quantity of the mucoadhesive component. An overall comparison of results showed the tablets containing Carbopol 20% resulted to be the best formulation among those developed

Intersection types and (positive) almost-sure termination

Randomized higher-order computation can be seen as being captured by a λ-calculus endowed with a single algebraic operation, namely a construct for binary probabilistic choice. What matters about such computations is the probability of obtaining any given result, rather than the possibility or the necessity of obtaining it, like in (non)deterministic computation. Termination, arguably the simplest kind of reachability problem, can be spelled out in at least two ways, depending on whether it talks about the probability of convergence or about the expected evaluation time, the second one providing a stronger guarantee. In this paper, we show that intersection types are capable of precisely characterizing both notions of termination inside a single system of types: the probability of convergence of any λ-term can be underapproximated by its type, while the underlying derivation's weight gives a lower bound to the term's expected number of steps to normal form. Noticeably, both approximations are tight-not only soundness but also completeness holds. The crucial ingredient is non-idempotency, without which it would be impossible to reason on the expected number of reduction steps which are necessary to completely evaluate any term. Besides, the kind of approximation we obtain is proved to be optimal recursion theoretically: no recursively enumerable formal system can do better than that

Calibration of the stereological estimation of the number of myelinated axons in the rat sciatic nerve: a multicenter study.

Several sources of variability can affect stereological estimates. Here we measured the impact of potential sources of variability on numerical stereological estimates of myelinated axons in the adult rat sciatic nerve. Besides biological variation, parameters tested included two variations of stereological methods (unbiased counting frame versus 2D-disector), two sampling schemes (few large versus frequent small sampling boxes), and workstations with varying degrees of sophistication. All estimates were validated against exhaustive counts of the same nerve cross sections to obtain calibrated true numbers of myelinated axons (gold standard). In addition, we quantified errors in particle identification by comparing light microscopic and electron microscopic images of selected consecutive sections. Biological variation was 15.6%. There was no significant difference between the two stereological approaches or workstations used, but sampling schemes with few large samples yielded larger differences (20.7%±3.7% SEM) of estimates from true values, while frequent small samples showed significantly smaller differences (12.7%±1.9% SEM). Particle identification was accurate in 94% of cases (range: 89–98%). The most common identification error was due to profiles of Schwann cell nuclei mimicking profiles of small myelinated nerve fibers. We recommend sampling frequent small rather than few large areas, and conclude that workstations with basic stereological equipment are sufficient to obtain accurate estimates. Electron microscopic verification showed that particle misidentification had a surprisingly variable and large impact of up to 11%, corresponding to 2/3 of the biological variation (15.6%). Thus, errors in particle identification require further attention, and we provide a simple nerve fiber recognition test to assist investigators with self-testing and training