Miracle-dz/UniFAR-FTUs huggingface dataset:
Complexity of Control by Partitioning Veto and Maximin Elections

Control by partition refers to situations where an election chair seeks to inﬂuence the outcome of an election by partitioning either the candidates or the voters into two groups, thus creating two ﬁrst-round subelections that determine who will take part in a ﬁnal round. The model of partition-of-voters control attacks is remotely related to “gerrymander-ing” (maliciously resizing election districts). While the complexity of control by partition (and other control actions) has been studied thoroughly for many voting systems, such re-sults about the important systems veto and maximin voting are sparse. We settle the complexity of control by partition for veto in a broad variety of models and for maximin with respect to destructive control by partition of candidates.
Euphony: Harmonious Unification of Cacophonous Anti-Virus Vendor Labels for Android Malware

Android malware is now pervasive and evolving rapidly. Thousands of malware samples are discovered every day with new models of attacks. The growth of these threats has come hand in hand with the proliferation of collective repositories sharing the latest specimens. Having access to a large number of samples opens new research directions aiming at efficiently vetting apps. However, automatically inferring a reference ground-truth from those repositories is not straightforward and can inadvertently lead to unforeseen misconceptions. On the one hand, samples are often mis-labeled as different parties use distinct naming schemes for the same sample. On the other hand, samples are frequently mis-classified due to conceptual errors made during labeling processes. In this paper, we analyze the associations between all labels given by different vendors and we propose a system called EUPHONY to systematically unify common samples into family groups. The key novelty of our approach is that no a-priori knowledge on malware families is needed. We evaluate our approach using reference datasets and more than 0.4 million additional samples outside of these datasets. Results show that EUPHONY provides competitive performance against the state-of-the-art.
The application of Neural Networks to predicting the root cause of service failures

The principal objective when monitoring compute and communications infrastructure is to minimize the Mean Time To Resolution of service-impacting incidents. Key to achieving that goal is determining which of the many alerts that are presented to an operator are likely to be the root cause of an incident. In turn this is critical in identifying which alerts should be investigated with the highest priority.
Effect of immunomodulation with anti-CD40L antibody on adenoviral-mediated transgene expression in mouse anterior segment

Purpose Gene transduction using adenoviral vectors is an important research tool. To assess and optimize this technique for glaucoma research, we characterized green fluorescent protein (GFP) expression in the mouse eye after intraocular injection of adenoviral vector encoding GFP (Ad5.CMV-GFP) and evaluated the effect of anti-CD40L antibody administration on GFP expression. Methods Mice were injected with Ad5.CMV-GFP intracamerally (IC) or intravitreally (IVT) with or without anti-CD40L antibody treatment. GFP expression was assessed by in vivo fluorescence intensity with a standardized grading scale. Location of expression was analyzed histologically by fluorescence microscopy. Results Intraocular injection of Ad5.CMV-GFP induced titer-dependent expression of GFP in the anterior segment. In vivo fluorescence was detectable but low after IC injection. After IVT injection, fluorescence in the eye peaked at days 4–7 with a fluorescence grade of 3.0 ±0.0 (mean ±SEM, n=6; injection with 1x108 pfu vector). After day 7, GFP expression declined significantly. Treatment with anti-CD40L antibody increased fluorescence intensity after IC injection, and prolonged GFP expression in the IVT group. At day 43, fluorescence grades of the IVT group were 2.8 ±0.7 (with anti-CD40L) and 1.2 ±0.6 (without antibody). Three-Way ANOVA confirmed that GFP expression was significantly higher in the anti-CD40L than the no antibody group (p=0.013), significantly higher in the IVT than the IC group (p=0.003), and significantly higher in the high viral titer (1x108 pfu) than the low titer (1x107 pfu) group (p=0.010). Fluorescence microscopic examination of cross-sections of eyes indicated GFP expression in the trabecular meshwork (TM), corneal endothelium, and sporadically iris, ciliary body and lens epithelium. Conclusions Intraocular injection of Ad5.CMV-GFP induced GFP expression in the mouse anterior segment, including the TM. Expression was more prominent after IVT injection than IC injection. Anti-CD40L antibody treatment increased both intensity and duration of GFP expression. These findings provide important and practical means to improve duration and efficiency of adenovirus-mediated transgene expression in the eye.
Wilsonian renormalization group and the non-commutative IR/UV connection

We study the IR/UV connection of the four-dimensional non-commutative 4 theory by using the wilsonian Renormalization Group. Extending the usual formulation to the non-commutative case we are able to prove UV renormalizability to all orders in perturbation theory. The full RG equations are finite in the IR, but perturbative approximations of them are plagued by IR divergences. The latter can be systematically resummed in a way analogous to what is done in finite temperature field theory. As an application, next-to-leading order corrections to the two-point function are explicitly computed. The usual wilsonian picture, i.e. the insensitivity of the IR regime to the UV, does not hold in the non-commutative case. Nevertheless it can be partially recovered by a matching procedure, in which a high-energy theory, defined in the deep non-commutative regime, is connected at some intermediate scale to a commutative low-energy theory. The latter knows about non-commutativity only through the boundary conditions for two would-be irrelevant couplings.
Boosted Cross-Domain Categorization

A boosted cross-domain categorization framework that utilizes labeled data from other visual domains as the auxiliary knowledge for enhancing the original learning system is presented. The source domain data under a different data distribution are adapted to the target domain through both feature representation level and classification level adaptation. The proposed framework is working in conjunction with a learned domain adaptive dictionary pair, so that both the source domain data representations and their distribution are optimized in order to match the target domain. By iteratively updating the weak classifiers, the categorization system allocates more credits to “similar” source domain samples, while abandoning “dissimilar” source domain samples. Using a set of Web images and selected categories from the HMDB51 dataset as the source domain data, the proposed framework is evaluated with both image classification and human action recognition tasks on the Caltech-101 and the UCF YouTube datasets, respectively, achieving promising results.
The Effect of ERP System Implementation on Business Performance: An Exploratory Case-Study

There is currently plenty of research concerning the effect of Enterprise Resource Planning (ERP) Systems on business performance. Previous research has shown a mixed relationship between ERP and business performance where some suggested that ERP improves performance and others found that it does not. Previous research was mainly based on quantitative methods which don’t give important insightful knowledge and details. A case-study on the other hand can help identify the important contributing factors for the relationship between ERP and business performance. This paper therefore, investigates this topic by analyzing a critical case-study consisting of an Egyptian SME branch of a multinational company. The results indicate that in general many benefits in business performance were achieved after implementing the ERP as reported by the business users, but have also shown that a few benefits previously linked to ERP were not fully achieved. This indicates the positive contribution of ERP on business performance but also suggests the limited applicability of this positive relationship according to specific factors to be researched.
A modular approach to packet classification: algorithms and results

The ability to classify packets according to pre-defined rules is critical to providing many sophisticated value-added services, such as security, QoS, load balancing, traffic accounting, etc. Various approaches to packet classification have been studied in the literature with accompanying theoretical bounds. Practical studies with results applying to large number of filters (from 8K to 1 million) are rare. In this paper, we take a practical approach to the problem of packet classification. Specifically, we propose and study a novel approach to packet classification which combines a heuristic tree search with the use of filter buckets. Besides high performance and a reasonable storage requirement, our algorithm is unique in the sense that it can adapt to the input packet distribution by taking into account the relative filter usage. To evaluate our algorithms, we have developed realistic models of large scale filter tables, and used them to drive extensive experimentation. The results demonstrate the practicality of our algorithms for up to even 1 million filters.
A reflexive critique of learner‐managed learning: an emerging curriculum model for a foundation degree

This paper offers a reflectively critical analysis of the theoretical basis of independent, or learner‐managed learning, and the pedagogical assumptions which underpin it. It considers the potential for personal development through work‐based learning, and the tensions for educators in addressing sometimes competing perspectives of personal and professional development in such programmes. In doing so it considers the use of learning contracts or ‘agreements’, linked to experiential learning and reflective practice, as tools to facilitate formative and emergent learning, rather than more rationalist interpretations. It concludes that the term ‘independent’ is misleading, as the learning process is the result of reflective dialogues with contexts and others. The context for the study is a foundation degree, a collaborative initiative between a university, five colleges of further education, responsible for the curriculum delivery, and five local authorities in which the colleges are located. These also provided the students for the programme.
Semantic Relations between Events and their Time, Locations and Participants for Event Coreference Resolution

In this study, we measure the contribution of different event components and particular semantic relations to the task of event coreference resolution. First we calculate what event times, locations and participants add to event coreference resolution. Secondly, we analyze the contribution by hyponymy and granularity within the participant component. Coreference of events is then calculated from the coreference match scores of each event component. Coreferent action candidates are accordingly filtered based on compatibility of their time, locations, or participants. We report the success rates of our experiments on a corpus annotated with coreferent events.
Disambiguating Personal Names on the Web Using Automatically Extracted Key Phrases

When you search for information regarding a particular person on the web, a search engine returns many pages. Some of these pages may be for people with the same name. How can we disambiguate these different people with the same name? This paper presents an unsupervised algorithm which produces unique phrases to disambiguate different people with the same name (i.e. namesakes). Our algorithm takes in a personal name and outputs multiple sets of phrases which uniquely identify the different namesakes on the web. These phrases could then be added to the query to narrow down the search to a specific namesake. We evaluated the algorithm on a collection of documents retreived from the Web. Experimental results show a significant improvement over the existing methods proposed for this task.
A novel active contour for medical image segmentation

In this paper, a novel parametric active contour is proposed for image segmentation. It integrates the wavelet transform and self-affine mapping system to effectively compute the external force of parametric active contours. For this purpose, after smoothing the image by a Gaussian kernel, the wavelet coefficients are computed. Then, sub-forces of each wavelet scale were computed by using contractive self-affine maps. Finally, the total self-affine force field was obtained by superposition of these sub-forces. Experimental results demonstrated the superior performance of the proposed algorithm compared to a number of frequently-used active contours for medical images.
Human–Animal Interaction as a Context for Thriving and Coping in Military-Connected Youth: The Role of Pets During Deployment

There are close to two million children who have parents serving in the United States military. Youth in military families face unique challenges, such as stress about family deployment. Nevertheless, many military-connected youth also exhibit strength and resilience in the face of these challenges. Therefore, it is critical to identify useful resources that are available for youth in military-connected families that may promote such resilience, and how these resources can be optimized to help youth thrive in the context of parental deployment. The purpose of this study was to assess the role of positive relationships with companion animals as a resource for resilience and thriving in military families. Results suggested that attachment to an animal was associated with positive youth development for military-connected youth and with adaptive coping strategies for youth with a deployed family member. Implications of these findings for the potential role of pets as an effective contextual resource for military families are discussed.
Regional Differences in Collecting Freethought Books in American Public Libraries: A Case of Self-Censorship?1

This study was conducted to determine if American public libraries located in an area of the country hostile to atheist (freethought) ideas collect atheist books at a lower rate than a region of the country more open to such ideas. The US General Social Survey was consulted to locate the contrasting regions. New York Times Best Seller lists were used to select recent (since September 11, 2001) atheist publications and contrasting books favorable to religion. Public library catalogs were then checked for holdings of these books. Purchases of atheist material differed significantly between the two regions, while purchases of religious materials showed no statistically significant difference. Possible explanations for the difference are explored, including censorship pressures, the exclusion of atheist thinking from the discourse of the community, and budgetary considerations.
Phonology, orthography, and semantic activation in reading Chinese

Phonological and orthographic constraints on semantic activation in reading Chinese were investigated using a phonologically mediated semantic priming technique. In Experiment 1, we observed no significant mediated priming and homophone density effects for homophone mediated primes having no orthographic similarity with semantic primes. Such primes, when they contained regular phonetic radicals, did produce significant effects in Experiment 2. In Experiment 3, targets were facilitated to the same extent by mediated primes that were either orthographically similar and homophonic to or only orthographically similar to semantic primes. In Experiment 4, facilitatory effects equivalent to semantic priming were observed for orthographically similar homophone mediated primes containing regular and consistent phonetic radicals. We argue that access to semantics in reading Chinese is constrained by both phonology and orthography operating in interaction with each other, and that phonology has no inherently privileged role over orthography in constraining semantic activation. © 1999 Academic Press
The Sexual Double Standard

To explore the operation of the sexual double standard, 111 men and 143 women evaluated either a male or female target, described in a fictitious interview as involved in either monogamous or multiple heterosexual relationships and depicted as engaged in either above average, average, or below average levels of sexual activity. Targets described as involved in multiple relationships or depicted as engaged in above average levels of sexual activity were evaluated less positively than targets in other conditions. Women presented as more sexually active were seen as more liberal and more assertive than other female targets. In this study the sexual double standard was not operating in the formation of overall evaluations of individuals, but it did exert influence on other judgments that people make about men and women.
Dental and skeletal changes associated with long-term mandibular advancement.

STUDY OBJECTIVES Little is known of the possible dental or skeletal side effects following the use of mandibular advancement in the treatment of obstructive sleep apnea. A study has subsequently been designed to investigate these issues. DESIGN 100 consecutively treated medically referred patients were reviewed cephalometrically in 6-month intervals (6-30 months) following mandibular advancement therapy. SETTING Orthodontic Private Practice. PATIENTS 87 males, 13 females (mean age 49 years, SD 8.5, range 33-74 years). INTERVENTIONS N/A. MEASUREMENTS AND RESULTS Reference points and planes in the cranial base, maxilla, and mandible were digitized with a reflex metrograph and their means converted to linear and angular measurements. Significant changes following mandibular advancement were observed in lower face height, vertical condylar position, incisor angulation, overbite, and overjet. Skeletal changes were attributed to a vertical repositioning of the mandibular condyle relative to the cranial base and were present at the first review period (6 months). Dental changes occurred later with treatment with the most significant changes occurring at the final review period (30 months) which resulted in a 4.9 degrees proclination of the mandibular incisors and a reduction in overbite of 1.82mm. CONCLUSION The data suggests that long-term use of mandibular advancement can cause dental and skeletal changes which may be progressive over time. As many consider mandibular advancement a treatment for life, it is strongly recommended that all patients be fully informed of the potential for such changes prior to treatment and undergo mandatory dental reviews with long-term mandibular advancement.
Mathematically gifted students and high achievement: the role of motivation and classroom structure

One of the most intriguing questions for those who study intellectually gifted students is why some of them reach peak performances at school and others don’t. Moderator theories of giftedness assume that domain-specific gifts are transformed into achievement in a process influenced by non-cognitive and environmental variables. Thus, the current study investigates differences in the non-cognitive construct motivation (achievement goals, interest, self-concept, self-efficacy, implicit theories) and perception of classroom environment (classroom structure, class climate) between mathematically gifted high achievers (n = 66) and mathematically gifted students with non-high achievement (n = 144) using a latent variable approach. Gifted high achievers expressed higher levels of motivation than non-high achievers. Furthermore, they perceived a classroom structure that provides more tasks with a focus on learning and more autonomy.
Tracking the Digital Footprints of Personality

A growing portion of offline and online human activities leave digital footprints in electronic databases. Resulting big social data offers unprecedented insights into population-wide patterns and detailed characteristics of the individuals. The goal of this paper is to review the literature showing how pervasive records of digital footprints, such as Facebook profile, or mobile device logs, can be used to infer personality, a major psychological framework describing differences in individual behavior. We briefly introduce personality and present a range of works focusing on predicting it from digital footprints and conclude with a discussion of the implications of these results in terms of privacy, data ownership, and opportunities for future research in computational social science.
Design and implementation of a 1024-point pipeline FFT processor

The design and implementation of a 1024-point pipeline FFT processor is presented. The architecture is based on a new form of FFT, the radix-2/sup 2/ algorithm. By exploiting the spatial regularity of the new algorithm, minimal requirement for both dominant components in VLSI implementation has been achieved: only 4 complex multipliers and 1024 complex-word data memory for the pipelined 1K FFT processor. The chip has been implement in 0.5 /spl mu/m CMOS technology and takes an area of 40 mm/sup 2/. With 3.3 V power supply, it can compute 2/sup n/, n=0, 1, . , 10 complex point forward and inverse FFT in real time with up to 30 MHz sampling frequency. The SQNR is above 50 dB for white noise input.
Monitoring Underwater PIpelines Using Sensor Networks

Sensor networks can be used to monitor and control pipeline infrastructures. This paper discusses and compares different sensor network architectures that can be used for monitoring underwater pipelines infrastructures. These architectures are underwater wired sensor networks, underwater acoustic wireless sensor networks, RF (Radio Frequency) wireless sensor networks, integrated wired/acoustic wireless sensor network, and integrated wired/RF wireless sensor networks. The reliability characteristics, advantages, and disadvantages among these architectures are discussed and compared. Three reliability factors are used for the discussion and comparison: the network connectivity, the continuity of power supply for the network, and the physical network security.
Effects of Sildenafil on the Gastrocnemius and Cardiac Muscles of Rats in a Model of Prolonged Moderate Exercise Training

Moderate exercise training improves energetic metabolism, tissue perfusion and induces cardiac and skeletal muscle remodeling. Sildenafil, a potent phosphodiesterase-5 inhibitor used to treat erectile dysfunction, reduces infarct size and increases tissue oxygenation in experimental models of cardiovascular disease. We have evaluated the effects of prolonged moderate exercise training and a repeat administration of sildenafil on the rat gastrocnemius and cardiac muscles. Animals were divided into two groups: sedentary and trained. Each group was subdivided into animals treated with vehicle or with two doses of sildenafil (10 or 15 mg/kg/day) during the last week of training. Physical exercise did not induce cardiac hypertrophy, whereas it increased mRNA levels of the PGC-1α, HIF-1α and VEGF genes, which are involved in mitochondrial biogenesis and angiogenesis, and reduced mRNA levels of FoxO3a, MuRF-1 and Atrogin-1. Sildenafil dose-dependently promoted both angiogenesis, as shown by increased capillary density, and muscle atrophy, as shown by muscle fibre size. These effects were more pronounced in trained animals. Our data confirm the beneficial effects of a moderate and prolonged training on cardiovascular and skeletal systems and document the positive and negative effects of sildenafil on these tissues at doses higher than those used in clinical practice. This report may impact on the use of sildenafil as a substance able to influence sports performance.