| 1. |
- Bro, Anders, 1964-
(author)
-
Från hälsovård till miljöskydd : en historisk institutionell analys av kommunal ansvarsutveckling
- 2000
-
Doctoral thesis (other academic/artistic)abstract
- Modern central-local relations are in general characterised by decentralisation in nearly all policy fields, with growing demands for local adjustment and direct democracy. At the same time, the political parties are criticised of trying to implement environmental politics in the municipalities, which are strongly characterised by national goals and strategies. The aim of this study is to describe and analyse changes in the responsibility distribution between the state and the municipalities in a historical perspective with a focus on two environmentally oriented policy areas - health protection and environmental protection , and seek to understand and explain why these changes occur. The fundamental explanatory approach of the thesis is historical institutionalism, a combined actor-structure approach which presumes that institutions and ideas are expected to institutionalise certain central-local relations over time. The study is based upon the assumption that changes in municipal responsibility are presumed to happen slowly, but at certain formative moments, actors carry through fundamental changes. The study shows that health protection, from the end of the 19th century, has had a tradition of local responsibility. When environmental politics appeared on the political agenda during the 1960ies the political debate resulted in a centralised organisation, which however changed and the municipalities were gradually given a more active and important role. It is shown that general state and municipal ideas, as well as policy specific ideas and the already established responsibility distribution between the state and the municipalities have institutionalised the municipal responsibility development in certain ways. The formative moments do not crystallise automatically, but depend on what approach we adopt, and what we characterise as fundamental and incrementalistic changes.
|
|
| 2. |
- Gorostiaga, Felipe, et al.
(author)
-
Assumption Monitoring ofTemporal Task Planning Using Stream Runtime Verification
- 2022
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer. - 0302-9743 .- 1611-3349.
-
Conference paper (peer-reviewed)abstract
- Temporal task planning uses formal techniques such as reactive synthesis to guarantee that a robot will succeed in its mission. This technique requires certain explicit and implicit assumptions and simplifications about the operating environment of the robot, including its sensors and capabilities. A robot executing a plan can produce a silent mission failure, where the user may believe that the mission goals were achieved when instead the assumptions were violated at runtime. This entails that mitigation and remediation opportunities are missed. Monitoring at runtime can detect complex assumption violations and identify silent failures, but such monitoring requires the ability to describe and detect sophisticated temporal properties together with quantitative and complex data. Additional challenges include (1) ensuring the correctness of the monitors and a correct interplay between the planning execution and the monitors, and (2) that monitors run under constrained environments in terms of resources. In this paper we propose a solution based on stream runtime verification, which offers a high-level declarative language to describe sophisticated monitors together with guarantees on the execution time and memory usage. We show how monitors can be combined with temporal planning not only to monitor assumptions but also to support mitigation and remediation in UAV missions. We demonstrate our approach both in real and simulated flights for some typical mission scenarios.
|
|
| 3. |
- Kann, Viggo, 1964-, et al.
(author)
-
En rekommenderad svensk språkteknologisk terminologi
- 2016
-
In: Proc. Sixth Swedish Language Technology Conference. - Umeå : Svenska språkteknologitermgruppen.
-
Conference paper (peer-reviewed)abstract
- In 2014 the Swedish Language Technology Terminology Group was created, with representatives from different parts of the language technology community, both higher education and research, industry and governmental agencies. In 2016 we have recommended Swedish terms for the 270 language technological concepts in the Bank of Finnish Terminology in Arts and Sciences. The language technology terms are published on folkets-lexikon.csc.kth.se/LTterminology, where anyone can lookup Swedish and English terms interactively and read the full list of terms. We also try to enter the most important Swedish terminology into the Swedish Wikipedia. We encourage use of these Swedish terms and welcome suggestions for improvements of the Swedish terminology.
|
|
| 4. |
- Kurbasic, Azra, et al.
(author)
-
Gene-Lifestyle Interactions in Complex Diseases : Design and Description of the GLACIER and VIKING Studies
- 2014
-
In: Current nutrition reports. - : Springer Science and Business Media LLC. - 2161-3311. ; 3:4, s. 400-411
-
Journal article (peer-reviewed)abstract
- Most complex diseases have well-established genetic and non-genetic risk factors. In some instances, these risk factors are likely to interact, whereby their joint effects convey a level of risk that is either significantly more or less than the sum of these risks. Characterizing these gene-environment interactions may help elucidate the biology of complex diseases, as well as to guide strategies for their targeted prevention. In most cases, the detection of gene-environment interactions will require sample sizes in excess of those needed to detect the marginal effects of the genetic and environmental risk factors. Although many consortia have been formed, comprising multiple diverse cohorts to detect gene-environment interactions, few robust examples of such interactions have been discovered. This may be because combining data across studies, usually through meta-analysis of summary data from the contributing cohorts, is often a statistically inefficient approach for the detection of gene-environment interactions. Ideally, single, very large and well-genotyped prospective cohorts, with validated measures of environmental risk factor and disease outcomes should be used to study interactions. The presence of strong founder effects within those cohorts might further strengthen the capacity to detect novel genetic effects and gene-environment interactions. Access to accurate genealogical data would also aid in studying the diploid nature of the human genome, such as genomic imprinting (parent-of-origin effects). Here we describe two studies from northern Sweden (the GLACIER and VIKING studies) that fulfill these characteristics.
|
|
| 5. |
- Laghaout, Amine, et al.
(author)
-
A demonstration of contextuality using quantum computers
- 2022
-
In: European journal of physics. - : IOP Publishing. - 0143-0807 .- 1361-6404. ; 43:5, s. 055401-
-
Journal article (peer-reviewed)abstract
- Open-access, online quantum computers have shown significant improvements in the past decade. Although they still suffer from noise and scalability limitations, they do offer the possibility of experimenting with quantum circuits which would otherwise have required laboratory resources and prowesses beyond the reach of most students (and even researchers). In view of this, we revisit from the ground up the notion of contextuality and show that it can now be easily demonstrated on one of the IBM quantum computers. We showcase this with an implementation of the Peres-Mermin square which, despite the high error rates, manages to violate noncontextuality by almost 28 standard deviations.
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
|
|
