Miracle-dz/UniFAR-FTUs huggingface dataset:
A Smartphone Security Architecture for App Verification and Process Authentication

We present a runtime integrity measurement for Linux-based smartphones. It is based on a Mobile Trusted Module (MTM) with the objective to prevent running arbitrary third-party applications (Apps) on a smartphone. Only Apps signed by the MTM are allowed to run on the smartphone. Moreover, the proposed architecture inhibits running Apps which are infected with e.g. a mobile virus after their installation. We believe that the proposed approach is useful particularly for company administrators who want to fully control the list of Apps allowed to run on employees' smartphones and to ensure that Apps altered after their installation or installed without company permission are never executed.
A real-time distributed relative pose estimation algorithm for RGB-D camera equipped visual sensor networks

In mobile visual sensor networks, relative pose (location and orientation) estimation is a prerequisite to accomplish a wide range of collaborative tasks. In this paper, we present a distributed, peer-to-peer algorithm for relative pose estimation in a network of mobile robots equipped with RGB-D cameras acting as a visual sensor network. Our algorithm uses the depth information to estimate the relative pose of a robot when camera sensors mounted on different robots observe a common scene from different angles of view. To create the algorithm, we first developed a framework based on the beam-based sensor model to eliminate the adverse effects of the situations where two views of a scene each are partially seen by the sensors. Then, in order to cancel the bias introduced by the beam-based sensor model, we developed a scheme that allows the algorithm to symmetrize across the two views. We conducted simulations and also implemented the algorithm on our mobile visual sensor network testbed. Both the simulations and experimental results indicate that the proposed algorithm is fast enough for real-time operation and able to maintain a high estimation accuracy. To our knowledge, it is the first distributed relative pose estimation algorithm that uses the depth information captured by multiple RGB-D cameras.
Trophic significance of solitary cells of the prymnesiophyte Phaeocystis globosa depends on cell type

With the use of five different isolates of Phaeocystis globosa solitary cells from the North Sea, we conducted experiments to reveal whether grazing and development of the nauplii of the calanoid copepod Temora longicornis varies in response to the cell type. Two P. globosa strains representing nonflagellated cells were ingested at intermediate to high rates and resulted in high survival and development, comparable to the Rhodomonas sp. control. In contrast, the response to three mesoflagellate strains was highly variable. Feeding on two of these strains was avoided, whereas the third strain was ingested; however, the mesoflagellates induced poor survival and development regardless of the feeding response. These observations differ from previous results, which generally demonstrate microzooplankton feeding on Phaeocystis. The morphological characterization of strains, together with mixture experiments, revealed that neither the production of transparent exopolymer particles and chitinous threads nor toxicity can explain the observed response. The cohesion of the threads into pentagonal stars was observed only in the avoided mesoflagellate and might cause a mechanical hindrance for the ingestion of mesoflagellates. Our results suggest that grazing loss and trophic transfer efficiency might be overestimated when solitary cells are treated as a single functional group with regard to their trophic position.
Real-time online monitoring of the ion range by means of prompt secondary radiations

Prompt secondary radiations such as gamma rays and protons can be used for ion-range monitoring during ion therapy either on an energy-slice basis or on a pencil-beam basis. We present a review of the ongoing activities in terms of detector developments, imaging, experimental and theoretical physics issues concerning the correlation between the physical dose and hadronic processes.
Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings

This demonstration presents a concatenative synthesis engine for the generation of musical accompaniments, based on chord progressions. The system takes a player's song recording as input, and generates the accompaniment for any other song, based on the input content. We show that working on accompaniment requires a special care about temporal deviations at the border of the sliced chunks, because they make most of the rhythmic groove. We address it by discriminating accidental deviations against intentional ones, in order to correct the first while keeping the second. We will provide a full demonstration of the system, from the recording process to the generation, in various conditions, inviting the audience to participate.
PET tracers and techniques for measuring myocardial blood flow in patients with coronary artery disease

Assessment of the relative distribution of myocardial flow with myocardial perfusion imaging (MPI) is methodologically limited to predict the presence or absence of flow-limited coronary artery disease (CAD). This limitation may often occur, when obstructive lesions involve multiple epicardial coronary arteries or disease-related disturbances of the coronary circulation coexist at the microvascular level. Non-invasive assessment of myocardial blood flow in absolute units with position emission tomography (PET) has been positioned as the solution to improve CAD diagnosis and prediction of patient outcomes associated with risks for cardiac events. This article reviews technical and clinical aspects of myocardial blood flow quantitation with PET and discusses the practical consideration of this approach toward worldwide clinical utilization.
On convex stability domain and optimization of IIR filters

We discuss descriptions of convex domains containing Schur polynomials, built around a given Schur polynomial. We show that the domain described by a positive realness constraint always contains the domain characterized by Rouché's theorem. We also show how to handle computationally the positive realness condition, using semidefinite programming, in the context of designing stable IIR filters. Two recent methods of Lang [4] and Lu et al [6] for optimizing IIR filters according to a least-squares criterion are modified to incorporate the positive realness condition and shown experimentally to give similar results.
Quantitative Detection of ID4 Gene Aberrant Methylation in the Differentiation of Myelodysplastic Syndrome from Aplastic Anemia

Background: The diagnosis of myelodysplastic syndrome (MDS), especially hypoplastic MDS, and MDS with low blast counts or normal karyotype may be problematic. This study characterized ID4 gene methylation in patients with MDS and aplastic anemia (AA). Methods: The methylation status of ID4 was analyzed by bisulfite sequencing polymerase chain reaction (PCR) and quantitative real-time methylation-specific PCR (MethyLight PCR) in 100 patients with MDS and 31 patients with AA. Results: The MDS group had a higher ID4 gene methylation positivity rate (22.22%) and higher methylation levels (0.21 [0–3.79]) than the AA group (P < 0.05). Furthermore, there were significant differences between the hypoplastic MDS and AA groups, the MDS with low blast count and the AA groups, and the MDS with normal karyotype and the AA groups. The combination of genetic and epigenetic markers was used in much more patients with MDS (62.5% [35/56]) than the use of genetic markers only (51.79% [29/56]). Conclusions: These results showed that the detection of ID4 methylation positivity rates and levels could be a useful biomarker for MDS diagnosis.
Methods for MATERIALS AccurAte Prediction of dynAmic frActure with PeridynAmics

Dynamic fracture and fragmentation processes exhibit several striking characteristic phenomena. Numerical simulations, using any of a variety of methods, have had only limited success in replicating any of these characteristic phenomena. A fundamental impediment for numerical simulations of fracture that are based on traditional solid mechanics theory is that the governing equations are expressed as partial differential equations and the derivatives they entail do not exist at discontinuities. To remedy this inherent limitation, Silling proposed peridynamics as an enhancement of traditional solid mechanics theory. In the peridynamic continuum theory, momentum and energy conservation are expressed as integral equations that apply, without modification, to all types of material response; no auxiliary laws or rules are needed to treat crack initiation or growth. Hallmarks of the theory are nonlocal force interactions between material points; direct use of force and displacement in preference to stress and strain; representation of actual displacement rather than a local gradient approximation; and a numerical implementation that yields a mesh-free method. We show that the resulting simulation capability is able to accurately represent a wide variety of characteristic dynamic fracture phenomena, making peridynamics exceptional among numerical solid mechanics methods. Moreover, the method is predictive in that these phenomena are not “programmed” into the simulations in any way, but emerge from the combination of system geometry, initial and boundary conditions, and the chosen material force density constitutive model.
Robo-Erectus @ Home – A Service Robot for Application in Home Environment

This paper provides a brief description of Robo-Erectus @ Home, a service robot for developed towards application in home environment at Advanced Robotics and Intelligent Control Centre of Singapore Polytechnic. The mechanical and electrical specifications of the robot are described. This paper also covers perception, speech processor and locomotion control modules of Robo-Erectus @ Home. This robot is used as a platform for competing in RoboCup @ home league, and for our ongoing research in human robot interaction, humanoid robot localization and navigation topics.
Toward Better Performance of ColorAnt ACO Algorithm

This paper presents the Color Ant-RT algorithm version 3, an algorithm for graph coloring problems which is based on the Ant Colony Optimization metaheuristic and uses Tabu Search as local search. The experiments demonstrated that ColorAnt3-RT is a promising option in finding good approximations to the best known results for geometric random, geometric standard and le450 graphs of DIMACS benchmark in an acceptable runtime, also, it is good in minimizing the amount of conflicts, the main problem of graph coloring with a fixed number of colors.
A novel passivity-based control law for safe human-robot coexistence

This paper presents a new control law for robotic manipulators in unstructured environments which guarantees the achievement of the goal position without incurring in local minima. The passivity of the closed-loop system renders this control scheme well-suited for human-robot coexistence, especially when the robot is supposed to share its workspace with humans. The given control law has been implemented and experimentally tested in a realistic scenario, demonstrating the effectiveness in driving the robot to a given configuration in a cluttered environment without any offline planning phase.
Brain Reorganization following Intervention in Children with Congenital Hemiplegia: A Systematic Review

Noninvasive rehabilitation strategies for children with unilateral cerebral palsy are routinely used to improve hand motor function, activity, and participation. Nevertheless, the studies exploring their effects on brain structure and function are very scarce. Recently, structural neuroplasticity was demonstrated in adult poststroke patients, in response to neurorehabilitation. Our purpose is to review current evidence on the effects of noninvasive intervention strategies on brain structure or function, in children with unilateral cerebral palsy. The main literature databases were searched up to October 2013. We included studies where the effects of upper limb training were evaluated at neurofunctional and/or neurostructural levels. Only seven studies met our selection criteria; selected studies were case series, six using the intervention of the constraint-induced movement therapy (CIMT) and one used virtual reality therapy (VR). CIMT and VR seem to produce measurable neuroplastic changes in sensorimotor cortex associated with enhancement of motor skills in the affected limb. However, the level of evidence is limited, due to methodological weaknesses and small sample sizes of available studies. Well-designed and larger experimental studies, in particular RCTs, are needed to strengthen the generalizability of the findings and to better understand the mechanism of intervention-related brain plasticity in children with brain injury.
Prevalence of social phobia disorder in high school students in Abhar city, Iran

Introduction: Social phobia is one of the most prevalent anxiety disorders in adolescence years. This disorder owns negative effects on overall health and performance of this group of society people. The aim of this study is determination the prevalence of social phobia disorder among high school students in Abhar city. Â Materials and Methods: In this cross-sectional/descriptive study, numbers of 5526 high school students during academic year of 2011-2012 in both of two genders were selected. Participants were studied by using Liebowitz questionnaire through anonymity principle. In addition, the information related to their demographic features was also collected. SPSS software (version 17) was used for statistical analyses. Absolute and relative frequency distribution was applied to describe data and chi-square test was used to determine and compare the ratio of social phobia disorder according to field variables. Â Results: Totalprevalence of social phobia disorder was 17.2 in the population. The study showed that female gender (P=0.000), age (P=0.001), single marital status (P=0.001), low population of family (P=0.003), parentsâ�� elementary and middle education (P =0.001), motherâ��s house maker being (P=0.012), fatherâ��s free job (P=0.002), urbanism (P=0.000) and familyâ��s average income (P=0.000) have relation with higher prevalence of disorder. Â Conclusion: The prevalence of social phobia disorder is high among high school students in Abhar city. Findings can help the decision-makers of health and hygiene in implementing a kind of comprehensive strategy in population regarding interference of mental health promotion arena and preventing from infecting into social phobia disorder.
An Embedded NIDS with Multi-core Aware Packet Capture

Network security has been a serious problem in the Internet. To face this issue, network intrusion detection tools have become indispensable for computer systems and network gateways. In this paper we propose an embedded, multi-core aware network intrusion detection system (NIDS), which has the following features: 1) It integrates a novel multi-core aware packet capture module, called the MCA ring, and an NIDS. 2) It exploits a zero-copy mechanism to remove the overheads of packet copy processing from the network interface driver to the NIDS application. 3) It uses the concept of process and IRQ affinity to enhance the processing speed. The performance of NIDS under different packet capture modules in multi-gigabits networks has also been analyzed and presented in this paper. The results show that our integrated multi-core aware MCA ring and NIDS is effective for detecting network intrusion attacks in multi-gigabits networks.
Correlation of Endometrial Glycodelin Expression and Pregnancy Outcome in Cases with Polycystic Ovary Syndrome Treated with Clomiphene Citrate Plus Metformin: A Controlled Study

Objective. The purpose of this study was to evaluate the relationship between clomiphene citrate (CC) plus metformin treatment and endometrial glycodelin expression and to then correlate this relationship with pregnancy outcomes. Material and Methods. A total of 30 patients diagnosed with polycystic ovary syndrome (PCOS) according to the Rotterdam criteria constituted our study group. All had been admitted to the gynecology outpatient clinic between June 1, 2011, and January 1, 2012, for infertility treatment. Our control group consisted of 20 patients admitted for routine Pap smear control. They had no history of infertility and were not using contraceptives and they were actively attempting pregnancy. Midluteal progesterone measurement and pipelle endometrial biopsies were performed with both groups. For PCOS patients, metformin treatment was initiated right after the biopsy and CC was added in the second menstrual cycle. Pipelle endometrial biopsies were repeated. Histological dating and immunohistochemistry for glycodelin were performed by a single pathologist who was blinded to the patients' clinical data. Result(s). The posttreatment ovulation rate in the study group was 93.3%. No pregnancies were achieved in either group when glycodelin expression was not present, even in the presence of ovulation. When glycodelin expression was high in PCOS group, the pregnancy rate was 60% and all pregnancies ended in live births. In weak expression group, however, three out of four pregnancies ended as early pregnancy losses. Conclusion(s). Endometrial glycodelin expression is an important predictor of pregnancy outcomes in both PCOS and fertile groups.
Towards an integrated system model for testing and verification of automation machines

Models and documents created during the development of automation machines typically can be categorized into mechanics, electronics, and software. The functionality of an automation machine is, however, realized by the interaction of all three of these domains. So no single model covering only one development category will be able to describe the behavior of the machine thoroughly. For early planning of machine design, virtual prototypes, and especially for the formal verification of requirements an integrated functional model of the machine is required. This paper introduces a technique which can be used to model automation machines on an abstract level, including coarse-grained descriptions of mechanics, electronics and software aspects with special focus on modeling domain-specific issues such as material flow and collision response. The resulting models are detailed enough to be simulated or verified but still suitably abstract to allow fast creation and efficient simulation.
EASUREMENT OF S EMANTIC S IMILARITY BETWEEN W ORDS : A S URVEY

Semantic similarity measures between words play an important role in community mining, document clustering, information retrieval and automatic metadata extraction. For a computer to decide the semantic similarity between words, it should understand the semantics of the given words. Computer is a syntactic machine, which cannot understand the semantics. So it always made an attempt to represent the semantics words as syntactic words. Today, there are various methods proposed for finding the semantic similarity between words. Some of these methods have used the information sources as precompiled databases like WordNet and Brown Corpus. Some are based on Web Search Engine. In this paper we have described the methods based on precompiled databases like WordNet and Brown Corpus as well as the web search engine. Along with this we have compared the all methods on the basis of performance and their limitation. From the study, Experimental result on Miller-Charles benchmark dataset show that the method by the Danushka Bollegala, Yutaka Matsuo, and Mitsuru Ishizuka based on web search engine results outperforms all the existing semantic similarity measures by a wide margin, achieving a correlation coefficient of 0.87.
An exploration of older adults' perceptions and motivating factors behind participation in dance

As we are living longer within our community, there is a need for a physical activity program that provides a creative outlet for individuals. An in-depth qualitative exploration of the attracting, perceived benefits, and motivating factors to stay in the program were examined via focus groups. Results suggested that what participants were attracted to the dance program due to physical and social factors, perceived benefits were akin to holistic wellness, and motivating factors were similar to intrinsic and extrinsic motivation. Implications for practice are discussed.
The carbon cycle during the Mid Pleistocene Transition: The Southern Ocean Decoupling Hypothesis

Various hypotheses were proposed within recent years for the interpretation of the Mid Pleistocene Transition (MPT), which occurred during past 2 000 000 years (2 Myr). We here add to already existing theories on the MPT some data and model-based aspects focusing on the dynamics of the carbon cycle. We find that the average glacial/interglacial (G/IG) amplitudes in benthicδ13C derived from sediment cores in the deep Pacific ocean increased across the MPT by ∼40%, while similar amplitudes in the global benthic δ18O stack LR04 increased by a factor of two over the same time interval. The global carbon cycle box model BICYCLE is used for the interpretation of these observed changes in the carbon cycle. Our simulation approach is based on regression analyses of various paleo-climatic proxies with the LR04 benthicδ18O stack over the last 740 kyr, which are then used to extrapolate changing climatic boundary conditions over the whole 2 Myr time window. The observed dynamics in benthicδ13C cannot be explained if similar relations between LR04 and the individual climate variables are assumed prior and after the MPT. According to our analysis a model-based reconstruction of G/IG amplitudes in deep Pacific δ13C before the MPT is possible if we assume a different response to the applied forcings in the Southern Ocean prior and after the MPT. This behaviour is what we call the “Southern Ocean Decoupling Hypothesis”. This decoupling might potentially be caused by a different cryosphere/ocean interaction and thus changes in the deep and bottom water formation rates in the Southern Ocean before the MPT, however an understanding from first principles remains elusive. Our hypothesis is also proposing dynamics in atmosphericpCO2 over the past 2 Myr. Simulated pCO2 is varyCorrespondence to: P. Köhler (peter.koehler@awi.de) ing between 180 and 260 μatm before the MPT. The consequence of our Southern Ocean Decoupling Hypothesis is that the slope in the relationship between Southern Ocean SST and atmospheric pCO2 is different before and after the MPT, something for which first indications already exist in the 800 kyr CO2 record from the EPICA Dome C ice core. We finally discuss how our findings are related to other hypotheses on the MPT.
XML Information Retrieval Systems: A Survey

The continuous growth in the XML information repositories has been matched by increasing efforts in development of XML retrieval systems, in large parts aiming at supporting content-oriented XML retrieval. These systems exploit the available structural information, as market up in XML documents, in order to return documents components- the so called XML elements-instead of the complement documents in repose to the user query. In this paper, we provide an overview of the different XML information retrieval systems and classify them according to their storage and query evaluation strategies.