1,028 research outputs found

    Exploring gravity wave characteristics in 3-D using a novel S-transform technique: AIRS/Aqua measurements over the Southern Andes and Drake Passage

    Get PDF
    Gravity waves (GWs) transport momentum and energy in the atmosphere, exerting a profound influence on the global circulation. Accurately measuring them is thus vital both for understanding the atmosphere and for developing the next generation of weather forecasting and climate prediction models. However, it has proven very difficult to measure the full set of GW parameters from satellite measurements, which are the only suitable observations with global coverage. This is particularly critical at latitudes close to 60° S, where climate models significantly under-represent wave momentum fluxes. Here, we present a novel fully 3-D method for detecting and characterising GWs in the stratosphere. This method is based around a 3-D Stockwell transform, and can be applied retrospectively to existing observed data. This is the first scientific use of this spectral analysis technique. We apply our method to high-resolution 3-D atmospheric temperature data from AIRS/Aqua over the altitude range 20–60 km. Our method allows us to determine a wide range of parameters for each wave detected. These include amplitude, propagation direction, horizontal/vertical wavelength, height/direction-resolved momentum fluxes (MFs), and phase and group velocity vectors. The latter three have not previously been measured from an individual satellite instrument. We demonstrate this method over the region around the Southern Andes and Antarctic Peninsula, the largest known sources of GW MFs near the 60° S belt. Our analyses reveal the presence of strongly intermittent highly directionally focused GWs with very high momentum fluxes (∼ 80–100 mPa or more at 30 km altitude). These waves are closely associated with the mountains rather than the open ocean of the Drake Passage. Measured fluxes are directed orthogonal to both mountain ranges, consistent with an orographic source mechanism, and are largest in winter. Further, our measurements of wave group velocity vectors show clear observational evidence that these waves are strongly focused into the polar night wind jet, and thus may contribute significantly to the "missing momentum" at these latitudes. These results demonstrate the capabilities of our new method, which provides a powerful tool for delivering the observations required for the next generation of weather and climate models

    Geography and Giving: The Culture of Philanthropy in New England and the Nation

    Get PDF
    Looks at aggregate household wealth and income at the national level and for Massachusetts as a state, and analyzes levels of charitable giving in relation to household income

    Combining AIRS and MLS observations for three-dimensional gravity wave measurement

    Get PDF
    Gravity waves play a critical role in transporting energy and momentum between the troposphere, stratosphere, and mesosphere. Satellite measurements provide a powerful tool to investigate these waves across the globe. However, many present methods cannot yield reliable estimates of wave momentum fluxes or the directions of these fluxes. Here we present a new method which addresses this problem by combining observations from Atmospheric Infrared Sounder (AIRS) and Microwave Limb Sounder (MLS) in three dimensions. The method allows direct estimation of horizontal and vertical wavelengths as well as wave amplitude. This in turn allows estimation of both wave momentum flux and the full 3-D direction of propagation, crucially including the horizontal direction. The method thus allows separation of the data into, for example, eastward and westward momentum fluxes, allowing estimation of the net atmospheric forcing due to these waves. We illustrate this method with a proof-of-concept study over the Andes, arguably the largest source of gravity waves in the world. We further critically assess the advantages and disadvantages of our method. Our study highlights the importance of the difference between net and absolute measures of momentum flux

    Meteor showers of comet C/1917 F1 Mellish

    Full text link
    December Monocerotids and November Orionids are weak but established annual meteor showers active throughout November and December. Analysis of a high quality orbits subset of the SonotaCo video meteor database shows that the distribution of orbital elements, geocentric velocity and also the orbital evolution of the meteors and potential parent body may imply a common origin for these meteors coming from the parent comet C/1917 F1 Mellish. This is also confirmed by the physical properties and activity of these shower meteors. An assumed release of meteoroids at the perihelion of the comet in the past and the sky-plane radiant distribution reveal that the December Monocerotid stream might be younger than the November Orionids. A meteoroid transversal component of ejection velocity at the perihelion must be larger than 100 m/s. A few authors have also associated December Canis Minorids with the comet C/1917 F1 Mellish. However, we did not find any connection.Comment: 11 pages, 11 figures and 5 table

    A Formalization of the Theorem of Existence of First-Order Most General Unifiers

    Full text link
    This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

    An evaluation of a nurse led unit: an action research study

    Get PDF
    This study is an exemplar of working in a participatory way with members of the public and health and social care practitioners as co-researchers. A Nurse Consultant Older People working in a nurse-led bed, intermediate care facility in a community hospital acted as joint project lead with an academic researcher. From the outset, members of the public were part of a team of 16 individuals who agreed an evaluation focus and were involved in all stages of the research process from design through to dissemination. An extensive evaluation reflecting all these stakeholders’ preferences was undertaken. Methods included research and audit including: patient and carer satisfaction questionnaire surveys, individual interviews with patients, carers and staff, staff surveys, graffiti board, suggestion box, first impressions questionnaire, patient tracking and a bed census. A key aim of the study has been capacity building of the research team members which has also been evaluated. In terms of impact, the co-researchers have developed research skills and knowledge, grown in confidence, developed in ways that have impacted elsewhere in their lives, developed posters, presented at conferences and gained a better understanding of the NHS. The evaluation itself has provided useful information on the processes and outcomes of intermediate care on the ward which was used to further improve the service

    Phosphorylation in intrinsically disordered regions regulates the activity of Neurogenin2.

    Get PDF
    BACKGROUND: Neuronal differentiation is largely under the control of basic Helix-Loop-Helix (bHLH) proneural transcription factors that play key roles during development of the embryonic nervous system. In addition to well-characterised regulation of their expression, increasing evidence is emerging for additional post-translational regulation of proneural protein activity. Of particular interest is the bHLH proneural factor Neurogenin2 (Ngn2), which orchestrates progression from neural progenitor to differentiated neuron in several regions of the central nervous system. Previous studies have demonstrated a key role for cell cycle-dependent multi-site phosphorylation of Ngn2 protein at Serine-Proline (SP) sites for regulation of its neuronal differentiation activity, although the potential structural and functional consequences of phosphorylation at different regions of the protein are unclear. RESULTS: Here we characterise the role of phosphorylation of specific regions of Ngn2 on the stability of Ngn2 protein and on its neuronal differentiation activity in vivo in the developing embryo, demonstrating clearly that the location of SP sites is less important than the number of SP sites available for control of Ngn2 activity in vivo. We also provide structural evidence that Ngn2 contains large, intrinsically disordered regions that undergo phosphorylation by cyclin-dependent kinases (cdks). CONCLUSIONS: Phosphorylation of Ngn2 occurs in both the N- and C-terminal regions, either side of the conserved basic Helix-Loop-Helix domain. While these phosphorylation events do not change the intrinsic stability of Ngn2, phosphorylation on multiple sites acts to limit its ability to drive neuronal differentiation in vivo. Phosphorylated regions of Ngn2 are predicted to be intrinsically disordered and cdk-dependent phosphorylation of these intrinsically disordered regions contributes to Ngn2 regulation.This work was supported by MRC Research Grant G0700758 (AP), a Cancer Research UK Studentship (CH) and an MRC DTA Studentship (GM). Support was also received (IL) from the TGE RMN THC (FR-3050, France). We acknowledge support for international collaboration by a BQR fellowship from Lille North of France University. The NMR facilities were funded by the Région Nord, CNRS, Pasteur Institute of Lille, European Community (FEDER), French Research Ministry and the University of Sciences and Technologies of Lille 1.This is the final version. It was first published by BioMed Central at http://www.biomedcentral.com/1471-2091/15/2

    A statistical learning framework for mapping indirect measurements of ergodic systems to emergent properties

    Full text link
    The discovery of novel experimental techniques often lags behind contemporary theoretical understanding. In particular, it can be difficult to establish appropriate measurement protocols without analytic descriptions of the underlying system-of-interest. Here we propose a statistical learning framework that avoids the need for such descriptions for ergodic systems. We validate this framework by using Monte Carlo simulation and deep neural networks to learn a mapping between low-field nuclear magnetic resonance spectra and proton exchange rates in ethanol-water mixtures. We found that trained networks exhibited normalized-root-mean-square errors of less than 1% for exchange rates under 150 s-1 but performed poorly for rates above this range. This differential performance occurred because low-field measurements are indistinguishable from one another at fast exchange. Nonetheless, where a discoverable relationship between indirect measurements and emergent dynamics exists, we demonstrate the possibility of approximating it without the need for precise analytic descriptions, allowing experimental science to flourish in the midst of ongoing theoretical wor

    Several types of types in programming languages

    Get PDF
    Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC
    corecore