Late Cretaceous marine transgressions in Ecuador and northern Peru: a refined stratigraphic framework.

Study of ammonites and bivalves along selected sections on the Andean margin of northern Peru and Ecuador has made it possible to recognize correlatable marine transgressions and to propose a refined stratigraphic framework for the Upper Cretaceous of the region. Six maximum flooding events are recognized: latest Turonian–early Coniacian (major event), late Coniacian–early Santonian, late Santonian–early Campanian, mid Campanian–early late Campanian (major event), early Maastrichtian (major event), and terminal early Maastrichtian. Most of these events can be correlated with global eustatic sea-level rises, but their relative manifestations indicate that the Andean margin was already being deformed by the late Cretaceous “Peruvian” tectonic events. The onset of fine-grained clastic sedimentation in the Oriente and East-Peruvian basins in the mid Turonian–earliest Coniacian is taken as the first event of the “Peruvian” phase. The Campanian regional transgression in the Peruvian-Ecuadorian forearc zones concealed the “Peruvian” deformational event. The latter caused a palaeogeographic upheaval, indicated by the subsequent development of a NNE-trending forearc basin, which extended from Paita in northwestern Peru to northern Ecuador. In the forearc zones only short-lived transgressions are recorded in the late Campanian and early Maastrichtian as a result of nearly continuous tectonic activity. This culminated with a significant tectonic event in the late Maastrichtian, causing a widespread hiatus

The SPICE carbon isotope excursion in Siberia: a combined study of the upper Middle Cambrian-lowermost Ordovician Kulyumbe River section, northwestern Siberian Platform

An integrated, high-resolution chemostratigraphic (C, O and Sr isotopes) and magnetostratigraphic study through the upper Middle Cambrian–lowermost Ordovician shallowmarine carbonates of the northwestern margin of the Siberian Platform is reported. The interval was analysed at the Kulyumbe section, which is exposed along the Kulyumbe River, an eastern tributary of the Enisej River. It comprises the upper Ust’-Brus, Labaz, Orakta, Kulyumbe, Ujgur and lower Iltyk formations and includes the Steptoean positive carbon isotopic excursion (SPICE) studied here in detail from upper Cambrian carbonates of the Siberian Platform for the first time. The peak of the excursion, showing δ13C positive values as high as+4.6‰and least-altered 87Sr/86Sr ratios of 0.70909, is reported herein from the Yurakhian Horizon of the Kulyumbe Formation. The stratigraphic position of the SPICE excursion does not support traditional correlation of the boundary between theOrakta and Labaz formations at the Kulyumbe River with its supposedly equivalent level in Australia, Laurentia, South China and Kazakhstan, where the Glyptagnostus stolidotus and G. reticulatus biozones are known to immediately precede the SPICE excursion and span the Middle–Upper Cambrian boundary. The Cambrian–Ordovician boundary is probably situated in the middle Nyajan Horizon of the Iltyk Formation, in which carbon isotope values show a local maximum below a decrease in the upper part of the Nyajan Horizon, attributed herein to the Tremadocian Stage. A refined magnetic polarity sequence confirms that the geomagnetic reversal frequency was very high during Middle Cambrian times at 7–10 reversals per Ma, assuming a total duration of about 10 Ma and up to 100 magnetic intervals in the Middle Cambrian. By contrast, the sequence attributed herein to the Upper Cambrian on chemostratigraphic grounds contains only 10–11 magnetic intervals

Ducting of Whistler Waves in the Van Allen Radiation Belts

Whistler waves are electromagnetic waves in the very-low-frequency range which propagate in the near-earth space plasma environment, specifically within a region called the Van Allen Radiation Belts. This region contains many highly energetic particles which pose a significant threat to spacecraft in Earth orbit, including the International Space Station. Whistler waves are particularly interesting because they can interact with the energetic particles and precipitate them out of the Van Allen Radiation Belts. One important characteristic of whistlers is that they can become trapped inside enhancements or depletions of the ambient plasma density. We compare wave and particle observations from the Van Allen Probes spacecraft to results from a numerical simulation developed to model the wave propagation physics. By using the observed conditions as inputs to the simulation, we can reproduce the ducted waves with good, quantitative agreement. The results from this study will be important for future experiments of launching whistler waves into the Van Allen Radiation Belts from ground antennae or space vehicles

Helicon Plasma Injector and Ion Cyclotron Acceleration Development in the VASIMR Experiment

In the Variable Specific Impulse Magnetoplasma Rocket (VASIMR) radio frequency (rf) waves both produce the plasma and then accelerate the ions. The plasma production is done by action of helicon waves. These waves are circular polarized waves in the direction of the electron gyromotion. The ion acceleration is performed by ion cyclotron resonant frequency (ICRF) acceleration. The Advanced Space Propulsion Laboratory (ASPL) is actively developing efficient helicon plasma production and ICRF acceleration. The VASIMR experimental device at the ASPL is called VX-10. It is configured to demonstrate the plasma production and acceleration at the 10kW level to support a space flight demonstration design. The VX-10 consists of three electromagnets integrated into a vacuum chamber that produce magnetic fields up to 0.5 Tesla. Magnetic field shaping is achieved by independent magnet current control and placement of the magnets. We have generated both helium and hydrogen high density (>10(exp 18) cu m) discharges with the helicon source. ICRF experiments are underway. This paper describes the VX-10 device, presents recent results and discusses future plans

Formal Verification of Security Protocol Implementations: A Survey

Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approac

Comparison of survey methods for estimating abundance of harbor seals (Phoca vitulina) in glacial fjords

The importance of glacial ice habitats to harbor seals (Phoca vitulina) in Alaska has become increasingly apparent. However, enumerating harbor seals hauled out on ice in glacial fjords has been difficult. At Johns Hopkins Inlet in Glacier Bay, Alaska, we compared a shore-based counting method to a large-format aerial photography method to estimate seal abundance. During each aerial survey, shore-based observers simultaneously counted seals from an observation post. Both survey methods incurred errors in double-counting and missing seals, especially when ice movements caused seals to drift between survey zones. Advantages of shore-based counts included the ability to obtain multiple counts for relatively little cost, distinguish pups from adults, and to distinguish mobile seals from shadows or glacial debris of similar size. Aerial photography provided a permanent record of each survey, allowing both a reconciliation of counts in overlapping zones and the documentation of the spatial distribution of seals and ice within the fjord

Role of the Proteasome in Excitotoxicity-Induced Cleavage of Glutamic Acid Decarboxylase in Cultured Hippocampal Neurons

Glutamic acid decarboxylase is responsible for synthesizing GABA, the major inhibitory neurotransmitter, and exists in two isoforms—GAD65 and GAD67. The enzyme is cleaved under excitotoxic conditions, but the mechanisms involved and the functional consequences are not fully elucidated. We found that excitotoxic stimulation of cultured hippocampal neurons with glutamate leads to a time-dependent cleavage of GAD65 and GAD67 in the N-terminal region of the proteins, and decrease the corresponding mRNAs. The cleavage of GAD67 was sensitive to the proteasome inhibitors MG132, YU102 and lactacystin, and was also abrogated by the E1 ubiquitin ligase inhibitor UBEI-41. In contrast, MG132 and UBEI-41 were the only inhibitors tested that showed an effect on GAD65 cleavage. Excitotoxic stimulation with glutamate also increased the amount of GAD captured in experiments where ubiquitinated proteins and their binding partners were isolated. However, no evidences were found for direct GADs ubiquitination in cultured hippocampal neurons, and recombinant GAD65 was not cleaved by purified 20S or 26S proteasome preparations. Since calpains, a group of calcium activated proteases, play a key role in GAD65/67 cleavage under excitotoxic conditions the results suggest that GADs are cleaved after ubiquitination and degradation of an unknown binding partner by the proteasome. The characteristic punctate distribution of GAD65 along neurites of differentiated cultured hippocampal neurons was significantly reduced after excitotoxic injury, and the total GAD activity measured in extracts from the cerebellum or cerebral cortex at 24h postmortem (when there is a partial cleavage of GADs) was also decreased. The results show a role of the UPS in the cleavage of GAD65/67 and point out the deregulation of GADs under excitotoxic conditions, which is likely to affect GABAergic neurotransmission. This is the first time that the UPS has been implicated in the events triggered during excitotoxicity and the first molecular target of the UPS affected in this cell death process

Intermittency in Branching Processes

We study the intermittency properties of two branching processes, one with a uniform and another with a singular splitting kernel. The asymptotic intermittency indices, as well as the leading corrections to the asymptotic linear regime are explicitly computed in an analytic framework. Both models are found to possess a monofractal spectrum with $\varphi_{q}=q-1$. Relations with previous results are discussed.Comment: 20 pages, UCLA93/TEP/2

Investigation of a Light Gas Helicon Plasma Source for the VASIMR Space Propulsion System

An efficient plasma source producing a high-density (approx.10(exp 19/cu m) light gas (e.g. H, D, or He) flowing plasma with a high degree of ionization is a critical component of the Variable Specific Impulse Magnetoplasma Rocket (VASIMR) concept. We are developing an antenna to apply ICRF power near the fundamental ion cyclotron resonance to further accelerate the plasma ions to velocities appropriate for space propulsion applications. The high degree of ionization and a low vacuum background pressure are important to eliminate the problem of radial losses due to charge exchange. We have performed parametric (e.g. gas flow, power (0.5 - 3 kW), magnetic field , frequency (25 and 50 MHz)) studies of a helicon operating with gas (H2 D2, He, N2 and Ar) injected at one end with a high magnetic mirror downstream of the antenna. We have explored operation with a cusp and a mirror field upstream. Plasma flows into a low background vacuum (<10(exp -4) torr) at velocities higher than the ion sound speed. High densities (approx. 10(exp 19/cu m) have been achieved at the location where ICRF will be applied, just downstream of the magnetic mirror

Experimental evidence of parametric decay processes in the variable specific impulse magnetoplasma rocket (VASIMR) helicon plasma source

Decay waves have been observed in the megahertz range in the helium plasma generated by the variable specific impulse magnetoplasma rocket magnetoplasma thruster. They are measured using one of the tips of a triple probe connected to a 50 Ω input of a spectrum analyzer via a dc block (a small capacitor). The maximum amplitude of all waves is in the center of the plasma and does not appear correlated to the radial electron density or temperature profiles. The waves seem to be generated close to the helicon antenna that was 91 cm “upstream” from the measuring Langmuir probe. A possible explanation is parametric decay of the large amplitude helicon wave that also generates the plasma.This project was proudly supported by the International Science Linkages programme established under the Australian Government’s innovation statement Backing Australia’s Ability