Student Engagement in the School: Interpersonal and Inter-Center Differences

Traducido al castellano e inglés

Temporal and spatial changes in milfoil distribution and biomass associated with weevils in Fish Lake, WI

During the course of an eight year monitoring effort, the Wisconsin Department of Natural Resources documented a significant decline in milfoil biomass and distribution in Fish Lake, Wisconsin. Average milfoil biomass declined by 40- 50% from 374-524 g dw m -2 during 1991-93 to 265 g dw m -2 during both 1994 and 1995. Milfoil recovered fully in 1996- 98 to 446- 564 g dw m -2 . The size of the milfoil bed, as discerned from aerial photographs, shrank from a maximum coverage of 40 ha in 1991 to less than 20 ha during 1995. During the “crash” of 1994-95, milfoil plants exhibited typical signs of weevil-induced damage, including darkened, brittle, hollowed-out growing tips, and the arching and collapse of stems associated with loss of buoyancy. Monitoring of weevils and stem damage during 1995-98 showed highest densities and heaviest damage occurred near shore and subsequently fanned out into deeper water from core infestation sites each spring. The extent of milfoil stem damage was positively correlated with weevil densities (monthly sampling). However, weevil densities and stem damage were lower during 1995 (when milfoil biomass was in decline) than during 1996-98 (when milfoil biomass was fully recovered).

Spatial and Temporal Variation of LURR and Its Implication for the Tendency of Earthquake Occurrence in Southern California

Based on the theory of LURR and its recent development, spatial and temporal variation of Y/Y-c (value of LURR/critical value of LURR) in the Southern California region during the period from 1980 through March, 2001 was studied. According to the previous study on the fault system and stress field in Southern California, we zoned the Southern California region into 11 parts in each of which the stress field is almost uniform. With the time window of one year, time moving step of three months, space window of a circle region with a radius of 100 km and space moving step of 0.25 degree in latitude and longitude direction, the evolution of Y/Y-c were snapshot. The scanning results show that obvious Y/Y-c anomalies occurred before 5/6 of strong earthquakes considered with a magnitude of 6.5 or greater. The critical regions of Y/Y-c are near the epicenters of the strong earthquakes and the Y/Y-c anomalies occur months to years prior to the earthquakes. The tendency of earthquake occurrence in the California region is briefly discussed on the basis of the examination of Y/Y-c.

Spatio-Temporal Scanning and Statistical Test of the Accelerating Moment Release (AMR) Model Using Australian Earthquake Data

The Accelerating Moment Release (AMR) preceding earthquakes with magnitude above 5 in Australia that occurred during the last 20 years was analyzed to test the Critical Point Hypothesis. Twelve earthquakes in the catalog were chosen based on a criterion for the number of nearby events. Results show that seven sequences with numerous events recorded leading up to the main earthquake exhibited accelerating moment release. Two occurred near in time and space to other earthquakes preceded by AM R. The remaining three sequences had very few events in the catalog so the lack of AMR detected in the analysis may be related to catalog incompleteness. Spatio-temporal scanning of AMR parameters shows that 80% of the areas in which AMR occurred experienced large events. In areas of similar background seismicity with no large events, 10 out of 12 cases exhibit no AMR, and two others are false alarms where AMR was observed but no large event followed. The relationship between AMR and Load-Unload Response Ratio (LURR) was studied. Both methods predict similar critical region sizes, however, the critical point time using AMR is slightly earlier than the time of the critical point LURR anomaly.

Aproximación fenomenológica al concepto de refugio temporal: anacronismos de una construcción inestable

Ponencia leída en el Foro de Comunicaciones IkasArt III (BEC Barakaldo, 2011.11.11)[por Skype]

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).

Candida albicans Increases Tumor Cell Adhesion to Endothelial Cells In Vitro: Intraspecific Differences and Importance of the Mannose Receptor

The dimorphic fungus Candida albicans is able to trigger a cytokine-mediated pro-inflammatory response that increases tumor cell adhesion to hepatic endothelium and metastasis. To check the intraspecific differences in this effect, we used an in vitro murine model of hepatic response against C. albicans, which made clear that tumor cells adhered more to endothelium incubated with blastoconidia, both live and killed, than germ tubes. This finding was related to the higher carbohydrate/protein ratio found in blastoconidia. In fact, destruction of mannose ligand residues on the cell surface by metaperiodate treatment significantly reduced tumor cell adhesion induced. Moreover, we also noticed that the effect of clinical strains was greater than that of the reference one. This finding could not be explained by the carbohydrate/protein data, but to explain these differences between strains, we analyzed the expression level of ten genes (ADH1, APE3, IDH2, ENO1, FBA1, ILV5, PDI1, PGK1, QCR2 and TUF1) that code for the proteins identified previously in a mannoprotein-enriched pro-metastatic fraction of C. albicans. The results corroborated that their expression was higher in clinical strains than the reference one. To confirm the importance of the mannoprotein fraction, we also demonstrate that blocking the mannose receptor decreases the effect of C. albicans and its mannoproteins, inhibiting IL-18 synthesis and tumor cell adhesion increase by around 60%. These findings could be the first step towards a new treatment for solid organ cancers based on the role of the mannose receptor in C. albicans-induced tumor progression and metastasis.

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.

2002-03 Florida Keys National Marine Sanctuary science report: An ecosystem report card after five years of marine zoning

Executive Summary: Circulation and Exchange of Florida Bay and South Florida Coastal Waters The coastal ecosystem of South Florida is comprised of distinct marine environments. Circulation of surface waters and exchange processes, which respond to both local and regional forcings, interconnect different coastal environments. In addition, re-circulating current systems within the South Florida coastal ecosystem such as the Tortugas Gyre contribute to retention of locally spawned larvae. Variability in salinity, chlorophyll, and light transmittance occurs on a wide range of temporal and spatial scales, in response to both natural forcing, such as seasonal precipitation and evaporation and interannual “El Niño” climate signals, and anthropogenic forcing, such as water management practices in south Florida. The full time series of surface property maps are posted at www.aoml.noaa.gov/sfp. Regional surface circulation patterns, shown by satellite-tracked surface drifters, respond to large-scale forcing such as wind variability and sea level slopes. Recent patterns include slow flow from near the mouth of the Shark River to the Lower Keys, rapid flow from the Tortugas to the shelf of the Carolinas, and flow from the Tortugas around the Tortugas Gyre and out of the Florida Straits. The Southwest Florida Shelf and the Atlantic side of the Florida Keys coastal zone are directly connected by passages between the islands of the Middle and Lower Keys. Movement of water between these regions depends on a combination of local wind-forced currents and gravitydriven transports through the passages, produced by cross-Key sea level differences on time scales of several days to weeks, which arise because of differences in physical characteristics (shape, orientation, and depth) of the shelf on either side of the Keys. A southeastward mean flow transports water from western Florida Bay, which undergoes large variations in water quality, to the reef tract. Adequate sampling of oceanographic events requires both the capability of near real-time recognition of these events, and the flexibility to rapidly stage targeted field sampling. Capacity to respond to events is increasing, as demonstrated by investigations of the 2002 “blackwater” event and a 2003 entrainment of Mississippi River water to the Tortugas. (PDF contains 364 pages.)

Distribution, relative abundance and developmental morphology of paralarval cephalopods in the Western North Atlantic Ocean

Paralarval and juvenile cephalopods collected in plankton samples on 21 western North Atlantic cruises were identified and enumerated. The 3731 specimens were assigned to 44 generic and specific taxa. This paper describes their spatial and temporal distributions and their developmental morphology. The smallest paralarvae recognized for a number of species are identified and illustrated. The two most abundant and most frequently collected taxa were identifiable to species based on known systematic characters of young, as well as on distribution of the adults. These were the neritic squids Loligo pealeii and Illex illecebrosus collected north of Cape Hatteras, both valuable fishery resources. Other abundant taxa included two morphotypes of ommastrephids, at least five species of enoploteuthids, two species of onychoteuthids, and unidentified octopods. Most taxa were distributed widely both in time and in space, although some seasonal and mesoscale-spatial patterns were indicated. The taxa that appeared to have distinct seasonal distribution included most of the neritic species and, surprisingly, the young of the bathypelagic cranchiids. In eight seasonal cruises over the continental shelf of the middle U.S. Atlantic states, neritic taxa demonstrated approximately the same seasonal patterns during two consecutive years. Interannual differences in the oceanic taxa collected on the shelf were extreme. The highest abundance and diversity of planktonic cephalopods in the oceanic samples were consistently found in the vicinity of the Gulf Stream. Only eight of the oceanic taxa appeared to have limited areal distributions, compared with twelve taxa that were found throughout the western North Atlantic regions sampled in this study. Many taxa, however, were not collected frequently enough to describe seasonal or spatial patterns. Comparisons with published accounts of other cephalopod surveys indicate both strengths and weaknesses in various sampling techniques for capturing the young of oceanic cephalopods. Enoploteuthids were abundant both in our study and in other studies using midwater trawls in several areas of the North Atlantic. Thus, this family probably is adequately sampled over its developmental range. In contrast, octopoteuthids and chtenopterygiids are rare in collections made by small to medium-sized midwater trawls but are comparatively common in plankton samples. For families that are relatively common in plankton samples, paralarval abundance, derived similarly to the familiar ichthyoplankton surveys of fisheries science, may be the most reliable method of gathering data on distribution and abundance. (PDF file contains 58 pages.)

The distribution and size composition of finfish, American lobster, and long-finned squid in Long Island Sound based on the Connecticut Fisheries Division Bottom Trawl Survey, 1984–1994

The distribution, abundance, and length composition of marine finfish, lobster, and squid in Long Island Sound were examined relative to season and physical features of the Sound, using Connecticut Department of Environmental Protection trawl survey data collected from 1984 to 1994. The following are presented: seasonal distribution maps for 59 species, abundance indices for 41 species, and length frequencies for 26 species. In addition, a broader view of habitat utilization in the Sound was examined by mapping aggregated catches (total catch per tow, demersal catch per tow, and pelagic catch per tow) and by comparing species richness and mean aggregate catch/tow by analysis of variance (ANOVA) among eight habitat types defined by depth interval and bottom type. For many individual species, seasonal migration patterns and preference for particular areas within Long Island Sound were evident. The aggregate distribution maps show that overall abundance was lower in the eastern Sound than the central and western portions. Demersal and pelagic temporal abundance show opposite trends—demersals were abundant in spring and declined through summer and fall, whereas pelagic abundance was low in spring and increased into fall. The analysis of habitat types revealed significant differences for both species richness and mean catch per tow. Generally, species richness was highest in habitats within the central area of the Sound and lowest in eastern habitats. The aggregate mean catch was highest in the western and central habitats, and declined eastward. (PDF file contains 199 pages.)

Nutrient distributions for Georges Bank and adjacent waters in 1979

In this report we describe the temporal and spatial distributions of inorganic nutrients over Georges Bank and in adjacent waters and discuss major features with respect to tbe nutrient environments of pbytoplankton. Nitrate and orthophosphorus were rapidly depleted from the surface layer of much of the study area in spring, but major differences were found between the shallow areas on Georges Bank and the surrounding stratified waters. In the "well-mixed" area of Georges Bank, the depletion encompassed the entire water column and ammonium became the dominant form of inorganic nitrogen throughout. Dissolved silicon was depleted slowly over central Georges Bank, reaching a minimum concentration in September while orthophosphorus gradually increased during the summer. The nutrient environment of phytoplankton over central Georges Bank may be described as vertically uniform but temporally changing in the relative availability of the various nutrients. In areas that undergo stratification (e.g., the central Gulf of Maine), a quasi-steady state was established as the surface water layer formed, consisting of declining nutrient gradients from below the euphotic layer to the top of the water column. These intergrading nutrient environments are relatively stable through time. Destratification reintroduced nutrients to depleted areas beginning in October; however, dissolved silicon was again depleted over shallow Georges Bank in late autumn though nitrate remained abundant. Slope water has been found to enter the bottom layer of the Gulf of Maine via the Northeast Channel. High nutrient concentrations observed in the bottom water of the Northeast Channel are consistent with this mechanism being the nutrient source for the Gulf of Maine. (PDF file contains 40 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.)