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]

Estimating the Energy Density of Fish: The Importance of Ontogeny

Ontogenetic patterns in the percent dry weight (%DW) and energy density (joules per gram of wet weight) were studied in the early life stages of the subtropical estuarine and marine gray snapper Lutjanus griseus and the warmtemperate estuarine and marine spotted seatrout Cynoscion nebulosus. The %DW was variable for individuals of both species but increased significantly through larval to juvenile stages (<20% for fish ,50 mm standard length to 20–30% for fish >50 mm). The lipid percentage, which was determined only for gray snapper, was also variable between individuals but showed significant increase with body size. Strong relationships between percent dry weight and energy density were evident for both species; however, the slopes of regressions were significantly lower than in general multispecies models, demonstrating the need for species- and stagespecific energy density data in bioenergetics models.

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.

A study of measures of population density and of concentration of fishing effort in the fishery for yellowfin tuna, Neothunnus macropterus, in the Eastern Tropical Pacific Ocean, from 1951 to 1956

ENGLISH: This study shows how the catch and effort statistics, from 1951 to 1956, of the fishery for yellowfin tuna, Neothunnus macropterus, in the Eastern Tropical Pacific Ocean, have been used to compute: (i) two indices of average population density; (ii) an index of concentration of effort on areas of greatest density of available yellowfin. These three indices were then used to determine: (i) quarterly and annual variation in each of them; (ii) the relationship between the two indices of density; (iii) the relationship of each of the indices to the number of exploited one-degree rectangles. To remove extreme sampling variation at low levels of effort, the data from all one-degree rectangles subjected to less than five logged days' fishing in a quarter were eliminated, and the computations were repeated for comparison with those of the original data. SPANISH: Este estudio da a conocer cómo las estadísticas sobre la pesca y el esfuerzo de pesca de la pesquería del atún aleta amarilla, Neothunnus macropterus, en el Océano Pacífico Oriental Tropical, durante 1951 a 1956, han servido para computar: (i) dos índices del promedio de la densidad de la población; (ií) un índice de la concentración del esfuerzo en las áreas de mayor densidad de atún aleta amarilla disponible. Estos tres índices han sido luego usados para determinar: (i) la variación trimestral y anual en cada uno de ellos; (ií) la relación entre los dos índices de densidad; (iii) la relación de cada uno de los índices con el número de rectángulos de un grado explotados. Para evitar la extrema variación del muestreo a bajos niveles de esfuerzo, se eliminaron los datos de todos los rectángulos de un grado sujetos a menos de cinco días de actividad pesquera durante un trimestre según los registros de los cuadernos de bitácora, y las computaciones se repitieron para compararlas con las de los datos originales.

A video method for quantifying size distribution, density, and three-dimensional spatial structure of reef fish spawning aggregations

There is a clear need to develop fisheries independent methods to quantify individual sizes, density, and three dimensional characteristics of reef fish spawning aggregations for use in population assessments and to provide critical baseline data on reproductive life history of exploited populations. We designed, constructed, calibrated, and applied an underwater stereo-video system to estimate individual sizes and three dimensional (3D) positions of Nassau grouper (Epinephelus striatus) at a spawning aggregation site located on a reef promontory on the western edge of Little Cayman Island, Cayman Islands, BWI, on 23 January 2003. The system consists of two free-running camcorders mounted on a meter-long bar and supported by a SCUBA diver. Paired video “stills” were captured, and nose and tail of individual fish observed in the field of view of both cameras were digitized using image analysis software. Conversion of these two dimensional screen coordinates to 3D coordinates was achieved through a matrix inversion algorithm and calibration data. Our estimate of mean total length (58.5 cm, n = 29) was in close agreement with estimated lengths from a hydroacoustic survey and from direct measures of fish size using visual census techniques. We discovered a possible bias in length measures using the video method, most likely arising from some fish orientations that were not perpendicular with respect to the optical axis of the camera system. We observed 40 individuals occupying a volume of 33.3 m3, resulting in a concentration of 1.2 individuals m–3 with a mean (SD) nearest neighbor distance of 70.0 (29.7) cm. We promote the use of roving diver stereo-videography as a method to assess the size distribution, density, and 3D spatial structure of fish spawning aggregations.

Measures of population density and concentration of fishing effort for yellowfin and skipjack tuna in the eastern Tropical Pacific Ocean 1951-1959

ENGLISH: In a previous Bulletin of this Commission, Griffiths (1960) discussed two indices of population density and an index of concentration of fishing effort of bait boats for yellowfin tuna in the Eastern Tropical Pacific for the 1951-1956 period. Yellowfin and skipjack tuna occur in the same general fishing areas and many of the commercial catches are composed of a mixture of the two species. It is desirable, therefore, to extend the investigation to skipjack and to the two species combined. SPANISH:En un Boletín anterior de esta Comisión, Griffiths (1960) se refiere a dos índices de la densidad de la población y a un índice de la concentración del esfuerzo de pesca de los barcos de carnada sobre el atún aleta amarilla en el Pacífico Oriental Tropical, correspondientes al período 1951-1956. Los atunes aleta amarilla y barrilete se encuentran en las mismas áreas generales de pesca y muchas de las pescas comerciales están compuestas de una mezcla de las dos especies. Es deseable, por lo tanto, ampliar la investigación en lo que se refiere al barrilete y a las dos especies combinadas.

An examination of fluctuations in the “concentration index” of purse seiners and baitboats in the fishery for tropical tunas in the Eastern Pacific, 1951-1961

ENGLISH: In the eastern Pacific Ocean nearly all of the commercial catches of yellowfin tuna (Thunnus albacares) and skipjack (Katsuwonus pelamis) are taken by two types of vessels, baitboats, which use pole and line in conjunction with live-bait, and purse-seiners. From its inception until very recently (1959), this fishery was dominated by baitboats. This method of fishing has been described by Godsil (1938) and Shimada and Schaefer (1956). From 1951 through 1958 baitboats caught between 66.4 and 90.8 per cent of the yellowfin and between 87.2 and 95.3 per cent of the skipjack landed by the California-based fleet. These vessels fished for tuna throughout the year and covered virtually all of the area from southern California to northern Chile. The purse-seine fishery for tunas developed out of the round-haul net fisheries for California sardines and other species. Scofield (1951) gives a detailed description of the development of gear and fishing methods. Prior to 1959 many of the seiners engaged in other fisheries during the fall and early winter months and consequently most of the fishing effort for tuna occurred in the period February-August. The vessels were quite small, averaging approximately 120 tons carrying capacity (Broadhead and Marshall, 1960), in comparison to the baitboats, of which the most numerous size-class was 201-300 tons. The seiners were naturally more restricted in range than the baitboats and most of their effort was restricted to the northern grounds. During the period 1959-61 most of the large baitboats were converted for purse-seining and the existing seiner fleet was modernized. These developments increased the range of the seiner fleet and resulted in a wider and more nearly even spatial and temporal distribution of effort. By the early part of 1961, the purse-seine fleet approximated the level of the preconversion baitboat fleet in amount of effort applied and area covered. The changes in the purse-seine fishery and the fishing methods employed in the modernized fleet are described by Orange and Broadhead (1959), Broadhead and Marshall (1960), McNeely (1961) and Broadhead (1962). The change in the relative importance of the two gears is illustrated by the decline in the proportion of the total logged tonnage landed by California-based baitboats, in comparison to the proportion landed by seiners. In 1959 baitboats landed 49.5 per cent of the yellowfin and 87.8 per cent of the skipjack. In 1960 these percentages were 22.9 and 74.7 respectively and in 1961 the decline continued to 12.6 per cent of the yellowfin and 30.0 per cent of the skipjack (Schaefer, 1962). In previous Bulletins of this Commission (Griffiths, 1960; Calkins, 1961) the baitboat catch and effort statistics were used to compute two indices of population density and an index of concentration of fishing effort and the fluctuations of these indices were analyzed in some detail. Due to the change in the relative importance of the two gears it is appropriate to extend this investigation to include the purse-seine data. The objectives of this paper are to compute two indices of population density and an index of concentration of fishing effort and to examine the fluctuations in these indices before and after the changes in the fishery. A further objective is to compare the purse-seine indices with those of the baitboats for the same time periods. SPANISH: En el Océano Pacífico Oriental casi todas las capturas comerciales del atún aleta amarilla (Thunnus albacares) y del barrilete (Katsuwonus pelamis) son efectuadas por dos tipos de barcos, los barcos de carnada que emplean la caña y el anzuelo en conjunto con la carnada viva, y los barcos rederos. Desde su comienzo hasta hace poco tiempo (1959), esta pesquería estaba dominada por los barcos de carnada. El método de pesca usado por estos barcos ha sido descrito por Godsil (1938) y por Shimada y Schaefer (1956). De 1951 a 1958, los barcos de carnada pescaron entre el 66.4 y el 90.8 por ciento del atún aleta amarilla y entre el 87.2 y el 95.3 por ciento del barrilete descargados por la flota que tiene su base en California. Estos barcos pescaron atún durante todo el año y cubrieron virtualmente toda el área de California meridional hasta la parte norte de Chile. La pesquería del atún con redes de cerco se originó en las pesquerías de las sardinas de California y otras especies, con redes que se remolcaban circularmente. Scofield (1951) dá una descripción detallada del desarrollo de los métodos y del equipo de pesca. Antes de 1959 muchos de los rederos se dedicaban a otras pesquerías durante los meses del otoño y a principios del invierno y consecuentemente, la mayor parte del esfuerzo depesca para la producción del atún ocurría en el período febrero-agosto. Las embarcaciones eran bastante pequeñas, con un promedio de aproximadamente 120 toneladas de capacidad para el transporte (Broadhead y Marshall, 1960) en comparación con los barcos de carnada, de los cuales la clase de tamaño más numerosa era de 201 a 300 toneladas. Los rederos estaban naturalmente más restringidos en su radio de acción que los barcos de carnada y la mayor parte de su esfuerzo se limitaba a las localidades del norte. Durante el período 1959-61, la mayoría de los grandes barcos de carnada fueron convertidos al sistema de pesca con redes de cerco, y se modernizó la flota existente de los rederos. Estos cambios aumentaron el alcance de la flota de los barcos rederos dando como resultado una distribución más amplia y casi más uniforme del esfuerzo espaciado y temporal. En la primera parte del año 1961, la flota de rederos se aproximó al nivel de la preconversión de la flota de clipers, en la cantidad de esfuerzo aplicado y al área comprendida. Los cambios en la pesquería con red y los métodos de pesca empleados en la flota modernizada, han sido descritos por Orange y Broadhead (1959), Broadl1ead y Marshall (1960), McNeely (1961) y Broadhead (1962). El cambio en la importancia relativa de los dos sistemas de pesca está ilustrado por la declinación en la proporción del tonelaje total registrado, como descargado por los barcos de carnada que tienen su base en California, comparado con la proporción desembarcada por los barcos rederos. En 1959 los clipers descargaron el 49.5 por ciento del atún aleta amarilla y el 87.8 por ciento del barrilete. En 1960 estos porcentajes fueron del 22.9 y 74.7 respectivamente, y en 1961 continuó la reducción hasta el 12.6 por ciento del atún aleta amarilla y el 30.0 por ciento del barrilete (Schaefer, 1962). En Boletines anteriores de la Comisión (Griffiths, 1960; Calkins, 1961) las estadísticas de la pesca y el esfuerzo de los clipers se utilizaron para computar dos índices de la densidad de población y un índice de la concentración del esfuerzo de pesca, y se analizaron algo detalladamente las fluctuaciones de estos índices. Debido al cambio en la importancia relativa de los dos sistemas de pesca, es conveniente extender esta investigación para incluir los datos correspondientes a los barcos rederos. Los objetivos del presente estudio son de computar dos índices de la densidad de población y un índice de la concentración del esfuerzo de pesca, y examinar las fluctuaciones en estos índices, antes y después de los cambios en la pesquería. Otro objetivo es de comparar los índices de los barcos rederos, con aquellos de los clipers en los mismos períodos de tiempo.

Mechanisms Responsible for the Trophic Effect of Beta-Adrenoceptors on the I-to Current Density in Type 1 Diabetic Rat Cardiomyocytes

Background/Aims: In diabetic ventricular myocytes, transient outward potassium current (I-to) amplitude is severely reduced because of the impaired catecholamine release that characterizes diabetic autonomic neuropathy. Sympathetic nervous system exhibits a trophic effect on I-to since incubation of myocytes with noradrenaline restores current amplitude via beta-adrenoceptor (beta AR) stimulation. Here, we investigate the intracellular signalling pathway though which incubation of diabetic cardiomyocytes with the beta AR agonist isoproterenol recovers I-to amplitude to normal values. Methods: Experiments were performed in ventricular myocytes isolated from streptozotocin-diabetic rats. I-to current was recorded by using the patch-clamp technique. Kv4 channel expression was determined by immunofluorescence. Protein-protein interaction was determined by coimmunoprecipitation. Results: Stimulation of beta AR activates first a G alpha s protein, adenylyl cyclase and Protein Kinase A. PKA-phosphorylated receptor then switches to the G alpha i protein. This leads to the activation of the beta AR-Kinase-1 and further receptor phosphorylation and arrestin dependent internalization. The internalized receptor-arrestin complex recruits and activates cSrc and the MAPK cascade, where Ras, c-Raf1 and finally ERK1/2 mediate the increase in Kv4.2 and Kv4.3 protein abundance in the plasma membrane. Conclusion: beta(2)AR stimulation activates a G alpha s and G alpha i protein dependent pathway where the ERK1/2 modulates the Ito current amplitude and the density of the Kv4.2 and Kv4.2 channels in the plasma membrane upon sympathetic stimulation in diabetic heart.

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.

Increase in the density of resting microglia precedes neuritic plaque formation and microglial activation in a transgenic model of Alzheimer's disease

The formation of cerebral senile plaques composed of amyloid beta peptide (A beta) is a fundamental feature of Alzheimer's disease (AD). Glial cells and more specifically microglia become reactive in the presence of A beta. In a triple transgenic model of AD (3 x Tg-AD), we found a significant increase in activated microglia at 12 (by 111%) and 18 (by 88%) months of age when compared with non-transgenic (non-Tg) controls. This microglial activation correlated with A beta plaque formation, and the activation in microglia was closely associated with A beta plaques and smaller A beta deposits. We also found a significant increase in the area density of resting microglia in 3 x Tg-AD animals both at plaque-free stage (at 9 months by 105%) and after the development of A plaques (at 12 months by 54% and at 18 months by 131%). Our results show for the first time that the increase in the density of resting microglia precedes both plaque formation and activation of microglia by extracellular A beta accumulation. We suggest that AD pathology triggers a complex microglial reaction: at the initial stages of the disease the number of resting microglia increases, as if in preparation for the ensuing activation in an attempt to fight the extracellular A beta load that is characteristic of the terminal stages of the disease. Cell Death and Disease (2010) 1, e1; doi:10.1038/cddis.2009.2; published online 14 January 2010

Fiabilidad de los predictores clínicos y de la biopsia de arteria temporal en el diagnóstico de la arteritis de células gigantes

182 p. : il.

Variación temporal del ADNmt en poblaciones de la cornisa cantábrica. Contribución del AND antiguo

333 p.