Charter and Party Boat Operators in the U.S. Gulf of Mexico: A Social Structure Perspective

To better address the charter and party boat fishery needs in the U.S. Gulf of Mexico, fishery managers must understand the linkages between the industry and other groups and organizations that affect its success. Gulf state charter and party boat operators were interviewed to ascertain the extent of their social network linkages, membership in community organizations, business community relationships, and linkages to information sources. Approximately one-third to one-half of the charter and party boat operators did not belong to local community organizations that could assist their business through tourism promotion or natural resource protection. Despite their limited integration in the community, the vast majority of operators gave and received referrals from other businesses. Of four major information sources, the National Weather Service and the County Marine Extension agents were rated highest and lowest, respectively, in mean importance to charter and party boat operators. Results suggest that business success can be enhanced by strengthening network ties between operators and local businesses, chambers of commerce, and tourism organizations. For this to occur, individual operators and charter/party boat organizations need to become more effective in representing industry interests. Informational linkages between industry and govemment agencies also need improvement

A geometric proof of the Kochen-Specker no-go theorem

We give a short geometric proof of the Kochen-Specker no-go theorem for non-contextual hidden variables models. Note added to this version: I understand from Jan-Aake Larsson that the construction we give here actually contains the original Kochen-Specker construction as well as many others (Bell, Conway and Kochen, Schuette, perhaps also Peres).Comment: This paper appeared some years ago, before the author was aware of quant-ph. It is relevant to recent developments concerning Kochen-Specker theorem

Thin-film GaAs photovoltaic solar energy cells Final report

Thin film gallium arsenide photovoltaic solar cell

Development of flying qualities criteria for single pilot instrument flight operations

Flying qualities criteria for Single Pilot Instrument Flight Rule (SPIFR) operations were investigated. The ARA aircraft was modified and adapted for SPIFR operations. Aircraft configurations to be flight-tested were chosen and matched on the ARA in-flight simulator, implementing modern control theory algorithms. Mission planning and experimental matrix design were completed. Microprocessor software for the onboard data acquisition system was debugged and flight-tested. Flight-path reconstruction procedure and the associated FORTRAN program were developed. Algorithms associated with the statistical analysis of flight test results and the SPIFR flying qualities criteria deduction are discussed

Thin film GaAs photovoltaic solar energy cells

Fabrication process for thin film gallium arsenide photovoltaic solar energy cell

Associating sporadic, foodborne illness caused by Shiga toxin-producing Escherichia coli with specific foods : a systematic review and meta-analysis of case-control studies

Shiga toxin-producing Escherichia coli (STEC) infections are a significant public health issue, with foodborne transmission causing >1 million illnesses worldwide each year. We conducted a systematic review and meta-analysis (PROSPERO registry # CRD42017074239), to determine the relative association of different food types with sporadic illnesses caused by STEC. Searches were conducted from 01 August to 30 September 2017, using bibliographic and grey literature databases, websites and expert consultation. We identified 22 case-control studies of sporadic STEC infection in humans, from 10 countries within four World Health Organization subregions, from 1985 to 2012. We extracted data from 21 studies, for 237 individual measures in 11 food categories and across three status types (raw or undercooked, not raw and unknown). Beef was the most significant food item associated with STEC illness in the Americas and Europe, but in the Western Pacific region, chicken was most significant. These findings were not significantly moderated by the raw or cooked status of the food item, nor the publication year of the study. Data from the African, South-East Asian and Eastern Mediterranean subregions were lacking and it is unclear whether our results are relevant to these regions

An evaluation of the goal-oriented approaches for modelling strategic alignment concept

Several frameworks have been proposed in Requirements Engineering (RE) discipline that use goal-oriented approach to model the concept of strategic alignment. Understanding the concept of strategic alignment from the perspective of Management Information Systems (MIS) discipline and evaluating goal-oriented approaches in the context of strategic alignment appear to be the fundamental weakness in the RE frameworks that claim to model strategic alignment. In this research we developed a list of constructs by analysing the concept of strategic alignment embedded in strategy map which is one of the widely used frameworks to develop strategic alignment in MIS discipline. In this regard we analysed details of a case study conducted to develop strategic alignment. Against the identified list of constructs we evaluated five well-known goal-oriented approaches and presented their level of effectiveness to model the concept of strategic alignment. © 2011 IEEE

Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring