Miracle-dz/UniFAR-FTUs huggingface dataset:
Instanton test of non-supersymmetric deformations of the AdS5 × S5

We consider instanton effects in a non-supersymmetric gauge theory obtained by marginal deformations of the = 4 SYM. This gauge theory is expected to be dual to type IIB string theory on the AdS5 times deformed-S5 background. From an instanton calculation in the deformed gauge theory we extract the prediction for the dilaton-axion field τ in dual string theory. In the limit of small deformations where the supergravity regime is valid, our instanton result reproduces the expression for τ of the supergravity solution found by Frolov.
HMM-based state classification of a user with a walking support system using visual PCA features

The improvement of safety and dependability in systems that physically interact with humans requires investigation with respect to the possible states of the user’s motion and an attempt to recognize these states. In this study, we propose a method for real-time visual state classification of a user with a walking support system. The visual features are extracted using principal component analysis and classification is performed by hidden Markov models, both for real-time fall detection (one-class classification) and real-time state recognition (multi-class classification). The algorithms are used in experiments with a passive-type walker robot called “RT Walker” equipped with servo brakes and a depth sensor (Microsoft Kinect). The experiments are performed with 10 subjects, including an experienced physiotherapist who can imitate the walking pattern of the elderly and people with disabilities. The results of the state classification can be used to improve fall-prevention control algorithms for walking support systems. The proposed method can also be used for other vision-based classification applications, which require real-time abnormality detection or state recognition. Graphical Abstract
Phylogenetic Analysis of Prevalent Tuberculosis and Non-Tuberculosis Mycobacteria in Isfahan, Iran, Based on a 360 bp Sequence of the rpoB Gene

Background Taxonomic and phylogenetic studies of Mycobacterium species have been based around the 16sRNA gene for many years. However, due to the high strain similarity between species in the Mycobacterium genus (94.3% - 100%), defining a valid phylogenetic tree is difficult; consequently, its use in estimating the boundaries between species is limited. The sequence of the rpoB gene makes it an appropriate gene for phylogenetic analysis, especially in bacteria with limited variation. Objectives In the present study, a 360bp sequence of rpoB was used for precise classification of Mycobacterium strains isolated in Isfahan, Iran. Materials and Methods From February to October 2013, 57 clinical and environmental isolates were collected, subcultured, and identified by phenotypic methods. After DNA extraction, a 360bp fragment was PCR-amplified and sequenced. The phylogenetic tree was constructed based on consensus sequence data, using MEGA5 software. Results Slow and fast-growing groups of the Mycobacterium strains were clearly differentiated based on the constructed tree of 56 common Mycobacterium isolates. Each species with a unique title in the tree was identified; in total, 13 nods with a bootstrap value of over 50% were supported. Among the slow-growing group was Mycobacterium kansasii, with M. tuberculosis in a cluster with a bootstrap value of 98% and M. gordonae in another cluster with a bootstrap value of 90%. In the fast-growing group, one cluster with a bootstrap value of 89% was defined, including all fast-growing members present in this study. Conclusions The results suggest that only the application of the rpoB gene sequence is sufficient for taxonomic categorization and definition of a new Mycobacterium species, due to its high resolution power and proper variation in its sequence (85% - 100%); the resulting tree has high validity.
Distributed under Creative Commons Cc-by 4.0 Cost-benefit Trade-offs of Bird Activity in Apple Orchards

Birds active in apple orchards in south–eastern Australia can contribute positively (e.g., control crop pests) or negatively (e.g., crop damage) to crop yields. Our study is the first to identify net outcomes of these activities, using six apple orchards, varying in management intensity, in south–eastern Australia as a study system. We also conducted a predation experiment using real and artificial codling moth (Cydia pomonella) larvae (a major pest in apple crops). We found that: (1) excluding birds from branches of apple trees resulted in an average of 12.8% more apples damaged by insects; (2) bird damage to apples was low (1.9% of apples); and (3) when trading off the potential benefits (biological control) with costs (bird damage to apples), birds provided an overall net benefit to orchard growers. We found that predation of real codling moth larvae was higher than for plasticine larvae, suggesting that plasticine prey models are not useful for inferring actual predation levels. Our study shows how complex ecological interactions between birds and invertebrates affect crop yield in apples, and provides practical strategies for improving the sustainability of orchard systems.
Real PCF extended with is universal (Extended Abstract)

Real PCF is an extension of the programming language PCF with a data type for the real line, introduced elsewhere. We show that Real PCF extended with 9 is universal, in the sense that all computable elements of all types of its universe of discourse are deenable. We also show that 9 is not necessary to deene rst order computable functions in Real PCF. In order to obtain our deenability results, we consider a domain-equation-like structure on the real numbers data type.
Integrative Network Biology: Graph Prototyping for Co-Expression Cancer Networks

Network-based analysis has been proven useful in biologically-oriented areas, e.g., to explore the dynamics and complexity of biological networks. Investigating a set of networks allows deriving general knowledge about the underlying topological and functional properties. The integrative analysis of networks typically combines networks from different studies that investigate the same or similar research questions. In order to perform an integrative analysis it is often necessary to compare the properties of matching edges across the data set. This identification of common edges is often burdensome and computational intensive. Here, we present an approach that is different from inferring a new network based on common features. Instead, we select one network as a graph prototype, which then represents a set of comparable network objects, as it has the least average distance to all other networks in the same set. We demonstrate the usefulness of the graph prototyping approach on a set of prostate cancer networks and a set of corresponding benign networks. We further show that the distances within the cancer group and the benign group are statistically different depending on the utilized distance measure.
A Grounded Theory Study of Collaboration in Multidisciplinary Teams

ABSTRACT The multidisciplinary team response to child abuse emerged during the 1980s as increasing numbers of reports brought recognition that one agency alone lacked the expertise and resources to effectively deal with this complex issue. Using constructivist grounded theory, we interviewed a diverse sample of frontline team members about how they perceived collaboration and working with representatives from different agencies responsible for child abuse investigations. The study revealed how team members rely upon relationships built over time through shared experiences to facilitate communication and information sharing. Findings suggest multidisciplinary team members face challenges and collaborative relationships may mitigate these circumstances.
The sizes and kinematic structure of absorption systems towards the lensed quasar APM08279+5255

We have obtained spatially resolved spectra of the z em = 3.911 triply imaged QSO APM08279+5255 using the Space Telescope Imaging Spectrograph (STIS) on board the Hubble Space Telescope (HST). We study the line of sight equivalent width (EW) differences and velocity shear of high and low ionization absorbers (including a damped Lyman alpha [DLA] system identified in a spatially unresolved ground based spectrum) in the three lines of sight. The combination of a particularly rich spectrum and three sight-lines allow us to study 27 intervening absorption systems over a redshift range 1.1 80%) over kpc scales. A minimum radius for strong (EW > 0.3 A) Mg II systems of >1.4 h -1 70 kpc is inferred from absorption coincidences in all lines of sight. For weak Mg II absorbers (EW < 0.3 A), a maximum likelihood analysis indicates a most probable coherence scale of 2.0 h -1 70 kpc for a uniform spherical geometry, with 95% confidence limits ranging between 1.5 and 4.4 h -1 70 kpc. The weak Mg II absorbers may therefore represent a distinct population of smaller galaxies compared with the strong Mg II systems which we know to be associated with luminous galaxies whose halos extend over tens of kpc. Alternatively, the weak systems may reside in the outer parts of larger galaxies, where their filling factor may be lower. By cross-correlating spectra along different lines of sight, we infer shear velocities of typically less than 20 km s -1 for both high and low ionization absorbers. Finally, for systems with weak absorption that can be confidently converted to column densities, we find constant N(C IV)/N(Si IV) across the three lines of sight. Similarly, the [Al/Fe] ratios in the z abs = 2.974 DLA are consistent with solar relative abundances over a transverse distance of ∼0.35 h -1 70 kpc.
Advertisement removal of Android applications by reverse engineering

Millions of apps cover all aspects of our lives and make smartphones success. Advertisers financially support developers but also collect users' privacy. Several ad blocking apps help users to eliminate advertisement by filtering or redirection for certain targets whose list is maintained by a third party, and some of them require root permission. We develop an advertisement removal program with the technique of reverse engineering, which can effectively patch the advertising code, even obfuscated by other tools. The proposed method takes no overhead at runtime, and requires neither root permission nor list updating. This study also gives a different perspective on tailoring behavior of Android applications.
Obvious: A meta-toolkit to encapsulate information visualization toolkits — One toolkit to bind them all

This article describes “Obvious”: a meta-toolkit that abstracts and encapsulates information visualization toolkits implemented in the Java language. It intends to unify their use and postpone the choice of which concrete toolkit(s) to use later-on in the development of visual analytics applications. We also report on the lessons we have learned when wrapping popular toolkits with Obvious, namely Prefuse, the InfoVis Toolkit, partly Improvise, JUNG and other data management libraries. We show several examples on the uses of Obvious, how the different toolkits can be combined, for instance sharing their data models. We also show how Weka and Rapid-Miner, two popular machine-learning toolkits, have been wrapped with Obvious and can be used directly with all the other wrapped toolkits. We expect Obvious to start a co-evolution process: Obvious is meant to evolve when more components of Information Visualization systems will become consensual. It is also designed to help information visualization systems adhere to the best practices to provide a higher level of interoperability and leverage the domain of visual analytics.
High precision calorimetry for the measurement of the efficiency of induction motors

Calorimeters are used to measure directly the loss in electrical machines operating under various load conditions. This paper examines experimental errors resulting from calorimeter design and from operating procedures. The techniques of minimising these errors used by previous researchers are reviewed. An improved technique for obtaining high accuracy in the measurement of power loss is discussed based on two generations of a calorimeter. The performance of these designs is presented with the first providing an accuracy of 0.5% and the second better than 0.2% in measurement of total loss at the 30 kW level.
Development of a dynamics model for the Baxter robot

The dynamics model of a robot is important to find the relation between the joint actuator torques and the resulting motion. There are two common methods to do this: The Lagrange formulation, which gives a closed form of the dynamics equations, and the Newton-Euler method, which uses a recursive form. Presented in this paper is a formulation of the Lagrange-Euler (L-E) equations representing the dynamics of the Baxter manipulator. These equations are then verified against torque trajectories recorded from the Baxter robot. Experimental studies show that torques generated using the L-E method closely match recorded actuator torques. All of Baxter's kinematic and dynamics parameters are presented here for easy future reference, and the full symbolic dynamics are made available online for closed loop analysis by the community.
The G2 spinorial geometry of supersymmetric IIB backgrounds

We solve the Killing spinor equations of supersymmetric IIB backgrounds which admit one supersymmetry and the Killing spinor has stability subgroup G2 in Spin(9, 1) × U(1). We find that such backgrounds admit a timelike Killing vector field and the geometric structure of the spacetime reduces from Spin(9, 1) × U(1) to G2. We determine the type of G2 structure that the spacetime admits by computing the covariant derivatives of the spacetime forms associated with the Killing spinor bilinears. We also solve the Killing spinor equations of backgrounds with two supersymmetries and -invariant spinors, and four supersymmetries with - and with G2-invariant spinors. We show that the Killing spinor equations factorize in two sets, one involving the geometry and the 5-form flux, and the other the 3-form flux and the scalars. In the and cases, the spacetime admits a parallel null vector field and so the spacetime metric can be locally described in terms of Penrose coordinates adapted to the associated rotation free, null, geodesic congruence. The transverse space of the congruence is a Spin(7) and a SU(4) holonomy manifold, respectively. In the G2 case, all the fluxes vanish and the spacetime is the product of a three-dimensional Minkowski space with a holonomy G2 manifold.
An Enhanced IAF-PNLMS Adaptive Algorithm for Sparse Impulse Response Identification

This correspondence presents an individual-activation-factor proportionate normalized least-mean-square (IAF-PNLMS) algorithm that (during the adaptive process) uses a new gain distribution strategy for updating the filter coefficients. This strategy consists of increasing the gain assigned to the inactive coefficients as the active ones approach convergence. For such, whenever a predefined threshold is crossed during the learning process, a new gain distribution is carried out, rather than to assign gains proportional to coefficient magnitudes as the IAF-PNLMS algorithm does. This new version of the IAF-PNLMS algorithm leads to a better distribution of the adaptation energy over the whole learning process. As a consequence, for impulse responses exhibiting high sparseness, the proposed algorithm achieves faster convergence, outperforming the IAF-PNLMS and other well-known PNLMS-type algorithms.
Coders hub

Coders hub provides a system where online working is much easier and to earn money with less effort. In this, Programmers can register and login using their username and password. Coders Hub helps the clients (people who want to give a job) to easily find programmers based on their location, skills in the programming languages etc. Clients can also make out who is the best programmer by checking their point based ranks. Clients can text privately with the programmers to discuss on their works done and send information related to the work assigned. This system simultaneously helps the programmer as well as the client. Programmers can earn using their skills and transactions are done between the client and the programmer. The final payment would be done only if the client is satisfied with programmers work. The admin keeps track of the work done by the programmer and the client.
Developing preservice teachers’ self-efficacy and knowledge through online experiences with English language learners

ABSTRACT This quasi-experimental study explores changes in preservice teachers’ reported self-efficacy and knowledge of instructional strategies in supporting English language learners (ELLs) after participating in an electronic pen-pal project. Seventy-four preservice teachers (experimental = 35; control = 39) participated in this study. The intervention involved a semester-long online letter exchange between the experimental group and ELL pen-pal partners in public schools. The study addresses two questions: What are the effects of an E-Pal project on preservice content-area teachers’ (1) reported self-efficacy in supporting ELLs, and (2) knowledge about the nature of instructional supports for ELLs in mainstream classrooms? Questionnaire data were analyzed using several ANOVA tests. Overall, results suggested that the E-Pal project had a positive effect on the reported self-efficacy and knowledge of instructional support of preservice teachers who participated in the experiment compared to those who did not. These results suggest that incorporating technology in field experiences in teacher education programs is worth the investment.
Specification of Non-Functional Requirements: A Hybrid Approach

When specifying user requirements, not only it is critical to ensure correct and unambiguous specification of functional requirements, but also that of non-functional requirements (NFRs). In fact, resolving ambiguities from user specified natural language NFRs and specifying the correct ones in a formal language have attracted significant attention. Our current research focuses on the issues pertaining the same. We observe that it is a usual practice for a user to narrate the NFRs in natural language and the requirement engineers manually try to express the same, using some semi-formal or formal language notations. However, inaccurate and the laborious manual approach may fail to detect all the NFRs and correctly remove the ambiguities in those detected. Hence, current research attempts have focused on automating the conversion of natural language NFRs to formal notations. In literature, there exist numerous approaches that take requirements as input and output the extended UML counterpart including NFRs. However, majority of the approaches do not support ambiguity resolution and verification of the extracted NFRs that are fairly essential. In this paper, we propose and discuss a hybrid approach viz. NFRs-Specifier, that attempts to resolve ambiguities, extract NFR’s, perform verification and generate NFRs specification by means of the extended UML model.
An economic mechanism for request routing and resource allocation in hybrid CDN–P2P networks

Hybrid content delivery networks (HCDN) benefit from the complementary advantages of P2P (Peer to Peer) networks and CDNs (Content Delivery Network). In order to extend a traditional CDN and enable it to offer hybrid content delivery service, we have modified a traditional domain name system‐based request routing mechanism. The proposed scheme relies on an oligopolistic mechanism to balance the load on the edge servers and employs a truthful profit‐maximizing auction to maximize the contribution of users in the P2P content delivery. In particular, economics of content delivery in HCDNs is studied, and it is shown that through our request routing mechanism, it is possible to deliver higher quality of service to majority of end‐users, increase the net profit of the HCDN provider and decrease the content distribution cost at the same time. Copyright © 2015 John Wiley & Sons, Ltd.
Weight-Flooding Aggregation with Canny Edge Constraint for 3D Depth Estimation

Considering the computation efficiency, local based 3D depth estimation has been considered of higher potential compared with global based methods. The most well recognized local based 3D depth estimation is the cross-based approach, which computes a local region for each pixel, called the support region, and the cost aggregation for the pixel is conducted within the support region. However, due to the optimization is conducted only within the support region, it also has less accuracy performance. Furthermore, obtaining the support region requires a significant computing power. In view of these problems, this paper proposes a novel local based method using weight-flooding aggregation for cost optimization in 3D depth estimation. The weightflooding aggregation performs in a global way, such that every pixel transfers its cost to its neighboring pixels through a weight map. Accompanied with the weight-flooding aggregation is an edge based restriction to reduce the cost influences from other objects during the propagation. Any propagation passing through the edge will be stopped. The propagation in the flooding is performed from a gradual collection. Thus part of the flooding propagation to a pixel can be reused by the neighboring pixels and an integral computing can be applied. By so designed, the pixel optimization is allowed to receive costs globally, achieving high accuracy. Also, the lift of the requirement of obtaining support region for each pixel and the feasibility of applying integral computing significantly reduces the time complexity. In this paper, the L-R check is adopted as a post processing to rectify the errors which may result from mismatch due to occlusion or noise. The experimental results show that compared to cross-based local method, the system requires only half to onethird computing cost while achieves comparable estimation accuracy.
Low-Income US Women Under-informed of the Specific Health Benefits of Consuming Beans

Background Bean consumption can reduce chronic disease risk and improve nutrition status. Consumer knowledge of bean health benefits could lead to increased intakes. Low-income women have poorer health and nutrition, but their level of knowledge about bean health benefits is unknown. Beans are a familiar food of reasonable cost in most settings and are cultural staples for Hispanics and other ethnicities. Study objectives were to assess awareness of bean health benefits among low-income women, and to evaluate any differences by acculturation status for Hispanic women in the Southwestern United States. Methods A convenience sample of 406 primarily Mexican-origin (70%) low-income women completed a survey on knowledge of bean health benefits and general food behaviors. Principal components analysis of responses identified two summary scale constructs representing “bean health benefits” and “food behaviors. ” Acculturation level was the main independent variable in chi-square or ANOVA. Results The survey completion rate was 86% (406/471). Most women agreed or strongly agreed that beans improved nutrition (65%) and were satiating (62%). Over 50% answered ‘neutral’ to statements that beans could lower LDL cholesterol (52%), control blood glucose (56%) or reduce cancer risk (56%), indicating indifference or possible lack of knowledge about bean health benefits. There were significant differences by acculturation for beliefs that beans aid weight loss and intestinal health. Scores on the bean health benefits scale, but not the food behavior scale, also differed by acculturation. Conclusions Limited resource women have a favorable view of the nutrition value of beans, but the majority did not agree or disagreed with statements about bean health benefits. Greater efforts to educate low-income women about bean health benefits may increase consumption and improve nutrition.