1998 warmwater fish survey of Vancouver Lake, Clark County

The Vancouver Lake warmwater fish population was sampled during the fall of 1998. Vancouver Lake is a large lake, connected directly to the Columbia River through the Lake River to the north and the constructed flushing channel on the eastern shore. A total of 16 species of fish were encountered, mostly warmwater game fish with a few seasonal visitors. The lake has suffered from water quality problems, and during the 1970s, it was dredged, and a channel was created to aid in increasing the water turnover rate, effectively connecting both ends of the lake to the Columbia River. As there is direct access to the Columbia River, managing this lake as a closed system may prove difficult. It is of our opinion that it may be a more effective use of resources to increase the anglers access to the available resources through providing improved boat launch access, and fish habitat structure throughout the lake. Additionally, educating the public about the how-to's of common carp angling could possibly open up additional resources not commonly utilized by the public. (Document pdf contains 38 pages)

Coastal engineering investigation at Jupiter Inlet, Florida

A fixed-bed hydraulic model of Jupiter Inlet, Florida, was constructed for the purpose of testing measures designed to remedy problems of sediment erosion and deposition in the inlet area. Both tide-induced flows as well as waves were simulated in the model which was built on an undistorted scale of 1:49. Model verification was based on prototype measurements of waves, tides and currents. Results have been interpreted in terms of the influence of various proposed remedial schemes on flow velocity magnitude, distribution and wave height at various locations within the study area. A stability parameter has been utilized for evaluating the degree of sediment erosion or deposition at a given location. Various structural solutions were examined in the model. It is proposed that, in the initial phase of solution implementation, sediment removal/nourishment methods be used primarily to mitigate the existing problems. New structures, as per model test results, should be installed under subsequent phases, only if sediment management procedures do not prove to be adequate. The currently followed procedure of periodic sand trap dredging may be extended to include the new dredging/nourishment requirements. (PDF contains 245 pages.)

Introducción: Variedad de temas y de tratamientos sobre la Innovación

[ES] Este artículo de introducción al número especial sobre innovación de la revista Cuadernos de Gestión consta de dos apartados bien diferenciados. En el primero, se recogen algunas ideas que pueden ser útiles para los lectores que se aproximan al tema de la innovación y observan una gran variedad conceptual. En concreto, se ha tratado de explicar de una manera más o menos exhaustiva el concepto de Open Innovation (OI). La OI surge del reconocimiento de que la empresa no puede innovar de manera aislada, y, por lo tanto, necesita siempre adquirir las ideas y los recursos del entorno exterior.

A redação final de proposições submetidas à apreciação do plenário da Câmara dos Deputados : as consequências da votação da redação presumida

Analisa o fenômeno da má redação das leis sob a ótica do processo legislativo, a partir do exame das etapas de elaboração e de votação da Redação Final das proposições sujeitas à apreciação do Plenário da Câmara dos Deputados. O objetivo é verificar se as incoerências textuais, de forma e de conteúdo, são ocasionadas também pela votação da redação presumida, a par da inobservância das regras e preceitos de Técnica Legislativa. O trabalho mostra que a prática da votação da redação presumida pode provocar lapsos e incoerências no texto final, pelo encerramento da apreciação da matéria sem a possibilidade de sanear erros materiais ou formais porventura existentes. Além disso, propõe que a própria legitimidade do processo e, por conseguinte, do ato legislativo final, estaria maculada, pela impossibilidade de se atestar a conformidade entre a Redação Final e o real conteúdo deliberado pelo Plenário, podendo o texto não espelhar a real intenção do legislador. O trabalho inicia com as noções de Técnica Legislativa, de forma a caracterizar a importância do aspecto formal e da adequada apresentação escrita das proposições legislativas. Em seguida, descreve o atual processo de elaboração e de votação da Redação Final e as suas consequências para a redação e a legitimidade dos textos legais. Para isso, foram analisadas diversas Questões de Ordem acerca do assunto e realizada uma breve pesquisa, que contempla as proposições aprovadas pelo Plenário neste ano de 2011 (até 26/10/11), para verificar a quantidade de modificações introduzidas e a possibilidade de ocorrência de deficiências redacionais em razão da não apresentação do texto da Redação Final antes de considerá-lo definitivamente aprovado. Na sequência, faz um estudo de caso do processo de votação da Lei da "Ficha Limpa". Por fim, apresenta proposta de modificação, no sentido de contribuir para o debate e consequente aperfeiçoamento do referido processo.

Materiales vascos del legado de Wilhelm von Humboldt: la relevancia de Astarloa y el Plan de Lenguas

Este artículo es traducción del original alemán «Zum Stellenwert Astarloas und des Plan de Lenguas», publicado en B. Hurch (ed.), Die baskischen Materialien aus dem Nachlaß Wilhelm von Humboldts. Astarloa, Charpentier, Fréret, Aizpitarte und anderes. Paderborn: Schöningh, pp. 21-42. La traducción al español es obra de Oroitz Jauregi y ha sido revisada por Ricardo Gómez y Bernhard Hurch.

Asymmetric flow networks

This paper provides a new model of network formation that bridges the gap between the two benchmark models by Bala and Goyal, the one-way flow model, and the two-way flow model, and includes both as particular extreme cases. As in both benchmark models, in what we call an "asymmetric flow" network a link can be initiated unilaterally by any player with any other, and the flow through a link towards the player who supports it is perfect. Unlike those models, in the opposite direction there is friction or decay. When this decay is complete there is no flow and this corresponds to the one-way flow model. The limit case when the decay in the opposite direction (and asymmetry) disappears, corresponds to the two-way flow model. We characterize stable and strictly stable architectures for the whole range of parameters of this "intermediate" and more general model. We also prove the convergence of Bala and Goyal's dynamic model in this context.

Gehiago Pierre Urteren gramatikaren iturriez: Lilyren gramatika

[EN] Pierre Urte wrote Grammaire cantabrique circa 1714, when he was exiled in England. In this article we want to prove that the main source for Urte’s work was the socalled “Lily’s grammar”, which was the oficial grammar to learn Latin language in England from the 16th to the 19th century. The indentification of that source allows us to support the claim that Urte’s grammar must be included in the tradition of language teaching, as was already pointed out by Oyharçabal (1989). In this article, we first offer a brief history of Lily’s grammar. Then, we provide some clues in order to identify the exact edition used by Urte. Finally, in the main section of the article, we confront the two grammatical works; our aim is to ensure Urte’s debt to Lily’s grammar, and to show in detail the principal parts which Urte took from his source (mainly grammatical clasifications and examples).

Mechanisms implied in Escherichia coli removal during wastewater treatment

Poster presentado 12th Symposium on Aquatic Microbial Ecology (SAME12) August 28 – September 02, 2011 Germany , Rostock–Warnemünde

A monotonic core concept for convex games: The SD-prenucleolus

We prove that the SD-prenucleolus satisfies monotonicity in the class of convex games. The SD-prenucleolus is thus the only known continuous core concept that satisfies monotonicity for convex games. We also prove that for convex games the SD-prenucleolus and the SD-prekernel coincide.

Justicia victimal. Contribuciones y retos

[ES]La pena de cárcel, como única respuesta al delito, no constituye ninguna solución para el hecho delincuencial. No es solución para la víctima porque queda en el más profundo de los desamparos. No es solución para el infractor porque la cárcel no sólo no rehabilita sino que puede generar más delincuencia, como lo acredita el alto índice de reincidencia. Finalmente, no es una solución para la Comunidad por los altos costes, no sólo penitenciarios. Sólo integrada con otras respuestas no carcelarias, la respuesta prisional permite un abordaje sensato de la delincuencia. Se aboga, por ello, por una justicia que reconozca la existencia de otras instancias reparadoras como: la mediación, el arbitraje, el diálogo víctima - agresor, etc.

Fish assemblages and indicator species: reef fishes off the southeastern United States

For many fish stocks, resource management cannot be based on stock assessment because data are insufficient-a situation that requires alternative approaches to management. One possible approach is to manage data-limited stocks as part of an assemblage and to determine the status of the entire unit by a data-rich indicator species. The utility of this approach was evaluated in analyses of 15 years of commercial and 34 years of recreational logbook data from reef fisheries off the southeastern United States coast. Multivariate statistical analyses successfully revealed three primary assemblages. Within assemblages, however, there was little evidence of synchrony in population dynamics of member species, and thus, no support for the use of indicator species. Nonetheless, assemblages could prove useful as management units. Their identification offers opportunities for implementing management to address such ecological considerations as bycatch and species interrelations.

Ongoing monitoring of Tortugas Ecological Reserve: Assessing the consequences of reserve designation

Over the past five years, a biogeographic characterization of Tortugas Ecological Reserve(TER) has been carried out to measure the post-implementation effects of TER as a refuge for exploited species. Our results demonstrate that there is substantial microalgal biomass at depths between 10 and 30 m in the soft sediments at the coral reef interface, and that this community may play an important role in the food web supporting reef organisms. In addition, preliminary stable isotope data, in conjunction with prior results from the west Florida shelf, suggest that the shallow water benthic habitats surrounding the coral reefs of TER will prove to be an important source of the primary production ultimately fueling fish production throughout TER. The majority of the fish analyzed so far have exhibited a C isotope signature consistent with a food web which relies heavily on benthic primary production. Fish counts indicate a marked increase in the abundance of large fish (>20 cm) within the Reserve relative to the Out and Park strata, across years. Faunal collections from open and protected soft bottom habitat near the northern boundary of Tortugas North strongly suggest that relaxation of trawling pressure has increased benthic biomass and diversity in this area of TER. These data, employing an integrated Before - After Control Impact (BACI) design at multiple spatial scales, will allow us to continue to document and quantify the post-implementation effects of TER. (PDF contains 58 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.

Emerging trends and experiences in Asia-Pacific aquaculture: 2003

This document provides an overview of topical issues in Asian aquaculture for 2003, including a review of its status, progress in research and development, major issues and experiences, together with suggestions on actions for addressing opportunities and constraints. The document has been prepared by NACA and FAO to facilitate discussions at the 15th NACA Governing Council meeting, hosted by the Government of Sri Lanka on 21st-25th April 2004. The final version will be widely circulated as the editors hope it will prove a useful document for all involved in aquaculture, and related fishery development in the Asia-Pacific region. Pending feedback on this 2003 document, further reviews may be considered by NACA and FAO as a way of bringing together regularly in one publication relevant and key issues facing development of aquaculture in the Asia-Pacific region. (PDF contains 153 pages)

Biogeographic analysis of the Tortugas Ecological Reserve: Examining the refuge effect following reserve establishment

Almost 120 days at sea aboard three NOAA research vessels and one fishing vessel over the past three years have supported biogeographic characterization of Tortugas Ecological Reserve (TER). This work initiated measurement of post-implementation effects of TER as a refuge for exploited species. In Tortugas South, seafloor transect surveys were conducted using divers, towed operated vehicles (TOV), remotely operated vehicles (ROV), various sonar platforms, and the Deepworker manned submersible. ARGOS drifter releases, satellite imagery, ichthyoplankton surveys, sea surface temperature, and diver census were combined to elucidate potential dispersal of fish spawning in this environment. Surveys are being compiled into a GIS to allow resource managers to gauge benthic resource status and distribution. Drifter studies have determined that within the ~ 30 days of larval life stage for fishes spawning at Tortugas South, larvae could reach as far downstream as Tampa Bay on the west Florida coast and Cape Canaveral on the east coast. Together with actual fish surveys and water mass delineation, this work demonstrates that the refuge status of this area endows it with tremendous downstream spillover and larval export potential for Florida reef habitats and promotes the maintenance of their fish communities. In Tortugas North, 30 randomly selected, permanent stations were established. Five stations were assigned to each of the following six areas: within Dry Tortugas National Park, falling north of the prevailing currents (Park North); within Dry Tortugas National Park, falling south of the prevailing currents (Park South); within the Ecological Reserve falling north of the prevailing currents (Reserve North); within the Ecological Reserve falling south of the prevailing currents (Reserve South); within areas immediately adjacent to these two strata, falling north of the prevailing currents (Out North); and within areas immediately adjacent to these two strata, falling south of the prevailing currents (Out South). Intensive characterization of these sites was conducted using multiple sonar techniques, TOV, ROV, diver-based digital video collection, diver-based fish census, towed fish capture, sediment particle-size, benthic chlorophyll analyses, and stable isotope analyses of primary producers, fish, and, shellfish. In order to complement and extend information from studies focused on the coral reef, we have targeted the ecotone between the reef and adjacent, non-reef habitats as these areas are well-known in ecology for indicating changes in trophic relationships at the ecosystem scale. Such trophic changes are hypothesized to occur as top-down control of the system grows with protection of piscivorous fishes. Preliminary isotope data, in conjunction with our prior results from the west Florida shelf, suggest that the shallow water benthic habitats surrounding the coral reefs of TER will prove to be the source of a significant amount of the primary production ultimately fueling fish production throughout TER and downstream throughout the range of larval fish dispersal. Therefore, the status and influence of the previously neglected, non-reef habitat within the refuge (comprising ~70% of TER) appears to be intimately tied to the health of the coral reef community proper. These data, collected in a biogeographic context, employing an integrated Before-After Control Impact design at multiple spatial scales, leave us poised to document and quantify the postimplementation effects of TER. Combined with the work at Tortugas South, this project represents a multi-disciplinary effort of sometimes disparate disciplines (fishery oceanography, benthic ecology, food web analysis, remote sensing/geography/landscape ecology, and resource management) and approaches (physical, biological, ecological). We expect the continuation of this effort to yield critical information for the management of TER and the evaluation of protected areas as a refuge for exploited species. (PDF contains 32 pages.)