Diccionario bibliographico brazileiro pelo Doutor Augusto Victorino Alves Sacramento Blake

Considerada a melhor bibliografia de autores brasileiros do período colonial até o século XIX. Apresenta a biografia de cada autor e as obras por ele produzidas. A introdução narra os primórdios da tipografia no Brasil e o nascedouro das primeiras sociedades literárias no país. A obra tornou-se famosa e muito respeitada. Recebeu crítica quanto a ordem de entrada dos autores pelo prenome, costume de época. O autor colaborou em O Ateneu, O Mosaico, Anais Brasileiros de Medicina e Revista do IHGB.

Economic Impacts of Aquatic Vegetation to Angling in Two South Carolina Reservoirs

Angler creel surveys and economic impact models were used to evaluate potential expansion of aquatic vegetation in Lakes Murray and Moultrie, South Carolina. (PDF contains 4 pages.)

STREAM Journal, Vol. 3, No. 4, pp 1-17. October-December 2004

CONTENTS: Pasoso project: local livelihoods and turtle conservation in a small island MPA in central Sulawesi, Indonesia, by Abigail Moore. Fisheries development in Lao PDR, by Khamphet Roger. Creating better fisher livelihoods through leasable fisheries, by Khin Maung Soe. The Jankar system for sustainable livelihoods: lessons from the EIRFP, by Binay Kumar Sahay. Alternative livelihoods for landlocked areas in BFAR Region 6, by Jacqueline T. Mamburam. Lessons learned and future replication from Trao reef locally managed marine reserve, by Than Thi Hien.

Miscellaneous studies

MISCELLANEOUS STUDIES, which includes the following papers: "Geology of the Area in and Around the Jim Woodruff Reservoir" by Charles W. Hendry, Jr. and J. William Yon, Jr.; "Phosphate Concentrations near Bird Rookeries in South Florida" by Dr. Ernest H. Lund, Department of Geology, Florida State University; and "An Analysis of Ochlockonee River Channel Sediments" by Dr. Ernest H. Lund, Associate Professor and Patrick C. Haley, Graduate Assistant, Department of Geology, Florida State University. (PDF contains 81 pages)

Proceedings of the Eighteenth International Sea Turtle Symposium, 3-7 March 1998, Mazatlán, Sinaloa, Mexico

For the first time in its history, the International Symposium on Sea Turtle Biology and Conservation migrated to a site outside of the United States. Thus the Eighteenth edition was hosted by the Mazatlán Research Unit of the Instituto de Ciencias del Mar y Limnología of the Mexican National Autonomous University (UNAM) in Mazatlán, Sinaloa (Mexico) where it was held from 3-7, March, 1998. Above all, our symposium is prominent for its dynamism and enthusiasm in bringing together specialists from the world´s sea turtle populations. In an effort to extend this philosophy, and fully aware of how fast the interest in sea turtles has grown, the organizers paid special attention to bring together as many people as possible. With the tremendous efforts of the Travel Committee and coupled with a special interest by the Latin American region´s devotees, we managed to get 653 participants from 43 countries. The number of presentations increased significantly too, reaching a total of 265 papers, ranging from cutting-edge scientific reports based on highly sophisticated methods, to the experiences and successes of community-based and environmental education programs. A priority given by this symposium was the support and encouragement for the construction of "bridges" across cultural and discipline barriers. We found success in achieving a multinational dialogue among interest groups- scientists, resource managers, decision makers, ngo's, private industry. There was a broad representation of the broad interests that stretch across these sectors, yet everyone was able to listen and offer their own best contribution towards the central theme of the Symposium: the conservation of sea turtles and the diversity of marine and coastal environments in which they develop through their complicated and protracted life cycle. Our multidisciplinary approach is highly important at the present, finding ourselves at a cross roads of significant initiatives in the international arena of environmental law, where the conservation of sea turtles has a key role to play. Many, many people worked hard over the previous 12 months, to make the symposium a success. Our sincerest thanks to all of them: Program committee: Laura Sarti (chair), Ana Barragán, Rod Mast, Heather Kalb, Jim Spotilla, Richard Reina, Sheryan Epperly, Anna Bass, Steve Morreale, Milani Chaloupka, Robert Van Dam, Lew Ehrhart, J. Nichols, David Godfrey, Larry Herbst, René Márquez, Jack Musick, Peter Dutton, Patricia Huerta, Arturo Juárez, Debora Garcia, Carlos Suárez, German Ramírez, Raquel Briseño, Alberto Abreu; Registration and Secretary: Jane Provancha (chair), Lupita Polanco; Informatics: Germán Ramírez, Carlos Suárez; Cover art: Blas Nayar; Designs: Germán Ramírez, Raquel Briseño, Alberto Abreu. Auction: Rod Mast; Workshops and special meetings: Selina Heppell; Student prizes: Anders Rhodin; Resolutions committee: Juan Carlos Cantú; Local organizing committee: Raquel Briseño, Jane Abreu; Posters: Daniel Ríos and Jeffrey Semminoff; Travel committee: Karen Eckert (chair), Marydele Donnelly, Brendan Godley, Annette Broderick, Jack Frazier; Student travel: Francisco Silva and J. Nichols; Vendors: Tom McFarland and J. Nichols; Volunteer coordination: Richard Byles; Latin American Reunión: Angeles Cruz Morelos; Nominations committee: Randall Arauz, Colleen Coogan, Laura Sarti, Donna Shaver, Frank Paladino. Once again, Ed Drane worked his usual magic with the Treasury of the Symposium Significant financial contributions were generously provided by government agencies. SEMARNAP (Mexico´s Ministry of Environment, Natural Resources and Fisheries) through its central office, the Mazatlán Regional Fisheries Research Center (CRIP-Mazatlán) and the National Center for Education and Capacity Building for Sustainable Development (CECADESU) contributed to the logistics and covered the costs of auditoria and audiovisual equipment for the Symposium, teachers and their hotels for the Community Development and Environmental Education workshop in the 5th Latin American Sea Turtle Specialists; DIF (Dept of Family Affairs) provided free accomodation and food for the more than 100 participants in the Latin American Reunion. In this Reunion, the British Council-Mexico sponsored the workshop on the Project Cycle. The National Chamber of the Fisheries Industry (CANAINPES) kindly sponsored the Symposium´s coffee breaks. Personnel from the local Navy (Octave Zona Naval) provided invaluable aid in transport and logistics. The Scientific Coordination Office from UNAM (CICUNAM) and the Latin American Biology Network (RELAB) also provided funding. Our most sincere recognition to all of them. In the name of this Symposium´s compilers, I would like to also express our gratitude to Wayne Witzell, Technical Editor for his guidance and insights and to Jack Frazier for his help in translating and correcting the English of contributions from some non-native English speakers. Many thanks to Angel Fiscal and Tere Martin who helped with the typing in the last, last corrections and editions for these Proceedings. To all, from around the world, who generously helped make the 18th Symposium a huge success, shared their experiences and listened to ours, our deepest gratitude! (PDF contains 316 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.

Resource survey of Looe Key National Marine Sanctuary, 1983

Forward: Looe Key National Marine Sanctuary (LKNMS) was designated in 1981 to protect and promote the study, teaching, and wise use of the resources of Looe Key Sanctuary (Plate A). In order to wisely manage this valuable resource, a quantitative resource inventory was funded by the Sanctuary Programs Division (SPD), Office of Ocean and Coastal Resource Management, National Oceanic and Atmospheric Administration (NOAA) in cooperation with the Southeast Fisheries Center, National Marine Fisheries Service, NOAA; the Cooperative Institute for Marine and Atmospheric Studies (CIMAS), University of Miami; the Fisher Island Laboratory, United States Geological Survey; and the St. Petersburg Laboratory, State of Florida Department of Natural Resources. This report is the result of this cooperative effort. The objective of this study was to quantitatively inventory selected resources of LKNMS in order to allow future monitoring of changes in the Sanctuary as a result of human or natural processes. This study, referred to as Phase I, gives a brief summary of past and present uses of the Sanctuary (Chapter 2); and describes general habitat types (Chapter 3), geology and sediment distribution (Chapter 4), coral abundance and distribution (Chapter 5), the growth history of the coral Montastraea annularis (Chapter 6), reef fish abundance and distribution (Chapter 7), and status of selected resources (Chapter 8). An interpretation of the results of the survey are provided for management consideration (Chapter 9). The results are expected to provide fundamental information for applied management, natural history interpretation, and scientific research. Numerous photographs and illustrations were used to supplement the report to make the material presented easier to comprehend (Plate B). We anticipate the information provided will be used by managers, naturalists, and the general public in addition to scientists. Unless otherwise indicated, all photographs were taken at Looe Key Reef by Dr. James A. Bohnsack. The top photograph in Plate 7.8 was taken by Michael C. Schmale. Illustrations were done by Jack Javech, NMFS. Field work was initiated in May 1983 and completed for the most part by October 1983 thanks to the cooperation of numerous people and organizations. In addition to the participating agencies and organizations we thank the Newfound Harbor Marine Institute and the Division of Parks and Recreation, State of Florida Department of Natural Resources for their logistical support. Special thanks goes to Billy Causey, the Sanctuary Manager, for his help, information, and comments. We thank in alphabetical order: Scott Bannerot, Margie Bastian, Bill Becker, Barbara Bohnsack, Grant Beardsley, John Halas, Raymond Hixon, Irene Hooper, Eric Lindblad, and Mike Schmale. We dedicate this effort to the memory of Ray Hixon who participated in the study and who loved Looe Key. (PDF contains 43 pages)

Genomotipificación de Camylobacter jejuni mediante microarrays de ADN

354 p. (Bibliogr. 271-303) - Correo electrónico de la autora: andrea.guridi@gmail.com

Distribution and Abundance of Juvenile Salmonids off Oregon and Washington, 1981-1985

This report is a summary of the results of 883 purse seine sets made for juvenile salmonids during 15 cruises off the coasts of Oregon and Washington during the springs and summers of 1981-1985. Juvenile coho salmon (Oncorhynchus kisutch) occurred most frequently, followed by chinook salmon (0. tshawytscha). The juveniles of these two species co-occurred more frequently than expected. Juvenile chum, pink and sockeye salmon (0. keta, O. gorbuscha, and O. nerka), steelhead (0. mykiss) and cutthroat trout (0. clarki clarki) were caught much less frequently and in lower numbers than coho or chinook salmon. We found no evidence of large schools ofjuvenile salmonids. A northerly movement of juvenile coho salmon wa~ suggested by decreased catches off Oregon and increased catches off Washington between early and late summer. Highest catch per set of juvenile coho salmon was usually found inshore of 37.2 km. Juvenile chinook salmon were usually found within 27.9 km of the coast. Juvenile salmonids were found over a broad range of surface salinities and temperatures. High catches of juvenile coho salmon occurred in both the low salinity waters of the Columbia River plume and in adjacent higher salinity waters. Preferences for specific salinities or temperatures were not obvious for any species, although catch rates of juvenile coho salmon were highest in years when chlorophyll content was also high. Based on expansions of fish with coded wire tags, we estimated that hatchery coho salmon smolts comprised 74%, on average, of the juvenile coho salmon catches. The remaining 26% were presumably wild fish or hatchery fish released as fingerlings. Hatchery coho salmon were caught roughly in proportion to the numbers released. However, hatchery fish from the Columbia River and private coastal facilities were caught at slightly higher rates while those from coastal Washington and public coastal Oregon hatcheries were caught at slightly lower rates than expected from the numbers released. No juvenile coho salmon with coded wire tags were caught that had originated from either California or Puget Sound hatcheries. (PDF file contains 88 pages.)

Index numbers and productivity measurement in multispecies fisheries: an application to the Pacific Coast Trawl Fleet

This study is concerned with the measurement of total factor prodnctivity in the marine fishing industries in general and in the Pacific coast trawl fishery in particular. The study is divided into two parts. Part I contains suitable empirical and introductory theoretical material for the examination of productivity in the Pacific coast trawl Deet. It is self-contained, and contains the basic formulae, empirical results, and discussion. Because the economic theory of index numbers and productivity is constantly evolving and is widely scattered throughout the economics literature, Part D draws together the theoretical literature into one place to allow ready access for readers interested in more details. The major methodological focus of the study is upon the type of economic index number that is most appropriate for use by economists with the National Marine Fisheries Service. This study recommends that the following types of economic index numbers be used: chain rather than fIxed base; bilateral rather than multilateral; one of the class of superlative indices, such as the Tornqvist or Fisher Ideal. (PDF file contains 40 pages.)

Spatial mapping of sedimentary contaminants in the Baltimore Harbor/Patapsco river/Back river system

Primary objective was to map concentrations of target contaminants in the surfacial sediments. Secondary objectives included: characterization of potential sites for sediment capping demonstration projects, further characterization of sediment depositional and accumulation patterns, and estimation of historical contaminant inventories through sediment geochronology. (PDF contains 112 pages)

Optical Remote Sensing of Coastal Habitats, Moss Landing, California, 9-11 January, 2006: workshop proceedings

The Alliance for Coastal Technologies (ACT) Workshop on Optical Remote Sensing of Coastal Habitats was convened January 9-11, 2006 at Moss Landing Marine Laboratories in Moss Landing, California, sponsored by the ACT West Coast regional partnership comprised of the Moss Landing Marine Laboratories (MLML) and the Monterey Bay Aquarium Research Institute (MBARI). The "Optical Remote Sensing of Coastal Habitats" (ORS) Workshop completes ACT'S Remote Sensing Technology series by building upon the success of ACT'S West Coast Regional Partner Workshop "Acoustic Remote Sensing Technologies for Coastal Imaging and Resource Assessment" (ACT 04-07). Drs. Paul Bissett of the Florida Environmental Research Institute (FERI) and Scott McClean of Satlantic, Inc. were the ORS workshop co-chairs. Invited participants were selected to provide a uniform representation of the academic researchers, private sector product developers, and existing and potential data product users from the resource management community to enable development of broad consensus opinions on the role of ORS technologies in coastal resource assessment and management. The workshop was organized to examine the current state of multi- and hyper-spectral imaging technologies with the intent to assess the current limits on their routine application for habitat classification and resource monitoring of coastal watersheds, nearshore shallow water environments, and adjacent optically deep waters. Breakout discussions focused on the capabilities, advantages ,and limitations of the different technologies (e.g., spectral & spatial resolution), as well as practical issues related to instrument and platform availability, reliability, hardware, software, and technical skill levels required to exploit the data products generated by these instruments. Specifically, the participants were charged to address the following: (1) Identify the types of ORS data products currently used for coastal resource assessment and how they can assist coastal managers in fulfilling their regulatory and management responsibilities; (2) Identify barriers and challenges to the application of ORS technologies in management and research activities; (3) Recommend a series of community actions to overcome identified barriers and challenges. Plenary presentations by Drs. Curtiss 0. Davis (Oregon State University) and Stephan Lataille (ITRES Research, Ltd.) provided background summaries on the varieties of ORS technologies available, deployment platform options, and tradeoffs for application of ORS data products with specific applications to the assessment of coastal zone water quality and habitat characterization. Dr. Jim Aiken (CASIX) described how multiscale ground-truth measurements were essential for developing robust assessment of modeled biogeochemical interpretations derived from optically based earth observation data sets. While continuing improvements in sensor spectral resolution, signal to noise and dynamic range coupled with sensor-integrated GPS, improved processing algorithms for georectification, and atmospheric correction have made ORS data products invaluable synoptic tools for oceanographic research, their adoption as management tools has lagged. Seth Blitch (Apalachicola National Estuarine Research Reserve) described the obvious needs for, yet substantial challenges hindering the adoption of advanced spectroscopic imaging data products to supplement the current dominance of digital ortho-quad imagery by the resource management community, especially when they impinge on regulatory issues. (pdf contains 32 pages)

Walk on the Water: experience of brackish rivers with children

A resource guide for teachers for 4th through 6th graders, produced as part of the Aquapeake project. Includes: background on how and why it was developed; Cycles which is a poetic expression of the wedding of natural studies with personal expression; Aout our Trip, is a tentative sketch for possible uses of the folios; Aquaria on setting up various sizes and styles of aquaria; Music, songs in word and music. (PDF contains 70 pages)