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

“Corona Cooking” : The interrelation between emotional response to the first lockdown during the COVID-19 pandemic and cooking attitudes and behaviour in Denmark

For this study, the authors measured attitudes toward shopping for food and cooking, before and during the first lockdown due to the COVID-19 pandemic, among a sample of 526 Danish consumers, using an online survey. To analyse changes due to the lockdown, they applied a latent class Markov model, which revealed four states: middle of the road, love cooking (and like shopping), like shopping and cooking, and do not like shopping or cooking. In estimating transition probabilities, the findings reveal that most respondents remained in the same state before and during the lockdown, but those that changed were more likely to exhibit relatively higher liking of shopping and cooking. These states also reflect variations in people’s food literacy and self-reported food consumption. Finally, respondents with stronger negative emotional reactions to the lockdown were more likely to change their states.© 2021 The Author(s). Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/)fi=vertaisarvioitu|en=peerReviewed

Understanding global patterns of domestic cannabis cultivation

Purpose – Unlike other plant-based drugs, cannabis is increasingly grown within the country of consumption, requires minimal processing before consumption, and can be easily grown almost anywhere using indoor or outdoor cultivation techniques. Developments in agronomic technologies have led to global growth in domestic cultivation, both by cannabis users for self- and social-supply, and by more commercially-oriented growers. Cross-national research is needed to better understand who is involved in domestic cultivation, the diversity in cultivation practices and motivations, and cultivators’ interaction with the criminal justice system and cannabis control policies. Design/methodology/approach – The article introduces the Global Cannabis Cultivation Research Consortium (GCCRC), describes its evolution and aims, and outlines the methodology of its ongoing cross-national online survey of cannabis cultivation. Findings – Despite differing national contexts, the GCCRC successfully developed a core questionnaire to be used in different countries. It accommodates varying research interests through the addition of optional survey sections. The benefits to forming an international consortium to conduct web-based survey research include the sharing of expertise, recruitment efforts and problem-solving. Research limitations/implications – The article discusses the limitations of using non-representative online sampling and the strategies used to increase validity. Originality/value – The GCCRC is conducting the largest cross-national study of domestic cannabis cultivation to date. The aim is not only to better understand patterns of cannabis cultivation and how they differ between countries but also to build upon online engagement methodology with hidden populations

The challenges and benefits of analyzing feedback comments in surveys: Lessons from a cross-national online survey of small-scale cannabis growers

It is common practice in survey questionnaires to include a general open and non-directive feedback question at the end, but the analysis of this type of data is rarely discussed in the methodological literature. While these open-ended comments can be useful, most researchers fail to report on this issue. The aim of this article is to illustrate and reflect upon the benefits and challenges of analyzing responses to open-ended feedback questions. The article describes the experiences of coding and analyzing data generated through a feedback question at the end of an international online survey with small-scale cannabis cultivators carried out by the Global Cannabis Cultivation Research Consortium. After describing the design and dataset of the web survey, the analytical approach and coding frame are presented. The analytical strategies chosen in this study illustrate the diversity and complexity of feedback comments which pose methodological challenges to researchers wishing to use them for data analyses. In this article, three types of feedback comments (political/policy comments, general comments of positive and negative appreciation, and methodological comments) are used to illustrate the difficulties and advantages of analyzing this type of data. The advantages of analyzing feedback comments are well known, but they seem to be rarely exploited. General feedback questions at the end of surveys are typically non-directive. If researchers want to use these data for research and analyses, they need a clear strategy. They ought to give enough thought to why they are including this type of question, and develop an analytical strategy at the design stage of the study

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

Curves of Placental Weights of Live-Born Twins

The purpose of this study is to present curves of estimated placental growth in twins and to evaluate the relative contribution of gestational age, zygosity, chorionicity, fusion of the placentas, sex of the individual and of the twin pair, site of the umbilical cord insertion, birth order, maternal age, and parity. Perinatal data and placental data were obtained from 6315 live-born twin pairs from the East Flanders Prospective Twin Survey. Of 4318 twin pairs, with no missing values, the placental weights of different gestational ages were analyzed using a nonlinear multivariate Gaussian regression. Two groups were distinguished: (1) twins with two separate placentas, and (2) twins with only one placental mass (one placenta in case of monochorionic twins or two fused placentas in case of dichorionic placentas). Overall, placental weight was influenced by gestational age, fusion of the placentas, and parity. In the case of one placental mass, monozygotic dichorionic twins had the lowest weights. If two separate placentas were present, birth order played a role in favor of the first-born twin. For parity and zygosity, the differences were most pronounced between 27 and 29 weeks, whereas the difference for birth order was most pronounced between 33 and 37 weeks. In conclusion, basic physiological characteristics, routinely examined at birth, influence placental weight. Taking these covariates into account allows a better evaluation of the placental weight given a gestational age, as an indicator of growth

Análisis de ADN Mitocondrial en restos de hijo putativo de Luis XVI, Rey de Francia y María Antonieta

Carl Wilhelm Naundorff fue sepultado en 1845 en Delft como Luis Charles, Duque de Normandía, “Luis XVII”. Sin embargo, el hijo de Luis XVI y María Antonieta-Luis XVII- falleció oficialmente en el templo de París en 1795. Con el fin de determinar la identidad de Naundorff, se comparó las secuencias de las ondas del ADNmitocondrial (ADNmt) de sus restos con las secuencias obtenidas a partir del cabello de dos hermanas de María Antonieta, de la misma María Antonieta, y con las secuencias obtenidas de las muestras del ADN de dos parientes maternos vivos. La secuencia del ADNmt de una muestra de hueso de Naundorff mostró dos diferencias en los nucleótidos en cuanto a la secuencia del de las tres hermanas y cuatro diferencias en las secuencias de los parientes maternos vivos basado en esta evidencia resulta muy remoto que Naundorff sea el hijo de María Antonieta

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