1,601 research outputs found
Samhällsekonomiska begrepp i yrkes- och fritidsfiske
No full textHavs- och vattenmyndigheten har utifrån förvaltningens mål och strategin Framtidens Fiske gett forskarna Johan Blomquist, Lars Persson, Jesper Stage och Staffan Waldo i uppdrag att sammanställa och analysera inom vilka områden och för vilka indikatorer som fritidsfisket och yrkesfisket är jämförbara. Rapporten är en viktig del i det påbörjade arbetet inom den nya framtagna strategin för framtidens fiske och kan kopplas till flera åtgärder inom handlingsplanerna fritidsfiske och fisketurism samt yrkesfiske. I rapporten diskuteras dels vilka indikatorer som alls är meningsfulla att jämföra med motsvarande indikatorer i andra fisken och dels vad som krävs för att åstadkomma jämförbara indikatorer för olika fisken. I rapporten diskuteras även några utvecklingsmöjligheter för framtida datainsamling och framtida analysarbete inom fiskeområdet
Replication Data for: Savings revisited. A replication study of savings intervention in Malawi
No full textThese files explain how to reproduce Stage and Thangavelu (2018) replication study of “Facilitating Savings for Agriculture: Field Experimental Evidence from Malawi”. Replication should start by reviewing the “Stage and Thangavelu Data readme” docx. file
Replication Data for: Savings revisited. A replication study of savings intervention in Malawi
No full textThese files explain how to reproduce Stage and Thangavelu (2018) replication study of “Facilitating Savings for Agriculture: Field Experimental Evidence from Malawi”. Replication should start by reviewing the “Stage and Thangavelu Data readme” docx. file
Mixing Oil and Water. Studies of the Namibian Economy
No full textThis thesis consists of four papers studying economic aspects of natural resource and environmental management in Namibia. Paper [I] analyses changes in Namibian energy use patterns between 1980 and 1998. The study finds that, unlike their counterparts in many other developing countries where energy use has been studied, Namibian energy users appear to have been quite flexible in changing to energy-saving technologies and to technologies using different energy sources altogether. One explanation for this difference may be that Namibia has had relatively high energy prices and has had high taxes on oil-based fuels, which may have made Namibian energy users more interested in potential energy savings. Paper [I] has been published in the South African Journal of Economics (link: http://www.saje.co.za/saje/default.asp) (Stage, J. (2002). Structural shifts in Namibian energy use: An input-output approach) Paper [II] studies variables affecting property pricing in the township areas of Windhoek, Namibias capital city. Plots close to a garbage dump sell at substantial discounts, while plots close to a recreation area sell at premium prices. These results suggest that environmental quality may be more important for households in township areas than has previously been believed. Neglecting issues of environmental quality in town planning for township areas may thus be a serious omission. Paper [II] has been published in Environment and Development Economics (link: http://journals.cambridge.org/bin/bladerunner?REQUNIQ=1062057331&REQSESS=6438487&118200REQEVENT=&REQINT1=148368&REQAUTH=0) (Humavindu, M. N. and Stage, J. (2003). Hedonic pricing in Windhoek townships) Paper [III] uses Namibian farm price data to study the impact of groundwater access on farm profitability. Potentially, groundwater can function both as an extra source of water in areas with low rainfall and as a buffer source of water in areas where rainfall is higher but variable. If groundwater mainly functions as a buffer source of water in high-rainfall areas, it could be replaced by various means of water storage fairly easily. Providing extra water by other means in low-rainfall areas, on the other hand, is likely to be prohibitively expensive. The study does not provide clear-cut results, suggesting that on precautionary principles one should assume that groundwater will be difficult to replace with other water sources. Paper [III] has been published in Development Southern Africa (link: http://search.epnet.com/direct.asp?jid=B8E&db=buh) (Stage, J. and Williams, R. (2003). Implicit water pricing in Namibian farmland markets) Paper [IV] studies optimal allocation between commercial and recreational fishing for one of Namibias fish species, the kob. The biological dynamics of the kob are modelled using an age-class model with age-specific mortalities, in order to capture the fact that the two fisheries target different age classes. The length of the planning horizon is crucial for the results: If a short planning horizon is used, the results indicate that a large share of the catches should be allocated to commercial fishing. With a longer planning horizon, however, the higher profitability of recreational angling leads to the conclusion that it would be preferable to limit commercial fishing in order to permit kob stocks to recover and improve angling success. Paper [IV] will appear in Natural Resource Modeling (link: http://rmmc.eas.asu.edu/nrm/nrm.html) (Stage, J. (2004): Optimal harvesting in an age-class model with age-specific mortalities)Namibia; energy use; structural decomposition analysis; hedonic pricing; townships; groundwater use; fisheries; bioeconomic modelling
Picard - an electrostatic particle in cell simulation code
No full textThis is a particle-in-cell plasma code 'picard' that was developed
by Jesper Lindkvist and Herbert Gunell with start in 2016 using
resources provided by the Swedish National Infrastructure for
Computing (SNIC) at the High Performance Computing Center North
(HPC2N), Umeå University, Sweden. Jesper Lindkvist was funded by
the Swedish National Space Board (SNSB project 201/15) and
Herbert Gunell by the Swedish National Space Agency (SNSA
project 108/18).
A paper based on the first version was published in A&A .
The present version has been updated to include ionisation as a source of cometary ions, and hdf5 files are used for writing the output. The changes in this version were made by Herbert Gunell.
The files included are:
picard.tgz Package containing all source file, some matlab m-files
that can be used for plotting of the results, and an input
file that was used for a simulation that will be used in an
upcoming publication by Herbert Gunell and Charlotte Götz.
fig-cur.mp4 Videoclip showing results from the simulation defined by the input file, specifically
three-dimensional current paths from different angles.
@author : Jesper Lindkvist
Email : [email protected]
@author : Herbert Gunell
Email : [email protected]
Sentencing and artificial intelligence:Setting the stage
No full textThis chapter provides an introduction to the use of artificial intelligence (AI) at sentencing. It deals with the questions: What does it mean to talk about using artificial intelligence at sentencing? And why is it important to consider the ethical and penal theoretical aspects of the use of artificial intelligence in the determination of sentences? Furthermore, it provides an overview of the varied topics that are considered in the ensuing chapters of the book
Living in a bubble: potential gains from flexible water management policies
No full textWe study Swedish implementation of the European Union’s Water Framework Directive, and compare the current implementation strategy with more flexible ‘bubble’ schemes, where measures can be traded among various locations within the same river system to reach the overall environmental target. Two different Swedish river systems, the Mörrum system with small-scale hydropower plants, and the Ångerman system with larger plants, are studied. We find that the environmental benefits that current policies are likely to accomplish could be achieved at well under half the cost in the Mörrum system, and at less than a tenth of the cost in the Ångerman system.</p
Economic valuation of climate change adaptation in developing countries
No full textThis paper reviews the literature on the economics of climate change adaptation in developing countries, and identifies three key points for consideration in future studies. One key point is that all development policy should be formulated using forecasts from climate science as a baseline. When this is not done, there is risk that a false status quo without climate change is seen as an implicit baseline. Another key point is that authors must be clearer about their behavioral assumptions: Many studies either (problematically) assume profit maximization on the side of farm households, or do not specify behavioral assumptions at all. A third important point is that the allocation of rights is crucial for the results; if households have a right to maintain their current livelihoods, the costs of climate change in developing countries are considerably greater than traditional willingness-to-pay studies would indicate. Thus, costs and benefits of climate change adaptation cannot be analyzed using economic aspects only; climate science, behavioral science, and legal and moral aspects have crucial implications for the outcome of the analysis.</p
Evaluating IT Systems for the Healthcare Domain: Longitudinal Usability Studies and Rapid Analysis Techniques
No full textType Theory Unchained: Extending Agda with User-Defined Rewrite Rules
No full textDependently typed languages such as Coq and Agda can statically guarantee the correctness of our proofs and programs. To provide this guarantee, they restrict users to certain schemes a- such as strictly positive datatypes, complete case analysis, and well-founded induction a- that are known to be safe. However, these restrictions can be too strict, making programs and proofs harder to write than necessary. On a higher level, they also prevent us from imagining the different ways the language could be extended. In this paper I show how to extend a dependently typed language with user-defined higher-order non-linear rewrite rules. Rewrite rules are a form of equality reflection that is applied automatically by the typechecker. I have implemented rewrite rules as an extension to Agda, and I give six examples how to use them both to make proofs easier and to experiment with extensions of type theory. I also show how to make rewrite rules interact well with other features of Agda such as-equality, implicit arguments, data and record types, irrelevance, and universe level polymorphism. Thus rewrite rules break the chains on computation and put its power back into the hands of its rightful owner: Yours.Programming Language
- …
