Miracle-dz/UniFAR-FTUs huggingface dataset:
Title On the Logics with Propositional Quantifiers Extending S 5 Π Permalink

Scroggs’s theorem on the extensions of S5 is an early landmark in the modern mathematical studies of modal logics. From it, we know that the lattice of normal extensions of S5 is isomorphic to the inverse order of the natural numbers with infinity and that all extensions of S5 are in fact normal. In this paper, we consider extending Scroggs’s theorem to modal logics with propositional quantifiers governed by the axioms and rules analogous to the usual ones for ordinary quantifiers. We call them Π-logics. Taking S5Π, the smallest normal Π-logic extending S5, as the natural counterpart to S5 in Scroggs’s theorem, we show that all normal Π-logics extending S5Π are complete with respect to their complete simple S5 algebras, that they form a lattice that is isomorphic to the lattice of the open sets of the disjoint union of two copies of the one-point compactification of N, that they have arbitrarily high Turing-degrees, and that there are non-normal Π-logics extending S5Π.
VIBRATION AND DAMPING ANALYSIS OF FIBER REINFORCED COMPOSITE MATERIAL CONICAL SHELLS

Abstract A vibration and damping analysis based on individual layer deformation is presented for axisymmetric vibrations of laminated composite and material conical shells. The analysis includes consideration of bending, extension and transverse shear deformations in each of the laminate layers and also includes its rotary, meridional and circumferential translatory and transverse inertias. The Galerkin method has been applied for finding the approximate solutions for the simply supported conical shells. The correspondence principle of linear viscoelasticity has been used to evaluate the damping effectiveness of the shell. The variations of the resonance frequencies and of the associated system loss factors with fiber orientation angles and cone apex angles for axisymmetric vibrations of cross-ply and angle-ply fiber reinforced plastic conical shells are reported.
DL4NLP 2019 Proceedings of the First NLPL Workshop on Deep Learning for Natural Language Processing

Defining words in a textual context is a useful task both for practical purposes and for gaining insight into distributed word representations. Building on the distributional hypothesis, we argue here that the most natural formalization of definition modeling is to treat it as a sequenceto-sequence task, rather than a word-tosequence task: given an input sequence with a highlighted word, generate a contextually appropriate definition for it. We implement this approach in a Transformerbased sequence-to-sequence model. Our proposal allows to train contextualization and definition generation in an end-to-end fashion, which is a conceptual improvement over earlier works. We achieve stateof-the-art results both in contextual and non-contextual definition modeling.
Youth, Europe and the Nation: The Political Knowledge, Interests and Identities of the New Generation of European Youth

Europe is undergoing considerable demographic, economic, cultural and socio-political change. National citizenship identities have been challenged by the simultaneous processes of European integration and the migration of people into and across Europe. This paper explores how the current generation of youth relates towards Europe, and highlights the factors affecting their political knowledge, interests and identities. Although the article draws on mainly qualitative data from a study into the political identities of native youth and youth of Turkish descent in England and Germany, the results have implications for all European countries 1. The research indicates that, in countries which promote European agendas and where schools and curricula emphasise an inclusive concept of Europe (e.g. Goethe Gymnasium in Stuttgart), young people have high levels of knowledge about Europe and make Europe part of their hybrid identities. However, in countries where governments and schools marginalise European agendas (e.g. Millroad School in London), young people struggle to relate positively to Europe, especially in working-class contexts where national(istic) agendas come to the fore. The article raises important questions about the possibilities of promoting inclusive governmental and curriculum approaches and offers ways in which the knowledge and identity gaps between youth in different European countries could be addressed.
Body, head, and gaze orientation in portraits: Effects of artistic medium, date of execution, and gender

ABSTRACT Studies have found a tendency for heads in portraits to be oriented so that more of the left side than the right side of the face is visible, though it is stronger in female than in male portraits. Two studies are reported that set head orientation in the context of body and gaze orientation, and additionally look at effects of artistic medium (paintings, photographs, and drawings) and changes in the tendency over time. There was a strong congruency between body, head, and gaze orientation. In particular, body and head had the same orientation in more than three-quarters of the portraits in both samples. Gender differences were found only for paintings and only in Study 1. There were several strong effects of artistic medium; for example, frontal orientation of gaze was much less common in drawings than in paintings and photographs. There were also several changes over time; for example, frontal orientation of body and head tended to increase going into the twentieth century. The results show that body, head, and gaze direction need to be considered together, and hypotheses concerned only with head orientation cannot provide a complete explanation for posing orientation. Four possible approaches to explanations are briefly discussed.
The effects of experience on host acceptance in ovipositing moths

1. Most of empirical and theoretical studies treat egg load as a major determinant of insect oviposition behaviour, and predict a positive link between egg load and motivation to oviposit. 2. In the current study, the effect of egg load on the probability of laying eggs on a low-ranked host was examined in a moth Scotopteryx chenopodiata L. 3. The overall effect of egg load on oviposition behaviour was weak and inconsistent. As dependent on the date of catching and moth age, the effect of egg load was found either positive, absent, or negative. 4. These findings emphasize that the conventional assumption of higher egg load being related to higher motivation to oviposit needs not always to be met. The possibility that the effect of egg load may change in the course of adult life calls for caution in interpreting empirical results.
Mediating Effect of Cognitive Social Capital on the Relationship Between Physical Disability and Depression in Elderly People of Rural Pakistan

Cognitive social capital is crucial for mental wellbeing and physical disability in order to avoid late-life depression. The objective of this study was to investigate the mediating effect of cognitive social capital (interpersonal trust and reciprocity) on the relationship between physical disability and depression in elderly people of rural Pakistan. For this purpose, 146 respondents aged 60 years or above and residents of rural areas of district Muzaffargarh (Punjab, Pakistan) were approached for data collection. The questionnaire includes socio-demographic variables (gender, age, education, marital status, family system, living status, household income, and number of chronic diseases); the geriatric depressive symptoms scale (GDS-15) was used to measure depression, physical disability was evaluated through ADL and IADL scales, and cognitive social capital, which includes interpersonal trust and reciprocity, was measured using single-item questions. It was found that interpersonal trust, reciprocity, depression, and physical disability were significantly correlated with each other and physical disability was directly associated with depression. In mediation analysis, reciprocity mediated the relationship between physical disability and depression. Our findings highlight the need to enhance cognitive social capital interventions and develop policies to promote mental and physical health of rural elderly.
Prevalence of on-host ticks (Acari: Ixodidae) in small mammals collected from forest near to human vicinity in Selangor, Malaysia

Abstract Ticks are important vectors that transmit a variety of pathogenic microorganisms known to be medically important worldwide. Many vertebrate groups have become host to this organism, and their presence and abundance are an indicator of the condition of both host and its habitat. This study was conducted to determine tick's infestation and its prevalence on small mammal's residing in the recreational forests (RF) and semi-urban (SU) residential areas which have encountered Leptospirosis outbreak and cases in Hulu Langat, Selangor Malaysia. Trapping of the small mammals involved deploying two hundred cage traps in a systematic one-hectare plot (100 m × 100 m), as well as along the stream and forest trails at random. Ticks were extracted from the captured individual hosts. Identification of the tick species was performed based on morphological features and molecular approach using 16S rDNA and COI (cytochrome oxidase subunit I) genes. A total of 278 individuals of small mammals belonging to 15 species (13 Rodentia, 1 Scandentia and 1 Insectivora) were captured in the study areas. From these, 34 individuals from eight small mammal species were infested with ticks. The most infested host species was Muller's giant Sunda rat (Sundamys muelleri) with 5.80% (n=16). Ticks prevalence was slightly higher in RF with 6.40% (n=18) compared to SU with 5.80% (n=16). A total of 107 adult ticks (103 female and 4 male) were collected from the infested host. Ixodes granulatus was the most dominant tick species encountered (70.40%, n=85), followed by Dermacentor sp. (18.60%, n=20), while Amblyomma sp. was the least abundant (2%, n=2). This study provides information on tick species present and tick burden on small mammal hosts within the study areas. Our findings suggest that the visitors to the recreational forests and the residents of the semi-urban area were not only exposed to Leptospirosis bacteria but also tick bites and potentially tick-borne disease, therefore, precaution should be taken to avoid contact with small mammal hosts.
XAFS determination of the chemical form of lead in smelter-contaminated soils and mine tailings: Importance of adsorption processes

Abstract We investigated smelter-contaminated soils from Evin-Malmaison, Nord-Pas-de-Calais, France, and mine tailings from Leadville, Colorado, U.S.A. Bulk Pb concentrations range from 460 to 1900 ppm in the topsoils at Evin-Malmaison site and from 6000 to 10000 ppm in the tailings samples from the Leadville site. These concentrations necessarily raise human health and environmental concerns, but bioavailability and chemical lability of Pb in these materials vary dramatically and show little correlation with bulk concentrations. This study provides detailed information on the speciation of Pb in these materials. Emphasis is on the identification and characterization of poorly crystalline and/or fine-grained species, such as sorption complexes and poorly crystalline (co)precipitates, which are likely to control Pb bioavailability and mobility in these natural systems. Because these samples are heterogeneous, multi-phase mixtures, a variety of bulk analytical methods were used including powder X-ray diffraction (XRD) and Rietveld refinement, scanning electron microscopy, electron probe microanalysis, synchrotron-based Xray absorption, and micro-fluorescence spectroscopies. The synchrotron-based techniques enable identification of amorphous or nanocrystalline Pb-containing phases and the spatial distribution of Pb at the 25 μm scale. These techniques, in conjunction with physical and chemical separation techniques, allowed identification and characterization of several species not amenable to detection by conventional microanalytical techniques. In the Evin-Malmaison samples, direct spectroscopic evidence for Pb sorbed to humic acids was found, as well as to both manganese and iron (oxyhydr)oxides. In the Leadville samples, variations in Pb speciation with pH are consistent with predictions based on simplified model system studies of adsorption processes; specifically, the carbonate-buffered tailings with near-neutral pH contain up to 50% of total Pb as adsorption complexes on iron (oxyhydr)oxides, whereas Pb speciation in sulfide-rich low pH samples is dominated by Pb-bearing jarosites with no evidence for adsorbed Pb in these latter samples.
Role of microbial mats in Sulaibikhat Bay (Kuwait) mudflat food webs: evidence from δ13C analysis

Although microbial mats are known worldwide to contribute to trophic bases in shallow marine embayments, their role has yet to be ascertained for similar habitats in the Arabian Gulf region. In this study, stable carbon isotope analysis in conjunction with faecal and gut analyses were employed to evaluate the relative importance of microbial mats in the nutrition of macrofaunal consumers and their contribution to the exceptional biodiversity, abundance and biomass of species inhabiting Sulaibikhat Bay mudflats (2000-2001) in the absence of extensive macro-vegetation. Microbial mats were mainly composed of diatoms and cyanobacteria (approx. 70 and 30% respectively), with a reduction in the latter with decreasing intertidal gradient. Faeces of 5 out of the 6 species analysed contained both mat components at varying degrees. Diatoms occurred rarely in faeces of the high intertidal consumers, while cyanobacteria dominated the faeces of those occurring at lower levels. Gut analysis revealed that 6 out of the 9 species analysed contained mat residues. Primary producers had distinct δ 13 C values with microbial mats showing a heavy signature (-15.3%o) in comparison to the halophyte Salicornia herbacea (-24.7%o), phytoplankton (-21.6%o) and the mangrove Avicennia marina (-28.1%). The δ 13 C values for herbivorous, omnivorous and carnivorous macrofauna ranged between -9.4 and -15.3%o. It appears from this investigation that microbial mats form the primary source of nutrition for both benthic and pelagic macrofaunal species within the bay including commercially important species, and that selective assimilation/digestion of cyanophytes from the mats is the likely explanation for the relatively high enrichment in the δ 13 C signatures of species located along the higher intertidal zone.
A connection between the Kontsevich-Witten and Brezin-Gross-Witten tau-functions

The Brezin-Gross-Witten model is one of the basic examples in the class of non-eigenvalue unitary matrix models. In the Kontsevich phase, it is a tau-function for the KdV hierarchy. In this paper we present an explicit formula that connects the Kontsevich-Witten and Brezin-Gross-Witten tau-functions using the $\widehat{\mathfrak{sl}_2}$ operators, which preserves the KdV integrability. The differential operators used in the formula are simply the Virasoro and Heisenberg operators. While the geometric interpretation of the Brezin-Gross-Witten model remains unknown, the formula provides a possible way to identify this model with enumerative geometry invariants.
THE AUTOMATION OF THE CLASSIFICATION OF ECONOMIC ACTIVITIES FROM FREE TEXT DESCRIPTIONS USING AN ARRAY ARCHITECTURE OF PROBABILISTIC NEURAL NETWORK

— The automation of the categorization of economic activities from business descriptions in free text format is a huge challenge for the Brazilian governmental administration in the present day. So far, this task has been carried out by humans, not all of them well trained for this job. When this problem is tackled by humans, the subjectivity on their classiﬁcation brings another problem: diﬀerent human classiﬁers can give diﬀerent results when working on a set of same business descriptions. This can cause a serious distortion on the information for the planning and taxation of the governmental administrations on the three levels: County, Estate and Federal. Furthermore, the number of possible categories considered is very large, more than 1000 in the Brazilian scenario. The large number of categories makes the problem even more hard to be solved. We have applied an array of Probabilistic Neural Network nodes, each one of them specialized in dealing only with a small number of classes. We carried out a series of experiments with these probabilistic neural networks and the automatic classiﬁcation were better than 70% in all classes tested.
The effect of intra- and interspecific interactions on the large-scale distribution of cliff-nesting raptors

We examine the large-scale spatial distribution and the intra- and interspecific interactions in a cliff-nesting raptor community of a semi-arid Mediterranean area in southeastern Spain. The study community was composed of four top avian cliff-nesting predators: the Golden Eagle Aquila chrysaetos, the Bonelli’s Eagle Hieraaetus fasciatus, the Eagle Owl Bubo bubo and the Peregrine Falco peregrinus. We tested the null hypothesis that their nest sites were distributed randomly within the study area, and built regression models as a function of the nearest neighbour distances (NNDs) among them. During a 15-year research period, we found a total of 560 traditional nest sites. Only those of A. chrysaetos showed regular spacing over the study area, while the distributions of the other three species did not differ significantly from random. Our modelling approach demonstrated that intraspecific NNDs were important only for the two largest species, A. chrysaetos and H. fasciatus, suggesting intraspecific territorial spacing for A. chrysaetos, but a certain degree of spatial aggregation for H. fasciatus. In addition, the models suggested competitive interactions between these species. According to the relative importance of their interspecific NNDs, H. fasciatus appeared to be dominant over the smaller F. peregrinus. Strong interspecific interactions were also suggested between B. bubo and F. peregrinus . I ntraand interspecific relationships within the community followed a general pattern of dominance related to body mass. Notable exceptions were found especially for the interspecific interactions involving B. bubo, which may prey upon the other species.
Measuring Self-Congruity Using Human Personality and Brand Personality: The Effect of Personality Congruence on Brand Preference

Although positive effects of ‘matching’ self-concepts and brand images received considerable attention in consumer research, no generalized scales are available measuring both concepts using the human personality and brand personality frameworks. In this study, a scale is constructed that measures human personality dimensions as well as their corresponding brand personality dimensions with the same personality traits. Results obtained with this scale, show that four dimensions of human personality correspond with four dimensions of brand personality (extraversion and excitement, agreeableness and sincerity, conscientiousness and competence, openness to experience and sophistication). Regression analysis shows that about eight to eighteen percent of the variance in brand preference can be explained by personality congruence. Abstract Consumenten lijken een voorkeur te hebben voor merken die overeenkomen met hoe ze zichzelf zien, of hoe ze zichzelf graag zouden zien. Hoewel aangetoond is dat een dergelijke congruentie over het algemeen een positief effect heeft op de waardering van een merk, ontbreekt een manier om deze congruentie te meten aan de hand van menselijke persoonlijkheid en merkpersoonlijkheid. In dit onderzoek is een schaal geconstrueerd die zowel menselijke persoonlijkheidsdimensies als hun overeenkomstige merkpersoonlijkheidsdimensies meet met dezelfde karaktertrekken. Eerste resultaten, verkregen met deze schaal tonen aan dat vier dimensies van menselijke persoonlijkheid overeenkomen met vier dimensies van merkpersoonlijkheid. (extraversion en excitement, agreeableness en sincerity, conscientiousness en competence, openness to experience en sophistication). Regressieanalyse laat zien dat tussen de acht en achttien procent van de merkvoorkeur door persoonlijkheidscongruentie kan worden verklaard.Consumenten lijken een voorkeur te hebben voor merken die overeenkomen met hoe ze zichzelf zien, of hoe ze zichzelf graag zouden zien. Hoewel aangetoond is dat een dergelijke congruentie over het algemeen een positief effect heeft op de waardering van een merk, ontbreekt een manier om deze congruentie te meten aan de hand van menselijke persoonlijkheid en merkpersoonlijkheid. In dit onderzoek is een schaal geconstrueerd die zowel menselijke persoonlijkheidsdimensies als hun overeenkomstige merkpersoonlijkheidsdimensies meet met dezelfde karaktertrekken. Eerste resultaten, verkregen met deze schaal tonen aan dat vier dimensies van menselijke persoonlijkheid overeenkomen met vier dimensies van merkpersoonlijkheid. (extraversion en excitement, agreeableness en sincerity, conscientiousness en competence, openness to experience en sophistication). Regressieanalyse laat zien dat tussen de acht en achttien procent van de merkvoorkeur door persoonlijkheidscongruentie kan worden verklaard.
Journal of Reproduction and Development

This study aimed to examine the effect of rapamycin (autophagy inducer) and 3-methyladenine (3-MA, autophagy inhibitor) on the meiotic and developmental competencies of porcine oocytes derived from medium follicles (MF, 3–6 mm in diameter) and small follicles (SF, 1–2 mm in diameter) during in vitro maturation (IVM) process. The presence of 1 nM but not 10 nM rapamycin significantly increased the maturation rate of MF-derived oocytes (P < 0.05). However, the maturation rate of SF-derived oocytes was not affected by rapamycin at both concentrations (1 nM and 10 nM). The maturation rate of MF-derived oocytes decreased significantly (P < 0.05) in the presence of 0.2 mM but not 2 mM 3-MA than non-supplemented control. In contrast, in SF-derived oocytes, 3-MA at both 0.2 and 2 mM concentrations did not affect the maturation rates. The presence of 1 nM rapamycin significantly increased the blastocyst formation rate of MF-derived mature oocytes following parthenogenetic activation (P < 0.05). However, the blastocyst formation rate of SF-derived mature oocytes was not affected by the presence of rapamycin. The presence of 3-MA significantly reduced the blastocyst formation rate of MF-derived mature oocytes but did not change that of SF-derived oocytes. In conclusion, our study results show differences in activity of the autophagy inducer and inhibitor on the meiotic and developmental competencies of MFand SF-derived porcine oocytes.
The effects of resection of the peripheral branches of the posterior nasal nerves in the inferior turbinate, with special focus on olfactory dysfunction.

OBJECTIVE There are few detailed studies about peripheral branch resection of the posterior nasal nerves in the inferior turbinate; thus, this study aimed to investigate this. METHODS Patients who underwent submucosal turbinoplasty with or without resection of the peripheral branches of posterior nasal nerves in the inferior turbinate were included. RESULTS The resection of the posterior nasal nerves with turbinoplasty significantly reduced detection and recognition thresholds on olfactory testing. The rhinorrhoea severity, detection threshold and recognition threshold were significantly lower after resection of the posterior nasal nerves with turbinoplasty than after turbinoplasty alone, although there were no significant differences between the two groups before surgery. CONCLUSION This is the first study to show that the resection of the peripheral branches of the posterior nasal nerves in the inferior turbinate with turbinoplasty more effectively inhibits allergic symptoms compared with turbinoplasty alone. It also showed that the resection of the peripheral branches of the posterior nasal nerves can inhibit olfactory dysfunction.