Miracle-dz/UniFAR-FTUs huggingface dataset:
Searching and Analysis of Interface and Visualization Metaphors

Vladimir L. Averbukh, Mihkail O. Bakhterev, Aleksandr Yu. Baydalin Institute of Mathematics and Mechanics, Inst. of Math. and Mech. , Inst. of Math. and Mech. Dmitriy Yu. Gorbashevskiy, Damir R. Ismagilov, Alexey Yu. Kazantsev Inst. of Math. and Mech. , Ural State Univercity, Inst. of Math. and Mech. Polina V. Nebogatikova, Anna V. Popova, Pavel A. Vasev Ural State Univercity, Ural State Univercity, Inst. of Math. and Mech. Russia (all)
Long-Term Impact of Lifelong Fitness: Examining Longitudinal Exercise Behavior in College Students

Over time, the United States population has gradually shifted to an increasingly inactive lifestyle, and there has been a decline in health behavior. Only 50% of the population meet the recommended guidelines for weekly physical activity. With this glaring increase of inactive lifestyles, programs designed to increase health behavior change have become crucial. One solution to this problem has been a required Lifelong Fitness class at George Fox University where new college students learn knowledge and skills to implement for healthier lifestyles during this transformative time. A multiple regression model predicting long-term exercise by pre-minutes of exercise, post-minutes of exercise, and current exercise self-efficacy was fit to data. The model accounted for 18% of variance shared in all the predictors. When all variables were entered in the model, pre-minutes of exercise and current exercise self-efficacy were significant. There were no significant changes in mean levels of exercise longitudinally, suggesting the course helped students maintain levels of activity, but not increase them.
ournal of Statistical Mechanics: J Theory and Experiment Spreading dynamics in complex networks

Searching for inﬂuential spreaders in complex networks is an issue of great signiﬁcance for applications across various domains, ranging from epidemic control, innovation diﬀusion, viral marketing, and social movement to idea propagation. In this paper, we ﬁrst display some of the most important theoretical models that describe spreading processes, and then discuss the problem of locating both the individual and multiple inﬂuential spreaders respectively. Recent approaches in these two topics are presented. For the identiﬁcation of privileged single spreaders, we summarize several widely used centralities, such as degree, betweenness centrality, PageRank, k -shell, etc. We investigate the empirical diﬀusion data in a large scale online social community— LiveJournal. With this extensive dataset, we ﬁnd that various measures can convey very distinct information of nodes. Of all the users in the LiveJournal social network, only a small fraction of them are involved in spreading. For the spreading processes in LiveJournal, while degree can locate nodes participating in information diﬀusion with higher probability, k -shell is more eﬀective in ﬁnding nodes with a large inﬂuence. Our results should provide useful information for designing eﬃcient spreading strategies in reality.
Transnational cyberpublics: new political spaces for labour migrants in Asia

This article offers a cultural interpretation of transnational solidarities that Asian political activists are generating through electronic telecommunications networks. Its focus is on the experiences of the Migrant Forum in Asia [MFA], a network of non-government organizations that question issues of human rights, citizenship and working conditions of labour migrants in the Asian region. MFA's networking activities are being transformed as email enables daily conversations across multiple national borders, and new 'imagined' communities of political action have emerged. English has been chosen as the language of solidarity, and photographs have become important in communicating activities and ideas. These media are innovative modes of transnational communication and shape political spaces that exist in symbiotic relation to the 'real'. Attention to these practices, spaces and the symbolic meanings activists attach to these communities helps to illuminate a cultural politics of transnational activism in this region.
Indigenous knowledge for development : opportunities and challenges

and could help improve aid effectiveness in poverty reduction. This paper introduces indigenous knowledge (IK) as a significant resource which could contribute to the increased efficiency, effectiveness and sustainability of the development process. IK is defined as the basis for community-level decision making in areas pertaining to food security, human and animal health, education, natural resource management and other vital economic and social activities. Several good practice cases will demonstrate the value added by IK to development in the productive as well as social sectors. An overview of the World Bank's Indigenous Knowledge for Development Program describes the objectives, some of the achievements and the challenges ahead. Further cases will demonstrate how some of these challenges can be met. In conclusion, the paper argues that the harnessing of IK empowers local communities and could help improve aid effectiveness in poverty reduction.
Parent-Child Interaction Therapy and ADHD: A Case Study With a Hearing Child of a Deaf Father and a Hearing Mother

ABSTRACT Parent-Child Interaction Therapy (PCIT) has demonstrated promising evidence in its implementation with deaf and hard-of-hearing (DHH) families. This case study presents the implementation of PCIT with a hearing mother, a deaf father, and their 7-year-old hearing son with Attention-Deficit/Hyperactivity Disorder (ADHD) and oppositional behaviors, using the assistance of certified interpreters. Results documented improvement in child behavior, parenting skills and stress, and parent-child communication. Notably, paternal ratings showed greater improvement across these outcomes than maternal ratings. Overall, PCIT continues to demonstrate its effectiveness as a treatment option for DHH families with children with challenging behaviors. The limitations and implications are discussed.
A Structural Study and Hyperedge Clustering Technique for Large Scale Circuits

In this paper, a study of the effects of different clustering techniques on the structure of a circuit is performed with the intent of improving circuit partitioning results. In this study, each clustering technique is shown to have a signature effect on the majority of circuits in the ISPD98 benchmark suite. A score based hyperedge clustering technique is developed based on these results. The main focus of this technique is to first quickly find high quality clusters for a circuit while keeping the cells and net clustering ratios close to one another. The empirical results on ISPD98 benchmark circuits show that the application of the proposed technique can result in clustered circuits where the cell clustering ratio and the net clustering ratio are very close and runtime is improved and the partitioning solution is slightly enhanced
Can superoxide dismutase alter myocardial infarct size?

R eperfusion therapy for acute myocardial infarction reduces myocardial dysfunction and mortality. However, reperfusion can also injure myocardium,' and adjunctive agents have been sought to limit reperfusion injury. After laboratory reports of successful reduction in infarct size by superoxide dismutase (SOD) after ischemia and reperfusion,2-7 SOD became the first of these agents to be used in clinical trials in patients undergoing reperfusion by thrombolysis or percutaneous transluminal angioplasty of acute myocardial infarction. Because of recent conflicting results in laboratory animals,8-13 it seemed appropriate to review the available preclinical studies involving SOD and the rationale for its use during acute myocardial infarction. SOD, discovered by McCord and Fridovitch,14 is an enzyme that catalyzes the conversion of superoxide (univalently reduced oxygen) to the less toxic hydrogen peroxide. Hearse et al'5 described the paradoxical sudden release of enzymes from isolated, perfused hearts triggered by the restoration of oxygen after hypoxia. Granger et al16 and McCord17 proposed that this oxygen paradox was due to the formation of superoxide anion or other partially reduced oxygen species by xanthine oxidase. Xanthine oxidase uses oxygen as an electron acceptor to produce two superoxide anions upon conversion of hypoxanthine to uric acid. The normal endothelial enzyme xanthine dehydrogenase, which uses NAD+ as an electron acceptor, undergoes proteolytic conversion to xanthine oxidase by activation of a calcium-dependent protease upon reperfusion. The superoxide, formed by the catabolism of ATP to hypoxanthine and then to uric acid, could generate the more toxic hydroxyl radical and lead to lipid peroxidation, membrane damage, and cell death. '8 In isolated, buffer-perfused hearts, reperfusion with fluid containing oxygen, but not with anoxic fluid, caused creatine kinase release. SOD and catalase attenuated this injury, and the major source of
SPADE: Signature based PAcker DEtection

Malware is a powerful weapon to hamper various confidential and secure data of a personal computer. Code packing helps the malware authors to create new variants of existing malwares and thus signature based malware detection is defeated. Packing tools hinder the reverse engineering process and hence it is difficult for security researchers to perform analysis of new or unknown malware. Dynamic unpacker requires dedicated hardware and software for analyzing samples and it is computationally expensive. Hence a fast method is required for analysing packers used to create packed executable. Every packer uses its own unpacking algorithm to unpack the payload in memory, so if apriori information on packer used is available, the unpacking becomes easy. In this paper, we have proposed a novel technique for generating the signature of packed malware to identify the packer used for obfuscating the binary.
DPHMM: Customizable Data Release with Differential Privacy via Hidden Markov Model

Hidden Markov model (HMM) has been well studied and extensively used. In this paper, we present DPHMM ({Differentially Private Hidden Markov Model}), an HMM embedded with a private data release mechanism, in which the privacy of the data is protected through a graph. Specifically, we treat every state in Markov model as a node, and use a graph to represent the privacy policy, in which "indistinguishability" between states is denoted by edges between nodes. Due to the temporal correlations in Markov model, we show that the graph may be reduced to a subgraph with disconnected nodes, which become unprotected and might be exposed. To detect such privacy risk, we define sensitivity hull and degree of protection based on the graph to capture the condition of information exposure. Then to tackle the detected exposure, we study how to build an optimal graph based on the existing graph. We also implement and evaluate the DPHMM on real-world datasets, showing that privacy and utility can be better tuned with customized policy graph.
Fluid flow on interacting deformable surfaces

Fluid simulation on interacting deformable surfaces is a challenging problem that has many applications. In this paper, we present a framework in which artistic as well as physically realistic flows can be generated on surfaces during deformation and collision. Our simulation system provides comprehensive control over the motion and deformation of an object as well as the movement and density of the fluid on the surface. At the heart of our system is a numerical solver that allows viscous and incompressible flows to be directly generated on surfaces using concepts from differential geometry, such as geodesic polar maps and parallel transport. This solver is fast and stable even when the object undergoes deformation or collides with other surfaces. We also propose rules that allow deformation and collisions to impact fluid flows in a physically realistic manner. By combining these rules with a set of comprehensive design functionalities, we develop a system in which the user can specify shape deformation, collision, and fluid flow in a unified framework. We demonstrate the capability of our system with a number example scenarios. CR Categories: I.3. 7 [COMPUTER GRAPHICS]: ThreeDimensional Graphics and Realism—Animation.
A Two – Sided Contracting

We study a novel two–sided Stefan problem – motivated by the study of certain 2D interfaces – in which boundaries at both sides of the sample encroach into the bulk with rate equal to the boundary value of the gradient. Here the density is in [0, 1] and takes the two extreme values at the two free boundaries. It is noted that the problem is borderline ill–posed: densities in excess of unity liable to cause catastrophic behavior. We provide a general proof of existence and uniqueness for these systems under the condition that the initial data is in [0, 1] and with some mild conditions near the boundaries. Applications to 2D shapes are provided, in particular motion by weighted mean curvature for the relevant interfaces is established.
Integrality gaps of 2 - o(1) for Vertex Cover SDPs in the Lovész-Schrijver Hierarchy

Linear and semidefinite programming are highly successful approaches for obtaining good approximations for NP-hard optimization problems. For example, breakthrough approximation algorithms for Max Cut and Sparsest Cut use semidefinite programming. Perhaps the most prominent NP-hard problem whose exact approximation factor is still unresolved is Vertex Cover. PCP-based techniques of Dinur and Safra [7] show that it is not possible to achieve a factor better than 1.36; on the other hand no known algorithm does better than the factor of 2 achieved by the simple greedy algorithm. Furthermore, there is a widespread belief that SDP technicptes are the most promising methods available for improving upon this factor of 2. Following a line of study initiated by Arora et al. [3], our aim is to show that a large family of LP and SDP based algorithms fail to produce an approximation for Vertex Cover better than 2. Lovasz and Schrijver [21] introduced the systems LS and LS+for systematically tightening LP and SDP relaxations, respectively, over many rounds. These systems naturally capture large classes of LP and SDP relaxations; indeed, LS+ captures the celebrated SDP-based algorithms for Max Cur and Sparsest Cur mentioned above. We rule out polynomial-time 2 - Omega(lfloor) approximations for Vertex Cover using LS+. In particular, we prove an integrality gap of 2 - o(lfloor)for Vertex Cover SDPs obtained by tightening the standard LP relaxation with Omega(radiclog n/ log log n) rounds of LS+. While tight integrality gaps were known for Vertex Cover in the weaker LS system [23 ], previous results did not rule out a2 - Omega(1) approximation after even two rounds of LS+.
Outbreak of foot and mouth disease and peste des petits ruminants in sheep flock imported for immediate slaughter in Riyadh

Aim: To detect and identify the causative agent or agents of the following clinical symptoms which were fever, lack of appetite, salivation, vesiculation, erosions of the buccal mucosa, nose, and feet. The signs vary from mild to severe. The mortality rate of the disease is high. The morbidity rate reaches up to 100%. Sheep also show bloody diarrhea and rapid respiration. Sheep flock resident in El-Kharje Governorate. Materials and Methods: A total of 50 serum samples and 50 buffy coat samples were collected from Marino sheep flock suffered from high mortalities, fever, lameness, diarrhea, stomatitis, and respiratory distress. PrioCHECK® foot and mouth disease virus (FMDV) nonstructural (NS) (marketable enzyme-linked immunosorbent assay [ELISA] kit) was used for revealing of the NS antibodies and liquid phase blocking enzyme immunoassay (LPBE) for identifying the FMD serotype and examined by competitive ELISA (cELISA) for detection of peste des petits ruminants (PPR) antibodies. The buffy coat samples were examined by immunocapture ELISA (Ic ELISA) for detection of PPR antigen. Results: Using PrioCHECK® FMDV NS: Commercial ELISA kit: 38/50 (76%) of the serum samples were positive for the presence of FMD NS viral proteins. In addition, using LPBE the positive samples were identified as FMD serotype O. Examination of the serum sample by cELISA for detection of PPR antibodies gave positive results in 32/50 (64%). While the Ic ELISA identified 32 (64%) positive reactors for PPR antigen. Conclusion: This study reflected high susceptibility of the imported sheep flocks to the infection with FMD and PPR viruses, which are endemic in the Kingdom of Saudi Arabia (KSA). Hence, the imported flocks that prepared for slaughter must be vaccinated with the used vaccine in KSA in the quarantine for the control of FMD especially when importation occurs from counters that are free from these diseases.
Dependency Networks in Open-Source Software Packages – Report

The real-world practice of software engineering frequently revolves around the central pinnacles of modularity and decomposition, guidelines that aim to produce software that satisfies its motivating needs, is robust to error and changes imposed by future requirements, and is easy to navigate and maintain by its developers. The current state of the art, however, depends on the individual and collected experience of developers (and sometimes their corporate managers) to drive almost all design decisions. There are few, if any, metrics that readily capture the fundamental properties of software codebases; currently employed metrics tend to be very empirical, historical, such as counting bugs per lines of code as a proxy for code quality or stability. But, these empirical and historical measures do not capture the state of the code as it evolves in real time, nor do they yield a ”bigger picture” view of how all the software pieces fit together. Since the beginning of the so-called Software Age several decades ago, researchers have been exploring various ways to identify and quantify the most important qualities of software, which were listed above. However, the work to-date has been piecemeal, and hence, there is a goal to move towards a more unified perspective on software: if we could invent or identify a set of metrics that capture and encourage the desired qualities of software, while reducing the undesired, it could lead to a better understanding of software, within the industry and without, regarding exactly what works well, and what doesn’t. Having this set of metrics would allow software engineers to compare alternative designs more analytically and scientifically, as compared to current, experientially and qualitatively-based software management practices. For this project, I studied the Java package dependency network hosted by the Maven Repository (mvnrepository.com). I computed summary statistics to describe this network at coarse granularity, and then attempt several methods to automatically generate some ”big picture” comprehensions regarding the contents of the network.
Learning to Rank Personalized Search Results in Professional Networks

LinkedIn search is deeply personalized - for the same queries, different searchers expect completely different results. This paper presents our approach to achieving this by mining various data sources available in LinkedIn to infer searchers' intents (such as hiring, job seeking, etc.), as well as extending the concept of homophily to capture the searcher-result similarities on many aspects. Then, learning-to-rank is applied to combine these signals with standard search features.
Model Mapping in MDA

In this paper we propose a general model of Model Mapping, one of the key features in MDA. We recall the fundamental relationships between system, model, and formalism. Then mapping of models described in the same formalism (direct) or in different formalisms (indirect) is discussed. As an example, a Constraint Checker (CC) is presented. This application takes an UML model m, and translates it by an indirect mapping into a suitable formalism. Then, the CC provides pieces of advice to guide the future refinements of m.
Occurring of In Vitro Functional Vasculogenic Pericytes from Human Circulating Early Endothelial Precursor Cell Culture

Pericytes are periendothelial cells of the microcirculation which contribute to tissue homeostasis and hemostasis by regulating microvascular morphogenesis and stability. Because of their multipotential ex vivo differentiation capabilities, pericytes are becoming very interesting in regenerative medicine field. Several studies address this issue by attempting to isolate pericyte/mesenchymal-like cells from peripheral blood; however the origin of these cells and their culture conditions are still debated. Here we showed that early Endothelial Progenitor Cells (EPCs) expressing CD45+/CD146+/CD31+ can be a source of cells with pericyte/mesenchymal phenotype and function, identified as human Progenitor Perivascular Cells (hPPCs). We provided evidence that hPPCs have an immunophenotype consistent with Mesenchymal Stem Cells (MSCs) from human adipose tissue (hASCs) and fetal membranes of term placenta (FM-hMSCs). In addition, hPPCs can be subcultured and exhibit expression of pluripotent genes (OCT-4, KLF-4, and NANOG) as well as a remarkable vasculogenic potential. Our findings could be helpful to develop innovative cell-based therapies for future clinical applications with distinct therapeutic purposes.
Testing AJAX functionality with UniTESK

AJAX (Asynchronous JavaScript and XML) is a very promising technology for building interactive web applications. At the same time, AJAX significantly complicates the development of the client side of web applications. The paper demonstrates the possibility of utilizing the UniTESK test development technology for testing the client side functionality of AJAX web applications. Using UniTESK, test systems are developed for 8 AJAX web applications. Then the fault revealing capability of the test systems is evaluated in experiments.
Bedaquiline versus placebo for management of multidrug-resistant tuberculosis: A systematic review

Sir, Charan et al. compared time to conversion of positive sputum to negative and mortality between bedaquiline and placebo. In all the forest plots as heterogenicity, I2 = 0% or nonsignificant, they should have pooled data under fixed‐effect model rather than using random effect model. We have certain observations that need clarifications. Authors’ conclusion with regard to increased mortality associated with bedaquiline cannot be ascertained as the authors of the bedaquiline trial[1] stated that no causal pattern was evident to bedaquiline use. Moreover, mortality in a meta‐analysis[2] involving 9153 patients with multidrug‐resistant tuberculosis (MDR‐TB) was 15% and in another open‐label, phase II trial[3] of bedaquiline in 233 patients with newly diagnosed or previously treated MDR‐TB was 7%. In a study by Diacon et al., there were significantly more number of HIV‐positive patients in placebo group (P = 0.04). We expect that antiretroviral therapy would have resulted in reduced mortality in placebo group as compared to bedaquiline. [4,5] Not only there was increased background resistance to second‐line drugs in bedaquiline group, but also significantly more number of patients in the placebo group had at least one new antitubercular drug added to their background regimen (58% vs. 47%). Finally, comparing mortality in phase II trial of bedaquiline[1] would have resulted in an alpha error of 0.45, i.e., 45% as mortality was the ninth comparison (two analysis for sputum conversion, five subgroups, and one‐drug resistance analysis). Thus, concluding falsely decreased Mortality in placebo and increased mortality in bedaquiline group in this meta‐analysis by Charan et al. without considering the above‐stated factors is not warranted. Considering 15% mortality in MDR‐TB[2] from such a large patient pool it becomes difficult to explain 2% mortality in placebo groups of the studied selected for this meta‐analysis. Thus, we assume that the authors’ conclusion of bedaquiline associated increase in mortality was based on wrong interpretation of published literature.