14 research outputs found

    Virginia\u27s pelagic recreational fishery: Biological, socioeconomic and fishery components

    Get PDF
    Catch, effort, fleet size and boat owner expenditure data were collected on Virginia\u27s recreational marlin/tuna fishery for the 1983-1985 seasons. Logbooks, dockside interviews and a telephone survey were evaluated to determine which method was the most efficient and effective for collecting and estimating catch and effort for Virginia\u27s pelagic recreational fishery. In 1984, logbooks were used to collect catch and effort data and fishing effort was estimated using Bochenek\u27s method. Very few fishermen returned their logbooks and as a result this data is probably less reliable than the data collected in other years. Due to the poor return of logbooks, this method should not be used to assess Virginia\u27s marlin/tuna fishery. For the 1985 season, Figley\u27s telephone survey (1984) was compared to the NMFS dockside interview technique for large pelagics. Both the telephone survey using Figley\u27s technique (1984) and dockside interviews using Bochenek\u27s method for calculating effort appear to provide similar estimates of projected total catch. However, the dockside method is very labor intensive, costly and fraught with problems in estimating fishing effort. Therefore, the telephone survey technique using Figley\u27s method for estimating effort appears to be a better method for analyzing this fishery. If telephone interviewing will not work in an area and dockside sampling methods must be relied upon to study the pelagic fishery, Bochenek\u27s method appears to produce a better estimate of fishing effort. Using Figley\u27s (1984) mark-recapture technique, Virginia\u27s pelagic recreational fleet was estimated at 455 and 774 vessels in 1983 and 1985, respectively. Boat owner expenditures for this fleet were estimated at &3,863,045 in 1983, \&4,057,020 in 1984 and &5,538,191 in 1985. Bluefin tuna were caught at SST ranging from 58-83 F but seem to prefer SST of 70 to 75 F. Yellowfin tuna were caught at SST ranging from 68-86 F with the majority landed at SST of 76-80 F. White marlin appear to prefer SST of 74 to 81 F

    Knowledge infrastructures for just urban futures:A case of water governance in Lima, Peru

    Get PDF

    Automated Reasoning

    Get PDF
    This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book

    Computer Science Logic 2018: CSL 2018, September 4-8, 2018, Birmingham, United Kingdom

    Get PDF

    36th International Symposium on Theoretical Aspects of Computer Science: STACS 2019, March 13-16, 2019, Berlin, Germany

    Get PDF

    Foundations of Software Science and Computation Structures

    Get PDF
    This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.

    The Chilean Communist Party 1922 - 1947.

    Get PDF
    Founded in 1922 by Socialist who already exerted considerable influence in the Chilean trade union movement, the Chilean Communist Party was a communist party in name only during its early years. It was not until the later 1920s that it began to acquire the organisational forms and practices characteristic of all members of the Third Communist International and not until the early 1930s that it was led by men who gave unquestioning allegiance to Moscow. Reduced to a shadow of its former self by prolonged persecution in the late 1920s and early 1930s, the party's fortunes did not begin to revive until after 1935, when the Third International adopted policies which encouraged it to become a regular participant in Chilean coalition politics. Between 1935 and 1947, the party's fortunes fluctuated somewhat in accordance with changing national and international circumstances but coalition politics enabled it to play important roles in the election of three successive Presidents of the Republic, to extend its appeal to wider sectors of society, to expand its electoral and trade union support and, indirectly, to lay the basis for an increasingly effective and professional party machine. In 1946, the party became the first Latin American Communist Party to hold designated portfolios in cabinet but its experience of high government office was cut short by Cold War pressures - pressures which eventually forced the party into a period of clandestinity which lasted from 1947 until 1958. This, then, is the broad chronological sweep of this study. Within its context, particular attention is paid to the party's relations with the International Communist Movement, to its links with organised labour, to its organisational development, to its electoral support and to its changing relations with other Chilean parties. 0 i
    corecore