Use of cookies

Lund University uses cookies to ensure that the website functions properly and to improve your experience.

Read more in our cookie policy

Search results

Filter

Reset filter

Filetype

Your search for "*" yielded 315087 hits

The logic of isomorphism and its uses

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

Sätt och apparat för provtagning av reaktiva föreningar i en aerosol

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

Employability: Is it time we get critical?

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.

Control of a Multi-terminal VSC-HVDC system - A general Control System Structure

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