KRZYSZTOF A. MIZERSKI1†, AND WLADIMIR LYRA Department of Mechanics and Physics of Fluids, Institute of Fundamental and Technological Research, Polish Academy of Sciences, Pawinskiego 5B, 02-106, Poland Department of Astrophysics, American Museum of Natural History, 79th Street at Central Park West, New York NY 10024-5192, USA Jet Propulsion Laboratory, 4800 Oak Grove Drive, Pasadena CA 91109, U...

Probabilistic projection of sea-level change along the world’s coastlines M. Perrette, F. Landerer, R. Riva, K. Frieler, and M. Meinshausen Potsdam Institute for Climate Impact Research (PIK) Telegraphenberg A26, 14412 Potsdam, Germany Jet Propulsion Laboratory/California Institute of Technology, Pasadena, USA Dept. Geoscience and Remote Sensing, Delft University of Technology, Delft, The Nethe...

Golombek, J. Grant, T. Parker, D. Kass, J. Crisp, S. Squyres, M. Carr, M. Adler, R. Zurek, A. Haldemann, R. Arvidson, and C. Weitz, Jet Propulsion Laboratory, Caltech, Pasadena, CA 91109, Smithsonian Institution, Washington, D.C. 20560, Cornell University, Ithaca, NY 14853, U.S. Geological Survey, Menlo Park, CA 94025, Washington University, St. Louis, MO 63130, NASA Headquarters, Washington, D...

PERUNITSA AND KHOSEDEM FOSSAE. P. Martin 1 , E. R. Stofan 2 and S. E. Smrekar 3 , 1 Durham University, Dept. of Earth Sciences, Science Laboratories, South Road, Durham, DH1 3LE, UK, ([email protected]), 2 Proxemy Research, 20528 Farcroft Lane, Laytonsville, MD 20882 USA ([email protected]), 3 Jet Propulsion Laboratory, 4800 Oak Grove Dr., MS 183-501, Pasadena, CA 91106, USA (ssmrekar@j...

Andrew C. Doherty, Pablo A. Parrilo, and Federico M. Spedalieri School of Physical Sciences, University of Queensland, St Lucia, Queensland 4072, Australia Institute for Quantum Information, California Institute of Technology, Pasadena, California 91125, USA Institut für Automatik, ETH Zentrum, CH-8092 Zürich, Switzerland Quantum Computing Technologies Group, Jet Propulsion Laboratory, Pasadena...

Tuhin Ghosh,* Rajib Saha, Pankaj Jain, and Tarun Souradeep1,x IUCAA, Post Bag 4, Ganeshkhind, Pune-411007, India Jet Propulsion Laboratory, M/S 169-327, 4800 Oak Grove Drive, Pasadena, California 91109, USA California Institute of Technology, Pasadena, California 91125, USA Department of Physics, Indian Institute of Technology, Kanpur, U.P, 208016, India (Received 23 January 2009; published 19 ...

Lee Lindblom and Curt Cutler Center for Astrophysics and Space Sciences, University of California at San Diego, 9500 Gilman Drive, La Jolla, California 92093, USA Theoretical Astrophysics 350-17, California Institute of Technology, Pasadena, California 91125, USA Jet Propulsion Laboratory, M/S 169-327, 4800 Oak Grove Drive, Pasadena, California 91109, USA (Received 8 February 2016; published 20...

An operational formal specification of the Tramel system is presented. Tramel is used by NASA’s Jet Propulsion Laboratory to support asynchronous inter-task communication of distributed software across varying architectures and operating systems. Security analysis of communications between non-Tramel programs and Tramel is explored using an operational trace-based specification model.

Physics Department, University of the Western Cape, Cape Town 7535, South Africa Institute of Cosmology & Gravitation, University of Portsmouth, Portsmouth PO1 3FX, UK National Astronomy Observatories, Chinese Academy of Science, Beijing, 100012, P.R.China Jet Propulsion Laboratory, California Institute of Technology, Pasadena CA 91109, US California Institute of Technology, Pasadena CA 91125, ...

Comparison of satellite limb-sounding humidity climatologies of the uppermost tropical troposphere M. Ekström, P. Eriksson, W. G. Read, and D. P. Murtagh Department of Radio and Space Science, Chalmers University of Technology, Gothenburg, Sweden Jet Propulsion Laboratory, California Institute of Technology, Pasadena, California, USA Received: 17 July 2007 – Accepted: 27 August 2007 – Published...