Miracle-dz/UniFAR-FTUs huggingface dataset:
Application of loop reduction to learning program behaviors for anomaly detection

Evidence of some attacks can be manifested by abnormal sequences of system calls of programs. Most approaches that have been developed so far mainly concentrate on some program-specific behaviors and ignore some plain behaviors of programs. According to the concept of locality of reference, programs tend to spend most of their time on a few lines of code rather than other parts of the program. We use this finding to propose a method of loop reduction. A loop reduction algorithm, when applied to a series of system calls, eliminates redundant data. We did experiments for the comparison before and after loop reduction with the same detection approach. The preliminary results show that loop reduction improves the quality of training data by removing redundancy.
Improved array SAFT imaging algorithm

Because of the need of rapid detection of internal defects and embedded object in concrete structures, a detecting method with linear array probes is presented here, which is the high-resolution and efficient imaging technique for concrete structures by combining with synthetic aperture focusing technique (SAFT). Firstly, array simulation data are processed to be amalgamated B-scan data of concrete structures according to the structural characteristics of linear array; And then the B-scan data are reconstructed in the light of geometrical relation of ultrasonic path and SAFT; At last, the structural imaging figure are calculated. It can be shown from simulation results that the method is effective, and the embedded object in model can be identified effectively.
A Unified Formal Model for Supporting Aspect-Oriented Dynamic Software Architecture

The management of software evolution as well as the maintenance of its complexity is of two most important problems to be solved by software engineering. Several solutions have been considered, one of them being the separation of concerns. These concepts have been extended along the life cycle of software development and thus, aspect oriented software development (AOSD) arose and shed new light on software evolution problems. In this paper we focus on the seamless integration of AOSD and software architecture to support dynamic software evolution in architecture level. Thus we propose an incremental aspect-oriented (AO) architecture modeling approach. In the approach we introduce a unified formal model, namely aspect weaving connector (AWC), to formalize the underlying mechanisms of aspect dynamic weaving in architecture level. Meanwhile, we introduce a simple and seamless extension of ACME ADL to support the modular representation of architectural aspects, components, AWC and their composition forms. For the unified connector model has been applied in our implemented framework for dynamic software architecture, a case study on adaptive JPS (Java pet store) is illustrated to show the advantages of this approach and the unified model.
Insulin-like growth factor-I receptor tyrosine kinase inhibitor cyclolignan picropodophyllin inhibits proliferation and induces apoptosis in multidrug resistant osteosarcoma cell lines

Insulin-like growth factor-I receptor (IGF-IR) is an important mediator of tumor cell survival and shows prognostic significance in sarcoma. To explore potential therapeutic strategies for interrupting signaling through this pathway, we assessed the ability of cyclolignan picropodophyllin (PPP), a member of the cyclolignan family, to selectively inhibit the receptor tyrosine kinase activity of IGF-IR in several sarcoma cell line model systems. Of the diverse sarcoma subtypes studied, osteosarcoma cell lines were found to be particularly sensitive to IGF-IR inhibition, including several multidrug resistant osteosarcoma cell lines with documented resistance to various conventional anticancer drugs. PPP shows relatively little toxicity in human osteoblast cell lines when compared with osteosarcoma cell lines. These studies show that PPP significantly inhibits IGF-IR expression and activation in both chemotherapy-sensitive and chemotherapy-resistant osteosarcoma cell lines. This inhibition of the IGF-IR pathway correlates with suppression of proliferation of osteosarcoma cell lines and with apoptosis induction as measured by monitoring of poly(ADP-ribose) polymerase and its cleavage product and by quantitative measurement of apoptosis-associated CK18Asp396. Importantly, PPP increases the cytotoxic effects of doxorubicin in doxorubicin-resistant osteosarcoma cell lines U-2OSMR and KHOSMR. Furthermore, small interfering RNA down-regulation of IGF-IR expression in drug-resistant cell lines also caused resensitization to doxorubicin. Our data suggest that inhibition of IGF-IR with PPP offers a novel and selective therapeutic strategy for ostosarcoma, and at the same time, PPP is effective at reversing the drug-resistant phenotype in osteosarcoma cell lines. [Mol Cancer Ther 2009;8(8):2122–30]
Threshold doses and prediction of visually apparent liver dysfunction after stereotactic body radiation therapy in cirrhotic and normal livers using magnetic resonance imaging

The purpose of the present study was to investigate the threshold dose for focal liver damage after stereotactic body radiation therapy (SBRT) in cirrhotic and normal livers using magnetic resonance imaging (MRI). A total of 64 patients who underwent SBRT for liver tumors, including 54 cirrhotic patients with hepatocellular carcinoma (HCC) and 10 non-cirrhotic patients with liver metastases, were analyzed. MRI was performed 3-6 months after SBRT, using gadolinium-ethoxybenzyl-diethylenetriamine pentaacetic acid-enhanced T1-weighted sequences. All MRI datasets were merged with 3D dosimetry data. All dose distributions were corrected to the biologically effective dose using the linear-quadratic model with an assumed α/β ratio of 2 Gy. The development of liver dysfunction was validly correlated with isodose distribution. The median biologically effective dose (BED2) that provoked liver dysfunction was 57.3 (30.0-227.9) and 114.0 (70.4-244.9) Gy in cirrhotic and normal livers, respectively (P = 0.0002). The BED2 associated with a >5% risk of liver dysfunction was 38.5 in cirrhotic livers and 70.4 Gy in normal livers. The threshold BED2 for liver dysfunction was not significantly different between Child-Pugh A and B patients (P = 0.0719). Moreover, the fractionation schedule was not significantly correlated with threshold BED2 for liver dysfunction in the cirrhotic liver (P = 0.1019). In the cirrhotic liver, fractionation regimen and Child-Pugh classification did not significantly influence the threshold BED2 for focal liver damage after SBRT. We suggest that the threshold BED2 for liver dysfunction after SBRT is 40 and 70 Gy in the cirrhotic and normal liver, respectively.
A Fundamental Figure of Merit for Radio Polarimeters

Many modern radio applications, such as astronomy and remote sensing, require high-precision polarimetry. These applications put exacting demands on radio polarimeters (antenna systems that can measure the state of polarization of radio sources), and in order to assess their polarimetric performance, a figure of merit (FoM) would be desirable. Unfortunately, we find that the parameter commonly used for this purpose, the cross-polarization ratio, is not suitable as a polarimetry FoM unless it is given in an appropriate coordinate system. This is because although the cross-polarization ratio is relevant for raw, uncalibrated polarimetry, in general it is not relevant to the quality of the polarimetry after polarimetric calibration. However, a cross-polarization ratio can be constructed from invariants of the Jones matrix (the matrix that describes the polarimetric response of a polarimeter) that quantifies polarimetric performance even after calibration. We call this cross-polarization ratio the intrinsic cross-polarization ratio (IXR) and conclude that it is a fundamental FoM for polarimeters. We then extend the IXR concept from the Jones calculus to the Mueller calculus and also to interferometers, and we give numerical examples of these parameters applied to the Parkes radio telescope, the Westerbork synthesis radio telescope, and the Effelsberg telescope.
Serum ionized magnesium in chronic alcoholism: is it really decreased?

Chronic alcoholism is associated with a marked deficit in total magnesium (tMg). However, little is known about the status of the physiologically active form, ionized magnesium (iMg). We assessed serum iMg (measured with two ion-selective electrodes, AVL 988-4 and NOVA CRT) and tMg concentrations in chronic alcoholics at admission (n = 31) and after abstinence (n = 13) and compared these results with those for a control group (n = 40). At admission, the tMg and NOVA iMg concentrations in alcoholics (0.78 +/- 0.020 and 0.38 +/- 0.016 mmol/L, respectively) were significantly less (P <0.001) than in the controls (0.85 +/- 0.008 and 0.50 +/- 0.006 mmol/L). The AVL iMg results, however, did not differ significantly between the two groups: 0.53 +/- 0.013 vs 0.56 +/- 0.006 mmol/L, respectively (P >0.05). The mean iMg between the two analyzers differed significantly in both groups (P <0.001). After 3 weeks of abstinence, the alcoholics showed a significant increase in tMg (P <0.001) and in both NOVA and AVL iMg values (P <0.01 for each). tMg concentrations were positively correlated with the AVL iMg values in both alcoholics and controls but correlated positively with the NOVA iMg results only in the controls. Thus, the altered status of iMg is instrument-dependent, and the usefulness of the measurement in alcoholics is yet to be determined.
Floor-wall boundary estimation by ellipse fitting

In order to realize autonomous robot navigation, we propose a method for detecting the boundary between a floor and a wall by extracting an ellipse projected from a robot-mounted projector. We note that a circular cone of light projected onto the region where the floor and the wall meet produces two intersecting ellipses in the image. We detect the two ellipses from the image and estimate the line that separates them, which we regard as the floor-wall boundary. We also propose a new method for fitting an ellipse to an edge point sequence which may contain outliers, i.e., non-elliptic arcs. Using real images, we show that our proposed method can detect the floor-wall boundary even when the detected edge point sequence contains outliers that have complicated forms.
MCL and Mincle: C-Type Lectin Receptors That Sense Damaged Self and Pathogen-Associated Molecular Patterns

Macrophage C-type lectin (MCL) and macrophage inducible C-type lectin (Mincle) comprise part of an extensive repertoire of pattern recognition receptors with the ability to sense damage-associated and pathogen-associated molecular patterns. In this review, we cover the discovery and molecular characterization of these C-type lectin receptors, and highlight recent advances in the understanding of their roles in orchestrating the response of the immune system to bacterial and fungal infection, and damaged self. We also discuss the identification and structure–activity relationships of activating ligands, particularly trehalose dimycolate and related mycobacterial glycolipids, which have significant potential in the development of TH1/TH17 vaccination strategies.
Long-Run Demand for M1

The goal of this paper is to investigate and estimate long-run relationships among M1, prices, output and interest rates, with a view to determining if there is a stable relationship that can be interpreted as long-run money demand. The paper uses a maximum-likelihood multiple- equation cointegration technique, developed by Johansen, to fit a system of equations to the data. One finding is that long-run, but not short-run, unitary price elasticity is easily accepted, while the income elasticity is close to one-half. The coefficients on the deviation of money from its long-run equilibrium in the vector error-correction model imply that when M1 is above its long-run demand, money will decrease and prices increase to restore long-run equilibrium. The effects of the deviation on output and interest rates are insignificant, pointing to the weak exogeneity of these variables. The implication of the results is that all the adjustment to return the economy to monetary equilibrium comes from fluctuations in money and prices. However, this does not preclude the possibility that changes in the stock of money may have short-run real effects. Indeed, the results suggest that changes in M1 lead short-term changes in output.
Terutroban, a Thromboxane/Prostaglandin Endoperoxide Receptor Antagonist, Increases Survival in Stroke-Prone Rats by Preventing Systemic Inflammation and Endothelial Dysfunction: Comparison with Aspirin and Rosuvastatin

This study investigated the efficacy of terutroban, a specific thromboxane/prostaglandin endoperoxide receptor antagonist, on stroke incidence in spontaneously hypertensive stroke-prone rats (SHRSP). The effects of terutroban were compared with those of aspirin, another antiplatelet agent, and rosuvastatin, known to exert end-organ protection in SHRSP. Salt-loaded male SHRSP were treated orally once a day with vehicle, terutroban (30 mg/kg/day), aspirin (60 mg/kg/day), or rosuvastatin (10 mg/kg/day). Compared with vehicle, and regardless of any effect on blood pressure or serum thromboxane B2 levels, terutroban significantly increased survival (p < 0.001) as a consequence of a delayed brain lesion occurrence monitored by magnetic resonance imaging (p < 0.001), and a delayed increase of proteinuria (p < 0.001). Terutroban decreased cerebral mRNA transcription of interleukin-1β, transforming growth factor-β, and monocyte chemoattractant protein-1 after 6 weeks of dietary treatment. Terutroban also prevented the accumulation of urinary acute-phase proteins at high molecular weight, identified as markers of systemic inflammation, and assessed longitudinally by one-dimensional electrophoresis. Terutroban also has protective effects on the vasculature as suggested by the preservation of endothelial function and endothelial nitric-oxide synthase expression in isolated carotid arteries. These effects are similar to those obtained with rosuvastatin, and superior to those of aspirin. Terutroban increases survival in SHRSP by reducing systemic inflammation as well as preserving endothelial function. These data support clinical development of terutroban in the prevention of cerebrovascular and cardiovascular complications of atherothrombosis.
Unanticipated Geochemical and Microbial Community Structure under Seasonal Ice Cover in a Dilute, Dimictic Arctic Lake

Despite most lakes in the Arctic being perennially or seasonally frozen for at least 40% of the year, little is known about microbial communities and nutrient cycling under ice cover. We assessed the vertical microbial community distribution and geochemical composition in early spring under ice in a seasonally ice-covered lake in southwest Greenland using amplicon-based sequencing that targeted 16S rRNA genes and using a combination of field and laboratory aqueous geochemical methods. Microbial communities changed consistently with changes in geochemistry. Composition of the abundant members responded strongly to redox conditions, shifting downward from a predominantly heterotrophic aerobic community in the suboxic waters to a heterotrophic anaerobic community in the anoxic waters. Operational taxonomic units (OTUs) of Sporichthyaceae, Comamonadaceae, and the SAR11 Clade had higher relative abundances above the oxycline and OTUs within the genus Methylobacter, the phylum Lentisphaerae, and purple sulfur bacteria (PSB) below the oxycline. Notably, a 13-fold increase in sulfide at the oxycline was reflected in an increase and change in community composition of potential sulfur oxidizers. Purple non-sulfur bacteria were present above the oxycline and green sulfur bacteria and PSB coexisted below the oxycline, however, PSB were most abundant. For the first time we show the importance of PSB as potential sulfur oxidizers in an Arctic dimictic lake.
Crowdsourcing research: Data collection with Amazon’s Mechanical Turk

ABSTRACT Researchers in a variety of disciplines use Amazon’s crowdsourcing platform called Mechanical Turk as a way to collect data from a respondent pool that is much more diverse than a typical student sample. The platform also provides cost efficiencies over other online panel services and data can be collected very quickly. However, some researchers have been slower to try the platform, perhaps because of a lack of awareness of its functions or concerns with validity. This article provides an overview of Mechanical Turk as an academic research platform and a critical examination of its strengths and weaknesses for research. Guidelines for collecting data that address issues of validity, reliability, and ethics are presented.
Is there loss aversion in buying? An adversarial collaboration

This paper reports an exercise in adversarial collaboration. An adversarial collaboration is an investigation carried out jointly by two individuals or research groups who, having proposed conflicting hypotheses, seek to resolve the issue in dispute. The experiment reported was designed to reconcile differences between the apparently conflicting results of two previous experiments, one carried out by Kahneman, the other by the other authors. Specifically, it investigates whether, when consumers consider giving up money in exchange for goods, they construe potential money outlays as losses. This issue bears on the explanation of the widely observed disparity between willingness-to-pay and willingness-to-accept valuations of costs and benefits, which has proved so problematic for contingent valuation studies. The results of the experiment do not decisively resolve the question in dispute, but they are broadly consistent with the hypothesis that money outlays are perceived as losses.
RNA-Based Assessment of Diversity and Composition of Active Archaeal Communities in the German Bight

Archaea play an important role in various biogeochemical cycles. They are known extremophiles inhabiting environments such as thermal springs or hydrothermal vents. Recent studies have revealed a significant abundance of Archaea in moderate environments, for example, temperate sea water. Nevertheless, the composition and ecosystem function of these marine archaeal communities is largely unknown. To assess diversity and composition of active archaeal communities in the German Bight, seven marine water samples were taken and studied by RNA-based analysis of ribosomal 16S rRNA. For this purpose, total RNA was extracted from the samples and converted to cDNA. Archaeal community structures were investigated by pyrosequencing-based analysis of 16S rRNA amplicons generated from cDNA. To our knowledge, this is the first study combining next-generation sequencing and metatranscriptomics to study archaeal communities in marine habitats. The pyrosequencing-derived dataset comprised 62,045 archaeal 16S rRNA sequences. We identified Halobacteria as the predominant archaeal group across all samples with increased abundance in algal blooms. Thermoplasmatales (Euryarchaeota) and the Marine Group I (Thaumarchaeota) were identified in minor abundances. It is indicated that archaeal community patterns were influenced by environmental conditions.
Oracle and Adaptive Compound Decision Rules for False Discovery Rate Control

We develop a compound decision theory framework for multiple-testing problems and derive an oracle rule based on the z values that minimizes the false nondiscovery rate (FNR) subject to a constraint on the false discovery rate (FDR). We show that many commonly used multiple-testing procedures, which are p value–based, are inefficient, and propose an adaptive procedure based on the z values. The z value–based adaptive procedure asymptotically attains the performance of the z value oracle procedure and is more efficient than the conventional p value–based methods. We investigate the numerical performance of the adaptive procedure using both simulated and real data. In particular, we demonstrate our method in an analysis of the microarray data from a human immunodeficiency virus study that involves testing a large number of hypotheses simultaneously.
Java and scala's type systems are unsound: the existential crisis of null pointers

We present short programs that demonstrate the unsoundness of Java and Scala's current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down)casting. Fortunately, parametric polymorphism was not integrated into the Java Virtual Machine (JVM), so these examples do not demonstrate any unsoundness of the JVM. Nonetheless, we discuss broader implications of these findings on the field of programming languages.
Visual matrix explorer for collaborative seriation

In this article, we present a web‐based open source tool to support cross‐disciplinary collaborative seriation with the following goals: to compare different matrix permutations, to discover patterns from the data, annotate it, and accumulate knowledge. Seriation is an unsupervised data mining technique that reorders objects into a sequence along a one‐dimensional continuum to make sense of the whole series. Clustering assigns objects to groups, whereas seriation assigns objects to a position within a sequence. Seriation has been applied to a variety of disciplines including archaeology and anthropology; cartography, graphics, and information visualization; sociology and sociometry; psychology and psychometrics; ecology; biology and bioinformatics; cellular manufacturing; and operations research. Interestingly, across those different disciplines, there are several commonly emerging similar structural patterns. Visual Matrix Explorer allows users to explore and link those patterns, share an online workplace and instantly transmit changes in the system to other users. WIREs Comp Stat 2012, 4:85–97. doi: 10.1002/wics.193
A compact file format for labeled transition systems

A compact open file format for labeled transition systems, which are commonly used in specification and verification of concurrent systems, is introduced. This combination of openness, both in specification and implementation, and compactness is unprecedented, since existing formats in this field are either not compact, yielding files too large to be easily handled, or proprietary, hampering the development of efficient tools. Therefore, the development of this {\sc SVC} format was initiated to facilitate the development of state-of-the-art tools for the analysis of concurrent systems and communication protocols. The {\sc SVC} format is specified by its binary layout and the underlying compression scheme, based on Lempel-Ziv and dynamic Huffman encoding. Also, an application programming interface is defined. The compression scheme is compared with existing algorithms.
Experimental study of indoor tracking using UWB measurements and particle filtering

Target tracking with ultra-wideband (UWB) signals in indoor environments is a challenging problem due to the presence of multipath and non-line-of-sight conditions (NLOS). A solution to this problem is to use particle filtering (PF), which is able to handle both nonlinear models and non-Gaussian uncertainties that typically appear in the presence of NLOS. In this paper, we compare four different PF variants, that differ in terms of how NLOS measurements are handled. According to our experimental results, based on the measurements from a basement tunnel, multiple features from the UWB impulse response should be used, and the ranging likelihood function should make use of both LOS and NLOS measurements. Standard time-of-arrival (TOA) based methods, even with NLOS rejection, are not good enough. Instead we advocate TOA-based algorithms that can actively mitigate errors due to NLOS.