Fremont-Smith: The Foundations and Government: State and Federal Law and Supervision

Digimergo är en digitalisering av Emergo Train System, ett system där personal inom räddningstjänst kan öva på olika katastrofscenarion. För att göra Digimergo användbart behövdes ytterligare programvara: ett administrationsverktyg till övningar och en scenarioeditor. I det programvaruutvecklingsprojekt som denna rapport behandlar har ny programvara utvecklats och integrerats med det ursprungliga Digimergosystemet. I den här rapporten diskuteras vilka risker som existerar när ny funktionalitet skall läggas till ett gammalt projekt samt hur dessa risker kan minimeras. Rapporten undersöker också vilka utvecklingsmetoder som lämpar sig i projekt där ny funktionalitet ska läggas till befintliga system. Resultatet visar att den största risken med att utöka befintliga projekt är att underskatta tiden som krävs för att sätta sig in i projektet i fråga. Det mest effektiva sättet att minimera risken för detta är att mycket tidigt studera det tidigare arbetet och utbilda projektmedlemmarna i det gamla systemet. Ett annat angreppssätt är att välja en metod som är flexibel när det kommer till nya risker eller ändringar i projektets plan, förslagsvis iterativa metoder

A Certified JavaScript Interpreter

International audienceThis paper describes the design and implementation of the interpreter. It is organized as follows. Section 1 introduces the semantics of JavaScript and highlights some of its peculiarities. Section 2 describes the interpreter's design and implementation. Section 3 addresses the interpreter's correctness. Finally, Section 4 concludes with future and related work

Continuous control of an underground loader using deep reinforcement learning

Reinforcement learning control of an underground loader is investigated in simulated environment, using a multi-agent deep neural network approach. At the start of each loading cycle, one agent selects the dig position from a depth camera image of the pile of fragmented rock. A second agent is responsible for continuous control of the vehicle, with the goal of filling the bucket at the selected loading point, while avoiding collisions, getting stuck, or losing ground traction. It relies on motion and force sensors, as well as on camera and lidar. Using a soft actor-critic algorithm the agents learn policies for efficient bucket filling over many subsequent loading cycles, with clear ability to adapt to the changing environment. The best results, on average 75% of the max capacity, are obtained when including a penalty for energy usage in the reward.Comment: 9 pages, 7 figure

An Abstract Separation Logic for Interlinked Extensible Records

International audienceThe memory manipulated by JavaScript programs can be seen as a heap of extensible records storing values and pointers. We define a separation logic for describing such structures. In order to scale up to full-fledged languages such as JavaScript, this logic must be integrated with existing abstract domains from abstract interpretation. However, the frame rule—which is a central notion in separation logic—does not easily mix with abstract interpretation. We present a domain of heaps of interlinked extensible records based on both separation logic and abstract interpretation. The domain features spatial conjunction and uses summary nodes from shape analyses. We show how this domain can accommodate an abstract interpretation including a frame rule

Statistical features of edge turbulence in RFX-mod from Gas Puffing Imaging

Plasma density fluctuations in the edge plasma of the RFX-mod device are measured through the Gas Puffing Imaging Diagnostics. Statistical features of the signal are quantified in terms of the Probability Distribution Function (PDF), and computed for several kinds of discharges. The PDFs from discharges without particular control methods are found to be adequately described by a Gamma function, consistently with the recent results by Graves et al [J.P. Graves, et al, Plasma Phys. Control. Fusion 47, L1 (2005)]. On the other hand, pulses with external methods for plasma control feature modified PDFs. A first empirical analysis suggests that they may be interpolated through a linear combination of simple functions. An inspection of the literature shows that this kind of PDFs is common to other devices as well, and has been suggested to be due to the simultaneous presence of different mechanisms driving respectively coherent bursts and gaussian background turbulence. An attempt is made to relate differences in the PDFs to plasma conditions such as the local shift of the plasma column. A simple phenomenological model to interpret the nature of the PDF and assign a meaning to its parameters is also developed.Comment: 27 pages. Published in PPC

Environmental risk assessment of genetically modified sterile VIRGIN® Atlantic salmon for use in research trials in aquaculture sea-cages

One of the substantial environmental challenges posed by the aquaculture industry is the escape of farmed Atlantic salmon (Salmo salar), which can mate with wild Atlantic salmon and alter the genetic composition of the wild populations. One potential solution to mitigate this issue is the cultivation of sterile salmon in aquaculture. Atlantic salmon can be made sterile by pressure or temperature treatment of newly fertilized eggs to produce triploids, which are functionally sterile due to their unpaired chromosomes. However, these triploids often perform poorly on commercial fish farms and the production of triploid salmon in Norway is put on hold due to welfare issues of the fish. In this application, the Institute of Marine Research (IMR), Bergen, seeks to rear genetically modified sterile Atlantic salmon (VIRGIN® salmon) in a marine aquaculture environment from the post-smolt stage until harvest. The research trials are to take place in small, open sea cages (net pens) at the IMR Matre Aquaculture Research Station from autumn 2023 until February 2025. The Norwegian Environment Agency has asked VKM to assess the environmental risks associated with this field trial according to the Gene Technology Act and using risk assessment guidance from the European Food Safety Authority, EFSA.Environmental risk assessment of genetically modified sterile VIRGIN® Atlantic salmon for use in research trials in aquaculture sea-cagespublishedVersionpublishedVersio

Environmental risk assessment of genetically modified sterile VIRGIN® Atlantic salmon for use in research trials in aquaculture sea-cages

One of the substantial environmental challenges posed by the aquaculture industry is the escape of farmed Atlantic salmon (Salmo salar), which can mate with wild Atlantic salmon and alter the genetic composition of the wild populations. One potential solution to mitigate this issue is the cultivation of sterile salmon in aquaculture. Atlantic salmon can be made sterile by pressure or temperature treatment of newly fertilized eggs to produce triploids, which are functionally sterile due to their unpaired chromosomes. However, these triploids often perform poorly on commercial fish farms and the production of triploid salmon in Norway is put on hold due to welfare issues of the fish. In this application, the Institute of Marine Research (IMR), Bergen, seeks to rear genetically modified sterile Atlantic salmon (VIRGIN® salmon) in a marine aquaculture environment from the post-smolt stage until harvest. The research trials are to take place in small, open sea cages (net pens) at the IMR Matre Aquaculture Research Station from autumn 2023 until February 2025. The Norwegian Environment Agency has asked VKM to assess the environmental risks associated with this field trial according to the Gene Technology Act and using risk assessment guidance from the European Food Safety Authority, EFSA.Environmental risk assessment of genetically modified sterile VIRGIN® Atlantic salmon for use in research trials in aquaculture sea-cagespublishedVersio

Environmental risk assessment of genetically modified sterile VIRGIN® Atlantic salmon for use in research trials in aquaculture sea-cages

One of the substantial environmental challenges posed by the aquaculture industry is the escape of farmed Atlantic salmon (Salmo salar), which can mate with wild Atlantic salmon and alter the genetic composition of the wild populations. One potential solution to mitigate this issue is the cultivation of sterile salmon in aquaculture. Atlantic salmon can be made sterile by pressure or temperature treatment of newly fertilized eggs to produce triploids, which are functionally sterile due to their unpaired chromosomes. However, these triploids often perform poorly on commercial fish farms and the production of triploid salmon in Norway is put on hold due to welfare issues of the fish. In this application, the Institute of Marine Research (IMR), Bergen, seeks to rear genetically modified sterile Atlantic salmon (VIRGIN® salmon) in a marine aquaculture environment from the post-smolt stage until harvest. The research trials are to take place in small, open sea cages (net pens) at the IMR Matre Aquaculture Research Station from autumn 2023 until February 2025. The Norwegian Environment Agency has asked VKM to assess the environmental risks associated with this field trial according to the Gene Technology Act and using risk assessment guidance from the European Food Safety Authority, EFSA.Environmental risk assessment of genetically modified sterile VIRGIN® Atlantic salmon for use in research trials in aquaculture sea-cagespublishedVersionpublishedVersio