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.

Thrombotic Antiphospholipid Syndrome Shows Strong Haplotypic Association with SH2B3-ATXN2 Locus

Background : Thrombotic antiphospholipid syndrome is defined as a complex form of thrombophilia that is developed by a fraction of antiphospholipid antibody (aPLA) carriers. Little is known about the genetic risk factors involved in thrombosis development among aPLA carriers. Methods: To identify new loci conferring susceptibility to thrombotic antiphospholipid syndrome, a two-stage genotyping strategy was performed. In stage one, 19,000 CNV loci were genotyped in 14 thrombotic aPLA+ patients and 14 healthy controls by array-CGH. In stage two, significant CNV loci were fine-mapped in a larger cohort (85 thrombotic aPLA+, 100 non-thrombotic aPLA+ and 569 healthy controls). Results : Array-CGH and fine-mapping analysis led to the identification of 12q24.12 locus as a new susceptibility locus for thrombotic APS. Within this region, a TAC risk haplotype comprising one SNP in SH2B3 gene (rs3184504) and two SNPs in ATXN2 gene (rs10774625 and rs653178) exhibited the strongest association with thrombotic antiphospholipid syndrome (p-value = 5,9 × 10−4 OR 95% CI 1.84 (1.32–2.55)). Conclusion : The presence of a TAC risk haplotype in ATXN2-SH2B3 locus may contribute to increased thrombotic risk in aPLA carriers.

Meristic variation in Sebastes (Scorpaenidae), with an analysis of character association and bilateral pattern and their significance in species separation

This report presents meristic data for nearly all of the known species of Sebasles. Rudimentary caudal ray counts tend to be higher in more active species. The number of caudal rays supported by the hypurals is consistently 14, whereas the number of branched caudal rays varies between 11 and 13. Vertebral counts and most fin-ray counts tend to be lower in species or populations in warmer latitudes, except for pectoral ray counts which tend to have an opposite geographic pattern. On the basis of the small magnitude of meristic and morphometric differences and the lack of other differences between northern and southern samples of "Sebasles caurinus," Sebaslichlhys vexillaris Jordan and Gilbert is regarded as a junior synonym of Sebasles caurinus Richardson. The patterns of bilateral variation in paired meristics are analyzed and their mechanism discussed. The frequency distribution of pectoral ray counts in their right-left combination is shown to be useful in species separation. No association was found between any combination of two meristic features in any species. The author proposes that intrasample associations between meristic features are evidence of sampling heterogeneity. (PDF file contains 21 pages.)

A temporal and spatial study of invertebrate communities associated with hard-bottom habitats in the South Atlantic Bight

Species composition, biomass, density, and diversity of benthic invertebrates from six bard-bottom areas were evaluated. Seasonal collections using a dredge, trawl, and suction and grab samplers yielded 432, 525, and 845 taxa, respectively. Based on collections wltb the different gear types, species composition of invertebrates was found to change bathymetrically. Inner- and mlddle-shelf sites were more similar to each other in terms of invertebrate species composition than they were to outer-shelf sites, regardless of season. Sites on the inner and outer shelf were grouped according to latitude; however, results suggest that depth is apparently a more important determinant of invertebrate species composition than either season or latitude. Sponges generally dominated dredge and trawl collections in terms of biomass. Generally, cnidarians, bryozoans, and sponges dominated at sites In terms of number of taxa collected. The most abundant smaller macrofauna collected in suction and grab samples were polychaetes, amphipods, and mollusks. Densities of the numerically dominant species changed botb seasonally and bathymetrically, with very few of these species restricted to a specific bathymetrlc zone. The high diversity of invertebrates from hard-bottom sites is attributed to the large number of rare species. No consistent seasonal changes in diversity or number of species were noted for individual stations or depth zones. In addition, H and its components showed no definite patterns related to depth or latitude. However, more species were collected at middle-shelf sites than at inner- or outer-shelf sites, which may be related to more stable bottom temperature or greater habitat complexity in that area. (PDF file contains 110 pages.)

A colorectal cancer genome-wide association study in a Spanish cohort identifies two variants associated with colorectal cancer risk at 1p33 and 8p12

Background: Colorectal cancer (CRC) is a disease of complex aetiology, with much of the expected inherited risk being due to several common low risk variants. Genome-Wide Association Studies (GWAS) have identified 20 CRC risk variants. Nevertheless, these have only been able to explain part of the missing heritability. Moreover, these signals have only been inspected in populations of Northern European origin. Results: Thus, we followed the same approach in a Spanish cohort of 881 cases and 667 controls. Sixty-four variants at 24 loci were found to be associated with CRC at p-values <10-5. We therefore evaluated the 24 loci in another Spanish replication cohort (1481 cases and 1850 controls). Two of these SNPs, rs12080929 at 1p33 (P-replication=0.042; P-pooled=5.523x10(-03); OR (CI95%)=0.866(0.782-0.959)) and rs11987193 at 8p12 (P-replication=0.039; P-pooled=6.985x10(-5); OR (CI95%)=0.786(0.705-0.878)) were replicated in the second Phase, although they did not reach genome-wide statistical significance. Conclusions: We have performed the first CRC GWAS in a Southern European population and by these means we were able to identify two new susceptibility variants at 1p33 and 8p12 loci. These two SNPs are located near the SLC5A9 and DUSP4 loci, respectively, which could be good functional candidates for the association signals. We therefore believe that these two markers constitute good candidates for CRC susceptibility loci and should be further evaluated in other larger datasets. Moreover, we highlight that were these two SNPs true susceptibility variants, they would constitute a decrease in the CRC missing heritability fraction.

Association between dietary phylloquinone intake and peripheral metabolic risk markers related to insulin resistance and diabetes in elderly subjects at high cardiovascular risk

Background: Vitamin K has been related to glucose metabolism, insulin sensitivity and diabetes. Because inflammation underlies all these metabolic conditions, it is plausible that the potential role of vitamin K in glucose metabolism occurs through the modulation of cytokines and related molecules. The purpose of the study was to assess the associations between dietary intake of vitamin K and peripheral adipokines and other metabolic risk markers related to insulin resistance and type 2 diabetes mellitus. Methods: Cross-sectional and longitudinal assessments of these associations in 510 elderly participants recruited in the PREDIMED centers of Reus and Barcelona (Spain). We determined 1-year changes in dietary phylloquinone intake estimated by food frequency questionnaires, serum inflammatory cytokines and other metabolic risk markers. Results: In the cross-sectional analysis at baseline no significant associations were found between dietary phylloquinone intake and the rest of metabolic risk markers evaluated, with exception of a negative association with plasminogen activator inhibitor-1. After 1-year of follow-up, subjects in the upper tertile of changes in dietary phylloquinone intake showed a greater reduction in ghrelin (-15.0%), glucose-dependent insulinotropic peptide (-12.9%), glucagon-like peptide-1 (-17.6%), IL-6 (-27.9%), leptin (-10.3%), TNF (-26.9%) and visfatin (-24.9%) plasma concentrations than those in the lowest tertile (all p<0.05). Conclusion: These results show that dietary phylloquinone intake is associated with an improvement of cytokines and other markers related to insulin resistance and diabetes, thus extending the potential protection by dietary phylloquinone on chronic inflammatory diseases.

Alvará com força de Ley, por que Vossa Magestade ha por bem renovar a inteira, e inviolavel observancia da Ley de doze de setembro de mil seiscentos cincoenta e tres, em quanto nella se estabeleceo, que os indios do Graõ Pará, e Maranhaõ sejão governados no temporal pelos Governadores, Ministros, e pelos seus principaes, e justiças seculares, com inhibição das administrações dos regulares, derogando todas as Leys, Regimentos, Ordens, e Disposições contrarias : para V. Magestade ver

Ao alto do título : Sebastião José de Carvalho e Mello.

WEFTA-Laborvergleichsuntersuchungen zur pH-Bestimmung in Fischerei-Erzeugnissen - Eine gemeinsame Aktion der Western European Fish Technologists' Association

12 samples (6 original samples and 6 diluted samples) were analysed by 14 WEFTA laboratories for their pH values in an inter-laboratory comparison exercise. As a result it can be stated that the majority of participating laboratories could determine the pH values very exactly. The pH values obtained are ranging only little around the calculated mean (less than 0.1 pH unit). It could also be demonstrated that the participating institutes could analyse both, pH values in fishery products and aqueous salt solutions. However, also in this exercise a number of outliers and deviating values have been detected. Therefore it is of utmost importance to calibrate the pH electrodes in regular intervals and to maintain them carefully. Intra-laboratory comparison measurements are recommended to detect weak points.

32. Jahretagung der West European Fish Technologists Association

Die West European Fish Technologists Association (WEFTA, gegründet 1970) ist ein Zusammenschluß von Europäischen Insti-tuten, die auf dem Gebiet Fischerei, Fischqualität und -verarbeitung arbeiten und forschen. Ziele der WEFTA ist der Informa-tionsaustausch zwischen Wissenschaftlern und Fischindustrie sowie die Ausweitung und Verbesserung der Zusammenarbeitunterschiedlicher Interessengruppen und Instituten in Projekten.

30. Jahrestagung der "WestEuropean Fish Technologists' Association" in Torshavn, Faroer

In der West European Fish Technologists’ Association (WEFTA) arbeiten zahlreiche europäische Institute zusammen, die sich mit Fisch als Lebensmittel oder mit Fischtechnologie befassen. Ziel der WEFTA ist es, einen Austausch von Informationen über Forschung und ihre Ergebnisse europaweit möglich zu machen. Die Jahrestagungen sind eine gute Gelegenheit, Einblick in die Arbeiten anderer Institutionen zu erhalten und europäische Kontakte zu knüpfen. Die Tagungen sind besonders interessant für junge Wissenschaftler, die hier ihre Ergebnisse einem grösseren Publikum vorstellen konnen.

31. Jahrestagung der "West European Fish Technologit´s Association" in Espoo, Finnland

Vom 27.-31. Mai 2001 fand in Espoo, Finnland, die 31. Jahrestagung der WEFTA (West European FishTechnologist’s Association) statt. 75 Teilnehmer aus15 europäischen Ländern, der FAO und der Europäischen Kommission sowie aus den USA und Kanadawaren der Einladung des VTT Biotechnology, eines großen finnischen Forschungsinstituts auf dem Gebiete der Biotechnologie und biologischer Materialien, zu dieser Tagung gefolgt. Die Durchführung in einemKongresszentrum in Espoo, nahe der finnische Hauptstadt Helsinki direkt am Bottnischen Meerbusen gelegen, ermöglichte einen straffen organisatorischen Ablauf und die Einhaltung des Zeitplanes der mit 41 Vorträgen und 18 Postern recht umfangreichen Veranstaltung, die in 7 Themenkomplexe gegliedert war. Nachfolgend werden wesentliche Ergebnisse der einzelnen Beiträge zusammengefasst

Association between CASP8-652 6N Del Polymorphism (rs3834129) and Colorectal Cancer Risk: Results from a Multi-Centric Study

The common 2652 6N del variant in the CASP8 promoter (rs3834129) has been described as a putative low-penetrance risk factor for different cancer types. In particular, some studies suggested that the deleted allele (del) was inversely associated with CRC risk while other analyses failed to confirm this. Hence, to better understand the role of this variant in the risk of developing CRC, we performed a multi-centric case-control study. In the study, the variant 2652 6N del was genotyped in a total of 6,733 CRC cases and 7,576 controls recruited by six different centers located in Spain, Italy, USA, England, Czech Republic and the Netherlands collaborating to the international consortium COGENT (COlorectal cancer GENeTics). Our analysis indicated that rs3834129 was not associated with CRC risk in the full data set. However, the del allele was under-represented in one set of cases with a family history of CRC (per allele model OR = 0.79, 95% CI = 0.69-0.90) suggesting this allele might be a protective factor versus familial CRC. Since this multi-centric case-control study was performed on a very large sample size, it provided robust clarification of the effect of rs3834129 on the risk of developing CRC in Caucasians.

28. Jahrestagung der "West European Fish Technologists´ Association" in Tromsø, Norwegen

In der 1970 gegründeten West European Fish Technologists’ Association (WEFTA) arbeiten zahlreiche europäische Institute, die sich mit Fischen als Lebensmittel bzw. Fischtechnologie befassen, zusammen. Sie wurde seinerzeit ins Leben gerufen, um jüngeren Wissenschaftlern zu ermöglichen, ihre Ergebnisse und Probleme einem größeren fachkundigen Publikum vorzustellen gegebenenfalls weiter weisende Impulse zu erhalten. In ihr wird aber auch der Sachverstand der Institute zusammengeführt, was zu zahlreichen bi- und multilateralen Absprachen geführt hat, aus denen EU-finanzierte Forschungsvorhaben entstanden sind. Die Jahrestagungen der WEFTA sind deshalb gute Gelegenheiten, bei denen Wissenschaftler und Technologen aus verschiedenen Ländern ihre Kenntnisse und Informationen austauschen können, um globale und öffentliche Fragestellungen zu diskutieren und durch gemeinsame Forschungsvorhaben zu klären.