Naval Postgraduate School

About: Naval Postgraduate School is a education organization based out in Monterey, California, United States. It is known for research contribution in the topics: Tropical cyclone & Nonlinear system. The organization has 5246 authors who have published 11614 publications receiving 298300 citations. The organization is also known as: NPS & U.S. Naval Postgraduate School.

Formal methods: promises and problems

Abstract: Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.

Observing Ocean Surface Waves with GPS-Tracked Buoys

Abstract: Surface-following buoys are widely used to collect routine ocean wave measurements. While accelerometer and tilt sensors have been used for decades to measure the wave-induced buoy displacements, alternative global positioning system (GPS) sensor packages have been introduced recently that are generally smaller, less expensive, and do not require calibration. In this study, the capabilities of several GPS sensors are evaluated with field observations in wind-sea and swell conditions off the California coast. The GPS buoys used in this study include Datawell Directional Waverider and Mini Directional Waverider buoys equipped with a specialized GPS Doppler shift sensor, and a low-cost experimental drifter equipped with an “off the shelf” GPS receiver for absolute position tracking. Various GPS position receivers were attached to the Waverider buoys to evaluate their potential use in low-cost wave-resolving drifters. Intercomparisons between the Datawell GPS-based buoys, the experimental GPS drifter,...

Organizational slack and risk-taking behaviour: tests of product pricing strategy

Abstract: Organizational change inevitably involves uncertainty and hence some risk taking. Tests the relationship between organizational slack and risk taking in organization decision making, and thus provides some evidence on the role or organizational variables in risk‐taking behaviour. Product pricing strategies are identified and characterized with respect to risk. Organizational slack is measured using various financial variables. Results indicate that firms which have increases in organizational slack prior to the introduction of new products are more likely to adopt a higher risk product pricing strategy. Also discusses implications regarding the measurement of slack using financial variables.