Miracle-dz/UniFAR-FTUs huggingface dataset:
Detecting Android malware with intensive feature engineering

Nowadays, the amount of the application in Android App Market has grown fast, and the android malwares have been introduced fast into that market, too. In this paper, we use static analysis of a given android application with intensive feature engineering which we focus on different sources and different levels. It means that we not only extract features from the executable file classes.dex but also from the other android resource files such as manifest of the application, more over we expand features at different levels of abstraction of the APK application, rather than using more features at the single level. Finally, we combine these different feature sets into one feature set which is used by the classifiers for training/testing. Our method is compared against other Android malware code detection and found to be more efficient in terms of detection accuracy and false alarm rate.
Multi-Scale Convolutional Architecture for Semantic Segmentation

Advances in 3D sensing technologies have made the availability of RGB and Depth information easier than earlier which can greatly assist in the semantic segmentation of 2D scenes. There are many works in literature that perform semantic segmentation in such scenes, but few relates to the environment that possesses a high degree of clutter in general e.g. indoor scenes. In this paper, we explore the use of depth information along with RGB and deep convolutional network for indoor scene understanding through semantic labeling. Our work exploits the geocentric encoding of a depth image and uses a multi-scale deep convolutional neural network architecture that captures high and lowlevel features of a scene to generate rich semantic labels. We apply our method on indoor RGBD images from NYUD2 dataset [1] and achieve a competitive performance of 70.45 % accuracy in labeling four object classes compared with some prior approaches. The results show our system is capable of generating a pixel-map directly from an input image where each pixel-value corresponds to a particular class of object.
Interferon-Stimulated Gene 15 in the Control of Cellular Responses to Genotoxic Stress

Error-free replication and repair of DNA are pivotal to organisms for faithful transmission of their genetic information. Cells orchestrate complex signaling networks that sense and resolve DNA damage. Post-translational protein modifications by ubiquitin and ubiquitin-like proteins, including SUMO and NEDD8, are critically involved in DNA damage response (DDR) and DNA damage tolerance (DDT). The expression of interferon-stimulated gene 15 (ISG15), the first identified ubiquitin-like protein, has recently been shown to be induced under various DNA damage conditions, such as exposure to UV, camptothecin, and doxorubicin. Here we overview the recent findings on the role of ISG15 and its conjugation to target proteins (e.g., p53, ΔNp63α, and PCNA) in the control of cellular responses to genotoxic stress, such as the inhibition of cell growth and tumorigenesis.
EU housing statistics

This paper provides information on the progress achieved by the European System of Central Banks (ESCB) in the field of (non-financial) EU housing statistics. In 2003 the ESCB Working Group on General Economic Statistics started contributing to the improvement of housing market indicators for ESCB analysis. Most of the indicators concerned – residential property prices, several structural housing indicators, and housing wealth – are not covered under any EU statistical regulation, and the collection of non-harmonised statistics from the ESCB Working Group on General Economic Statistics and the subsequent compilation of euro area and EU aggregates has filled important gaps.
Evaluation of Hierarchical Temporal Memory for a Real World Application

A large number of real world applications, such as user support systems, can still not be performed easily by conventional algorithms in comparison with the human brain. Such intelligence is often implemented, by using probability based systems. This paper focuses on comparing the implementation of a cellular phone intention estimation example on a Bayesian Network and Hierarchical Temporal Memory. It is found that Hierarchical Temporal Memory is a system that requires little effort for designing the application, and with some extra effort, further optimised results can easily be obtained.
SWETO: Large-Scale Semantic Web Test-bed

The emergent Semantic Web community needs a common infrastructure for testing the scalability and quality of new techniques and software which use machine processable data. Since ontologies are a centerpiece of most approaches , we believe that for an accurate evaluation of tools for quality, scalability and performance, the research community needs a freely available ontology with a large description base. If the use of tools is to be for advanced semantic applications, such as those in business intelligence and national security, then instances in the knowledge base should be highly interconnected. Thus, we propose and describe a Semantic W Eb Technology evaluation Ontology (SWETO) test-bed. In particular, we address the requirements of a test-bed to support research in semantic analytics, as well as the steps in its development, including, ontology creation, semi-automatic data extraction, and entity disambiguation.
Clock stability characterization and measurement in telecommunications

Clock stability characterization and measurement for telecommunications pose peculiar issues and requirements. This paper aims to provide an overview on this subject. After briefly recalling the background work, the key features and issues of clock stability characterization and measurement in telecommunications are described. The timing signal reference model and the stability quantities adopted in the new international standards are introduced and the impact of the measurement configuration and of the time error sampling period on their behavior are elucidated. The measurement of clock stability in telecommunications is then addressed, and a standard practical measurement procedure is outlined. Several measurement results are provided to support the concepts expounded with experimental evidence. The results shown have been chosen among those obtained throughout the last three years by testing clerks of digital switching exchanges, clocks for synchronous digital hierarchy (SDH) equipment, and state-of-the-art stand-alone slave clocks for synchronization networks. They thus represent a survey of the actual performance of clocks currently deployed in telecommunications networks.
AR/sup 2/Hockey: a case study of collaborative augmented reality

Introduces a collaborative augmented reality (AR) system for real-time interactive operations. AR enables us to enhance physical space with computer-generated virtual space. In addition, collaborative AR allows multiple participants to simultaneously share the physical space surrounding them and a virtual space that is visually registered with the physical one. They can also communicate with each other through the mixed space. This paper describes the AR/sup 2/Hockey (Augmented Reality AiR Hockey) system, where players can share a physical game field and mallets, and a virtual puck to play an air-hockey game, as a case study of a collaborative AR system. Since real-time accurate registration between both spaces and players is crucial for the collaboration, a video-rate registration algorithm is implemented with magnetic head-trackers and video cameras attached to optical see-through head-mounted displays (HMDs). The configuration of the system and the details of the registration are described. Our experimental collaborative AR system achieves higher interactivity than a totally immersive collaborative VR system.
Business Cycle Dynamics and Shock Resilience in Chile

In this paper we use a VAR model to analyze the response of the Chilean business cycle to shocks and the capacity of the Chilean economy to withstand them (resilience). Novel features in the analysis include the introduction of an expanded set of variables to capture the impact of external shocks and domestic shocks —including policy variables; the use of an extended sample since the 1950s; and the introduction of block exogeneity to capture the small open economy feature and to better deal with identification issues. Among key results, we find that foreign shocks have been the dominant source of business cycle fluctuations, followed by monetary policy shocks, while fiscal policy shocks explain relatively little; and that despite of the increased synchronization of the domestic business cycle with international conditions, the resilience of the Chilean economy to external shocks has increased during the nineties, with countercyclical policies playing an important role in such a positive development
Timing vulnerability factors of sequentials

Single-event upsets (SEU) from particle strikes have become a key challenge in microprocessor design. Modern superpipelined microprocessors typically contain many thousands of sequentials whose soft-error rate (SER) cannot be neglected any more. An accurate assessment of the SER of sequentials is therefore crucial. This work describes a method for computing timing vulnerability factors (TVFs) of sequentials. Our methology captures the impact of the circuit environment which sequentials are typically placed in. Further, upsets occurring in local clock nodes have been accounted for. Results are presented for master-slave type flip flops and for flow-through latches of a high-performance microprocessor. Our investigations demonstrate that TVFs are a strong function of the propagation delay of the combinational logic and typically vary between /spl sim/0% and 50%. For high-performance microprocessors, we predict average TVF values of the order of 20%-30%. Further, we expect TVFs to be largely technology independent for the same design.
On Pocrims and Hoops

Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special class of pocrims that provide algebraic semantics for what we view as an intuitionistic analogue of the classical multi-valued {\L}ukasiewicz logic. We present some contributions to the theory of these algebraic structures. We give a new proof that the class of hoops is a variety. We use a new indirect method to establish several important identities in the theory of hoops: in particular, we prove that the double negation mapping in a hoop is a homormorphism. This leads to an investigation of algebraic analogues of the various double negation translations that are well-known from proof theory. We give an algebraic framework for studying the semantics of double negation translations and use it to prove new results about the applicability of the double negation translations due to Gentzen and Glivenko.
Universal robust algorithm for detection of image features

Effective detection of the feature points in images requires usage of detectors that produces similar results in variable observation conditions. Authors present a feature detector which is based on a uniformly most powerful invariant algorithm that uses t-test. The authors obtained equations that allow evaluating the effectiveness of the robust feature detector. Simulation proved the robustness (constant rate of false alarms) of the proposed feature point detection algorithm to changes in mean value and standard deviation of background pixels' intensity. The study proved invariance of the synthesized detector structure to the angle of the image rotation. The uniqueness of detected features is determined by the formation of support and analyzed samples.
The effects of inflation on economic growth and on its macroeconomic determinants

This thesis is concerned with the effects of inflation on output growth and on its determinants. In the first step, ourstudy analyzes two aspects of the inflation–growth relationship. First, it examines the nonlinearity of the relationshipbetween inflation and output growth and identifies several thresholds for the global sample and for various incomespecificsub-samples. Secondly, it identifies some country-based macroeconomic features that influence thisnonlinearity. Our empirical results substantiate both views and validate the fact that the inflation–growth nonlinearityis sensitive to a country’s trade openness capital accumulation, and government expenditures (chapter 2). After that,we explain this inflation–growth nonlinearity by testing a Tobin effect of inflation on physical capital and asubstitution effect – from work to education – for human capital. We find that the positive effects of moderateinflation rate are due to the Tobin effect on physical capital whereas a weak negative effect of high inflation ratestems from a better human capital accumulation. We identify a strong role of well developed financial systems in allthese mechanisms (chapter 3). Lastly, we address a lack of coherence between the macro based optimal inflationthresholds for output growth and the actual preferences of central banks around the world. We notice that centralbanks use micro based New-Keynesian models and their optimal inflation rate is the one that minimizes dispersionsin factors and product markets. We test the effect of inflation on relative price variability and output growthvariability and, for all income groups, the results support a slight positive inflation rate to minimize theseuncertainties. For our selected emerging economies, monetary policy regimes also affect these dispersions (chapter4).
Design optimization of a dual MP3/AAC decoder

In this paper, we present a highly optimized one-chip digital audio decoder supporting both MP3 and AAC standards. The design has been focused on the hardware modularity for both MP3 and AAC. The hardware consists of a Huffman decoder module and 20-bit programmable DSP module. In addition, a hardware module for the prediction tool of AAC has been added to support AAC Main Profile. Utilizing the modularity of the designed hardware, MP3 and AAC decoding algorithms are distributed to each module in such a way that the system resource can be maximally utilized. The designed system can decode MPEG/Audio layer-3 bitstream using only 13.33 MIPS and MPEG-2 AAC Main Profile bitstream using only 16.9 MIPS while the high accuracy of the decoded output PCM can be obtained with it.
COMPARISON OF EXTENDED KALMAN FILTER AND NON LINEAR SIGMA POINT FILTER FOR ORBIT DETERMINATION USING GPS MEASUREMENTS

Abstract. Herein, the purpose is to present how a non linear extended Kalman filter and a Kalman filter based on the sigma point unscented transformation, aiming at real time satellite orbit determination using GPS measurements, were developed. If the dynamic system and the observation model are linear, the conventional Kalman filter may be used as the estimation algorithm. However, not rarely, the dynamic systems and the measurements equations are of non linear nature. For solving such a problem, convenient extensions of the Kalman filter have been sought. In particular, the unscented transformation was developed as a method to propagate mean and covariance information through non linear transformations. The Sigma Point Kalman filter (SPKF) appears as an emerging estimation algorithm applied to non linear system, without linearization steps. The SPKF will be compared with the extended Kalman filter (EKF) in three queries: accuracy, implementation, and order of complexity. Data from Global Positioning System (GPS) receivers will be used to determine the orbit of an artificial satellite using both the EKF and the SPKF as estimation techniques. The EKF implementation in orbit estimation, under inaccurate initial conditions and scattered measurements, can lead to unstable solutions. The determinist and the stochastic aspects must be taken into account, in order to improve the orbit determination processes and, at the same time, minimize the computational procedure cost. The first aspect encloses the system modeling and the problem formulation in order to adjust the system equations adopted to represent the orbit dynamic. In the second, the statistic estimation theory must be managed to make feasible its utilization. The orbit determination, in particular, presents a big additional inconvenience due to the non linear characteristics of both the dynamics of the motion and the GPS measurements model. In this work, analysis of a different technique to estimate the state vector that characterizes a satellite orbit model, found in non-linear Sigma Point filter, will be shown and compared to the EKF. The formulation of orbital motion differential equations and the GPS measurements equations will be placed in a suitable form. The development of the SPKF, initially in generic form, will be afterwards modified to the specific problem of the orbit determination using GPS measurements.
The use of vitamin D analogues in chronic kidney diseases: possible mechanisms beyond bone and mineral metabolism

Chronic kidney disease (CKD) is a common and costly medical condition, and currently available therapeutic options remain unsatisfactory. Vitamin D analogues are widely used for the bone and mineral disorder associated with CKD. However, accumulating evidence suggests that vitamin D analogues may have actions other than their effects on bone and mineral metabolism. In this article, we review the following aspects on the use of vitamin D analogues for the treatment of CKD: (1) epidemiological studies showing that patients with late-stage CKD have better survival than untreated patients; (2) animal studies showing that vitamin D analogues may retard the progression of CKD; (3) human studies on the anti-proteinuric and possibly renal protecting effects of vitamin D analogues in CKD and (4) the potential mechanisms of its therapeutic benefit. Nonetheless, definitive proof of the clinical benefits by randomized control trial would be necessary before one could advocate the routine use of vitamin D analogues for the treatment of CKD patients.
Improving the Productivity of Compiler Code Quality Analysis

Producing quality code is one of the most important goals of an optimizing compiler. Analyzing code quality is therefore an essential activity in compiler engineering. By motivating new optimizations and diagnosing regressions, it takes a bottleneck position in the process. However, it has been highly empirical, and dependent on architectures and tools. This makes it a difficult and time-consuming task, and its productivity is unpredictable and usually low. This paper proposes two novel approaches for code quality analysis. The first approach focuses on the key scenario in compiler construction, the computation-intensive benchmarks. We observed that the workload upon the processor dominates the execution time of such benchmarks. Therefore, we use the compiler to parse the workload. By doing this, the compiler applies its static analysis power to identify its own code quality issues and potentials. We have implemented a software system for this approach and integrated it with our daily testing infrastructure. It automates the code quality analysis for Spec benchmarks, and provides developers relevant information in reasonable time. The second approach addresses code quality regressions of operating system benchmarks. We take advantage of the built-in instrumentation of the operating system to collect traces of events, and then construct a tree out of the trace. Analyzing regression is thus simplified as tree comparison. With the tree structure, this approach divides and conquers the usually huge amount of data, and effectively localizes the focus to a few leaves of the trees. It has been implemented, and addressed several difficult issues that led to visible code quality improvement. This paper also summarizes our experiences in bringing up the code quality of a product compiler framework, establishes a few simple guidelines to achieve code quality objectives with minimized efforts, and empirically compares various analysis approaches.
Robust stroke-based video animation via layered motion and correspondence

This paper investigates a novel approach to reduce artifacts and visual flickering in generating painterly animations from real video clips. In the traditional painterly animation methods, the brush strokes are propagated over video frames by calculating optical flows, and the visual impression of animations are severely affected by incorrect correspondences. In our method, we combine motion segmentation and occlusion handing to establish accurate dense feature correspondences, which is shown to robust propagate brush strokes against complex motions and occlusions. Moreover, a beforehand rendering strategy is presented to alleviate stroke flickering. In the experiments, we generate a number of animations in cartoon and oil painting style. The quantitative evaluations of brush stabilization is presented as well.
Somatotopic astrocytic activity in the somatosensory cortex

Astrocytes play a crucial role in maintaining neuronal function and monitoring their activity. According to neuronal activity maps, the body is represented topographically in the somatosensory cortex. In rats, neighboring cortical areas receive forelimb (FL) and hindlimb (HL) sensory inputs. Whether astrocytic activity is also restricted to the cortical area receiving the respective peripheral sensory inputs is not known. Using wide field optical imaging we measured changes in the concentration of astrocytic calcium within the FL and HL sensorimotor cortex in response to peripheral sensory inputs. Mapping the calcium signals upon electrical stimulation of the forepaw and hindpaw we found activity largely restricted to the FL and HL area, respectively. In comparison to neuronal activity the time course of the astrocytic calcium activity was considerably slower. The signal took 6 s to peak after the onset of a 2 Hz and 2 s long electrical stimulation of the hindpaw and 8 s for a 4 s stimulation. The astrocytic signals were delayed relative to cerebral blood flow measured using laser speckle imaging. The intensity of both the astrocytic and neuronal signals in the HL sensorimotor cortex declined with increase in stimulation frequency. Moreover, blocking neuronal input by tetrodotoxin abolished astrocytic calcium signals. We suggest that the topographical representation of the body is not only true for cortical neurons but also for astrocytes. The maps and the frequency‐dependent activations reflect strong reciprocal neuroglial communication and provide a new experimental approach to explore the role of astrocytes in health and disease. © 2013 Wiley Periodicals, Inc.