Filetype
This chapter describes access to justice before International Human Rights bodies, focusing on the UN Human Rights Committee and the European Court of Human Rights. It also discusses the two human rights treaties, the requirement of exhausting domestic remedies, and issues of standing before the Human Rights Committee (HRC) and the European Court of Human Rights. One dimension of the effectiveness
In the Nordic countries, university language policy and planning centres on balancing the use of the national language(s) vis-à-vis English, whereas less attention has been paid to the roles played by other languages. This study focuses on how space was negotiated for languages other than Swedish and English during language policy negotiations at a Swedish university. Using an ethnographic discour
The vast majority of contemporary literature and research disregards the impact of entrepreneurship within a tourist destination for overcoming seasonality. Therefore, our research focuses on, “exploring the contextual conditions for entrepreneurship in overcoming seasonality within travel destinations.” We have used a comparative research design, which we have applied to our two selected cases, I
The increasing number of new psychoactive substances made available for recreational drug use has created a challenge for clinical toxicology and drug testing laboratories. As a consequence, the routine immunoassay drug testing may become less effective due to an increased occurrence of false negative and false positive screening results. This work aimed to extend the knowledge about analytical cr
We describe the design and implementation of a new constraint programming solver that can produce an auditable record of what problem was solved and how the solution was reached. As well as a solution, this solver provides an independently verifiable proof log demonstrating that the solution is correct. This proof log uses the VeriPB proof system, which is based upon cutting planes reasoning with
In anonymous online text-based counselling provided by social services, counsellors face specific communicative and professional challenges. Among other things, they need to ensure that they have understood the chat users correctly in order to provide relevant information and advice. The paper studies how counsellors check their understanding of users’ situations by using formulations, namely, sum
Robotic force control refers to the control and programmable specification of the interaction forces between a robot end effector and the work object, where either the end effector or the work object is attached to the robot manipulator. A rudimentary approach is to consider the joint torques and controlled variables, and then to compute those torques such that a presumably rigid manipulator effec
A literature review and a questionnaire study with 62 participants were carried out to provide recommendations on the design of a set of evacuation systems for road tunnels: 1) Traffic Information Sign (TIS) - message and size of the sign (large or small), colour scheme, and use of pictograms and/or flashing lights, 2) Emergency exit portal layout - colour scheme, 3) Acoustic systems - voice messa
This paper deals with the joint estimation of spatial mode shapes and temporal frequencies from transient vibrations measured by a uniform circular array of sensors encircling a cross-section of a cylinder. The geometry allows each 2D mode to be interpreted as two real planar waves impinging from mirrored directions with respect to the broadside of a uniform linear array. Algorithms for joint esti
With computers embedded almost everywhere, in domestic, industrial, and medical appliances and devices, computing is becoming increasingly pervasive. Services in pervasive systems can be combined and coordinated through user-defined scripts called assemblies, a light-weight and understandable way for end users to adapt services to fit their specific needs. Previous languages for assembly scripts
Popular Abstract in Swedish Denna avhandling presenterar nya metoder för att analysera bilder på hjärtat för att utesluta eller bekräfta kranskärlssjukdom. Hjärtat har en livsviktig uppgift, att pumpa runt blodet för att förse alla kroppens organ med energi och syre. Vid förträngningar i kärlen som försörjer hjärtmuskeln med blod (kranskärlen) uppkommer ett tillstånd som kallas ischemisk hjärtsjukIn this thesis, methods for automated analysis of myocardial perfusion single photon emission computer tomography (myocardial perfusion SPECT, MPS) images have been successfully developed and evaluated. MPS images show the perfusion of the myocardium and are used for diagnosing patients with suspected ischemic heart disease. The disease is characterized by reduced perfusion to a region of the myoc
High performance requirements increased the popularity of unconventional architectures. While providing better performance, such architectures are generally harder to program and generate code for. In this paper, we present our approach to ease programmability and code generation for such architectures. We present a domain specific language (DSL) for the programming part, and a constraint programm
A search for new phenomena in final states with four or more leptons (electrons or muons) is presented. The analysis is based on 4.7 fb(-1) of root s = 7TeV proton-proton collisions delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in two signal regions: one that requires moderate values of missing transverse m
Yeast xylose metabolism is generally considered to be restricted to respirative conditions because the two-step oxidoreductase reactions from xylose to xylulose impose an anaerobic redox imbalance. We have recently developed, however, a Saccharomyces cerevisiae strain that is at present the only known yeast capable of anaerobic growth on xylose alone. Using transcriptome analysis of aerobic chemos
