Miracle-dz/UniFAR-FTUs huggingface dataset:
The Robin problem for the Helmholtz equation in a starlike planar domain

Abstract The interior and exterior Robin problems for the Helmholtz equation in starlike planar domains are addressed by using a suitable Fourier-like technique. Attention is in particular focused on normal-polar domains whose boundaries are defined by the so-called “superformula” introduced by J. Gielis. A dedicated numerical procedure based on the computer algebra system Mathematica© is developed in order to validate the proposed approach. In this way, highly accurate approximations of the solution, featuring properties similar to the classical ones, are obtained. The computed results are found to be in good agreement with the theoretical findings on Fourier series expansion presented by L. Carleson.
Personalized recommender system based on item taxonomy and folksonomy

Item folksonomy or tag information is popularly available on the web now. However, since tags are arbitrary words given by users, they contain a lot of noise such as tag synonyms, semantic ambiguities and personal tags. Such noise brings difficulties to improve the accuracy of item recommendations. In this paper, we propose to combine item taxonomy and folksonomy to reduce the noise of tags and make personalized item recommendations. The experiments conducted on the dataset collected from Amazon.com demonstrated the effectiveness of the proposed approaches. The results suggested that the recommendation accuracy can be further improved if we consider the viewpoints and the vocabularies of both experts and users.
Module 12 : An Olio of Topics in Applied Probabilistic Reasoning

The last module is a collection of topics in applied probabilistic reasoning that were all too small to command their own separate modules. Topics include: 1) the randomized response method as a way of asking sensitive questions and hopefully receiving truthful answers; 2) the use of surrogate end points (or proxies) in the study of some phenomenon where the connections to “real” outcomes of interest (for example, to mortality) are indirect and probabilistically linked (for example, to lowered cholesterol levels); 3) the comparison between a normative theory of choice and decision making derived from probability theory and actual human performance; 4) permutation tests and statistical inference derived directly from how a randomized controlled study was conducted. As an oddity that can occur for this type of statistical inference procedure, the famous 1954 Salk polio vaccine trials are discussed. Also, three brief subsections are given that summarize the jackknife, the bootstrap, and permutation tests involving correlational measures. This latter material is provided in an abbreviated form suitable for slide presentation in class, and where further explanatory detail would be given by an instructor.
Consistency of Replicated Log for Service Recovery

The requirements in terms of reliability and availability have become crucial in the context of many modern information systems. Therefore, fault-tolerance support in these systems becomes pivotal. Among possible techniques used to increase fault-tolerance are checkpointing and message logging. Both, checkpoint and message log, are commonly said to be saved in a stable storage, which is an abstraction of a perfect storage, that survives failures, and thus ensures the stability of recovery data. In this paper, we propose to implement a stable storage abstraction by replicating logs that contain recovery information. For this purpose, we introduce the eager request replication protocol, and discuss its functioning in case a failure of any system component occurs. The proposed solution is especially tailored for the service oriented systems, though it is not limited to them.
Interchange instability in an accretion discwith a poloidal magnetic

We investigate the stability to nonaxisymmetric perturbations of an accretion disc in which a poloidal magnetic eld provides part of the radial support against gravity. Interchange instability due to radial gradients in the magnetic eld are strongly stabilized by the shear ow in the disc. For smooth eld distributions this instability is restricted to discs in which the magnetic energy is comparable to the gravitational energy. An incom-pressible model for the instability akin to the Boussinesq approximation for convection is given which predicts the behaviour of the instability accurately. Global axisymmetric disturbances are also considered and found to be stable for a certain class of models. The results indicate that accretion discs may be able to support poloidal elds which are strong enough to suppress other forms of magnetic instability. These strong and stable eld distributions are likely to be well suited for the magnetic acceleration of jets and winds.
Support for democracy and liberal sexual mores among Muslims in Western Europe

ABSTRACT There is an on-going debate whether a ‘clash of civilizations’ exists between Islam and the West, in particular in relation to support for democracy and endorsement of liberal sexual mores. This study aims to explain Muslim minorities’ support for democracy and their attitude towards these mores by making a comparison with majority members and by considering the level of religiosity and sense of national belonging. Using data from four European countries (Belgium, Germany, U.K., Switzerland), we found that Muslims compared to majority members were less supportive of democracy and of liberal sexual mores. Furthermore, these differences could be explained by Muslims’ higher level of religiosity and weaker national belonging (for liberal sexual mores). These findings demonstrate that the so-called ‘clash’ is more prominent in the case of liberal sexual mores than democracy and that not only religiosity but also the development of a sense of national belonging is important.
An aerostatic bearing device with arrayed restrictors for roll-to-roll printed electronics

High precision overlay alignment is of great importance to guarantee the quality of Roll-to-Roll printed electronics (R2RPE) products. Aiming at removing machining and assembling errors of the roller with both support and transport uses, an aerostatic bearing device with arrayed restrictors is proposed. In this paper the design of the whole device is presented. The mathematical model of the air film existed between the flexible substrate and the aerostatic bearing device is given by adopting simplified Navier-Stokes equations. In order to modeling the pressure distribution of the air film, numerical simulation is processed with Computational Fluid Dynamics (CFD) software FLUENT. Load capacity curve and stiffness cure are generated to optimize the size and distribution of restrictors on the device. The simulation results indicate that: 1) air film with homogeneous pressure distribution is obtained from the designed arrayed restrictors; 2) diameter of the restrictors has a major influence on load capacity and stiffness when the number of the restrictors reaches a certain quantity.
Longitudinal influences of depressive moods on problematic mobile phone use and negative school outcomes among Korean adolescents

The study aimed to examine the longitudinal causal relationships of depressive moods, problematic mobile phone use, and negative school outcomes based on the cognitive-behavioral model among Korean adolescents. The changes within each construct over time were also explored. A total of 1,610 valid responses from three-year longitudinal data from the Korean Children and Youth Panel Survey were analysed and multivariate latent growth modeling was used. Depressive moods, problematic mobile phone use, and negative school outcomes at earlier ages each increased in severity across the three years. Initial levels of depressive moods increased initial levels of problematic mobile phone use and negative school outcomes, including changed rates of negative school outcomes. Additionally, changed rates of depressive moods positively predicted changed rates of problematic mobile phone use and negative school outcomes. Lastly, initial levels and changed rates of problematic mobile phone use predicted initial levels and changed rates of negative school outcomes respectively. Implications of the findings in the context of adolescents' psychological problems and problematic mobile phone use are discussed.
Psychiatric manifestations of neurocysticercosis: a study of 38 patients from a neurology clinic in Brazil.

OBJECTIVE: To determine the frequency and features of psychiatric morbidity in a cross section of 38 outpatients with neurocysticercosis. METHODS: Diagnosis of neurocysticercosis was established by CT, MRI, and CSF analysis. Psychiatric diagnoses were made by using the present state examination and the schedule for affective disorders and schizophrenia-lifetime version; cognitive state was assessed by mini mental state examination and Strub and Black's mental status examination. RESULTS: Signs of psychiatric disease and cognitive decline were found in 65.8 and 87.5% of the cases respectively. Depression was the most frequent psychiatric diagnosis (52.6%) and 14.2% of the patients were psychotic. Active disease and intracranial hypertension were associated with higher psychiatric morbidity, and previous history of mood disorders was strongly related to current depression. Other variables, such as number and type of brain lesions, severity of neuropsychological deficits, epilepsy, and use of steroids did not correlate with mental disturbances in this sample. CONCLUSIONS: Psychiatric abnormalities, particularly depression syndromes, are frequent in patients with neurocysticercosis. Although regarded as a rare cause of dementia, mild cognitive impairment may be a much more prevalent neuropsychological feature of patients with neurocysticercosis. The extent to which organic mechanisms related to brain lesions may underlie the mental changes is yet unclear, although the similar sex distribution of patients with and without depression, as well as the above mentioned correlations, provide further evidence of the part played by organic factors in the cause of these syndromes.
Phenotype Comparison of MLH1 and MSH2 Mutation Carriers in a Cohort of 1,914 Individuals Undergoing Clinical Genetic Testing in the United States

Background and Aims: Lynch syndrome is caused by germ-line mismatch repair gene mutations. We examined the phenotypic differences between MLH1 and MSH2 gene mutation carriers and whether mutation type (point versus large rearrangement) affected phenotypic expression. Methods: This is a cross-sectional prevalence study of 1,914 unrelated probands undergoing clinical genetic testing for MLH1 and MSH2 mutations at a commercial laboratory. Results: Fifteen percent (285 of 1,914) of subjects had pathogenic mutations (112 MLH1, 173 MSH2). MLH1 carriers had a higher prevalence of colorectal cancer (79% versus 69%, P = 0.08) and younger mean age at diagnosis (42.2 versus 44.8 years, P = 0.03) than MSH2 carriers. Forty-one percent of female carriers had endometrial cancer and prevalence was similar in both groups. Other cancers were more frequent in MSH2 carriers (24% versus 9%, P = 0.001) and their families (P < 0.001). Multivariable analyses confirmed these associations. Of the 1,016 subjects who underwent Southern blot analysis, 42 had large rearrangements (7 MLH1, 35 MSH2). There were no phenotypic differences between carriers with large rearrangements and point mutations. Conclusions: In this large study of mismatch repair gene mutation carriers from the United States, MLH1 carriers had more colorectal cancer than MSH2 carriers whereas endometrial cancer prevalence was similar. Large genomic rearrangements were more frequent in the MSH2 gene. MSH2 carriers and their relatives have more extracolonic nonendometrial Lynch syndrome–associated cancers and may benefit from additional screening. (Cancer Epidemiol Biomarkers Prev 2008;17(8):2044–51)
Screening for lung cancer: a review

Purpose of review After the disappointing results of lung cancer screening trials conducted in the 1960s to the 1980s, a renewed interest in lung cancer screening emerged in the 1990s with the development of new technologies such as low-dose spiral CT. The literature regarding screening with biomarkers and CT continues to expand rapidly. Recent findings Although the specificity of CT screening is relatively poor, the sensitivity for the detection of early-stage cancers, particularly adenocarcinoma, is considerably superior to that of chest radiography used in older screening trials. The results of uncontrolled cohort studies of CT screening are promising, but such studies are susceptible to screening biases such as overdiagnosis. Summary There is insufficient evidence to support widespread screening in current practice. However, randomized controlled trials are now being conducted to determine whether improved detection by CT will translate into reduced lung cancer mortality. Alternative approaches to secondary prevention such as screening with biomarkers, autofluorescence bronchoscopy, and chemoprevention hold great promise for the future but await further development and evaluation in prospective trials.
Performance testing as a service for web applications

Software testing is a vital activity that is undertaken during software engineering life cycle to ensure software quality and reliability. Performance testing is a type of software testing that is done to shows how web application behaves under a certain workload. Cloud computing as an emerging technology can be used in the field of software engineering to provide cloud testing in order to overcome all deficiencies of conventional testing by leveraging cloud computing resources. As a result, testing-as-a-service (TaaS) is introduced as a service model that performs all testing activities in fully automated manner, on demand with a pay-for use basis. Moreover, TaaS increases testing efficiency and reduces time and cost required for testing. In this paper, performance TaaS framework for web applications is introduced which provides all performance testing activities including automatic test case generation and test execution. In addition, the proposed framework addresses many issues as: maximize resource utilization and continuous monitoring to ensure system reliability.
Cold-Start Software Analytics

Software project artifacts such as source code, requirements, and change logs represent a gold-mine of actionable information. As a result, software analytic solutions have been developed to mine repositories and answer questions such as "who is the expert? ,'' "which classes are fault prone? ,'' or even "who are the domain experts for these fault-prone classes? '' Analytics often require training and configuring in order to maximize performance within the context of each project. A cold-start problem exists when a function is applied within a project context without first configuring the analytic functions on project-specific data. This scenario exists because of the non-trivial effort necessary to instrument a project environment with candidate tools and algorithms and to empirically evaluate alternate configurations. We address the cold-start problem by comparatively evaluating `best-of-breed' and `profile-driven' solutions, both of which reuse known configurations in new project contexts. We describe and evaluate our approach against 20 project datasets for the three analytic areas of artifact connectivity, fault-prediction, and finding the expert, and show that the best-of-breed approach outperformed the profile-driven approach in all three areas; however, while it delivered acceptable results for artifact connectivity and find the expert, both techniques underperformed for cold-start fault prediction.
User Recommender based on information from forums

This paper proposes: a tool for virtual learning platforms that recommends users who know about a particular subject; a new recommender method that takes into account the users' knowledge about a subject and their future availability based on past interactions and a text mining method to obtain user information from forums. A user recommender system was implemented in the Moodle platform to demonstrate the feasibility of the proposal.
Endothelial Progenitor Cells Physiology and Metabolic Plasticity in Brain Angiogenesis and Blood-Brain Barrier Modeling

Currently, there is a considerable interest to the assessment of blood-brain barrier (BBB) development as a part of cerebral angiogenesis developmental program. Embryonic and adult angiogenesis in the brain is governed by the coordinated activity of endothelial progenitor cells, brain microvascular endothelial cells, and non-endothelial cells contributing to the establishment of the BBB (pericytes, astrocytes, neurons). Metabolic and functional plasticity of endothelial progenitor cells controls their timely recruitment, precise homing to the brain microvessels, and efficient support of brain angiogenesis. Deciphering endothelial progenitor cells physiology would provide novel engineering approaches to establish adequate microfluidically-supported BBB models and brain microphysiological systems for translational studies.
Axioms for concurrent objects

Specification and verification techniques for abstract data types that have been successful for sequential programs can be extended in a natural way to provide the same benefits for concurrent programs. We propose an approach to specifying and verifying concurrent objects based on a novel correctness condition, which we call “linearizability. ” Linearizability provides the illusion that each operation takes effect instantaneously at some point between its invocation and its response, implying that the meaning of a concurrent object's operations can still be given by pre- and post-conditions. In this paper, we will define and discuss linearizability, and then give examples of how to reason about concurrent objects and verify their implementations based on their (sequential) axiomatic specifications.
How Children and Adults Produce and Perceive Uncertainty in Audiovisual Speech

We describe two experiments on signaling and detecting uncertainty in audiovisual speech by adults and children. In the first study, utterances from adult speakers and child speakers (aged 7—8) were elicited and annotated with a set of six audiovisual features. It was found that when adult speakers were uncertain they were more likely to produce fillers, delays, high intonation, eyebrow movements, and “funny faces. ” The basic picture for the child speakers was somewhat similar, in that the presence of certain audiovisual cues correlated with uncertainty, but the differences were relatively small and less often significant. In the second study both adult and child judges watched responses from adult and child speakers selected from the first study to find out whether they were able to correctly estimate a speakers' level of uncertainty. It was found that both child and adult judges gave more accurate scores for answers from adult speakers than from child speakers and that child judges overall provided less accurate scores than adult judges.
On the influence of symbols and myths in the responsibility ascription problem in roboethics - A roboticist’s perspective

Because of the increasing developments of humanoid robots, humans and robots are going to interact more and more often in the near future. Thus, the need for a well-defined ethical framework in which these interactions will take place is very acute. In this article, we will show why responsibility ascription is a key concept to understand today's and tomorrow's ethical issues related to human-robot interactions. By analyzing how the myths surrounding the figure of the robot in western societies have been built through centuries, we will be able to demonstrate that the question of responsibility ascription is biased in the sense that it assigns to autonomous robots a role that should be devoted to humans.
Coverage Enhancement to IEEE 802 . 11 p Using Work-Based Opportunistic Relay-Assisted Network-Coding ARQ

This paper presents an efficient ARQ protocol, called WO-RANC, to enhance coverage and performance of IEEE 802.11p. WO-RANC exploits relay-assisted network coding and work-based wide-sense opportunistic retransmission. Relay nodes with strong connectivity to destinations opportunistically deliver information to the destinations on behalf of sources, thus enhancing coverage and performance. To minimize redundant retransmissions due to loss of per-packet ACKs and avoid relays from transmitting non-innovative packets, both sources and relays combine packets stored in their buffers for transmission, rather than store and forward. In addition, WO-RANC uses the concept of work to accurately estimate the information deficiency that destination nodes do not received due to failed transmissions. And accordingly, relay nodes transmit packets to supplement the information deficiency. Our simulation results show that WORANC outperforms 802.11p and several other schemes in terms of throughput and delay, for a large range of source-destination distances. Keywords—ARQ, opportunistic retransmission, network coding, wireless network, vehicular network.
DNA Methylation Is Dispensable for Suppression of the Agouti viable yellow Controlling Element in Murine Embryonic Stem Cells

The agouti viable (Avy) locus is considered a model to understand how retroelements function as controlling elements in mammals. Epigenetic factors, principally CpG methylation, are widely held to play a dominant regulatory role in controlling the locus' activity. The purpose of this study was to examine its behavior in ES cells and determine if this locus could be exploited for use in screen-based investigations. We have derived multiple Avy ES cell lines from the C57BL/6 strain and generated a cell line carrying a GFP-reporter gene (Avy/AGFP). Use of the DNA demethylating drug 5-azacitidine on various ES cell lines does not induce either agouti or GFP expression. Methylation analysis reveals that although most lines display normal methylation at IAP elements in general, the Avy IAP element is essentially unmethylated. In addition, we find that different repeat compartments are epigenetically unstable in a number of derived cell lines.
Software Code Quality with UML Design Models

The Unified Modeling Language has come to be a de facto standard for software analysis and design and is under constant development to provide better modeling support. But as the notation aims to be as general as possible it must cut back on some features, hence introducing the question of completeness of the notation and what effect it has on the code quality of the software product. This paper presents a comparative study where existing software has been modeled in UML, generated back into code and then analyzed for differences. Results from the experiment show, among other things, that UML’s lack of modeling support for displaying class visibility can jeopardize system safety and that the modeling of nested conditional statements, return values and exception handling is i nadequate.