Miracle-dz/UniFAR-FTUs huggingface dataset:
Vacation Posts on Facebook: A Model for Incidental Vicarious Travel Consumption

Vicarious consumption of travel is ubiquitous. However little is known about the psychological processes this initiates or the potential for resultant behaviors beyond direct steps toward patronage. We address this gap through developing and testing the incidental vicarious travel consumption model (IVTCM), which draws from well-established knowledge of the self-concept and compensatory consumption. In the context of vicariously consuming idyllic vacation posts on Facebook, the model identifies the following: individuals’ travel-related self-discrepancies may become active, leading to feelings of dejection, initiating five possible compensatory consumption behaviors (Direct, Symbolic, Dissociation, Escapism, Fluid). A sequential mixed-method design (total n=860) provides support for the IVTCM. The primary contributions of the paper are as follows: first the IVTCM can be used to understand different forms of vicarious travel consumption. Second, specific understanding on the impact of idyllic vacation posts is contributed, furthering knowledge on the role of social media within tourism.
1 Introduction to Feedstock Recycling of Plastics

ABBREVIATIONS ABS acrylonitrile–butadiene–styrene APP atactic polypropylene ASR automobile shredder residue EVA ethylene vinyl acetata HDPE high-density polyethylene HIPS high impact polystyrene LDPE low-density polyethylene Low (LD)PE low-molecular-weight polyethylene MSW municipal solid waste MW molecular weight PA polyamides, Trade Name Nylons PC polycarbonate PE polyethylene PET polyethylene terephthalate PIB polyisobutylene PP polypropylene PS polystyrene PTFE polytetrafluorethylene, Trade Name Teflon PU or PUR polyurethane PVC polyvinyl chloride WEEE waste electric and electronic equipment
1 Experiments and Game Theory : Cognition , Communication , Coordination , and Cooperation in Relationships

Experiments and Game Theory: Cognition, Communication, Coordination, and Cooperation in Relationships Vincent P. Crawford Prepared for Annual Review of Economics, Volume 11 (2019); this version 17 August 2018 Abstract: This review discusses selected work in experimental game theory. My goals are to further the dialogue between theorists and empiricists that has driven progress in economics and game theory, and to guide future experimental work. I focus on experiments whose lessons are relevant to establishing and maintaining coordination and cooperation in human relationships, the role of communication in doing so, and the underlying cognition. These are questions of central economic importance, where the gap between theory and experience and the role of experiments in closing it both seem large. Humans appear to be unique in their ability to use language to communicate and counterfactually manipulate mental models of the world and of other people, vital skills in relationships and other interactions. Continuing the dialogue should help explain why it matters that we can communicate, or whether it is via natural language or abstract signals; and of how communication shapes cooperation.
Cognitive Behaviour Therapy for Posttraumatic Stress in Schizophrenia. A Randomised Controlled Trial

*Correspondence: c.steel@reading.ac. uk. 1 School of Psychology and Clinical Language Sciences, University of Reading, Reading, U.K. 2 Department of Psychology, Institute of Psychiatry, Psychology & Neuroscience, London, U.K. 3North East London NHS Foundation Trust, U.K. 4Berkshire Healthcare NHS Foundation Trust, U.K. 5 Department of Biostatistics, Institute of Psychiatry, Psychology & Neuroscience, London, U.K. 6 Department of Mathematics and Statistics, University of Reading, Reading, U.K. 7 Center for Psychiatric Rehabilitation, Boston University, Boston, Massachusetts, USA. 8 Health Services Research, Institute of Psychiatry, Psychology & Neuroscience, London, U.K.
DC Microgrids and Multiple Microgrid Clusters

This paper performs an extensive review on control schemes and architectures applied to DC microgrids. It covers multi-layer hierarchical control schemes, coordinated control strategies, plug-and-play operations, stability and active damping aspects as well as nonlinear control algorithms. Islanding detection, protection and microgrid clusters control are also briefly summarized. All the mentioned issues are discussed with the goal of providing control design guidelines for DC microgrids. The future research challenges, from the authors’ point of view, are also provided in the final concluding part.
Herbs and Botanicals as Feed Additives in Monogastric Animals

Animal feed additives are used worldwide for many different reasons. Some help to cover the needs of essential nutrients and others to increase growth performance, feed intake and therefore optimize feed utilization. The health status of animals with a high growth performance is a predominant argument in the choice of feed additives. The use of feed additives is more and more questioned by the consumers. Therefore, the feed industry is highly interested in valuable alternatives which could be accepted by the consumers. Probiotics, prebiotics, enzymes and highly available minerals as well as herbs can be seen as alternatives. Herbs, spices and their extracts (botanicals) have a wide range of activities. They can stimulate feed intake and endogenous secretions or have antimicrobial, coccidiostatic or anthelmintic activity. A major field of application of herbs is the protection of animals and their products against oxidation.
A Survey of Interactive Theorem Proving

Fully formally verified mathematics and software are long-standing aims that became practically realizable with modern computer tools. Reasoning can be reduced to several basic logical principles, and performed using specialized software, with significant automation. Although full automation is not possible, three main paradigms are represented in formal reasoning tools: (i) decision procedures for special classes of problems, (ii) complete, but potentially unterminating proof search, (iii) checking of proof-sketches given by a human user while automatically constructing simpler proof steps. In this paper, we present a survey of the third approach, embodied in modern interactive theorem provers (ITP), also called proofassistants. These tools have been successfully developed for more than 40 years, and the current state-of-the-art tools have reached maturity needed to perform real-world large-scale formalizations of mathematics (e.g., Four-Color Theorem, Prime Number Theorem, and Feith-Thompson’s Odd Order theorem) and software correctness (e.g., substantial portions of operating systems and compilers have been verified). We discuss history of ITP, its logical foundations, main features of state-of-the-art systems, and give some details about the most prominent results in the field. We also summarize main results of the researchers from Serbia and personal results of the author. Mathematics Subject Classification (2010): Primary: 03-02, 03B35, 68T15;
Distribution of 1 lj-Hydroxysteroid Dehydrogenase along the Rabbit Nephron

It has been recently proposed that 11,8-hydroxysteroid dehydrogenase (1 1,-OHSD) is responsible for aldosterone tissue specificity. A 1 1#-OHSD deficiency has been invoked as a cause of the syndrome of apparent mineralocorticoid excess, and I If-OHSD inhibition by liquorice has been invoked to explain the hypertension induced by this drug. Since the renal tubule is composed of aldosterone-sensitive and insensitive segments, we determined the distribution of 11f-OHSD along the rabbit tubule. Pools of tubular segments isolated by microdissection were incubated for 2 h at 370C in the presence of I3Hlcorticosterone (3H-B, 8.10-9 M). Afterwards, the amounts of 3H-B and of the metabolite 11-dehydrocorticosterone (3H-A) were determined using HPLC analysis. In the proximal tubule, in either its convoluted or straight portion, and in the medullary thick ascending limb, the amount of 3H-A was 19.6±3.8% (n = 12), 17.9±3.4 (a = 8), and 15.0±2.2 (n = 4), respectively, of the sum of 3H-A + 3H-B. In the cortical ascending limb and the collecting tubule in its cortical and medullary parts, it was 74.7±6.8% (n = 4), 74.1±4.9 (n = 9) and 64.6±14.1 (n = 3), respectively. In both proximal and cortical collecting tubule, addition of carbenoxolone 8.10-4 M, an in-hibitor of 11fl-OHSD, almost completely inhibited the conversion of 3H-B to 3H-A. Thus, 11#-OHSD activity was high in the aldosterone-sensitive segments, and low in the aldoste-rone-insensitive segments. These results strongly favor the hypothesis that 1 1-OHSD is a key enzyme in mineralocorticoid tissue specificity along the rabbit nephron. They reinforce the notion that a defect in 11j-OHSD plays a major role in the syndrome of apparent mineralocorticoid excess and liquorice-induced hypertension. (J. Clin. Invest. 1990. 86:832-837.)
Running Head : Interaction of auxin and ERECTA in inflorescence architecture Corresponding

The aboveground body of higher plants is made of repeating shoot units. As such, the position, size, and shape of the individual shoot unit dictate the plant architecture. The Arabidopsis ERECTA (ER) gene regulates the inflorescence architecture by affecting elongation of the internode and pedicels, as well as the shape of lateral organs. A largescale activation tagging genetic screen was conducted in Arabidopsis for the aim of identifying novel genes and pathways that interact with the ERECTA locus. A dominant mutant, super1-D, was isolated as a nearly complete suppressor of a partial loss-offunction allele er-103. We found that SUPER1 encodes YUCCA5, a novel member of the YUCCA family of flavin monooxygenases. The activation-tagging of YUCCA5 conferred increased levels of free IAA, increased auxin response, and mild phenotypic characteristics of auxin overproducers, such as elongated hypocotyls, epinastic cotyledon and narrow leaves. Both genetic and cellular analyses indicates that auxin and ER pathway display largely additive effects with a complex interaction in regulating cell division and cell elongation during elaboration of inflorescence architecture.
Expected climate change impacts on soil erosion rates: A review

ABSTRACT: Global warming is expected to lead to a more vigorous hydrological cycle, including more total rainfall and more frequent high intensity rainfall events. Rainfall amounts and intensities increased on average in the United States during the 20th century, and according to climate change models they are expected to continue to increase during the 21st century. These rainfall changes, along with expected changes in temperature, solar radiation, and atmospheric C02 concentrations, will have significant impacts on soil erosion rates. The processes involved in the impact of climate change on soil erosion by water are complex, involving changes in rainfall amounts and intensities, number of days of precipitation, ratio of rain to snow, plant biomass production, plant residue decomposition rates, soil microbial activity, evapo-transpiration rates, and shifts in land use necessary to accommodate a new climatic regime. This paper reviews several recent studies conducted by the authors that address the potential effects of climate change on soil erosion rates. The results show cause for concern. Rainfall erosivity levels may be on the rise across much of the United States. Where rainfall amounts increase, erosion and runoff will increase at an even greater rate: the ratio of erosion increase to annual rainfall increase is on the order of 1.7. Even in cases where annual rainfall would decrease, system feedbacks related to decreased biomass production could lead to greater susceptibility of the soil to erode. Results also show how farmers9 response to climate change can potentially exacerbate, or ameliorate, the changes in erosion rates expected.
Big Data Analysis for 2 Media Production

9 ABSTRACT | A typical high-end film production generates 10 several terabytes of data per day, either as footage from 11 multiple cameras or as background information regarding the 12 set (laser scans, spherical captures, etc). This paper presents 13 solutions to improve the integration of the multiple data 14 sources, and understand their quality and content, which are 15 useful both to support creative decisions on-set (or near it) and 16 enhance the postproduction process. The main cinema specific 17 contributions, tested on amultisource production dataset made 18 publicly available for research purposes, are the monitoring 19 and quality assurance of multicamera set-ups, multisource 20 registration and acceleration of 3-D reconstruction, anthropo21 centric visual analysis techniques for semantic content annota22 tion, and integrated 2-D–3-D web visualization tools. We discuss 23 as well improvements carried out in basic techniques for 24 acceleration, clustering and visualization, which were neces25 sary to deal with the very large multisource data, and can be 26 applied to other big data problems in diverse application fields.
New Cultivation Methods for Anoectochilus formosanus Hayata

Anoectochilus formosanus Hayata is a beautiful orchid plant with ornamental and medicinal use in Taiwan. Growth of A. formosanus Hayata seedlings in vitro or ex vitro could be highly enhanced by the inoculation of orchid mycorrhizal fungi R02 or R04. R02 is a binucleate Ceratobasidium sp. AG-A while R04 is known as multinucleate Rhizoctonia solani, AG-6. In this orchid, we observed a tolypophagy-type of mycorrhizal infection with hyphae coil and pelotons formed in the cortex cells of roots. This orchid was very susceptible to Fusarium, Pythium spp. and mites during ex vitro growth. So how to grow this orchid without applying pesticides and insecticides became our prime concern. We developed a plastic bag cultivation method (PBCM) to grow A. formosanus plants in a 5 inch plastic pot with fermented bark compost as the growth medium, and every two of the 5 in. pots were covered with an OPP transparency plastic bag (9.2 × 7.5 × 30.0 cm) for protection of water loss, disease and mite infection. Thereafter, plants with PBCM were placed under benches in greenhouses or trees, until 6-8 months later for harvesting. No more water or fertilizer was needed and minimum labor was required during cultivation. This PBCM had been proved to be a very effective and low cost cultivation method for producing fungicideand insecticide-free A. formosanus for medicinal use.
Pitch Patterns in Vocal Expression of “Happiness” and “Sadness” in the Reading Aloud of Prose on the Basis of Selected Audiobooks

Abstract The primary focus of this paper is to examine the way the emotional categories of “happiness” and “sadness” are expressed vocally in the reading aloud of prose. In particular, the two semantic categories were analysed in terms of the pitch level and the pitch variability on a corpus based on 28 works written by Charles Dickens. passages with the intended emotional colouring were selected and the fragments found in the corresponding audiobooks. They were then analysed acoustically in terms of the mean F0 and the standard deviation of F0. The results for individual emotional passages were compared with a particular reader’s mean pitch and standard deviation of pitch. The differences obtained in this way supported the initial assumptions that the pitch level and its standard deviation would raise in “happy” extracts but lower in “sad” ones. Nevertheless, not all of these tendencies could be statistically validated and additional examples taken from a selection of random novels by other nineteenth century writers were added. The statistical analysis of the larger samples confirmed the assumed tendencies but also indicated that the two semantic domains may utilise the acoustic parameters under discussion to varying degrees. While “happiness” tends to be signalled primarily by raising F0, “sadness” is communicated mostly by lowering the variability of F0. Changes in the variability of F0 seem to be of less importance in the former case, and shifts in the F0 level less significant in the latter.
Midweek increase in U.S. summer rain and storm heights suggests air pollution invigorates rainstorms

[1] Tropical Rainfall Measuring Mission (TRMM) satellite estimates of summertime rainfall over the southeast U.S. are found on average to be significantly higher during the middle of the work week than on weekends, attributable to a midweek intensification of afternoon storms and an increase in area with detectable rain. TRMM radar data show a significant midweek increase in the echo-top heights reached by afternoon storms. Weekly variations in model-reanalysis wind patterns over the region are consistent with changes in convection implied by the satellite data. Weekly variations in rain gauge averages are also consistent with the satellite estimates, though possibly smaller in amplitude. A midweek decrease of rainfall over the nearby Atlantic is also seen. EPA measurements of surface particulate concentrations show a midweek peak over much of the U.S. These observations are consistent with the theory that anthropogenic air pollution suppresses cloud-drop coalescence and early rainout during the growth of thunderstorms over land, allowing more water to be carried above the 0°C isotherm, where freezing yields additional latent heat, invigorating the storms and producing large ice hydrometeors. The enhanced convection induces regional convergence, uplifting and an overall increase of rainfall. Compensating downward air motion suppresses convection over the adjacent ocean areas. Pre-TRMM-era data suggest that the weekly cycle only became strong enough to be detectable beginning in the 1980's. Rain-gauge data also suggest that a weekly cycle may have been detectable in the 1940's, but with peak rainfall on Sunday or Monday, possibly explained by the difference in composition of aerosol pollution at that time. This "weekend effect" may thus offer climate researchers an opportunity to study the regional climate-scale impact of aerosols on storm development and monsoon-like circulation.
Latitudinal trends in growth and phenology of the invasive alien plant Impatiens glandulifera (Balsaminaceae)

Geographical differentiation of populations can be interpreted as a result of adaptive processes in response to environmental gradients and biotic interactions. Such adaptations are particularly interesting in invasive alien species which have been present in an area for a relatively short time. There are few observations of latitudinal trends in alien plants, and no account exists for Impatiens glandulifera, a problematic annual weed in most countries of central and north‐western Europe. Here we describe variation in growth and phenology in 26 populations of this species from nine European regions in a common garden in Denmark. Above‐ground biomass (an estimate of fecundity), height and basal diameter were lower in the northern populations which were first to produce flowers. Some differences were also observed in biomass allocation to leaves, flowers and fruits, albeit without a latitudinal pattern. The latitudinal trends in growth and survival disappeared in a field experiment, probably due to suboptimal site conditions. Most variation in plant traits was explained by differences among regions with some minor effects of populations within regions. Besides latitude, no other geographical, climatic or population trait correlated with the observed differences in growth and phenology. Differences in latitude may mainly represent variation in length of the growing season. The causes and potential consequences of such latitudinal trends for population dynamics and dispersal of alien plants are discussed.
Sample preparation of 8-hydroxy-2’-deoxyguanosine with solid phase extraction methodology based on molecular imprinting polymers and conventional silica based phases

The aim of this study was to develop methods for sample preparation for 8-OHdG in blood plasma samples with different solid phase extraction techniques using HPLC with an elec- trochemical detector. The solid phase extraction cartridges used were Chromabond® C18, Oasis® MAX, and three types of SupelMIPTM cartridges for chloramphenicol, riboflavin, and nitroimidazoles. The SupelMIPTM cartridges are based on molecularly imprinted polymers- technique. The separation of 8-OHdG in samples extracted from blood plasma was carried out with a Thermo Quest Hypersil Division ODS column (250 mm × 4 mm, 3μm I.D.) and methanol:buffer (10:90, v/v) as mobile phase. Recovery and selectivity was studied for the different solid phase extraction methods. The highest recovery was obtained using the Chromabond C18 cartridge with a recovery of 92%, and CV coefficient 9.5% (n = 4). 8-OHdG could not be extracted on MIP-cartridges for chloramphenicol or riboflavin, but was retained on MIP columns for nitroimidazoles, and the highest recovery was 49%.
Learning Singer-Specific Performance Rules

This work investigates how opera singers manipulate timing in order to produce expressive performances that have common features but also bear a distinguishable personal style. We characterize performances not only relative to the score, but also consider the contribution of features extracted from the libretto. Our approach is based on applying machine learning to extract singer-specific patterns of expressive singing from performances by Josep Carreras and Placido Domingo. We compare and contrast some of these rules, and we draw some analogies between them and some of the general expressive performance rules existing in the literature.
AN AREA EFFICIENT FIRST ORDER POLYNOMIAL CONVOLUTION INTERPOLATION FOR VISUAL COMMUNICATION SYSTEMS

Image interpolation is widely used in various visual communication systems like digital television broadcasting, digital cameras, tablets, mobile phones and display devices. A better quality of the image can be obtained by using image interpolation with higher order polynomials which require complex computations. In addition to high performance, an area efficient implementation is preferred for a variety of consumer applications. The first order polynomial convolution interpolation (FOPCI) is an algorithm in which the first order polynomial is used to reduce the complexity and to maintain the image quality. This work uses low area weighting coefficient generator for FOPCI. The proposed low complexity very large scale integration (VLSI) architecture is implemented on Virtex VI field programmable gate array (FPGA). The proposed architecture works with 171 look-up tables (LUTs) and generates interpolated pixel at 0.402 ns. Further, clamp filtering technique is added as a pre-filter to increase the image quality. The experimental results show that the proposed FOPCI produces higher peak signal to noise ratio (PSNR) as 69.17 dB by comparing with other interpolation techniques. Thus, area efficient first order polynomial convolution image interpolation architecture is created by reducing number of components and by improving interpolated image quality, which is intended for visual communication systems with high image quality. Image