1,463 research outputs found
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
Une approche de la criminalitĂ© fĂ©minine Ă travers lâexemple du hooliganisme
La question du genre est un fait reconnu depuis trĂšs longtemps dans la construction des actes dĂ©lictueux. Pourtant, dans le cas trĂšs prĂ©cis du hooliganisme, aucune Ă©tude ne sâest jamais intĂ©ressĂ©e Ă lâexistence ou non de femmes hooligans. Est-ce Ă dire quâil nâen existe pas ? La rĂ©alitĂ© sociale du hooliganisme en Europe est bien diffĂ©rente. Il existe des femmes hooligans. Leur nĂ©gation tient Ă de multiples raisons : lâabsence de traitement de la singularitĂ©, les a priori positifs dont jouissent les femmes quant aux comportements violents, lâutilisation dâune dĂ©finition trop restrictive du hooliganisme qui empĂȘche de comprendre la genĂšse de certains Ă©vĂ©nements et la place des femmes dans ceux-ci, la difficultĂ© de penser une violence fĂ©minine alors que certaines femmes subissent chaque jour de nombreuses formes de violence. Ă travers lâĂ©tude des noyaux durs des groupes de supporters du soccer en France, on observe cependant quâun certain nombre dâentre elles reconnaissent participer et avoir participĂ© Ă des actes hooligans. Elles possĂšdent parfois des rĂŽles et des statuts importants au sein des groupes qui les ont obligatoirement confrontĂ©es Ă la violence. Si, physiquement, elles ne sont pas au coeur des affrontements les plus durs, elles sont parfois les instigatrices ou les Ă©gĂ©ries de certains groupes pour qui la violence est une partie intĂ©grante et intĂ©grative du supportĂ©risme.For a long time, gender has been recognised as a significant matter in constructing criminal acts. Yet, in hooliganism in particular, no study has ever been focused on whether there are female hooligans or not. Does it mean there arenât any? Socially, European hooliganism is much different in reality: there are female hooligans. They are denied for many reasons: peculiarity has not been studied, positive prejudices are attributed to women when touching on violent behaviours, the definition of hooliganism is too restrictive and hides the origins of events and womenâs roles in such events, or it is difficult to imagine there are violent women when some of them are the everyday victims of many sorts of violence. By studying the hard cores of French supporters, we observed that a certain number of females admitted they were taking part or had taken part in hooligan acts. Sometimes they played significant roles and status within the groups and it inevitably brought them to violence. Physically, they were not at the heart of the hardest clashes, but they may have been the inciters or the driving forces of the groups for which violence is an integral and integrating part of supporterism
Hur pÄverkas markvegetationen i boreala skogsekosystem av produktionshöjande ÄtgÀrder?
I den boreala vegetationszonens skogar Àr kvÀve i regel en tillvÀxtbegrÀnsande faktor som ofta har en avgörande effekt pÄ markvegetationen. Markvegetationen har betydelse för biologiska processer, biodiversitet och ger ekosystemtjÀnster. KvÀve tillkommer dessa ekosystem genom atmosfÀrisk kvÀvedeposition, kvÀvefixering och skogsgödsling. I och med krav pÄ ökad produktion kan skogsgödsling bli en allt vanligare ÄtgÀrd inom skogsbruket vilket skulle öka kvÀvemÀngderna i skogen. Vi undersökte dÀrför vilken effekt detta skulle kunna ha pÄ en medelgod tallskogs markvegetation.
VÄr studie baserades pÄ data frÄn Skogforsks gödslingsförsök 165, Hagfors. Gödslingsbehandlingarna pÄgick med olika intervall och doser frÄn 1981 till 2003. Sex arters tÀckningsgrader, uppmÀtta och skattade under sex Är frÄn och med avverkningen 2006 samlades in och tilldelades oss. Utvecklingen pÄ försöksytorna jÀmfördes med utvecklingen pÄ obehandlade kontrollytor. Med dessa data analyserade vi effekten av de tvÄ gödslingsbehandlingarna pÄ markvegetationens utveckling efter avverkningen.
Analyserna sÀkerstÀllde inte att kvÀvegödslingarna hade en effekt pÄ markvegetationens utveckling. DÀremot sÀkerstÀlldes en Äterkommande tidsmÀssig effekt pÄ markvegetationens utveckling pÄ bÄde de gödslingsbehandlade ytorna och kontrollytorna. Detta tolkade vi som en kraftig hyggeseffekt som överskuggade eventuell effekt av gödslingsbehandlingarna.
Försökets gödslingsbehandlingar var mĂ„ngdubbelt kraftigare Ă€n dagens rekommenderade skogsgödslingar och atmosfĂ€riska kvĂ€vedeposition. DĂ€rför kan detta resultat tolkas som att dagens skogsgödslingsĂ„tgĂ€rder och kvĂ€vedeposition inte har nĂ„gon nĂ€mnvĂ€rd effekt pĂ„ markvegetationens utveckling efter avverkningar, jĂ€mfört med hyggeseffekten. DĂ€rmed inte sagt att skogsgödsling saknar effekt pĂ„ markvegetationen, bara att denna studie inte kunde visa pĂ„ den. För att testa generaliteten i studiens resultat krĂ€vs fler försöksstudier pĂ„ stĂ„ndorter med varierande produktivitet.In forests of the boreal vegetation region, nitrogen is commonly a growth limiting factor and of great importance to the forest floor vegetation. The forest floor vegetation is essential to biological processes, biodiversity and providing ecosystem services. Nitrogen enters these ecosystems through atmospheric deposition, nitrogen fixation and forest fertilization. As the demand for forest production is increased, the more common fertilization might be which ought to alter the forestâs nitrogen supply. Therefore we wanted to examine the effects that modified nitrogen levels would have on forest floor vegetation of a common, medium rich pine forest.
Our study was based on data of the Skogforsk experiment 165, Hagfors. The nitrogen fertilization treatments were conducted with different intervals and intensities on the site from 1981 until 2003. The data collected and assigned to us, was the cover data of six different species, measured and estimated during six consecutive years from clear cutting in 2006. The vegetation development on fertilized plots was compared to that of control plots. With these data we analyzed the effects of fertilization on the development of forest floor vegetation after the clear-cut.
Statistical analysis could not determine whether nitrogen fertilization affected the development of forest floor vegetation. But a reoccurring effect on the development of forest floor vegetation is that of time, both on fertilized and untreated plots. This was interpreted as the effect of clear-cutting, overriding possible effects of fertilization.
The intensities of these fertilization treatments were much higher than the sum of recommended forest fertilization and nitrogen deposition. Therefore we do not expect forest fertilization and atmospheric deposition to affect forest floor vegetation development after clear-cuttings, compared to the clear-cut effects. Though this does not mean that forest fertilization has no effect at all, just that this study could not detect it. To test the generality of these results additional experimental studies are needed and in stands of varying productivity
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
Verification of high-level transformations with inductive refinement types
International audienceHigh-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtrack-ing and generalized iterators. We present the design and implementation of an abstract interpretation tool, Rabit, for verifying inductive type and shape properties for transformations written in such languages. We describe how to perform abstract interpretation based on operational semantics, specifically focusing on the challenges arising when analyzing the expressive traversals and pattern matching. Finally, we evaluate Rabit on a series of transformations (normaliza-tion, desugaring, refactoring, code generators, type inference, etc.) showing that we can effectively verify stated properties. CCS Concepts âą Software and its engineering â General programming languages; âą Social and professional topics â History of programming languages
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
- âŠ