Sökresultat

In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof-theoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.

The thesis concerns risk and safety in manufacturing companies in a developing country. Risk and safety is viewed as integral to the social relations between management and labour. The Malaysian case presents a historical conjuncture of this conflict theme, which is very different from that of its Western genesis. On this basis, the primary objective of the thesis is defined as an effort to escape

Sammanfattningsvis kan Självbestämmandeteorin (SDT) tillämpas av lärare för att stärka elevers motivation och välbefinnande. Däremot är det inte säkert att alla elever därigenom kommer att höja sin inre motivation eller sina studieresultat. Vissa elever är helt ointresserade av vissa ämnen och i avsaknad av motivation krävs mer än att tillämpa SDT. Vidare kan inte enbart ett förändrat klassrumskli

Wastewater treatment and subsequent effluent recycling for non-drinking purposes such as irrigation contributes to the mitigation of the pressure on freshwater resources. In this study, two vertical sub-surface flow constructed wetland (VSSF-CW) pilot plants were operated to treat municipal wastewater and their effluents were reused for irrigation purposes. One of the wetlands was vegetated with P

Hip-related pain can significantly impact quality of life, function, work capacity, physical activity and family life. Standardised measurement methods of physical capacity of relevance to young and middle-aged active adults with hip-related pain are currently not established. The aim of this consensus paper was to provide recommendations for clinical practice and research on standardised measurem

Non-responders to checkpoint inhibitors generally have low tumor T cell infiltration and could benefit from immunotherapy that activates dendritic cells, with priming of tumor-reactive T cells as a result. Such therapies may be augmented by providing tumor antigen in the form of cancer vaccines. Our aim was to study the effects of mitazalimab (ADC-1013; JNJ-64457107), a human anti-CD40 agonist IgG

This paper considers the concept and practice of entrepreneurial leadership in the academe. After a small introduction to the research in the emerging field of entrepreneurial leadership, we note many substantial differences between academic entrepreneurs and the general class of entrepreneurs so as to motivate our focus on the academic community. We then provide a brief narrative on some strands

Background: Optimal oxygen targets in patients resuscitated after cardiac arrest are uncertain. The primary aim of this study was to describe the values of partial pressure of oxygen values (PaO2) and the episodes of hypoxemia and hyperoxemia occurring within the first 72 h of mechanical ventilation in out of hospital cardiac arrest (OHCA) patients. The secondary aim was to evaluate the associatio

Boken behandlar det äldsta statliga konstmuseet i Sverige, Kongl. Museum i Stockholms slott, med beaktande av dess tillkomsthistoria, samlingarnas ursprung och uppställning samt överförandet till Nationalmuseum i mitten av 1860-talet. Publikationen bygger på forskning om föremålen och dokumentation i arkiven och ger en helhetsbild som i flera avseenden korrigerar tidigare uppfattningar och ger en