Static checker frameworks support software developers by automatically discovering bugs that fit general-purpose bug patterns. These frameworks ship with hundreds of detectors for such patterns and allow developers to add custom detectors for their own projects. However, existing frameworks generally encode detectors in imperative specifications, with extensive details of not only what to detect b

BackgroundFetal cardiac magnetic resonance imaging (MRI) improves the diagnosis of congenital heart defects, but is sensitive to fetal motion due to long image acquisition time. This may be overcome with faster image acquisition with low resolution, followed by image enhancement to provide clinically useful images.PurposeTo combine phase-encoding undersampling with super-resolution neural networks

Det här är en vänbok till, av och om Janne Flyghed, professor i kriminologi vid Stockholms universitet. Vi har samlat ett urval av hans texter, tematiserade efter forskningsområde och med introduktioner av bokens redaktörer. Att det är en vänbok i bokstavlig mening understryks av bokens inledande och avlutande kapitel, skrivna av Jannes barn respektive vännen och författaren Björn Larsso

Footnotes, a composition written between 1983 and 1985 by a composer allegedly named William Brooks, was recorded between 2011 and 2018 by guitarist Stefan Östersjö and sound engineer Jez Wells, with the help of William Brooks, musicologist. It became evident to the three collaborators that the overall project required the construction of a set of different identities for each participant: guitar,

In this paper we explore the inter-relations between performer and composer through twoempirical studies and the result of this work is intended to lay the ground fora new work for guitar and computer by Henrik Frisk for Stefan Östersjö. Bybetter understanding the composer-performer interaction we also hope to betterunderstand the necessary conditions for a successful performer-computerinteraction

Building barriers are compartmentation elements in buildings that limit the passage of fire and smoke to adjacent spaces. They are key elements in the overall response of a building in a fire. The adequate fire response of building barriers is usually assessed by the fulfilment of standardized resistance to fire tests. However, building fire barriers might be exposed to very different fire scenari

In this paper we conduct a multi-criteria analysis (MCA) from a multiple stakeholder point of view for the design of access and benefit sharing (ABS) agreements concerning genetic resources, in particular regarding the access component of such agreements. We start by analyzing the objectives defined by international law (viz. the Convention on Biodiversity and the Nagoya Protocol) that every party

The effectiveness and success of benefit-sharing measures to date, particularly in contributing towards the conservation and sustainable use of biodiversity, has been questionable. This is likely related to the degree of beneficial impacts versus burden on the users and regulatory authorities in terms of administrative complexities. It is, therefore, timely to reconsider which forms of benefit-sharin

Efter att ha dominerat angloamerikansk filosofi under 1800-talets sista decennier kom idealismen att förlora sin ställning efter sekelskiftet, då övergången från viktorianska till modernistiska ideal, snabba sociala förändringar, ökad sekularisering och naturvetenskapens dominans tycktes kräva nytt filosofiskt tänkande. Vid andra världskrigets utbrott var idealismen utdöd och ersatt av den analytiAfter having dominated philosophical thought in Britain and the United States during the end of the nineteenth century, idealism was in steady decline by the outbreak of World War I. Its ideas and ideals seemed unsuited to face the transition from Victorianism to modernism and the rapid social changes of the post-war era. Its Anglo-American proponents—who were often liberals—were accused of indire

Societal Impact StatementBiodiversity loss is happening at an unprecedented rate. Understanding and protecting biodiversity has never been more urgent, and scientific research is key to this. Fair and transparent access and benefit sharing policies enable research to take place, whilst supporting sustainable livelihoods of communities and ensuring benefits are shared. Current national legislation

The over-arching aim of the access and benefit-sharing (ABS) of genetic resources is to enable fair distribution of benefits between the users (such as universities and biotech companies) and providers (such as biodiversity rich countries) so as to both open the doors for innovation and create incentives for biodiversity conservation. Access to genetic resources is crucial for research related to

The legal landscape regulating the access to and utilisation of genetic resources has changed with the entry into force of the Nagoya Protocol in 2014 and the adoption of the related EU Regulation on user compliance in 2014. Moreover, many countries are now adopting laws that regulate access to their genetic resources and thier utilisation. This has clear implications for scientists working on gen

The concept of individual choice is a fundamental aspect when explaining and anticipating behavioural interactions with, and responses to, static and dynamic travel conditions in public transport (PT) systems. However, the empirical rounding of existing models used for forecasting travel demand, which itself is a result of a multitude of individual choices, is often insufficient in terms of detail