The Maryland soft shell clam industry and its effects on Tidewater resources

This report to the Maryland General Assembly covers: design and operation of the hydraulic clam dredge; summary of knowledge of Maryland's soft shell clam resource; development and present status; Potential value of the resource; Effects of the hydraulic clam dredge; evaluation of the effects of certain proposals concerning the soft shell clam industry; summary.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

The relationship of shell dimensions and shell volume to live weight and soft tissue weight in the mangrove clam, Polymesoda erosa (Solander, 1786) from northern Australia

Shell dimensions (length, height, width) and shell volume were evaluated as estimators of growth for Polymesoda erosa in northern Australia. Each parameter was a good estimator when applied to live weight (r2 values of 76-96 percent), but not to soft tissue weight (wet, dry, or ash-free dry weight) (r2 values of 13-32 percent). The b value for shell volume to weight relationship of clams collected during the dry season (June to October) was signifi cantly different than for those collected in the wet season (February to April).