A model developed to analyze the environmental impacts of aquaculture and the productivity and ecological function of integrated aquaculture/agriculture systems was evaluated using sensitivity analysis and model validation methods. The validated model was used to identify priority areas for future research in integrated aquaculture/agriculture systems and to study the flow of nitrogen in these ...

OBJECTIVES The Biomedical Research Integrated Domain Group (BRIDG) project is a collaborative initiative between the National Cancer Institute (NCI), the Clinical Data Interchange Standards Consortium (CDISC), the Regulated Clinical Research Information Management Technical Committee (RCRIM TC) of Health Level 7 (HL7), and the Food and Drug Administration (FDA) to develop a model of the shared ...

This report summarizes the development, administration, and scoring of the nuclear cardiology specialty examination offered by the Nuclear Medicine Technology Certification Board (NMTCB) at the Annual Meeting of the Society of Nuclear Medicine in Toronto, Canada, on June 23, 2001. During the NMTCB meeting in the fall of 2000, the Board approved the development and administration of an advanced ...

Research conducted by the PD/A CRSP at Sagana Fish Farm has begun to identify alternative management practices and technologies that may be suitable in the region, but it should not be assumed that results obtained under controlled experimental conditions at Sagana are directly transferable to farms in the area. On-farm testing is therefore a logical step in transferring research-based technolo...

When fish are recovered from ponds, the effluent is often drained, presenting both an environmental challenge and an agricultural opportunity. The effects of irrigation with pond effluent and its interaction with applied fertilizer were assessed in a field experiment using French bean (Phaseolus vulgaris) and kale (Brassica oleracea) over two growing seasons near Sagana, Kenya. Fresh and dry ma...

Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and rules. We study runtime monitoring of properties expressed in LTL on finite traces (LTLf ) and in its extension LDLf . LDLf is a powerful logic that captures all monadic second order logic on finite traces, which is o...

Constraint automata (CA) are a coordination model based on finite automata on infinite words. Although originally introduced for compositional modeling of coordinators, an interesting new application of CA is actually implementing coordinators (i.e., compiling CA to executable code). Such an approach guarantees correctness-by-construction and can even yield code that outperforms hand-crafted co...

One important factor limiting tilapia culture development in Honduras as well as in the rest of the Central America is the lack of supply of fingerlings in sufficient quantity and quality. To assess the situation, we endeavored to obtain information and purchase fingerlings from every seed producer in Honduras. Sixteen tilapia fingerling producers were visited and interviewed during September 2...

Computer system development consists of fulfillment of two kind of constraints, functional and nonfunctional. Different traditional computer system development methods are compared in the aspect of how functional and non functional constraints are handled. It is stated that development most probable will have to be iterative and therefore further work should be focused on how to minimize the nu...