Implications for Policy

macroeconomics, tax-based income policy, TIP, economic stability, economic growth

Morphological evidence for a sea-ice origin for Elysium Planitia platy terrain

Abstract not available

Modeling of anisotropic electromagnetic reflection from sea ice

Journal ArticleThe contribution of brine layers to observed reflective anisotropy of sea ice at 100 MHz is quantitatively assessed, and a theoretical explanation for observed reflective anisotropy is proposed in terms of anisotropic electric flux penetration into the brine layers. The sea ice is assumed to be a stratified dielectric consisting of pure ice containing ellipsoidal conducting inclusions (brine layers) uniformly aligned with their long axes perpendicular to the preferred crystallographic c axis direction. The asymmetrical geometry of the brine layers is shown to produce an anisotropy in the complex dielectric constant of sea ice

Sea ice studies in the Weddell Sea aboard USCGC Polar Sea

Journal ArticleOur purpose was to investigate several of the characteristics of Weddell Sea pack ice that may affect the relative roles of dynamics and thermodynamics of pack ice development in this region. The total pack ice production and the movement of pack ice from its source area in the Weddell Sea is particularly important in modifying ocean-atmosphere exchange processes. These modifications affect both climate and water mass development in and beyond the Weddell Sea embayment. The pack ice area affected by Weddell Sea processes is 8-10 million square kilometers (Ackley 1979a), about one-third of the total around Antarctica at maximum extent

Framework Programmable Platform for the Advanced Software Development Workstation (FPP/ASDW). Demonstration framework document. Volume 1: Concepts and activity descriptions

The Framework Programmable Software Development Platform (FPP) is a project aimed at effectively combining tool and data integration mechanisms with a model of the software development process to provide an intelligent integrated software development environment. Guided by the model, this system development framework will take advantage of an integrated operating environment to automate effectively the management of the software development process so that costly mistakes during the development phase can be eliminated. The Advanced Software Development Workstation (ASDW) program is conducting research into development of advanced technologies for Computer Aided Software Engineering (CASE)

Framework programmable platform for the advanced software development workstation. Integration mechanism design document

The Framework Programmable Software Development Platform (FPP) is a project aimed at combining effective tool and data integration mechanisms with a model of the software development process in an intelligent integrated software development environment. Guided by this model, this system development framework will take advantage of an integrated operating environment to automate effectively the management of the software development process so that costly mistakes during the development phase can be eliminated

Structure of a Multi-Year Pressure Ridge

Three transverse profiles across a large pressure ridge located in the Beaufort Sea are presented. The ridge sail extended 4m. above sea level and the ridge keel 13 m. below. The cross-sections of the ridge keel can be described as roughly semi-circular. This suggests that form drag coefficients for flow transverse to the long axes of multi-year ridges may be as high as 0.8. Examination of several salinity, temperature and brine-volume profiles shows that much of the ice in the ridge has a very low salinity and is quite strong. All the inter-block voids that initially existed in the ridge at the time of its formation have been completely filled with ice. These observations, coupled with icebreaking experience indicate that multi-year ridges are, indeed, significant obstacles to even the largest icebreaking ship and should be avoided if possible. A very large first year ridge with a sail height of 12.8 m. is also described. This is the largest free-floating ridge yet measured

Negative ternary set-sharing

The Set-Sharing domain has been widely used to infer at compiletime interesting properties of logic programs such as occurs-check reduction, automatic parallelization, and flnite-tree analysis. However, performing abstract uniflcation in this domain requires a closure operation that increases the number of sharing groups exponentially. Much attention has been given to mitigating this key inefflciency in this otherwise very useful domain. In this paper we present a novel approach to Set-Sharing: we define a new representation that leverages the complement (or negative) sharing relationships of the original sharing set, without loss of accuracy. Intuitively, given an abstract state sh\> over the finite set of variables of interest V, its negative representation is p(V) \ shy. Using this encoding during analysis dramatically reduces the number of elements that need to be represented in the abstract states and during abstract uniflcation as the cardinality of the original set grows toward 2 . To further compress the number of elements, we express the set-sharing relationships through a set of ternary strings that compacts the representation by eliminating redundancies among the sharing sets. Our experiments show that our approach can compress the number of relationships, reducing signiflcantly the memory usage and running time of all abstract operations, including abstract uniflcation

Framework Programmable Platform for the advanced software development workstation: Framework processor design document

The design of the Framework Processor (FP) component of the Framework Programmable Software Development Platform (FFP) is described. The FFP is a project aimed at combining effective tool and data integration mechanisms with a model of the software development process in an intelligent integrated software development environment. Guided by the model, this Framework Processor will take advantage of an integrated operating environment to provide automated support for the management and control of the software development process so that costly mistakes during the development phase can be eliminated

Short-term leprosy forecasting from an expert opinion survey.

We conducted an expert survey of leprosy (Hansen's Disease) and neglected tropical disease experts in February 2016. Experts were asked to forecast the next year of reported cases for the world, for the top three countries, and for selected states and territories of India. A total of 103 respondents answered at least one forecasting question. We elicited lower and upper confidence bounds. Comparing these results to regression and exponential smoothing, we found no evidence that any forecasting method outperformed the others. We found evidence that experts who believed it was more likely to achieve global interruption of transmission goals and disability reduction goals had higher error scores for India and Indonesia, but lower for Brazil. Even for a disease whose epidemiology changes on a slow time scale, forecasting exercises such as we conducted are simple and practical. We believe they can be used on a routine basis in public health