Miracle-dz/UniFAR-FTUs huggingface dataset:
An Efficient and Packing-Resilient Two-Phase Android Cloned Application Detection Approach

The huge benefit of mobile application industry has attracted a large number of developers and attendant attackers. Application repackaging provides help for the distribution of most Android malware. It is a serious threat to the entire Android ecosystem, as it not only compromises the security and privacy of the app users but also plunders app developers’ income. Although massive approaches have been proposed to address this issue, plagiarists try to fight back through packing their malicious code with the help of commercial packers. Previous works either do not consider the packing issue or rely on time-consuming computations, which are not scalable for large-scale real-world scenario. In this paper, we propose FUIDroid, a novel two-phase app clones detection system that can detect the packed cloned app. FUIDroid includes a function-based fast selection phase to quickly select suspicious apps by analyzing apps’ description and a further UI-based accurate detection phase to refine the detection result. We evaluate our system on two sets of apps. The result from experiment on 320 packed samples demonstrates that FUIDroid is resilient to packed apps. The evaluation on more than 150,000 real-world apps shows the efficiency of FUIDroid in large-scale scenario.
QFT method for indefinite Kac-Moody Theory: A step towards classification

We propose a quantum field theory (QFT) method to approach the classification of indefinite sector of Kac-Moody algebras. In this approach, Vinberg relations are interpreted as the discrete version of the QFT2 equation of motion of a scalar field and Dynkin diagrams as QFT2 Feynman graphs. In particular, we show that Dynkin diagrams of su(n + 1) series (n ≥ 1) can be interpreted as free field propagators and Tp,q,r.diagrams as the vertex of � 3 interaction. Other results are also given.
Human Action Recognition Based on Recognition of Linear Patterns in Action Bank Features Using Convolutional Neural Networks

In this paper, we proposed a deep convolutional network architecture for recognizing human actions in videos using action bank features. Action bank features computed against of a predefined set of videos known as an action bank, contain linear patterns representing the similarity of the video against the action bank videos. Due to the independence of the patterns across action bank features, a convolutional neural network with linear masks is considered to capture the local patterns associated with each action. The knowledge gained through training is used to assign an action label to videos during testing. Experiments conducted on UCF50 dataset demonstrates the effectiveness of the proposed approach in capturing and recognizing these linear local patterns.
Precise Data Race Detection in a Relaxed Memory Model using Model Checking

Most approaches to reasoning about multithreaded programs, including model checking, make the implicit assumption that the system being considered is sequentially consistent. This is not a valid assumption for most current multiprocessor/core systems and this fact is exposed to the programmer for many concurrent programming languages in the form a relaxed memory model. For example, the Java Memory Model only promises sequentially consistent behaviors for programs that are free from data races, making the ability to detect and eliminate data races essential for soundly reasoning about Java programs. Towards this end, we introduce a new summary function that captures the information necessary for precise data race detection along with an efficient representation of the function that allows data race detection by model checking. In addition, we introduce novel search heuristics specialized for data race detection that lead to shorter counterexample paths than standard search strategies. The ideas have been implemented in Java RaceFinder (JRF), an extension to the model checker Java PathFinder (JPF). In contrast to many data race detection tools that can only deal with a restricted set of concurrent programming idioms such as lock-based synchronization, JRF correctly handles programs that contain memory model relevant features including volatile fields, final fields, compareAndSwap, and static initialization in addition to both intrinsic and extrinsic locks. As a result, it is powerful enough to be effectively used with wait-free and lock-free data structures. Once a concurrent program is data race free, standard model checking techniques can be soundly used to check other properties of interest.
A Pseudo Potential Description of the Motion of Charged Particles in RF Fields

Introduction The pseudo potential model used to describe the ‘averaged’ motion of charged particles in radio frequency (RF) electric field is considered here [1–4]. This approach describes the motion in RF fields just qualitatively and cannot describe correctly the subtle effects like the true stability zone, etc. The pseudo potential model is very useful for intuitively transparent prediction of the motion of charged particles in the electric RF fields.
Feedforward control of a piezoelectric flexure stage for AFM

We review basic issues in the control of scanning probe microscopes. To improve the performance of the present generation of instruments, we have developed a simple feedforward technique that nonetheless increases the effective bandwidth of the positioning stage by a factor of 15 over its standard operation. If the desired control signal is known in advance (as it is for a periodic scan signal), the feedforward filter can be non-causal: information about the future can be used to cancel the phase lag produced by the stage response. We compare our design with other control techniques. We show that model-based iterative control algorithms can lead to a substantial performance boost, at the cost of more measurements of the system transfer function. We then introduce a model-free variant that is simpler to set up, performs better, and is more robust to system changes.
The Instantiation Discourse Relation: A Corpus Analysis of Its Properties and Improved Detection

INSTANTIATION is a fairly common discourse relation and past work has suggested that it plays special roles in local coherence, in sentiment expression and in content selection in summarization. In this paper we provide the ﬁrst systematic corpus analysis of the relation and show that relation-speciﬁc features can improve considerably the detection of the relation. We show that sentences involved in INSTANTIATION are set apart from other sentences by the use of gradable (subjective) adjectives, the occurrence of rare words and by different patterns in part-of-speech usage. Words across arguments of INSTANTI - ATION are connected through hypernym and meronym relations signiﬁcantly more often than in other sentences and that they stand out in context by being signiﬁcantly less similar to each other than other adjacent sentence pairs. These factors provide substantial predictive power that improves the identiﬁcation of implicit INSTANTIATION relation by more than 5% F-measure.
Investigating gene expression array with outliers and missing data in bladder cancer

In this article, we present a methodology to perform selection among genes based on their expression in various groups of patients, in order to find new genetic markers for specific pathologies. Our approach is based on clustering the denoised data and computing a LASSO (Least Absolute Shrinkage and Selection Operator) estimator, in order to select the relevant genes. This latter belongs to the class of penalized regression estimators where the penalty is a multiple of the ℓ1-norm of the regression vector. Gene markers of the most severe tumor state are finally provided using the proposed approach.
The End2 mutation in CHO cells slows the exit of transferrin receptors from the recycling compartment but bulk membrane recycling is unaffected

We have characterized a new CHO cell line (12-4) derived from a parental line, TRVb-1, that expresses the human transferrin receptor. This mutant belongs to the end2 complementation group of endocytosis mutants. Like other end2 mutants, the endosomes in 12-4 cells show a partial acidification defect. These cells internalize LDL and transferrin at 70% of the rate of parental cells and externalize transferrin at 55% of the parental rate (Johnson, L. S., J. F. Presley, J. C. Park, and T. E. McGraw. J. Cell Physiol. 1993). In this report, we have used fluorescence microscopy to determine which step in receptor trafficking is affected in the mutants. Transferrin is sorted from LDL and is delivered to a peri-centriolar recycling compartment at rates similar to parental cells. However, the rate constant for exit of transferrin from the recycling compartment in mutant cells is 0.025 min- 1 vs 0.062 min-1 in the parental line. We also measured the trafficking of a bulk membrane marker, 6-[N-[7-nitrobenzo-2-oxa-1,3-diazol-4-yl]- amino]hexanoyl- sphingosylphosphorylcholine (C6-NBD-SM) that labels the exofacial side of the plasma membrane. C6-NBD-SM enters the same recycling compartment as transferrin, and it exits the recycling compartment at a rate of 0.060-0.065 min-1 in both parental and 12-4 cells. We conclude that bulk membrane flow in the recycling pathway of 12-4 cells is normal, but exit of transferrin from the recycling compartment is slowed due to retention in this compartment. Thus, in the mutant cell line the recycling compartment carries out a sorting function, retaining transferrin over bulk membrane.
Adaptive Simulated Annealing Genetic Algorithm for Optimizing Injection Production Parameters of Steam Flood Well

The development effect of steam flood well is influenced by the combination of the following parameters: injection speed, dryness fraction of steam, temperature of injection steam, and bottom hole flowing pressure. Taking the advantage of adaptive simulated annealing genetic algorithm with the characteristic of fast search and globally optimization, and combine with the mathematical model of the steam flood well. Maximization of the vapor-liquid interface factor is the target to optimize injection production parameter of the steam flood well, the results of the optimization shows that cumulative oil production increases obviously.
Vision-based Unmanned Aerial Vehicle Navigation Using Geo-referenced Information

Recommended by Matthijs Spaan This paper investigates the possibility of augmenting an Unmanned Aerial Vehicle (UAV) navigation system with a passive video camera in order to cope with long-term GPS outages. The paper proposes a vision-based navigation architecture which combines inertial sensors, visual odometry, and registration of the on-board video to a geo-referenced aerial image. The vision-aided navigation system developed is capable of providing high-rate and drift-free state estimation for UAV autonomous navigation without the GPS system. Due to the use of image-to-map registration for absolute position calculation, drift-free position performance depends on the structural characteristics of the terrain. Experimental evaluation of the approach based on offline flight data is provided. In addition the architecture proposed has been implemented on-board an experimental UAV helicopter platform and tested during vision-based autonomous flights.
Activation in Visual Cortex Correlates with the Awareness of Stereoscopic Depth

Using event-related functional magnetic resonance imaging, we studied the activation correlating with the awareness of stereoscopic depth using a bistable slanted surface (slant rivalry). Bistability resulted from incongruence between two slant-defining cues: binocular disparity and monocular perspective. The stimulus was perceived as alternating between the perspective-dominated percept (monocular depth) and the disparity-dominated percept (stereopsis), while sensory input remained constant, enabling us to study changes in awareness of depth associated with either cue. Transient activation relating to perceptual alternations was found bilaterally in the caudal part of the intraparietal sulcus, in the right-hemispheric anterior intraparietal sulcus, within visual area V4d-topo, and inferior to area MT+. Transient activation correlating specifically with alternations toward the disparity-dominated percept was found in a number of visual areas, including dorsal visual areas V3A, V7, and V4d-topo and visual areas MT+ and lateral occipital complex. No activation was found for alternations toward the perspective-dominated percept. Our results show that of all visual areas responsive to disparity-defined depth, V4d-topo shows the most robust signal changes correlating with the instigation of stereoscopic depth awareness (stereopsis).
Passive length-force properties of senescent diaphragm: relationship with collagen characteristics.

The purpose of this study was to examine the effect of aging on collagen concentration and extent of nonreducible collagen cross-linking as well as with the passive length-force relationship of the diaphragm muscle. Midcostal diaphragm muscle strips from young (6 mo) and senescent (24 mo) Fischer 344 rats were perfused in a tissue bath containing mammalian Ringers solution (25 degrees C) aerated with 95% O2-5% CO2. The segments were lengthened and shortened from 85 to 115% of optimal length (L(o)) at a constant velocity (0.6 L(o)/s), and the passive force was measured. Hydroxyproline (HYP) and the mature nonreducible collagen cross-link, hydroxylysylpyridinoline (HP), were measured by high-pressure liquid chromatography. The resting force at Lo did not differ between young and senescent diaphragm muscles. However, the senescent diaphragm exhibited greater passive force compared with the young (P < 0.05) at lengths > 110% of L(o). High-pressure liquid chromatography analysis revealed a higher concentration of HYP in the senescent compared with the young diaphragm (9.32 +/- 0.83 and 6.59 +/- 0.78 g HYP/mg dry wt, respectively; P < 0.05). Additionally, the content of HP was greater in the senescent compared with the young diaphragm (1.16 +/- 0.05 and 0.91 +/- 0.05 mol HP/mol collagen, respectively; P < 0.05). These results suggest that diaphragm collagen metabolism, maturation, and the passive length-force characteristics of the muscle are altered with senescence.
Touching dante: a proximity-based paradigm for tabletop browsing

We present the design of a proximity-based interaction paradigm for browsing complex information. This paradigm builds on the intrinsic characteristics of interactive tabletops, namely their physical spatial dimension, direct-touch input modality and affordance for multi-user interaction. To validate such a proposal, we developed a prototypical application about Dante's Inferno, due to the complexity, vastness and universality of this classic and to the availability of partially-structured data about the relationships between characters. Four pairs of users were involved in a user study to assess qualitatively whether the interaction paradigm would help them in collaboratively browsing a collection of data. Preliminary results are encouraging: the proposed paradigm is easily understood, is perceived as simple while still engaging, allows for collaborative learning while not forcing it, and helps highlighting and remembering connections among data.
Does infusion of ANG II increase muscle sympathetic nerve activity in patients with primary aldosteronism?

Patients with primary aldosteronism (PA) were shown to have suppressed muscle sympathetic nerve activity (MSNA) in our previous study. Although baroreflex inhibition probably accounts in part for this reduced MSNA in PA, we hypothesized that the lowered activity of the renin-angiotensin system in PA may also contribute to the suppressed SNA. We recorded MSNA in 9 PA and 16 age-matched normotensive controls (NC). In PA, the resting mean blood pressure (MBP) and serum sodium concentrations were increased, and MSNA was reduced. We examined the effects of infusion of a high physiological dose of ANG II (5.0 ng.kg(-1). min(-1)) on MSNA in 6 of 9 PA and 9 of 16 NC. Infusion of ANG II caused a greater pressor response in PA than NC, but, in spite of the greater increase in pressure, MSNA increased in PA, whereas it decreased in NC. Simultaneous infusion of nitroprusside and ANG II, to maintain central venous pressure at the baseline level and reduce the elevation in MBP induced by ANG II, caused significantly greater increases in MSNA in PA than in NC. Baroreflex sensitivity of heart rate, estimated during phenylephrine infusions, was reduced in PA, but baroreflex sensitivity of MSNA was unchanged in PA compared with NC. All the abnormalities in PA were eliminated following unilateral adrenalectomy. In conclusion, the suppressed SNA in PA depends in part on the low level of ANG II in these patients.
Flow Diversion Versus Conventional Treatment for Carotid Cavernous Aneurysms

Background and Purpose— Several endovascular treatment options are available for cavernous carotid aneurysms. We compared pipeline embolization device (PED) versus conventional endovascular treatment in terms of evolution of mass effect, complications, recurrence, and retreatment rate. Methods— One hundred fifty-seven patients harboring 167 cavernous carotid aneurysms were treated using PED placement, coiling, stent-assisted coiling, and carotid vessel destruction. Procedural complications, angiographic results, and clinical outcomes were analyzed and compared. Results— There were no difference in age, sex, and mean aneurysm size between those treated with PED and those treated with conventional endovascular procedures. The patients treated with PED had a significantly lower proportion of small-size aneurysms (<10 mm) and a shorter follow-up duration. Multivariate analysis revealed treatment other than PED (PED: odds ratio [OR], 0.03; P=0.002) and size >15 mm (OR, 4.27; P=0.003) to be predictors of no improvement in symptoms. The rate of complete occlusion was 81.36% (48 of 59) for PED, 42.25% (39 of 71) for stent-assisted coiling, 27.27% (6 of 22) for coiling, and 73.33% (11 of 15) for carotid vessel destruction. Retreatment was needed in patients with aneurysm size >15 mm (OR, 2.67; P=0.037) and those who were not treated with PED (PED: OR, 0.16; P=0.006). The rate of major complications was 6.6% (11 of 167). Patients who were treated with PED or stent-assisted coiling had 3.84 lower odds to develop complications (OR, 0.26; P<0.05). Conclusions— The use of PED should be encouraged, especially in symptomatic patients. We found PED to be associated with less need for future treatment, higher improvement in symptoms rate, and lower rate of complications.
An atomistic study of brittle fracture: Toward explicit failure criteria from atomistic modeling

Atomistic techniques are used to study brittle fracture under opening mode and mixed mode loading conditions. The influence of the discreteness of the lattice and of the lattice-trapping effect on crack propagation is studied using an embedded atom potential for nickel to describe the crack tip. The recently developed FEAt (Finite Element-Atomistic) coupling scheme provides the atomistic core region with realistic boundary conditions. Several crystallographically distinct crack-tip configurations are studied and commonly reveal that brittle cracks under general mixed mode loading situations follow an energy criterion ( G -criterion) rather than an opening-stress criterion ( K _l-criterion). However, if there are two competing failure modes, they seem to unload each other, which leads to an increase in lattice trapping. Blunted crack tips are studied in the last part of the paper and are compared to the atomically sharp cracks. Depending on the shape of the blunted crack tip, the observed failure modes differ significantly and can drastically disagree with what one would anticipate from a continuum mechanical analysis.
INDEXING OF MEDLINE DOCUMENTS -A TEXT MINING APPROACH

Medline and PubMed repositories are rich in medical literature. Once the documents are retrieved from PUBMED, they need further analysis. The exponential growth of these online repositories and availability of large volume of documents has motivated the search for the hidden knowledge from these resources. Therefore, an automated system which could correctly extract information from PubMed is needed. We proposed a novel feature weighting schema to generate index terms. Our results show that the accuracy and precision are high when global relevant weight schema is used. Indexed terms generated from GRW are more relevant compared to terms extracted by other methods.
Learned Stochastic Mobility Prediction for Planning with Control Uncertainty on Unstructured Terrain

Motion planning for planetary rovers must consider control uncertainty in order to maintain the safety of the platform during navigation. Modeling such control uncertainty is difficult due to the complex interaction between the platform and its environment. In this paper, we propose a motion‐planning approach whereby the outcome of control actions is learned from experience and represented statistically using a Gaussian process regression model. This mobility prediction model is trained using sample executions of motion primitives on representative terrain, and it predicts the future outcome of control actions on similar terrain. Using Gaussian process regression allows us to exploit its inherent measure of prediction uncertainty in planning. We integrate mobility prediction into a Markov decision process framework and use dynamic programming to construct a control policy for navigation to a goal region in a terrain map built using an onboard depth sensor. We consider both rigid terrain, consisting of uneven ground, small rocks, and nontraversable rocks, and also deformable terrain. We introduce two methods for training the mobility prediction model from either proprioceptive or exteroceptive observations, and we report results from nearly 300 experimental trials using a planetary rover platform in a Mars‐analogue environment. Our results validate the approach and demonstrate the value of planning under uncertainty for safe and reliable navigation.
An efficient phrase-to-phrase alignment model for arbitrarily long phrase and large corpora

Most statistical machine translation (SMT) systems use phrase-to-phrase transla- tions to capture local context information, leading to better lexical choices and more reli- able word reordering. Long phrases capture more contexts than short phrases and result in better translation qualities. On the other hand, the increasing amount of bilingual data poses serious problems for storing all possible phrases. In this paper, we describe a novel phrase- to-phrase alignment model which allows for arbitrarily long phrases and works for very large bilingual corpora. This model is very efficient in both time and space and the resulting translations are better than the state-of-the-art systems.
Low Complexity OFDM Detector for Underwater Acoustic Channels

An adaptive algorithm is proposed for OFDM signal detection on Doppler-distorted, time-varying multipath channels. The focus of the approach is on low complexity post-FFT signal processing. The receiver performs MMSE combining of signals received across an array, using adaptive channel estimation. Non-uniform Doppler compensation across subbands is performed using a single adaptively estimated parameter representing the Doppler rate. Algorithm performance is demonstrated on experimental data, transmitted through a shallow water channel over the distance of 2.5 km. QPSK modulation with a varying number of carriers is used in a 24 kHz acoustic bandwidth. Excellent performance is achieved with up to 1024 carriers, yielding an overall bit rate of 30 kbps