Acceptability with general orderings

We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis, but we apply these orderings directly to the logic program and not to the term-rewrite system obtained through some transformation. We define some variants of acceptability, based on general orderings, and show how they are equivalent to LD-termination. We develop a demand driven, constraint-based approach to verify these acceptability-variants. The advantage of the approach over standard acceptability is that in some cases, where complex level mappings are needed, fairly simple orderings may be easily generated. The advantage over transformational approaches is that it avoids the transformation step all together. {\bf Keywords:} termination analysis, acceptability, orderings.Comment: To appear in "Computational Logic: From Logic Programming into the Future

Upscaling the housing renovation market through far-reaching industrialization

The European existing building stock contributes to 40% of the total energy use and 36% of the CO2 emissions. To deal with the climate crisis, European climate and energy objectives were defined. By 2050, CO2 emissions should be cut to 80-95% compared to 1990 and all buildings must be energy-neutral. The North-Sea Region alone consists of 22 million outdated dwellings built between 1950 and 1985 that are in high need of renovation. Nowadays, the renovation industry applies mainly manual on-site renovation techniques, resulting in a low renovation pace, relatively high labour costs and a long duration. To tackle the urgent need for rapid renovations, six countries of the North-Sea Region collaborate to upscale the current renovation process in the Interreg project INDU-ZERO "Industrialization of house renovations toward energy-neutral". The project focuses on modular prefabricated renovation packages with fully integrated HVAC technologies to arrive at energy-neutral dwellings. The project researches the possibilities of far-reaching automated and industrialized production processes. A smart factory blueprint will be designed to speed up the renovation pace to a target of 15,000 renovation packages per year per factory while cutting the current price with 50%. This contribution focuses on three main topics: material use, operational energy use and transport. Firstly, the reasoning behind the renovation package design is explained. Next, the packages are adopted on an archetype dwelling to document the thermal performance before and after renovation. Finally, the associated logistics are studied. To summarize each individual research in a blanket result, the environmental impact is determined and compared to the non-renovated dwelling

Growing medicine: Small-scale cannabis cultivation for medical purposes in six different countries

Background: The production and consumption of cannabis for the treatment of medical conditions is of increasing importance internationally; however, research on different aspects of the phenomenon is still scarce. In this article, we report findings from a cross-cultural study of small-scale cannabis cultivation for medical purposes. This kind of comparative study has not been done previously. Methods: The data were gathered with a help of web surveys conducted by the Global Cannabis Cultivation Research Consortium (GCCRC) in Australia, Belgium, Denmark, Finland, Germany and the UK (N = 5313). In the analysis we compare reports of medical motives, for what conditions cannabis is used, whether users have diagnoses for these conditions and whether the use of cannabis been recommended as a treatment of those conditions by a medical doctor. Descriptive statistics are used to show the main commonalities and noteworthy disparities across different countries. Results: Findings from countries were quite similar, even though several national differences in details were found. Growing cannabis for medical purposes was widespread. The majority of medical growers reported cultivating cannabis for serious conditions. Most of them did have a formal diagnosis. One fifth had got a recommendation from their doctor, but in most cases cannabis use was self-medication which was not discussed with their doctors. Conclusion: There is a wider demand for licit access for medical cannabis than currently available in these countries. Ideologically, medical growers can be seen distancing themselves from both the legal and illicit drug markets. From a harm reduction perspective, it is worrying that, in the context of present health and control policies in these countries, many medical growers are using cannabis to treat serious medical conditions without proper medical advice and doctor's guidance

Reviews

The following publications have been reviewed by the mentioned authors;Art and Society One. War by Ken Baynes, reviewed by Ronald FrankenbergArt and Society Two. Work by Ken Baynes and Alan Robinson, reviewed by Ronald FrankenbergArt and Society Three. Worship by Ken and Kate Baynes, reviewed by Ronald FrankenbergArt and Science by Dolf Rieser, reviewed by M. K. PaffardA COMMON SYSTEM OF EXAMINING AT 16+ by the Schols Council Examinations Bulletin No.23, reviewed by W. G. SkinnerSchool Resource Centres, the Schools Council Working Paper 43, reviewed by L. BroughA History of English Furniture by John Harrison, reviewed by S. J. EgglestonTrends in School Design by Eric Pearson, reviewed by P. K. BodenWorking Space, A Place to Paint, Language Aeas by Jason Dean, reviewed by P. K. BodenAlive to Art by Jose Llobera, reviewed by John LancasterVisual Education in the primary school by John M. Pickering, reviewed by L. BroughArt & Design Cards. Packs 1 & 2 by Ian Pillinger, reviewed by Francis ZankerWorkshop Assignments, Book One by S. Dunkerley & A. Huxton, reviewed by L. BroughStep By Step Metalwork, Book 3 by Kenneth Wells, reviewed by M. SayerIntroducing Jewellery Making by John Crawford, reviewed by John DecorteMaggie Hayes Jewellery Book by Maggie Hayes, reviewed by S. J. Egglesto

Combining norms to prove termination

Automatic termination analyzers typically measure the size of terms applying norms which are mappings from terms to the natural numbers. This paper illustrates how to enable the use of size functions defined as tuples of these simpler norm functions. This approach enables us to simplify the problem of deriving automatically a candidate norm with which to prove termination. Instead of deriving a single, complex norm function, it is sufficient to determine a collection of simpler norms, some combination of which, leads to a proof of termination. We propose that a collection of simple norms, one for each of the recursive data-types in the program, is often a suitable choice. We first demonstrate the power of combining norm functions and then the adequacy of combining norms based on regular-types

The assessment of neuromuscular fatigue during 120 min of simulated soccer exercise

Purpose This investigation examined the development of neuromuscular fatigue during a simulated soccer match incorporating a period of extra time (ET) and the reliability of these responses on repeated test occasions. Methods Ten male amateur football players completed a 120 min soccer match simulation (SMS). Before, at half time (HT), full time (FT), and following a period of ET, twitch responses to supramaximal femoral nerve and transcranial magnetic stimulation (TMS) were obtained from the knee-extensors to measure neuromuscular fatigue. Within 7 days of the first SMS, a second 120 min SMS was performed by eight of the original ten participants to assess the reliability of the fatigue response. Results At HT, FT, and ET, reductions in maximal voluntary force (MVC; −11, −20 and −27%, respectively, P ≤ 0.01), potentiated twitch force (−15, −23 and −23%, respectively, P < 0.05), voluntary activation (FT, −15 and ET, −18%, P ≤ 0.01), and voluntary activation measured with TMS (−11, −15 and −17%, respectively, P ≤ 0.01) were evident. The fatigue response was robust across both trials; the change in MVC at each time point demonstrated a good level of reliability (CV range 6–11%; ICC2,1 0.83–0.94), whilst the responses identified with motor nerve stimulation showed a moderate level of reliability (CV range 5–18%; ICC2,1 0.63–0.89) and the data obtained with motor cortex stimulation showed an excellent level of reliability (CV range 3–6%; ICC2,1 0.90–0.98). Conclusion Simulated soccer exercise induces a significant level of fatigue, which is consistent on repeat tests, and involves both central and peripheral mechanisms

Not particularly special: critiquing ‘NPS’ as a category of drugs

Novel Psychoactive Substances (NPS) have been a dominant feature of drug discourse for many years now and, in academic, policy and public discourse, have become established as a new – and by implication, distinct – category of drugs. We argue that this understanding of NPS is fundamentally problematic. Differences within the category are obscured, as are similarities between NPS and more established categories of drugs. Focusing on NPS as something new, different or particularly special is misleading and counterproductive and can have serious consequences in terms of understanding the bigger picture in relation to illegal drugs more generally. This has led to overestimations of the size of the NPS problem, obfuscation of the common underlying causes of dependent drug use, and the implementation of significant and problematic policy changes. Further, a failure to see the rise in NPS as just one of a number of emerging trends in contemporary drug scenes, alongside the development of online markets or the rise in domestic drug production operations, for example, impairs our ability to understand the wider societal, cultural and theoretical underpinnings of drug use. NPS are not particularly special: treating them as such can have dangerous and far-reaching consequences

Toward Male Individualization with Rapidly Mutating Y-Chromosomal Short Tandem Repeats

Peer reviewe

Human subcortical brain asymmetries in 15,847 people worldwide reveal effects of age and sex

The two hemispheres of the human brain differ functionally and structurally. Despite over a century of research, the extent to which brain asymmetry is influenced by sex, handedness, age, and genetic factors is still controversial. Here we present the largest ever analysis of subcortical brain asymmetries, in a harmonized multi-site study using meta-analysis methods. Volumetric asymmetry of seven subcortical structures was assessed in 15,847 MRI scans from 52 datasets worldwide. There were sex differences in the asymmetry of the globus pallidus and putamen. Heritability estimates, derived from 1170 subjects belonging to 71 extended pedigrees, revealed that additive genetic factors influenced the asymmetry of these two structures and that of the hippocampus and thalamus. Handedness had no detectable effect on subcortical asymmetries, even in this unprecedented sample size, but the asymmetry of the putamen varied with age. Genetic drivers of asymmetry in the hippocampus, thalamus and basal ganglia may affect variability in human cognition, including susceptibility to psychiatric disorders