Methane and sulfide fluxes in permanent anoxia: in situ studies at the Dvurechenskii mud volcano (Sorokin Trough, Black Sea)

The Dvurechenskii mud volcano (DMV), located in permanently anoxic waters at 2060 m depth (Sorokin Trough, Black Sea), was visited during the M72/2 cruise with the RV Meteor to investigate the methane and sulfide release from mud volcanoes into the Black Sea hydrosphere. We studied benthic fluxes of methane and sulfide, and the factors controlling transport, consumption and production of both compounds within the sediment. The pie shaped mud volcano showed temperature anomalies as well as solute and gas fluxes indicating high fluid flow at a small elevation north of the geographical center. The anaerobic oxidation of methane (AOM) coupled to sulfate reduction (SR) was excluded from this zone due to fluid-flow induced sulfate limitation and a fresh mud flow and consequently methane escaped into the water column with a rate of 0.46 mol/m**2/d. In the outer center of the mud volcano fluid flow and total methane flux were decreased, correlating with an increase in sulfate penetration into the sediment, and with higher SR and AOM rates. Here between 50-70% of the methane flux (0.07-0.1 mol/m**2/d) was consumed within the upper 10 cm of the sediment. Also at the edge of the mud volcano fluid flow and rates of methane and sulfate turnover were substantial. The overall amount of dissolved methane released from the mud volcano into the water column was significant with a discharge of 1.4x10**7 mol/yr. The DMV maintains also high areal rates of methane-fueled sulfide production of on average 0.05 mol/m**2/d. However, we concluded that sulfide and methane emission into the hydrosphere from deep water mud volcanoes does not significantly contribute to the sulfide and methane inventory of the Black Sea.

The informal labour market in India : transitory or permanent employment for migrants?

The informal economy is a very important sector of the Indian economy. The National Council of Applied Economic Research estimates that the informal sector - "unorganised sector" - generates about 62% of GDP and provides for about 55% of total employment (ILO 2002, p. 14). This paper studies the characteristics of the workers in the informal economy and whether internal migrants treat this sector as a temporary location before moving on to the organised or formal sector to improve their lifetime income and living conditions. We limit our study to the Indian urban (non-agricultural) sector and study the characteristics of the household heads that belong to the informal sector (self-employed and informal wage workers) and the formal sector. We find that household heads that are less educated, come from poorer households, and/or are in lower social groups (castes and religions) are more likely to be in the informal sector. In addition, our results show strong evidence that the longer a rural migrant household head has been working in the urban sector, ceteris paribus, the more likely that individual has moved out of the informal wage sector. These results support the hypothesis that, for internal migrants, the informal wage labour market is a stepping stone to a better and more certain life in the formal sector.

Low-resource synchronous coincidence processor for positron emission tomography

We developed a new FPGA-based method for coincidence detection in positronemissiontomography. The method requires low device resources and no specific peripherals in order to resolve coincident digital pulses within a time window of a few nanoseconds. This method has been validated with a low-end Xilinx Spartan-3E and provided coincidence resolutions lower than 6 ns. This resolution depends directly on the signal propagation properties of the target device and the maximum available clock frequency, therefore it is expected to improve considerably on higher-end FPGAs.

A generator of efficient abstract machine implementations and its application to emulator minimization

The implementation of abstract machines involves complex decisions regarding, e.g., data representation, opcodes, or instruction specialization levéis, all of which affect the final performance of the emulator and the size of the bytecode programs in ways that are often difficult to foresee. Besides, studying alternatives by implementing abstract machine variants is a time-consuming and error-prone task because of the level of complexity and optimization of competitive implementations, which makes them generally difficult to understand, maintain, and modify. This also makes it hard to genérate specific implementations for particular purposes. To ameliorate those problems, we propose a systematic approach to the automatic generation of implementations of abstract machines. Different parts of their definition (e.g., the instruction set or the infernal data and bytecode representation) are kept sepárate and automatically assembled in the generation process. Alternative versions of the abstract machine are therefore easier to produce, and variants of their implementation can be created mechanically, with specific characteristics for a particular application if necessary. We illustrate the practicality of the approach by reporting on an implementation of a generator of production-quality WAMs which are specialized for executing a particular fixed (set of) program(s). The experimental results show that the approach is effective in reducing emulator size.

A documentation generator for (C)LP systems

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in Ciao, ISO-Prolog, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what versión of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc. ...) for the predicates in the program, and machine-readable comments. One of the main novelties of lpdoc is that these assertions and comments are written using the Ciao system asseriion language, which is also the language of communication between the compiler and the user and between the components of the compiler. This allows a significant synergy among specification, debugging, documentation, optimization, etc. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The documentation can be generated interactively from emacs or from the command line, in many formats including texinfo, dvi, ps, pdf, info, ascii, html/css, Unix nroff/man, Windows help, etc., and can include bibliographic citations and images, lpdoc can also genérate "man" pages (Unix man page format), nicely formatted plain ASCII "readme" files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or info formats suitable for inclusión in on-line Índices of manuals, and even complete WWW and info sites containing on-line catalogs of documents and software distributions. The lpdoc manual, all other Ciao system manuals, and parts of this paper are generated by lpdoc.