(Table 1) 40Ar-39Ar incremental heating ages for ODP Hole 163-988A basalt and plagioclase

Results of 40Ar-39Ar Ar dating constrain the age of the submerged volcanic succession, part of the seaward-dipping reflector sequence of the Southeast Greenland volcanic rifted margin, recovered during Leg 163. At the 63ºN drilling transect, the fully normally magnetized volcanic units at Holes 989B (Unit 1) and 990A (Units 1 and 2) are dated at 57.1 ± 1.3 Ma and 55.6 ± 0.6 Ma, respectively. This correlates with a common magnetochron, C25n. The underlying, reversely magnetized lavas at Hole 990A (Units 3-13) yield an average age of 55.8 ± 0.7 Ma and may correlate with C25r. The argon data, however, are also consistent with eruption of the lavas at Site 990 during the very earliest portion of C24. If so, the normally polarized units have to be correlated to a cryptochron (e.g., C24r-11 at ~55.57 Ma). The lavas at Holes 989B and 990A have typical oceanic compositions, implying that final plate separation between Greenland and northwest Europe took place at ~56 Ma. The age for Hole 989B lava is younger than expected from the seismic interpretations, posing questions about the structural evolution of the margin. An age of 49.6 ± 0.2 Ma for the basaltic lava at Site 988 (~66ºN) points to the importance of postbreakup tholeiitic magmatism at the rifted margin. Together with results from Leg 152, a virtually complete time frame for ~12 m.y. of pre-, syn-, and postbreakup volcanism during rifted margin evolution in Southeast Greenland can now be assembled. This time frame includes continental type volcanism at ~61-60 Ma, synbreakup volcanism beginning at ~57 Ma, and postbreakup volcanism at ~49.6 Ma. These discrete time windows coincide with distinct periods of tholeiitic magmatism from the onshore East Greenland Tertiary Igneous Province and is consistent with discrete mantle-melting events triggered by plume arrival (~61-60 Ma) under central Greenland, continental breakup (~57-54 Ma), and passage of the plume axis beneath the East Greenland rifted margin after breakup (~50-49 Ma), respectively.

40Ar/39Ar analysis for incremental heating experiments at DSDP Holes 77-537 and 77-538A

Drilling penetrated pre-Mesozoic crystalline basement beneath abbreviated sedimentary sequences overlying fault blocks in the southeastern Gulf of Mexico. At Hole 538A, located on Catoche Knoll, a foliated, regional metamorphic association of variably mylonitic felsic gneisses and interlayered amphibolite is intruded by post-tectonic diabase dikes. Hornblende from the amphibolite displays internally discordant 40Ar/39Ar age spectra, suggesting initial post-metamorphic cooling at about 500 Ma followed by a mild thermal disturbance at about 200 Ma. Biotite from the gneiss yields a plateau age of 348 Ma, which is interpreted to result from incorporation of extraneous argon components when the biotite system was opened during the about 200 Ma thermal overprint. A whole-rich diabase sample from Hole 538A records a crystallization age of 190.4 ± 3.4 Ma. A lower grade phyllitic metasedimentary sequence was penetrated at Hole 537, drilled about 30 km northwest of Catoche Knoll. Whole-rock phyllite samples display internally discordant 40Ar/39Ar age spectra, but plateau segments clearly document an early Paleozoic metamorphism at about 500 Ma. The age and lithologic character of the basement terrane penetrated at Holes 537 and 538A suggest that the drilled fault blocks are underlain by attenuated fragments of continental crust of "Pan-African" affinity. This supports pre-Mesozoic tectonic reconstructions that locate Yucatan in the present Gulf recess during the amalgamation of Pangea.

FORJA revisitada : La Fuerza Orientadora Radical de la Joven Argentina y su programa político e intelectual (1935-1945)

El presente artículo se propone como objetivo analizar el derrotero seguido por FORJA desde su formación en 1935 hasta su autodisolución, decidida diez años más tarde. El trabajo presenta, en primer lugar, una breve reconstrucción de los orígenes de la agrupación. Avanza, en segundo término, en un análisis de las reformulaciones que FORJA introdujo en la identidad radical, prestando particular atención al modo en que los forjistas reinterpretaron el legado yrigoyenista. Expone luego los elementos centrales del programa forjista, examinando tanto las ideas esbozadas en dicho programa como las prácticas de difusión y propaganda de las que la agrupación se valió para divulgar su prédica; analiza, asimismo, el modo en que FORJA arraigó en distintos puntos del territorio nacional. Finalmente, el trabajo hace referencia a la compleja relación que la agrupación mantuvo con el peronismo en la coyuntura crítica en que éste hizo su aparición en el escenario político argentino

FORJA revisitada : La Fuerza Orientadora Radical de la Joven Argentina y su programa político e intelectual (1935-1945)

El presente artículo se propone como objetivo analizar el derrotero seguido por FORJA desde su formación en 1935 hasta su autodisolución, decidida diez años más tarde. El trabajo presenta, en primer lugar, una breve reconstrucción de los orígenes de la agrupación. Avanza, en segundo término, en un análisis de las reformulaciones que FORJA introdujo en la identidad radical, prestando particular atención al modo en que los forjistas reinterpretaron el legado yrigoyenista. Expone luego los elementos centrales del programa forjista, examinando tanto las ideas esbozadas en dicho programa como las prácticas de difusión y propaganda de las que la agrupación se valió para divulgar su prédica; analiza, asimismo, el modo en que FORJA arraigó en distintos puntos del territorio nacional. Finalmente, el trabajo hace referencia a la compleja relación que la agrupación mantuvo con el peronismo en la coyuntura crítica en que éste hizo su aparición en el escenario político argentino

FORJA revisitada : La Fuerza Orientadora Radical de la Joven Argentina y su programa político e intelectual (1935-1945)

El presente artículo se propone como objetivo analizar el derrotero seguido por FORJA desde su formación en 1935 hasta su autodisolución, decidida diez años más tarde. El trabajo presenta, en primer lugar, una breve reconstrucción de los orígenes de la agrupación. Avanza, en segundo término, en un análisis de las reformulaciones que FORJA introdujo en la identidad radical, prestando particular atención al modo en que los forjistas reinterpretaron el legado yrigoyenista. Expone luego los elementos centrales del programa forjista, examinando tanto las ideas esbozadas en dicho programa como las prácticas de difusión y propaganda de las que la agrupación se valió para divulgar su prédica; analiza, asimismo, el modo en que FORJA arraigó en distintos puntos del territorio nacional. Finalmente, el trabajo hace referencia a la compleja relación que la agrupación mantuvo con el peronismo en la coyuntura crítica en que éste hizo su aparición en el escenario político argentino

Spatial compartmentalization of free radical formation and mitochondrial heterogeneity in bivalve gills revealed by live-imaging techniques, supplementary material

Live-imaging techniques (LIT) utilize target-specific fluorescent dyes to visualize biochemical processes using confocal and multiphoton scanning microscopy, which are increasingly employed as non-invasive approach to physiological in-vivo and ex-vivo studies. Here we report application of LIT to bivalve gills for ex-vivo analysis of gill physiology and mapping of reactive oxygen (ROS) and nitrogen (RNS) species formation in the living tissue. Our results indicate that H2O2, HOO. and ONOO- radicals (assessed through C-H2DFFDA staining) are mainly formed within the blood sinus of the filaments and are likely to be produced by hemocytes as defense against invading pathogens. The oxidative damage in these areas is controlled by enhanced CAT (catalase) activities recorded within the filaments. The outermost areas of the ciliated epithelial cells composing the filaments, concentrated the highest mitochondrial densities (MTK Deep Red 633 staining) and the most acidic pH values (as observed with ageladine-a). These mitochondria have low (depolarized) membrane potentials (D psi m) (JC-1 staining), suggesting that the high amounts of ATP required for ciliary beating may be in part produced by non-mitochondrial mechanisms, such as the enzymatic activity of an ATP-regenerating kinase. Nitric oxide (NO, DAF-2DA staining) produced in the region of the peripheral mitochondria may have an effect on mitochondrial electron transport and possibly cause the low membrane potential. High DAF-2DA staining was moreover observed in the muscle cells composing the wall of the blood vessels where NO may be involved in regulating blood vessel diameter. On the ventral bend of the gills, subepithelial mucus glands (SMG) contain large mucous vacuoles showing higher fluorescence intensities for O2.- (DHE staining) than the rest of the tissue. Given the antimicrobial properties of superoxide, release of O2.- into the mucus may help to avoid the development of microbial biofilms on the gill surface. However, cells of the ventral bends are paying a price for this antimicrobial protection, since they show significantly higher oxidative damage, according to the antioxidant enzyme activities and the carbonyl levels, than the rest of the gill tissue. This study provides the first evidence that one single epithelial cell may contain mitochondria with significantly different membrane potentials. Furthermore, we provide new insight into ROS and RNS formation in ex-vivo gill tissues which opens new perspectives for unraveling the different ecophysiological roles of ROS and RNS in multifunctional organs such as gills.

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, nonfailure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Differences in fatty acid metabolisms in domestic animals: some dilemmas and ideas to address body composition and obesity control

Relatively high amounts of fats or oils (mayor que 40-50 g/kg diet) are frequently used in animal nutrition. Vegetables oils are richer in polyunsaturated fatty acids than animal fats. Most of the works studying the effect of different dietary fat sources are focused either on the existing differences on fat digestibility depending on their fatty acid composition (Wiseman et al., 1991) or on their effect on the carcass fat fatty acid profile (Sanz et al., 1999a). lnformation regarding the effect of dietary fat saturation on fat utilization and deposition it is more limited. lt is generally assumed that, apart from differences in digestion, fatty acids of different composition are equally used for metabolic purposes.

Agile Construction and Evolution of Product-Line Architectures

Software Product Line Engineering (SPLE) has proved to have significant advantages in family-based software development, but also implies the up¬front design of a product-line architecture (PLA) from which individual product applications can be engineered. The big upfront design associated with PLAs is in conflict with the current need of "being open to change". However, the turbulence of the current business climate makes change inevitable in order to stay competitive, and requires PLAs to be open to change even late in the development. The trend of "being open to change" is manifested in the Agile Software Development (ASD) paradigm, but it is spreading to the domain of SPLE. To reduce the big upfront design of PLAs as currently practiced in SPLE, new paradigms are being created, one being Agile Product Line Engineering (APLE). APLE aims to make the development of product-lines more flexible and adaptable to changes as promoted in ASD. To put APLE into practice it is necessary to make mechanisms available to assist and guide the agile construction and evolution of PLAs while complying with the "be open to change" agile principle. This thesis defines a process for "the agile construction and evolution of product-line architectures", which we refer to as Agile Product-Line Archi-tecting (APLA). The APLA process provides agile architects with a set of models for describing, documenting and tracing PLAs, as well as an algorithm to analyze change impact. Both the models and the change impact analysis offer the following capabilities: Flexibility & adaptability at the time of defining software architectures, enabling change during the incremental and iterative design of PLAs (anticipated or planned changes) and their evolution (unanticipated or unforeseen changes). Assistance in checking architectural integrity through change impact analysis in terms of architectural concerns, such as dependencies on earlier design decisions, rationale, constraints, and risks, etc.Guidance in the change decision-making process through change im¬pact analysis in terms of architectural components and connections. Therefore, APLA provides the mechanisms required to construct and evolve PLAs that can easily be refined iteration after iteration during the APLE development process. These mechanisms are provided in a modeling frame¬work called FPLA. The contributions of this thesis have been validated through the conduction of a project regarding a metering management system in electrical power networks. This case study took place in an i-smart software factory and was in collaboration with the Technical University of Madrid and Indra Software Labs. La Ingeniería de Líneas de Producto Software (Software Product Line Engi¬neering, SPLE) ha demostrado tener ventajas significativas en el desarrollo de software basado en familias de productos. SPLE es un paradigma que se basa en la reutilización sistemática de un conjunto de características comunes que comparten los productos de un mismo dominio o familia, y la personalización masiva a través de una variabilidad bien definida que diferencia unos productos de otros. Este tipo de desarrollo requiere el diseño inicial de una arquitectura de línea de productos (Product-Line Architecture, PLA) a partir de la cual los productos individuales de la familia son diseñados e implementados. La inversión inicial que hay que realizar en el diseño de PLAs entra en conflicto con la necesidad actual de estar continuamente "abierto al cam¬bio", siendo este cambio cada vez más frecuente y radical en la industria software. Para ser competitivos es inevitable adaptarse al cambio, incluso en las últimas etapas del desarrollo de productos software. Esta tendencia se manifiesta de forma especial en el paradigma de Desarrollo Ágil de Software (Agile Software Development, ASD) y se está extendiendo también al ámbito de SPLE. Con el objetivo de reducir la inversión inicial en el diseño de PLAs en la manera en que se plantea en SPLE, en los último años han surgido nuevos enfoques como la Ingeniera de Líneas de Producto Software Ágiles (Agile Product Line Engineering, APLE). APLE propone el desarrollo de líneas de producto de forma más flexible y adaptable a los cambios, iterativa e incremental. Para ello, es necesario disponer de mecanismos que ayuden y guíen a los arquitectos de líneas de producto en el diseño y evolución ágil de PLAs, mientras se cumple con el principio ágil de estar abierto al cambio. Esta tesis define un proceso para la "construcción y evolución ágil de las arquitecturas de lineas de producto software". A este proceso se le ha denominado Agile Product-Line Architecting (APLA). El proceso APLA proporciona a los arquitectos software un conjunto de modelos para de¬scribir, documentar y trazar PLAs, así como un algoritmo para analizar vel impacto del cambio. Los modelos y el análisis del impacto del cambio ofrecen: Flexibilidad y adaptabilidad a la hora de definir las arquitecturas software, facilitando el cambio durante el diseño incremental e iterativo de PLAs (cambios esperados o previstos) y su evolución (cambios no previstos). Asistencia en la verificación de la integridad arquitectónica mediante el análisis de impacto de los cambios en términos de dependencias entre decisiones de diseño, justificación de las decisiones de diseño, limitaciones, riesgos, etc. Orientación en la toma de decisiones derivadas del cambio mediante el análisis de impacto de los cambios en términos de componentes y conexiones. De esta manera, APLA se presenta como una solución para la construcción y evolución de PLAs de forma que puedan ser fácilmente refinadas iteración tras iteración de un ciclo de vida de líneas de producto ágiles. Dicha solución se ha implementado en una herramienta llamada FPLA (Flexible Product-Line Architecture) y ha sido validada mediante su aplicación en un proyecto de desarrollo de un sistema de gestión de medición en redes de energía eléctrica. Dicho proyecto ha sido desarrollado en una fábrica de software global en colaboración con la Universidad Politécnica de Madrid e Indra Software Labs.

Optimized algorithms for the incremental analysis of logic programs

Global analysis of logic programs can be performed effectively by the use of one of several existing efficient algorithms. However, the traditional global analysis scheme in which all the program code is known in advance and no previous analysis information is available is unsatisfactory in many situations. Incrementa! analysis of logic programs has been shown to be feasible and much more efficient in certain contexts than traditional (non-incremental) global analysis. However, incremental analysis poses additional requirements on the fixpoint algorithm used. In this work we identify these requirements, present an important class of strategies meeting the requirements, present sufficient a priori conditions for such strategies, and propose, implement, and evalúate experimentally a novel algorithm for incremental analysis based on these ideas. The experimental results show that the proposed algorithm performs very efficiently in the incremental case while being comparable to (and, in some cases, considerably better than) other state-of-the-art analysis algorithms even for the non-incremental case. We argüe that our discussions, results, and experiments also shed light on some of the many tradeoffs involved in the design of algorithms for logic program analysis.

Program development using abstract interpretation (and the ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Hybrid incremental modeling based on least squares and fuzzy K-NN for monitoring tool wear in turning processes

There is now an emerging need for an efficient modeling strategy to develop a new generation of monitoring systems. One method of approaching the modeling of complex processes is to obtain a global model. It should be able to capture the basic or general behavior of the system, by means of a linear or quadratic regression, and then superimpose a local model on it that can capture the localized nonlinearities of the system. In this paper, a novel method based on a hybrid incremental modeling approach is designed and applied for tool wear detection in turning processes. It involves a two-step iterative process that combines a global model with a local model to take advantage of their underlying, complementary capacities. Thus, the first step constructs a global model using a least squares regression. A local model using the fuzzy k-nearest-neighbors smoothing algorithm is obtained in the second step. A comparative study then demonstrates that the hybrid incremental model provides better error-based performance indices for detecting tool wear than a transductive neurofuzzy model and an inductive neurofuzzy model.