32,594 research outputs found
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
Big Toy Models: Representing Physical Systems As Chu Spaces
We pursue a model-oriented rather than axiomatic approach to the foundations
of Quantum Mechanics, with the idea that new models can often suggest new
axioms. This approach has often been fruitful in Logic and Theoretical Computer
Science. Rather than seeking to construct a simplified toy model, we aim for a
`big toy model', in which both quantum and classical systems can be faithfully
represented - as well as, possibly, more exotic kinds of systems.
To this end, we show how Chu spaces can be used to represent physical systems
of various kinds. In particular, we show how quantum systems can be represented
as Chu spaces over the unit interval in such a way that the Chu morphisms
correspond exactly to the physically meaningful symmetries of the systems - the
unitaries and antiunitaries. In this way we obtain a full and faithful functor
from the groupoid of Hilbert spaces and their symmetries to Chu spaces. We also
consider whether it is possible to use a finite value set rather than the unit
interval; we show that three values suffice, while the two standard
possibilistic reductions to two values both fail to preserve fullness.Comment: 24 pages. Accepted for Synthese 16th April 2010. Published online
20th April 201
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
- …