Miracle-dz/UniFAR-FTUs huggingface dataset:
ψ-epistemic theories: The role of symmetry

Formalizing an old desire of Einstein, “ψ-epistemic theories” try to reproduce the predictions of quantum mechanics, while viewing quantum states as ordinary probability distributions over underlying objects called “ontic states. ” Regardless of one’s philosophical views about such theories, the question arises of whether one can cleanly rule them out, by proving no-go theorems analogous to the Bell Inequality. In the 1960s, Kochen and Specker (who first studied these theories) constructed an elegant ψ-epistemic theory for Hilbert space dimension d = 2, but also showed that any deterministic ψ-epistemic theory must be “measurement contextual” in dimensions 3 and higher. Last year, the topic attracted renewed attention, when Pusey, Barrett, and Rudolph (PBR) showed that any ψ-epistemic theory must “behave badly under tensor product. ” In this paper, we prove that even without the Kochen-Specker or PBR assumptions, there are no ψ-epistemic theories in dimensions d ≥ 3 that satisfy two reasonable conditions: (1) symmetry under unitary transformations, and (2) “maximum nontriviality” (meaning that the probability distributions corresponding to any two non-orthogonal states overlap). This no-go theorem holds if the ontic space is either the set of quantum states or the set of unitaries. The proof of this result, in the general case, uses some measure theory and differential geometry. On the other hand, we also show the surprising result that without the symmetry restriction, one can construct maximally-nontrivial ψ-epistemic theories in every finite dimension d.
A proposal of the person-centered approach for personal task management

This paper proposes a human-centered approach for personal task management in which people can decide management of their tasks according to their environments, including their subjective and multivalent judgement and human relationships. In our approach task management is modeled as a decision-making process on their own resources. The human decision-making process consists of three types of activity, i.e., the intelligence activity, design activity, and choice activity. The proposed system assists each activity by three sub-systems, i.e., visualizer, optimizer and recommender respectively. At first, visualizer indicates the attributes associated with each task such as deadline, subjective priority, and workload, which are determined by the user. The optimizer generates executable schedules from these tasks using an active scheduler and multi-objective genetic algorithm. Finally, the recommender evaluates these alternatives using an analytic hierarchy process. The system is also able to analyze the human relationships of the user group using the PageRank algorithm, and this result is utilized to improve the performance of the task scheduler. We implement a client/server system which uses mobile phones and verify the function of the proposed system along the lines of two scenarios.
Continuous Avalanche Segregation of Granular Mixtures in Thin Rotating Drums

We study segregation of granular mixtures in the continuous avalanche regime (for frequencies above 1 rpm) in thin rotating drums using a continuum theory for surface flows of grains. The theory predicts profiles in agreement with experiments only when we consider a flux-dependent velocity of flowing grains. We find the segregation of species of different size and surface properties, with the smallest and roughest grains being found at the center of the drum. For a wide difference between the species we find a complete segregation in agreement with experiments. In addition, we predict a transition to a smooth segregation regime as the size ratio between the grains is decreased towards one.
Time series forecasting using fuzzy techniques

The aim of this contribution is to show the opportunities of applying of fuzzy time series models to predict multiple heterogeneous time series, given at International Time Series Forecasting Competition [http://irafm.osu. cz/cif/main.php]. The dataset of this competition includes 91 time series of different length, time frequencies and behaviour. In this paper the framework (algorithm) of multiple time series forecasting, based on fuzzy techniques, is proposed. We applied the traditional decomposition of time series, using F-transform technique. To identify the model of the time series three fuzzy time series models were tested: model, based on fuzzified time series values, model, based on fuzzified first differences of time series values and model, based on the fuzzy tendency. To choose the best model we introduce two step algorithm and new criteria in addition to well-known, based on linguistic description of time series fuzzy tendency. In the conclusion the received results are discussed and the efficiency of the proposed approach is shown.
Adverse events following primary and secondary immunisation with whole-cell pertussis: a systematic review protocol

Introduction Pertussis is a contagious respiratory illness caused by the bacterium Bordetella pertussis. Two types of vaccines are currently available against the disease: whole-cell pertussis (wP) and acellular pertussis (aP). With the shift of high-income countries from wP to aP as a result of adverse events following immunisation (AEFI), an upsurge in reported cases of pertussis has been noticed. Owing to this, it is proposed to use wP as a prime and aP for boost vaccination strategy. However, a comparison of the AEFI with the first doses of wP and aP are not clearly documented. Methods and analysis The primary outcomes of interest are AEFI with dose 1 of wP, subsequent doses of wP and dose 1 of aP. As a secondary outcome frequency of AEFI with wP will be compared with the AEFI of doses 2 and 3 of wP and dose 1 of aP. Electronic databases will be searched and two authors will screen the titles and abstracts of the output. Full texts will then be independently reviewed by the first author and two other authors. Qualifying studies will then be formally assessed for quality and risk of bias using a scoring tool. Following standardised data extraction, statistical analysis will be carried out using STATA. Where data are available, subgroup analyses will be performed. Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) guidelines will be followed in reporting the findings of the systematic review and meta-analysis. Ethics and dissemination No ethics approval is required as the systematic review will use only published data already in the public domain. Findings will be disseminated through publication in a peer-reviewed journal. Trial registration number This protocol has been registered with the International Prospective Register of Systematic Reviews (PROSPERO), registration number CRD42016035809.
Computing with faulty shared memory

This paper addresses problems which arise in the synchronization and coordination of distributed systems which employ unreliable shared memory. We present algorithms which solve the consensus problem, and which simulate reliable shared-memory objects, despite the fact that the available memory objects (e.g. read/write registers, test-and-set registers, read-modify-write registers) may be faulty.
Modeling the Relationships Between Cognitive-Linguistic Skills and Literacy Skills: New Insights From a Transparent Orthography

In this 1-year longitudinal study, we examined the central component processes of reading fluency, spelling accuracy, reading comprehension, and narrative text writing skills of 103 Turkish Cypriot children. Two cohorts of children from 2nd and 4th grades were followed into 3rd and 5th grades, respectively. The testing battery included the measures of phonological awareness, rapid automatized naming (RAN), vocabulary, listening comprehension, and working memory. In line with previous research evidence from other transparent orthographies, such as German (Wimmer & Mayringer, 2002), we have also found that whereas phonological awareness was the strongest predictor of spelling, RAN was a powerful predictor of reading fluency. The overall pattern of relationships were broadly in line with the models of reading comprehension and writing in English and further highlighted the central role of oral language skills in children's comprehension and writing. The results have also underscored the complexity of the relationships between reading fluency and reading comprehension and likewise between transcription skills and writing quality. Finally, it has become clear from the findings that there is a need for an integrated and comprehensive approach to the study of reading comprehension and writing. Taken together, the overall results suggested that alongside many similarities, there are distinct differences in the ways in which different component processes are related to different literacy skills that can be further influenced by the nature of the input language and orthography
ON THE RIESZ IDEMPOTENT FOR A CLASS OF OPERATORS

of the operator A, and let H(q) denote the class of A G Β (Η) for which Hq(A-XI) = (A 'I)~q(0) for all complex numbers λ and some integer q > 1. The class H(q) is large; it contains, amongst others, the classes consisting of generalized scalar, hyponormal, ρhyponormal (0 < ρ < 1) and M-hyponormal operators on a Hilbert space (see [3; 6; 11]. An operator of class H(q) is said to be algebraically class H(q), a H(q), if there exists a non constant polynomial ρ for which p(A) is a class H(q). Let A G Β (Η) and let λ G σ (A) be an isolated point of σ (A). If there exists a closed disk D χ centered at λ that satisfies D χ Π σ (Α) {λ}. The operator
Strong password-based authentication in TLS using the three-party group Diffie?Hellman protocol

The internet has evolved into a very hostile ecosystem where 'phishing' attacks are common practice. This paper shows that the three-party group Diffie-Hellman key exchange can help protect against these attacks. We have developed password-based ciphersuites for the Transport Layer Security (TLS) protocol that are not only provably secure but also believed to be free from patent and licensing restrictions based on an analysis of relevant patents in the area.
Microstrip Whispering-Gallery-Mode Resonator

Whispering gallery modes (WGMs) were exited in a new type of microstrip circular resonator formed under a conducting disc placed directly on or above a continuous dielectric layer. Resonance frequencies, quality factors, and distributions of the microwave field for different WGMs have been studied numerically and experimentally as a function of distance between metal and dielectric. An unloaded Q-factor up to 890 was obtained using polished copper disk and layer of single crystalline sapphire. Generalization of the known condition of the excitation of the WGMs in a dielectric medium is proposed.
The changing shape of the UK income distribution: kernel density estimates

Introduction There has recently been considerable popular and professional interest about what may have happened to the UK income distribution during the 1980s. Explaining what happened is predicated on establishing what the changes actually were and how different groups were affected, and yet there is a variety of ways in which the facts about the changing shape of the distribution could be persuasively summarised. Broad-brush overviews are tempting but they are likely to miss a lot of economically important features which fill out the picture of what really happened in the United Kingdom during the 1980s. There are several ways of making the picture richer. One could just provide many more numbers – lots of data for income classes and population groups, an array of statistics on dispersion – but in this chapter we argue the merits of an alternative, complementary, approach. We analyse in greater detail than hitherto the changes in the shape of the income distribution using graphical methods, and show how this analysis can be informative about the causes of the secular changes in income distribution in recent times. The motivation for our alternative approach is to let the facts speak for themselves as far as possible.
Infectious bursal disease virus is an icosahedral polyploid dsRNA virus

Viruses are a paradigm of the economy of genome resources, reflected in their multiplication strategy and for their own structure. Although there is enormous structural diversity, the viral genome is always enclosed within a proteinaceous coat, and most virus species are haploid; the only exception to this rule are the highly pleomorphic enveloped viruses. We performed an in-depth characterization of infectious bursal disease virus (IBDV), a non-enveloped icosahedral dsRNA virus with a bisegmented genome. Up to 6 natural populations can be purified, which share a similar protein composition but show higher sedimentation coefficients as particle density increases. Stoichiometry analysis of their genome indicated that these biophysical differences correlate with the copy number of dsRNA segments inside the viral capsid. This is a demonstration of a functional polyploid icosahedral dsRNA virus. We show that IBDV particles with greater genome copy number have higher infectivity rates. Our results show an unprecedented replicative strategy for dsRNA viruses and suggest that birnaviruses are living viral entities encompassing numerous functional and structural characteristics of positive and negative ssRNA viruses.
Personal diversity and diverse personalities in translation: a study of individual differences

Abstract Drawing from a recent study highlighting ways in which translators' personalities could be guiding the process of translation and the creation of patterns of behaviour that positively and negatively affected their target texts, that article presents some findings from the study and their implications for interdisciplinary research in translation studies. This article will demonstrate how the application of a methodology drawn from psychology to a corpus of 20 translators has permitted the suggestion that the presence of traits could influence their performance in translation, and become perceptible to potential target readers. Although context-bound, the study highlights correlations between a number of personality traits and translation quality, a finding which could have important implications for translator training. This article considers the argument that translation studies can benefit from importing concepts and methodologies from the field of personality psychology, but also that novice translators need to become more acutely aware of the different and individual ways in which they impact on target texts, and the resulting target readers’ perceptions of their work.
Intra-articular distension and steroids in the management of capsulitis of the shoulder.

OBJECTIVE--To determine whether there is any synergistic effect in the administration of intraarticular steroids with distension in the management of early capsulitis of the shoulder. DESIGN--Prospective randomised trial of three treatments--namely distension only, steroid only, and steroid with distension. SETTING--Academic department of orthopaedic and accident surgery at Queen's Medical Centre, Nottingham. SUBJECTS--47 patients (30 women) with capsulitis affecting 50 shoulders. INTERVENTIONS--Three intra-articular injections into the shoulder given at six week intervals by the same technique. MAIN OUTCOME MEASURES--Passive range of abduction, forward flexion, and external rotation; results of shoulder dynamometry measuring work done and torque produced; pain levels at rest and with resisted movement. RESULTS--All patients reported improvement during the study. Analysis of the mean improvements in abduction and forward flexion showed these to be significantly greater in the steroid with distension and steroid only groups than in the distension only group (mean improvements in abduction (degrees/week (95% confidence interval)) 4.3 (3.4 to 5.2), 3.4 (2.4 to 4.5), and 1.0 (-0.8 to 2.8) in the three groups respectively; mean improvements in flexion (degrees/week (95% confidence interval)) 3.6 (3.2 to 4.0), 3.3 (2.3 to 4.3), and 1.5 (0.5 to 2.5) respectively). Shoulder dynamometry failed to show a significant difference among the treatment groups. No severe complications occurred as a result of the injections, but two patients reported facial flushing related to the use of steroids. CONCLUSION--Intra-articular steroid injections have a useful role in the outpatient management of early capsulitis.
Annals of the New York Academy of Sciences the Von Economo Neurons in the Frontoinsular and Anterior Cingulate Cortex

The von Economo neurons (VENs) are large bipolar neurons located in the frontoinsular cortex (FI) and limbic anterior (LA) area in great apes and humans but not in other primates. Our stereological counts of VENs in FI and LA show them to be more numerous in humans than in apes. In humans, small numbers of VENs appear the 36th week postconception, with numbers increasing during the first 8 months after birth. There are significantly more VENs in the right hemisphere in postnatal brains; this may be related to asymmetries in the autonomic nervous system. VENs are also present in elephants and whales and may be a specialization related to very large brain size. The large size and simple dendritic structure of these projection neurons suggest that they rapidly send basic information from FI and LA to other parts of the brain, while slower neighboring pyramids send more detailed information. Selective destruction of VENs in early stages of frontotemporal dementia (FTD) implies that they are involved in empathy, social awareness, and self-control, consistent with evidence from functional imaging.
A High Accuracy Fuzzy Logic Based Map Matching Algorithm for Road Transport

Recent research on map matching algorithms for land vehicle navigation has been based on either a conventional topological analysis or a probabilistic approach. The input to these algorithms normally comes from the global positioning system (GPS) and digital map data. Although the performance of some of these algorithms is good in relatively sparse road networks, they are not always reliable for complex roundabouts, merging or diverging sections of motorways, and complex urban road networks. In high road density areas where the average distance between roads is less than 100 m, there may be many road patterns matching the trajectory of the vehicle reported by the positioning system at any given moment. Consequently, it may be difficult to precisely identify the road on which the vehicle is travelling. Therefore, techniques for dealing with qualitative terms such as likeliness are essential for map matching algorithms to identify a correct link. Fuzzy logic is one technique that is an effective way to deal with qualitative terms, linguistic vagueness, and human intervention. This article develops a map matching algorithm based on fuzzy logic theory. The inputs to the proposed algorithm are from GPS augmented with data from deduced reckoning sensors to provide continuous navigation. The algorithm is tested on different road networks of varying complexity. The validation of this algorithm is carried out using high precision positioning data obtained from GPS carrier phase observables. The performance of the developed map matching algorithm is evaluated against the performance of several well-accepted existing map matching algorithms. The results show that the fuzzy logic-based map matching algorithm provides a significant improvement over existing map matching algorithms both in terms of identifying correct links and estimating the vehicle position on the links.
ANALISIS PENERAPAN GREEN ACCOUNTING BERBASIS UNIVERSITY SOCIAL RESPONSIBILITY (USR) PADA UNIVERSITAS RIAU KEPULAUAN DAN UNIVERSITAS INTERNASIONAL BATAM

Penelitian ini bertujuan untuk mengetahui apakah terdapat perbedaan perhatian, tanggung jawab, pelaporan akuntansi lingkungan, dan audit lingkungan antara Universitas Riau Kepulauan dan Universitas Internasional Batam. Penelitian ini menggunakan data kuantitatif. Populasi penelitian ini meliputi pejabat struktural pada Universitas Riau Kepulauan dan Universitas Internasional Batam dengan masing-masing berjumlah 60 orang. Teknik pengambilan sampel dengan menggunakan teknik sampel acak (random sampling). Metode pengumpulan data menggunakan kuesioner dengan menggunakan Google Form. Metode analisis data menggunakan Independent Sample T-Test dan Mann Whitney U-Test dengan alat analisis SPSS 20.Hasil Penelitian ini menunjukkan bahwa terdapat perbedaan antara Universitas Riau Kepulauan dan Universitas Internasional Batam untuk variabel Keterlibatan dan Pelaporan Lingkungan, sedangkan tidak terdapat perbedaan yang signifikan antara Universitas Riau Kepulauan dan Universitas Internasional Batam untuk variabel Kesadaran dan Audit Lingkungan.Kata kunci : Green Accounting; University Social Responsibility; Kuantitatif
Merkel Cell Polyomavirus Infection, Large T Antigen, Retinoblastoma Protein and Outcome in Merkel Cell Carcinoma

Purpose: Merkel cell carcinoma (MCC) is rare skin cancer that is often associated with Merkel cell polyomavirus (MCPyV) infection. Polyomaviruses repress tumor suppressor proteins, thus influencing cell-cycle progression, but the effect of MCPyV on the key cell-cycle regulating proteins is poorly understood. Experimental Design: We evaluated expression of the MCPyV large T-antigen (LTA), Ki-67, and the key putative tumor suppressor proteins, the retinoblastoma protein (RB and phospho-RB) and p53, and their regulatory proteins (cyclin D1, cyclin E, p16, p21, p27, and MDM2) by using immunohistochemistry from tumors of 91 MCC patients identified from a population-based nationwide cohort. Tumor MCPyV DNA was measured by using quantitative PCR, and TP53 mutations were identified with sequencing. Results: MCPyV LTA expression was strongly associated with presence of MCPyV DNA in tumor, and it was almost invariably associated with tumor RB expression (P < 0.0001 for both comparisons). Both MCC LTA and RB expression were strongly associated with favorable MCC-specific and overall survival in univariable analyses (P ≤ 0.01 for all four analyses). Presence of MCPyV LTA was also associated with the female gender, the intermediate type of tumor histology, location of the tumor in a limb, cell proliferation rate, and absence of p53 expression. TP53 mutations were detected only in MCPyV DNA–negative tumors. Conclusions: MCPyV DNA–positive MCC has several clinical and molecular features that differ from MCPyV DNA-negative cancers. MCPyV-associated MCCs express RB, but may not harbor TP53 mutations. These findings provide further support that MCPyV causes the majority of MCCs. Clin Cancer Res; 17(14); 4806–13. ©2011 AACR.
Finite Element Simulation and Experiment of Chip Formation Process during High Speed Machining of AISI 1045 Hardened Steel

As an advanced manufacturing technology which has been developed rapidly in recent years, high speed machining is widely applied in many industries. The chip formation during high speed machining is a complicated material deformation and removing process. In research area of high speed machining, the prediction of chip morphology is a hot and difficult topic. A finite element method based on the software ABAOUS which involves Johnson-Cook material model and fracture criterion was used to simulate the serrated chip morphology and cutting force during high speed machining of AISI 1045 hardened steel. The serrated chip morphology and cutting force were observed and measured by high speed machining experiment of AISI 1045 hardened steel. The effects of rake angle on cutting force, sawtooth degree and space between sawteeth were discussed. The investigation indicates that the simulation results are consistent with the experiments and this finite element simulation method presented can be used to predict the chip morphology and cutting force accurately during high speed machining of hardened steel. Index Terms—finite element simulation, high speed machining, serrated chip, chip formation, hardened steel