The stratigraphy, correlation, provenance and palaeogeography of the Skiddaw Group (Ordovician) in the English Lake District

A new lithostratigraphy is presented for the Skiddaw Group (lower Ordovician) of the English Lake District. Two stratigraphical belts are described. Five formations are defined in the Northern Fells Belt, ranging in age from Tremadoc to early Llanvirn. They are all mudstone or sandstone dominated, of turbidite origin; in ascending order they are named the Bitter Beck, Watch Hill, Hope Beck, Loweswater and Kirk Stile formations. Two formations are defined in the Central Fells Belt, ranging in age from late Arenig to Llanvirn. These are the Buttermere Formation - a major olistostrome deposit - overlain by the Tarn Moor Formation, consisting of turbidite mudstones with volcaniclastic turbidite sandstone beds. A revised graptolite and new acritarch biostratigraphy for the Skiddaw Group is presented with eight graptolite biozones and thirteen acritarch assemblages and sub-assemblages. The provenance of the group is assessed from detailed petrographical and geochemical work. This suggests derivation, in the early Ordovician, largely from an old inactive continental arc terrane lying to the south-east, with the appearance of juvenile volcanic material in the Llanvirn. Comparisons and correlations of the Skiddaw Group are made with the Isle of Man and eastern Ireland

Anxiolysis and recognition memory enhancement with long-term supplemental ascorbic acid (vitamin C) in normal rats: possible dose dependency and sex differences

To investigate a possible dose-response relationship and sex differences for anxiolytic and memory-enhancing effects of ascorbic acid (vitamin C), an adult PVG /c hooded rats were individually treated for 8 weeks with approximately 61, 114 or 160 mg/kg/ day of ascorbic acid in their drinking water. After their treatment, over 3 consecutive days they experienced a 5-min trial in an open field (OF) followed by a 5-min trial in an elevated plus maze (EPM), and then finally a 5-min novel object recognition (NOR) test in the OF. Dose-related anxiolytic effects were observed that to some extent depended on the measure of anxiety. In other words, anxiolytic effects were evident in higher frequencies of walking with 114 mg/kg and 61 mg/kg, higher frequencies of rearing and lower frequencies of grooming in the OF as well as more frequent occupation of the EPM open arms. Rats treated with 160 mg/kg explored a novel versus familiar object in the NOR test to a significantly greater extent than control rats thereby suggesting enhancement of their recognition memory. Overall, it appeared that the anxiolytic effects of ascorbic acid were more typical of the lowest dose, whereas memory enhancement appeared to be confined to the highest dose. While there were a number of significant sex differences, there was no evidence of differences between females and males in the effects of ascorbic acid

Time-evolving measures and macroscopic modeling of pedestrian flow

This paper deals with the early results of a new model of pedestrian flow, conceived within a measure-theoretical framework. The modeling approach consists in a discrete-time Eulerian macroscopic representation of the system via a family of measures which, pushed forward by some motion mappings, provide an estimate of the space occupancy by pedestrians at successive time steps. From the modeling point of view, this setting is particularly suitable to treat nonlocal interactions among pedestrians, obstacles, and wall boundary conditions. In addition, analysis and numerical approximation of the resulting mathematical structures, which is the main target of this work, follow more easily and straightforwardly than in case of standard hyperbolic conservation laws, also used in the specialized literature by some Authors to address analogous problems.Comment: 27 pages, 6 figures -- Accepted for publication in Arch. Ration. Mech. Anal., 201

Pedestrian flows in bounded domains with obstacles

In this paper we systematically apply the mathematical structures by time-evolving measures developed in a previous work to the macroscopic modeling of pedestrian flows. We propose a discrete-time Eulerian model, in which the space occupancy by pedestrians is described via a sequence of Radon positive measures generated by a push-forward recursive relation. We assume that two fundamental aspects of pedestrian behavior rule the dynamics of the system: On the one hand, the will to reach specific targets, which determines the main direction of motion of the walkers; on the other hand, the tendency to avoid crowding, which introduces interactions among the individuals. The resulting model is able to reproduce several experimental evidences of pedestrian flows pointed out in the specialized literature, being at the same time much easier to handle, from both the analytical and the numerical point of view, than other models relying on nonlinear hyperbolic conservation laws. This makes it suitable to address two-dimensional applications of practical interest, chiefly the motion of pedestrians in complex domains scattered with obstacles.Comment: 25 pages, 9 figure

Automated verification of shape and size properties via separation logic.

Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs. Our approach uses user-definable shape predicates to allow programmers to describe a wide range of data structures with their associated size properties. To support automatic verification, we design a new entailment checking procedure that can handle well-founded inductive predicates using unfold/fold reasoning. We have proven the soundness and termination of our verification system, and have built a prototype system

A novel reagentless glutamate microband biosensor for real-time cell toxicity monitoring

A reagentless glutamate biosensor was applied to the determination of glutamate released from liver hepatocellular carcinoma cells (HepG2) in response to toxic challenge from various concentrations of paracetamol. A screen printed carbon electrode (SPCE) containing the electrocatalyst Meldola's Blue (MB-SPCE) served as the electron mediator for the oxidation of NADH.A mixture of the enzyme glutamate dehydrogenase (GLDH), cofactor nicotinamide adenine dinucleotide (NAD+) and the biopolymer chitosan (CHIT) were drop-coated onto the surface of the transducer (MB-SPCE) in a simple one step fabrication process.The reagentless biosensor was used with amperometry in stirred solution at an applied potential of +0.1 V (vs. Ag/AgCl). All experiments were carried out at the following conditions: pH 7, temperature 37 °C, atmosphere 5% CO2.The linear range of the device was found to be 25–125 μM in phosphate buffer (75 mM, containing 0.05 M NaCl) and 25–150 μM in cell culture medium. The limits of detection (LOD) were found to be 1.2 μM and 4.2 μM based on three times signal to noise, using PBS and culture medium respectively. The sensitivity was calculated to be 106 nA μM−1 cm−2 and 210 nA μM−1 cm−2 in PBS and cell medium respectively. The response time was ∼60 s in an agitated solution.HepG2 cells were exposed to various concentrations of paracetamol (1 mM, 5 mM and 10 mM) in order to investigate the drug-induced release of glutamate into the culture medium in real time. Two toxicity studies were investigated using different methods of exposure and analysis.The first method consisted of a single measurement of the glutamate concentration, using the method of standard addition, after 24 h incubation. The concentrations of glutamate were found to be 52 μM, 93 μM and 177 μM, released on exposure to 1 mM, 5 mM and 10 mM paracetamol respectively.The second method involved the continuous monitoring of glutamate released from HepG2 cells upon exposure to paracetamol over 8 h. The concentrations of glutamate released in the presence of 1 mM, 5 mM and 10 mM paracetamol, increased in proportion to the drug concentration, ie: 16 μM, 28 μM and 62 μM respectively. This result demonstrates the feasibility of using this approach to monitor early metabolic changes after exposure to a model toxic compound

Effects of landscape metrics and land-use variables on macroinvertebrate communities and habitat characteristics

ABSTRACT: The growing number of studies establishing links between stream biota, environmental factors and river classification has contributed to a better understanding of fluvial ecosystem function. Environmental factors influencing river systems are distributed over hierarchically organised spatial scales. We used a nested hierarchical sampling design across four catchments to assess how benthic macroinvertebrate community composition and lower spatial scale habitat descriptors were shaped by landscape and land-use patterns. We found that benthic macroinvertebrate community structure and composition varied significantly from catchment to habitat level. We assessed and identified fractal metrics of landscape descriptors capable of explaining compositional and functional change in the benthic faunal indicators and compared them with the traditional variables describing land use and reach level habitat descriptors within a 1 km radius of each sampling site. We found that fractal landscape metrics were the best predictor variables for benthic macroinvertebrate community composition, function, instream habitat and river corridor characteristics

Electrical, photoelectrical and morphological properties of ZnO nanowire networks grown on SiO2 and on Si

ZnO nanofibre networks (NFNs) were grown by vapour transport method on Si-based substrates. One type of substrate was SiO2 thermally grown on Si and another consisted of a Si wafer onto which Si nanowires (NWs) had been grown having Au nanoparticles catalysts. The ZnO-NFN morphology was observed by scanning electron microscopy on samples grown at 600 °C and 720 °C substrate temperature, while an focused ion beam was used to study the ZnO NFN/Si NWs/Si and ZnO NFN/SiO2 interfaces. Photoluminescence, electrical conductance and photoconductance of ZnO-NFN was studied for the sample grown on SiO2. The photoluminescence spectra show strong peaks due to exciton recombination and lattice defects. The ZnO-NFN presents quasi-persistent photoconductivity effects and ohmic I-V characteristics which become nonlinear and hysteretic as the applied voltage is increased. The electrical conductance as a function of temperature can be described by a modified three dimensional variable hopping model with nanometer-ranged typical hopping distances