Filtyp
We present a class of first-order modal logics, called transformational logics, which are designed for working with sentences that hold up to a certain type of transformation. An inference system is given, and com- pleteness for the basic transformational logic HOS is proved. In order to capture ‘up to isomorphism’, we express a very weak version of higher category theory in terms of first-order m
Submikrona partiklar som innehåller reaktiva föreningar i en provaerosol uppsamlas för kemisk bestämning av partiklarna, utan oönskade förändringar i den kemiska sammansättningen hos partiklarna. En känd reagensvätska levereras till ett poröst material i fluidkommunikation med provaerosolen, och reagensvätskan bringas att förångas till en ånga med tillhanddahållna uppvärmningsorgan. Reagensångan b
This article encourages the media, and ultimately the public, to look more critically at the neoliberal notion of employability, which is discussed from a variety of angles, but is put under little critical scrutiny today.
Environmental impact and security of supply has fuelled a shift in the power mix of power systems today. Traditionally used fossil fuel gives more and more space to the development of renewables in an effort to comply with strict international standards regarding CO2 emissions and secure energy supply. Wide geographical spread of renewable resources indicates that HVDC technology is most suitable
[abstract missing]
