On derived categories and derived functors

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.Comment: 7 pages, 1 figure, published in Extracta Mathematicae, 22(3), 315-324 (2007

Catalytic effect of alkali metals on biomass pyrolysis kinetics

Biomass is a low-carbon, resource, which is finding increasing use for heating and the generation of electricity. Biomass pyrolysis plays a central role in its combustion and is therefore receiving extensive consideration. The decomposition of biomass is also a crucial step in both fast pyrolysis and various thermal processing techniques involved in chemical manufacturing. Potassium and sodium are well-known catalysts in the thermal reactions of biomass. An expression was developed linking the rate of thermal degradation of a biomass to its potassium or sodium content. Willow samples impregnated with different potassium or sodium concentrations were studied for their pyrolysis behaviour by thermogravimetric analysis, and apparent first order kinetics derived. The developed relation yields a maximum reaction rate constant and a metal saturation constant that can predict the rate of willow pyrolysis based on temperature and concentration of potassium or sodium. Effects of sequential washing using water, ammonium acetate, and hydrochloric acid were also explored.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tec

Process Realizability

We develop a notion of realizability for Classical Linear Logic based on a concurrent process calculus.Comment: Appeared in Foundations of Secure Computation: Proceedings of the 1999 Marktoberdorf Summer School, F. L. Bauer and R. Steinbruggen, eds. (IOS Press) 2000, 167-18

Sequentiality vs. Concurrency in Games and Logic

Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.Comment: 35 pages, appeared in Mathematical Structures in Computer Scienc