Sulphate reduction rates of Håkon Mosby mud volcano sediments measured at station MSM16/2_823-1 (Z3-S3, old flow surface)

Turnover rates were determined for surface sediment cores obtained in 2009 and 2010. Sulfate reduction (SR) were measured ex situ by the whole core injection method (doi:10.1080/01490457809377722). We incubated the samples at in situ temperature (1.0°C) for 12 hours with carrier-free 35**SO4 (dissolved in water, 50 kBq). Sediment was fixed in 20 ml 20% ZnAc solution for AOM or SR, respectively. Turnover rates were measured as previously described (doi:10.4319/lom.2004.2.171).

Sulphate reduction and methane oxidation rates of Håkon Mosby mud volcano sediments measured at station MSM16/2_855-1 (Z2-S3, aged flow surface)

Sulfate reduction (SR) and anaerobic oxidation of methane (AOM) were measured ex situ by the whole core injection method (doi:10.1080/01490457809377722). We incubated the samples at in situ temperature (1.0°C) for 12 hours with either 14** CH4 (dissolved in water, 2.5 kBq) or carrier-free 35** SO4 (dissolved in water, 50 kBq). Sediment was fixed in 25 ml 2.5% sodium hydroxide (NaOH) solution or 20 ml 20% ZnAc solution for AOM or SR, respectively. Turnover rates were measured as previously described (http://edoc.mpg.de/177065; doi:10.4319/lom.2004.2.171).

Sulphate reduction and methane oxidation rates of Håkon Mosby mud volcano sediments measured at station MSM16/2_847-1 (Z2-S2, aged flow surface)

Sulfate reduction (SR) and anaerobic oxidation of methane (AOM) were measured ex situ by the whole core injection method (doi:10.1080/01490457809377722). We incubated the samples at in situ temperature (1.0°C) for 12 hours with either 14** CH4 (dissolved in water, 2.5 kBq) or carrier-free 35** SO4 (dissolved in water, 50 kBq). Sediment was fixed in 25 ml 2.5% sodium hydroxide (NaOH) solution or 20 ml 20% ZnAc solution for AOM or SR, respectively. Turnover rates were measured as previously described (http://edoc.mpg.de/177065; doi:10.4319/lom.2004.2.171).

Sulphate reduction and methane oxidation rates of Håkon Mosby mud volcano sediments measured at station MSM16/2_838-1 (Z1-S3, new flow surface)

Sulfate reduction (SR) and anaerobic oxidation of methane (AOM) were measured ex situ by the whole core injection method (doi:10.1080/01490457809377722). We incubated the samples at in situ temperature (1.0°C) for 12 hours with either 14** CH4 (dissolved in water, 2.5 kBq) or carrier-free 35** SO4 (dissolved in water, 50 kBq). Sediment was fixed in 25 ml 2.5% sodium hydroxide (NaOH) solution or 20 ml 20% ZnAc solution for AOM or SR, respectively. Turnover rates were measured as previously described (http://edoc.mpg.de/177065; doi:10.4319/lom.2004.2.171).

Conflict and cognitive control during sentence comprehension: recruitment of a frontal network during the processing of Spanish object-first sentences.

During sentence processing there is a preference to treat the first noun phrase found as the subject and agent, unless marked the other way. This preference would lead to a conflict in thematic role assignment when the syntactic structure conforms to a non-canonical object-before-subject pattern. Left perisylvian and fronto-parietal brain networks have been found to be engaged by increased computational demands during sentence comprehension, while event-reated brain potentials have been used to study the on-line manifestation of these demands. However, evidence regarding the spatiotemporal organization of brain networks in this domain is scarce. In the current study we used Magnetoencephalography to track spatio-temporally brain activity while Spanish speakers were reading subject- and object-first cleft sentences. Both kinds of sentences remained ambiguous between a subject-first or an object-first interpretation up to the appearance of the second argument. Results show the time-modulation of a frontal network at the disambiguation point of object-first sentences. Moreover, the time windows where these effects took place have been previously related to thematic role integration (300–500 ms) and to sentence reanalysis and resolution of conflicts during processing (beyond 500 ms post-stimulus). These results point to frontal cognitive control as a putative key mechanism which may operate when a revision of the sentence structure and meaning is necessary

Effectiveness of abstract interpretation in automatic parallelization: a case study in logic programming

We report on a detailed study of the application and effectiveness of program analysis based on abstract interpretation to automatic program parallelization. We study the case of parallelizing logic programs using the notion of strict independence. We first propose and prove correct a methodology for the application in the parallelization task of the information inferred by abstract interpretation, using a parametric domain. The methodology is generic in the sense of allowing the use of different analysis domains. A number of well-known approximation domains are then studied and the transformation into the parametric domain defined. The transformation directly illustrates the relevance and applicability of each abstract domain for the application. Both local and global analyzers are then built using these domains and embedded in a complete parallelizing compiler. Then, the performance of the domains in this context is assessed through a number of experiments. A comparatively wide range of aspects is studied, from the resources needed by the analyzers in terms of time and memory to the actual benefits obtained from the information inferred. Such benefits are evaluated both in terms of the characteristics of the parallelized code and of the actual speedups obtained from it. The results show that data flow analysis plays an important role in achieving efficient parallelizations, and that the cost of such analysis can be reasonable even for quite sophisticated abstract domains. Furthermore, the results also offer significant insight into the characteristics of the domains, the demands of the application, and the trade-offs involved.

Global flow analysis as a practical compilation tool

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of speed of the analysis, precisión, and usefulness of the information obtained. To this end, design and implementation aspects are discussed for two practical abstract interpretation-based flow analysis systems: MA , the MCC And-parallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained (rom these implementations and, as an example of an application, a study of the usefulness of the mode information obtained in reducing run-time checks in independent and-parallelism.Based on the results obtained, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.

On the practicality of global flow analysis of logic programs

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA3, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained from these implementations. Based on these results, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.