Interaction Graphs: Full Linear Logic

Interaction graphs were introduced as a general, uniform, construction of dynamic models of linear logic, encompassing all Geometry of Interaction (GoI) constructions introduced so far. This series of work was inspired from Girard's hyperfinite GoI, and develops a quantitative approach that should be understood as a dynamic version of weighted relational models. Until now, the interaction graphs framework has been shown to deal with exponentials for the constrained system ELL (Elementary Linear Logic) while keeping its quantitative aspect. Adapting older constructions by Girard, one can clearly define "full" exponentials, but at the cost of these quantitative features. We show here that allowing interpretations of proofs to use continuous (yet finite in a measure-theoretic sense) sets of states, as opposed to earlier Interaction Graphs constructions were these sets of states were discrete (and finite), provides a model for full linear logic with second order quantification

The semi-presidential system of Cape Verde: the relationship between the executive and the legislative powers = O sistema semi-presidencialista caboverdiano: a relação entre os poderes executivo e legislativo

e article analyses the relationship established between the executive and legislative powers in the Cape Verdean government system where researchers seek to understand it, taking into account their theoretical and constitutional setting practice. It should be noted the prominence of the debate and studies undertaken to understand how the scienti c academy seeks to eradicate this problem. Two issues are relevant in this debate: the rst reporting to the theoretical and constitutional con guration of Cape Verdean government system and the other to its policy and legislative practice. Keywords: Cape Verde. Semi-presidential System. Systems of Government. Legislative and Executive Powers.O artigo procura analisar a relação que se estabelece entre o poder executivo e legislativo no sistema de governo cabo-verdiano, onde Investigadores buscam compreendê-lo, tendo em conta a sua con guração prática, teórica e constitucional. Há que realçar a proeminência do debate e dos estudos realizados no sentido de compreender como é que a academia cientí ca procura debelar esta problemática. Duas questões são pertinentes neste debate: a primeira refere-se à con guração teórico-constitucional do sistema de governo cabo-verdiano e a outra à prática política e legislativa. Palavras-chave: Cabo Verde. Sistema Semi-presidencialista. Sistemas de Governo. Poder legislativo e Poder Executivo

Modelling the exposure of wildlife to radiation: key findings and activities of IAEA working groups

The International Atomic Energy Agency (IAEA) established the Biota Working Group (BWG) as part of its Environmental Modelling for Radiation Safety (EMRAS) programme in 2004 (http://www-ns.iaea.org/projects/emras/emras-biota-wg.htm). At that time both the IAEA and the International Commission on Radiological Protection (ICRP) were addressing environmental protection (i.e. protection of non-human biota or wildlife) within the on-going revisions to the Basic Safety Standards and Recommendations respectively. Furthermore, some countries (e.g. the USA, UK) were already conducting assessments in accordance with national guidelines. Consequently, a number of assessment frameworks/models had been or were being developed. The BWG was established recognising these developments and the need to improve Member State’s capabilities with respect to protection of the environment from ionizing radiation. The work of the BWG was continued within the IAEA’s EMRAS II programme by the Biota Modelling Group (http://wwwns. iaea.org/projects/emras/emras2/working-groups/working-group-four.asp)

Best practices for predictions of radionuclide activity concentrations and total absorbed dose rates to freshwater organisms exposed to uranium mining/milling.

This is the final version. Available from Elsevier via the DOI in this record.Predictions of radionuclide dose rates to freshwater organisms can be used to evaluate the radiological environmental impacts of releases from uranium mining and milling projects. These predictions help inform decisions on the implementation of mitigation measures. The objective of this study was to identify how dose rate modelling could be improved to reduce uncertainty in predictions to non-human biota. For this purpose, we modelled the activity concentrations of 210Pb, 210Po, 226Ra, 230Th, and 238U downstream of uranium mines and mills in northern Saskatchewan, Canada, together with associated weighted absorbed dose rates for a freshwater food chain using measured activity concentrations in water and sediments. Differences in predictions of radionuclide activity concentrations occurred mainly from the different default partition coefficient and concentration ratio values from one model to another and including all or only some 238U decay daughters in the dose rate assessments. Consequently, we recommend a standardized best-practice approach to calculate weighted absorbed dose rates to freshwater biota whether a facility is at the planning, operating or decommissioned stage. At the initial planning stage, the best-practice approach recommend using conservative site-specific baseline activity concentrations in water, sediments and organisms and predict conservative incremental activity concentrations in these media by selecting concentration ratios based on species similarity and similar water quality conditions to reduce the uncertainty in dose rate calculations. At the operating and decommissioned stages, the best-practice approach recommends relying on measured activity concentrations in water, sediment, fish tissue and whole-body of small organisms to further reduce uncertainty in dose rate estimates. This approach would allow for more realistic but still conservative dose assessments when evaluating impacts from uranium mining projects and making decision on adequate controls of releases

A boom‐or‐bust approach — the ‘Glass Cannon’ hypothesis in host microbiomes

In Focus: Dunphy, CM, Vollmer, SV, Gouhier, TC. (2021) Host–microbial systems as glass cannons: Explaining microbiome stability in corals exposed to extrinsic perturbations. Journal of Animal Ecology, 90, 1044–1057. The importance of symbiotic microbial communities for the functioning of animal hosts is now well‐documented; however, the interactions between host microbiomes and stress are less well‐understood. Dunphy et al. used a common garden experiment to show that host–microbiomes vary in their resilience across different coral species. The authors then used mathematical modelling to provide novel evidence that species with microbiomes that are regulated by host processes are robust to perturbation from stressors, but that robustness comes at a higher cost to the host. Conversely, species with microbiomes that are regulated by microbial processes are generally much more resilient and cheaper to support, but when disrupted by external stressors, the communities break down entirely—these latter species are termed ‘glass cannons’. This novel hypothesis has important implications for how host microbiomes function in a rapidly changing world that exposes animal hosts to multiple biotic and abiotic perturbations

Protection of the environment from ionising radiation in a regulatory context (PROTECT): Assessment approaches – practicality, relevance and merits

In common with the assessment of chemical stressors many of the methods used for the assessment of risk of non-human biota exposed to radiation use tiered approaches. The initial tier within these approaches is designed to be simple and conservative with the aim to identify sites of negligible concern which can be excluded from more detailed assessment with a high degree of confidence. In this paper we compare the outputs of the screening tiers of three tools which are freely available as software packages. Outputs were compared for terrestrial and freshwater ecosystems assuming 1 Bq per unit media. Considerable variability between the risk quotients (RQ) estimated by the three approaches used was seen for some radionuclide-organism-ecosystem combinations. Reasons for this are explored with differences in transfer parameters used by the models being a common contributor. The large variation within RQ values estimated by the approaches requires further investigation as it does not promote the level of confidence required by the user. The practicalities of applying a single generic screening dose rate in assessments are also explored

Assessment of risk to wildlife from ionising radiation: can initial screening tiers be used with a high level of confidence?

A number of models are being used to assess the potential environmental impact of releases of radioactivity. These often use a tiered assessment structure whose first tier is designed to be highly conservative and simple to use. An aim of using this initial tier is to identify sites of negligible concern and to remove them from further consideration with a high degree of confidence. In this paper we compare the screening assessment outputs of three freely available models. The outputs of thesemodels varied considerably in terms of estimated risk quotient (RQ) and the radionuclide–organism combinations identified as being the most limiting. A number of factors are identified as contributing to this variability: values of transfer parameters (concentration ratios and Kd) used; organisms considered; different input options and how these are utilised in the assessment; assumptions as regards secular equilibrium; geometries and exposure scenarios. This large variation in RQ values between models means that the level of confidence required by users is not achieved. We recommend that the factors contributing to the variation in screening assessments be subjected to further investigation so that they can be more fully understood and assessors (and those reviewing assessment outputs) can better justify and evaluate the results obtained