Using forecasts to protect Federal facilities in the path of Hurricane Isabel

Hurricane Isabel made landfall as a Category 2 Hurricane on 18 September 2003, on the North Carolina Outer Banks between Cape Lookout and Cape Hatteras, then coursed northwestward through Pamlico Sound and west of Chesapeake Bay where it downgraded to a tropical storm. Wind damage on the west and southwest shores of Pamlico Sound and the western shore of Chesapeake Bay was moderate, but major damage resulted from the storm tide. The NOAA, National Ocean Service, National Centers for Coastal Ocean Sciences, Center for Coastal Fisheries and Habitat Research at Beaufort, North Carolina and the Center for Coastal Environmental Health and Biomedical Research Branch at Oxford, Maryland have hurricane preparedness plans in place. These plans call for tropical storms and hurricanes to be tracked carefully through NOAA National Weather Service (NWS) watches, warnings, and advisories. When a hurricane watch changes to a hurricane warning for the areas of Beaufort or Oxford, documented hurricane preparation plans are activated. Isabel exacted some wind damage at both Beaufort and Oxford. Storm tide caused damage at Oxford, where area-wide flooding isolated the laboratory for many hours. Storm tide also caused damage at Beaufort. Because of their geographic locations on or near the open ocean (Beaufort) or on or near large estuaries (Beaufort and Oxford), storm tide poses a major threat to these NOAA facilities and the safety of federal employees. Damage from storm surge and windblown water depends on the track and intensity of a storm. One tool used to predict storm surge is the Sea, Lake, and Overland Surges from Hurricanes (SLOSH) model of the NWS, which provides valuable surge forecasts that aid in hurricane preparation.

Analysis of Sample Frames and Subsampling Methods for Reef Fish Surveys

Introduction: The National Oceanic and Atmospheric Administration’s Biogeography Branch has conducted surveys of reef fish in the Caribbean since 1999. Surveys were initially undertaken to identify essential fish habitat, but later were used to characterize and monitor reef fish populations and benthic communities over time. The Branch’s goals are to develop knowledge and products on the distribution and ecology of living marine resources and provide resource managers, scientists and the public with an improved ecosystem basis for making decisions. The Biogeography Branch monitors reef fishes and benthic communities in three study areas: (1) St. John, USVI, (2) Buck Island, St. Croix, USVI, and (3) La Parguera, Puerto Rico. In addition, the Branch has characterized the reef fish and benthic communities in the Flower Garden Banks National Marine Sanctuary, Gray’s Reef National Marine Sanctuary and around the island of Vieques, Puerto Rico. Reef fish data are collected using a stratified random sampling design and stringent measurement protocols. Over time, the sampling design has changed in order to meet different management objectives (i.e. identification of essential fish habitat vs. monitoring), but the designs have always remained: • Probabilistic – to allow inferences to a larger targeted population, • Objective – to satisfy management objectives, and • Stratified – to reduce sampling costs and obtain population estimates for strata. There are two aspects of the sampling design which are now under consideration and are the focus of this report: first, the application of a sample frame, identified as a set of points or grid elements from which a sample is selected; and second, the application of subsampling in a two-stage sampling design. To evaluate these considerations, the pros and cons of implementing a sampling frame and subsampling are discussed. Particular attention is paid to the impacts of each design on accuracy (bias), feasibility and sampling cost (precision). Further, this report presents an analysis of data to determine the optimal number of subsamples to collect if subsampling were used. (PDF contains 19 pages)

O discurso fundador das mídias legislativas da Câmara dos Deputados

Analisa os aspectos políticos do discurso fundador das mídias legislativas da Câmara dos Deputados. Tal discurso compreende os argumentos e justificativas dos responsáveis pela criação, gestão e produção de conteúdos desses veículos e contempla três aspectos: (1) justificativa baseada no princípio constitucional da publicidade; (2) contraposição à agenda negativa da mídia privada sobre o Poder Legislativo; (3) defesa institucional dos veículos legislativos, especialmente política editorial e estratégias de divulgação

A agenda legislativa do governo Castelo Branco: um regime político em transição

O Golpe Militar de 1964 configurou uma ruptura política geral para o país e uma mudança específica para o Poder Legislativo federal. O governo Castelo Branco, contudo, apresenta características próprias, que o diferem das configurações democráticas anteriores e dos governos posteriores de Costa e Silva e Médici. O artigo utiliza metodologia quantitativa e usa fontes primárias e secundárias. Ele analisa e descreve a agenda legislativa do governo Castelo Branco, categoriza as propostas legislativas do Poder Executivo de acordo com temas, resultados e tempo de apreciação pelo Legislativo. Também é analisado o impacto das novas regras legislativas impostas pelos militares e procede-se a uma comparação dos achados com o período democrático imediatamente anterior. Os resultados mostram que o Poder Executivo teve uma agenda reformista, principalmente nas áreas econômica e de administração pública, e que alcançou uma taxa de sucesso significativa para suas propostas. Ademais, contudo, viu-se que o Poder Legislativo conseguiu ainda atuar de forma relevante em diversas proposições, que foram rejeitadas ou alteradas de modo a ensejar vetos do Poder Executivo. Constatou-se também que as novas regras legislativas impostas pelos militares foram muito importantes para aumentar a taxa de sucesso da agenda do Executivo e influenciaram o tempo de apreciação das propostas pelo Legislativo.

Proceedings of the Nineteenth Annual Symposium on Sea Turtle Conservation and Biology, 2-6 March 1999 South Padre Island, Texas, U.S.A.

The 19th Annual Symposium on Sea Turtle Biology and Conservation was the largest to date. The beautiful venue was the South Padre Island Convention Centre on South Padre Island, Texas from March 2-6, 1999. Key features of the 19th were invited talks on the theme The Promise, the Pain, and the Progress of 50 years of Sea Turtle Research and Conservation, a mini-symposium on the Kemp's ridley and an increased emphasis on high quality poster sessions. Hosts for the meeting included Texas A&M University, the Texas Sea Grant College Program, The Gladys Porter Zoo and Sea Turtle, Inc. Co-sponsors included the National Marine Fisheries Service-Southeast Fisheries Science Center, the National Marine Fisheries Service-Protected Resources Branch, Padre Island National Seashore and the U.S. Fish and Wildlife Service. With the assistance of Jack Frazier, we were fortunate to obtain a $30,000 grant from the David and Lucile Packard Foundation. This grant provided travel support to 49 individuals from 24 nations who presented a total of 50 presentations. (PDF contains 309 pages)

Fish assemblages and benthic habitats of Buck Island Reef National Monument (St. Croix, U.S. Virgin Islands) and the surrounding seascape: A characterization of spatial and temporal patterns

Since 1999, NOAA’s Biogeography Branch of the Center for Coastal Monitoring and Assessment (CCMA-BB) has been working with federal and territorial partners to characterize, monitor, and assess the status of the marine environment around northeastern St. Croix, U.S. Virgin Islands. This effort is part of the broader NOAA Coral Reef Conservation Program’s (CRCP) National Coral Reef Ecosystem Monitoring Program (NCREMP). With support from CRCP’s NCREMP, CCMA conducts the “Caribbean Coral Reef Ecosystem Monitoring project” (CREM) with goals to: (1) spatially characterize and monitor the distribution, abundance, and size of marine fauna associated with shallow water coral reef seascapes (mosaics of coral reefs, seagrasses, sand and mangroves); (2) relate this information to in situ fine-scale habitat data and the spatial distribution and diversity of habitat types using benthic habitat maps; (3) use this information to establish the knowledge base necessary for enacting management decisions in a spatial setting; (4) establish the efficacy of those management decisions; and (5) develop data collection and data management protocols. The monitoring effort in northeastern St. Croix was conducted through partnerships with the National Park Service (NPS) and the Virgin Islands Department of Planning and Natural Resources (VI-DPNR). The geographical focal point of the research is Buck Island Reef National Monument (BIRNM), a protected area originally established in 1961 and greatly expanded in 2001; however, the work also encompassed a large portion of the recently created St. Croix East End Marine Park (EEMP). Project funding is primarily provided by NOAA CRCP, CCMA and NPS. In recent decades, scientific and non-scientific observations have indicated that the structure and function of the coral reef ecosystem around northeastern St. Croix have been adversely impacted by a wide range of environmental stressors. The major stressors have included the mass Diadema die off in the early 1980s, a series of hurricanes beginning with Hurricane Hugo in 1989, overfishing, mass mortality of Acropora corals due to disease and several coral bleaching events, with the most severe mass bleaching episode in 2005. The area is also an important recreational resource supporting boating, snorkeling, diving and other water based activities. With so many potential threats to the marine ecosystem and a dramatic change in management strategy in 2003 when the park’s Interim Regulations (Presidential Proclamation No. 7392) established BIRNM as one of the first fully protected marine areas in NPS system, it became critical to identify existing marine fauna and their spatial distributions and temporal dynamics. This provides ecologically meaningful data to assess ecosystem condition, support decision making in spatial planning (including the evaluation of efficacy of current management strategies) and determine future information needs. The ultimate goal of the work is to better understand the coral reef ecosystems and to provide information toward protecting and enhancing coral reef ecosystems for the benefit of the system itself and to sustain the many goods and services that it offers society. This Technical Memorandum contains analysis of the first six years of fish survey data (2001-2006) and associated characterization of the benthos (1999-2006). The primary objectives were to quantify changes in fish species and assemblage diversity, abundance, biomass and size structure and to provide spatially explicit information on the distribution of key species or groups of species and to compare community structure inside (protected) versus outside (fished) areas of BIRNM. (PDF contains 100 pages).

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Cruise 2 of the N. B. Scofield for 1953. Cruise Report 53-S-2

(PDF contains 1 page.)

M/V Scofield. Cruise one of 1954

(PDF contains 2 pages.)

Cruise 3 of the N. B. Scofield for 1953. Cruise Report 53-S-3

(PDF contains 3 pages.)

Cruise 4 of the N. B. Scofield for 1953. Cruise Report 53-S-4

(PDF contains 3 pages.)

Cruise 5 of the N. B. Scofield for 1953. Cruise Report 53-S-5

(PDF contains 3 pages.)

Cruise 6 of the N. B. Scofield for 1953. Cruise Report 53-S-6

(PDF contains 2 pages.)

Cruise 7 of the N. B. Scofield for 1953. Cruise Report 53-S-7

(PDF contains 2 pages.)

Cruise 2 of the N. B. Scofield for 1954. Cruise Report 54-S-2

(PDF contains 2 pages.)