Miracle-dz/UniFAR-FTUs huggingface dataset:
Branch regulation: Low-overhead protection from code reuse attacks

Code reuse attacks (CRAs) are recent security exploits that allow attackers to execute arbitrary code on a compromised machine. CRAs, exemplified by return-oriented and jump-oriented programming approaches, reuse fragments of the library code, thus avoiding the need for explicit injection of attack code on the stack. Since the executed code is reused existing code, CRAs bypass current hardware and software security measures that prevent execution from data or stack regions of memory. While software-based full control flow integrity (CFI) checking can protect against CRAs, it includes significant overhead, involves non-trivial effort of constructing a control flow graph, relies on proprietary tools and has potential vulnerabilities due to the presence of unintended branch instructions in architectures such as ×86 - those branches are not checked by the software CFI. We propose branch regulation (BR), a lightweight hardware-supported protection mechanism against the CRAs that addresses all limitations of software CFI. BR enforces simple control flow rules in hardware at the function granularity to disallow arbitrary control flow transfers from one function into the middle of another function. This prevents common classes of CRAs without the complexity and run-time overhead of full CFI enforcement. BR incurs a slowdown of about 2% and increases the code footprint by less than 1% on the average for the SPEC 2006 benchmarks.
Material‐modeling and structural‐mechanics aspects of the traumatic brain injury problem

Purpose – This paper aims to conduct a combined Eulerian/Lagrangian fluid/solid transient non‐linear dynamics computational analysis of the interaction between a single planar blast wave and a human head in order to assess the extent of intra‐cranial shock wave generation and its potential for causing traumatic brain injury.Design/methodology/approach – Two levels of blast peak overpressure were selected, one corresponding to the unprotected lung‐injury threshold while the other associated with a 50 percent probability for lung injury caused death. Collision of the head with a stationary/rigid barrier (at an initial collision velocity of 5 m/s) was also analyzed computationally, since blunt‐object impact conditions may lead to mild traumatic brain injury (mTBI), i.e. concussion.Findings – A comparison between the two blast and the single blunt‐object impact cases with the corresponding head‐to‐head‐collision results showed that, while the von Mises stress‐based head‐to‐head collision mTBI thresholds are n.
Physical and rheological properties of plasticized linear and branched PLA

Extrusion of Poly(lactic acid) (PLA) is difficult to carry out due to the brittleness and low melt strength of PLA. In this investigation, linear Poly(lactic acid) (L-PLA) and branched (B-PLA) were plasticized with poly(ethylene glycol) (PEG) having $M_w$ of 1,000 g/mol in various PEG concentrations (0, 5, 10, 15 and 20 wt%). In addition rheological, thermal and mechanical properties were also investigated in this study. In relation to the plasticizer content, dynamic rheological studies showed that the plasticized linear and branched PLA with higher PEG loading have lower viscosity and elastic properties than that of pure PLA. Storage modulus decreased with PEG loading at all frequencies and exhibited weak frequency dependence with increasing PEG content. As expected, plasticizing both linear and branched PLA lowered the glass transition temperature and modified the crystallization characteristics. Moreover, the toughness was increased by plasticizing up to 15 wt% of B-PLA and up to 10 wt% of L-PLA. However, there was decreasing in toughness due to phase separation of PEG phase in the PLA matrix at 20 wt% and 15~20 wt% of B-PLA and L-PLA, respectively. Therefore, the combination usage of branching and plasticizing showed the better properties both the melt stability and the ability to plastic deformation of PLA to meet the requirements for further.
On the Role of Value Sensitive Concerns in Software Engineering Practice

The role of software systems on societal sustainability has generally not been the subject of substantive research activity. In this paper we examine the role of software engineering practice as an agent of change/impact for societal sustainability through the manifestation of value sensitive concerns. These concerns remain relatively neglected by software design processes except at early stages of user interface design. Here, we propose a conceptual model that can contribute to a translation of value sensitive design from its current focus in participatory design to one located in mainstream software engineering processes. Addressing this need will have an impact of societal sustainability and we outline some of the key research challenges for that journey.
A quasi-optimal Monte Carlo algorithm for the symbolic solution of polynomial systems in Z [ X , Y ]

We give an algorithm for the symbolic solution of polynomial systems in Z[X,Y ]. Following previous work with Lebreton, we use a combination of lifting and modular composition techniques, relying in particular on Kedlaya and Umans’ recent quasilinear time modular composition algorithm. The main contribution in this paper is an adaptation of a deflation algorithm of Lecerf’s, that allows us to treat singular solutions for essentially the same cost as the regular ones. Altogether, for an input system with degree d and coefficients of bitsize h, we obtain Monte Carlo algorithms that achieve probability of success at least 1− 1/2P , with running time d2+εO (̃d2 + dh + dP +P2) bit operations, for any ε > 0.
Study on dielectric recovery characteristics after high frequency current interruption in vacuum circuit breaker with short gap

When inductive load is interrupted by VCB, extinction and re-ignition may be observed repeatedly by balance with recovery voltage. This is due to high frequency current interruption. Also many investigators have tried to make clear these phenomena with severe situations, and presented many papers. We conducted an experiment to investigate them, we adopted different values of amplitude of high frequency current and direct current high frequency current injection just before. And arc time and timing of applying impulse voltage are adjusted. In this paper, we investigated the relationship between high frequency current or direct current and breakdown voltage with AgWC electrodes.
Estimation Algorithm of Atmospheric Light based on Ant Colony Optimization

In the haze removal algorithm based on the atmospheric scattering model, atmospheric light value is an important parameter and its accuracy directly influences the quality of the haze removal results. Existing haze removal methods adopt a fixed number of atmospheric light candidate points for the clustering and statistic estimation of atmospheric light, with the maximum point cluster including candidate points. However, due to small candidate point samples, there is a high amount of error in the estimation of atmospheric light in a statistical sense. In order to solve that problem, this study uses the approach of dividing threshold values to select candidate points of atmospheric light and ant colony optimization to cluster point-clusters of atmospheric light. In this way, the number of candidate point samples and therefore the accuracy of estimate results of atmospheric light are increased. In addition, in order to improve the computational efficiency of the algorithm, this study first uses the K-means algorithm for a preliminary aggregation of atmospheric light candidate points, and then utilizes ant colony optimization to improve the clustering results. The experimental results prove that atmospheric light obtained using this method leads to more natural haze removal results, and further improves the index of image quality evaluation in the haze removal results.
Placebo effects in trials evaluating 12 selected minimally invasive interventions: a systematic review and meta-analysis

Objectives To analyse the impact of placebo effects on outcome in trials of selected minimally invasive procedures and to assess reported adverse events in both trial arms. Design A systematic review and meta-analysis. Data sources and study selection We searched MEDLINE and Cochrane library to identify systematic reviews of musculoskeletal, neurological and cardiac conditions published between January 2009 and January 2014 comparing selected minimally invasive with placebo (sham) procedures. We searched MEDLINE for additional randomised controlled trials published between January 2000 and January 2014. Data synthesis Effect sizes (ES) in the active and placebo arms in the trials’ primary and pooled secondary end points were calculated. Linear regression was used to analyse the association between end points in the active and sham groups. Reported adverse events in both trial arms were registered. Results We included 21 trials involving 2519 adult participants. For primary end points, there was a large clinical effect (ES≥0.8) after active treatment in 12 trials and after sham procedures in 11 trials. For secondary end points, 7 and 5 trials showed a large clinical effect. Three trials showed a moderate difference in ES between active treatment and sham on primary end points (ES ≥0.5) but no trials reported a large difference. No trials showed large or moderate differences in ES on pooled secondary end points. Regression analysis of end points in active treatment and sham arms estimated an R2 of 0.78 for primary and 0.84 for secondary end points. Adverse events after sham were in most cases minor and of short duration. Conclusions The generally small differences in ES between active treatment and sham suggest that non-specific mechanisms, including placebo, are major predictors of the observed effects. Adverse events related to sham procedures were mainly minor and short-lived. Ethical arguments frequently raised against sham-controlled trials were generally not substantiated.
DBStream: An online aggregation, filtering and processing system for network traffic monitoring

Network traffic monitoring systems generate high volumes of heterogeneous data streams which have to be processed and analyzed with different time constraints for daily network management operations. Some monitoring applications such as anomaly detection, performance tracking and alerting require fast processing of specific incoming real-time data. Other applications like fault diagnosis and trend analysis need to process historical data and perform deep analysis on generally heterogeneous sources of data. The Data Stream Warehousing (DSW) paradigm provides the means to handle both types of monitoring applications within a single system, providing fast and rich data analysis capabilities as well as data persistence. In this paper, we introduce DBStream, a novel online traffic monitoring system based on the DSW paradigm, which allows fast and flexible analysis across multiple heterogeneous data sources. DBStream provides a novel stream processing language for implementing data processing modules, as well as aggregation, filtering, and storage capabilities for further data analysis. We show multiple traffic monitoring applications running on DBStream, processing real traffic from operational ISPs.
Attitude control of satellite system with multiplicative noises

The attitude control problem of satellite system with multiplicative noise is researched and investigated in this paper. In order to time-varying parameters in the satellite system, the LPV system is employed for describing the uncertainties of the satellite system. And, the multiplicative noise is applied to represent the stochastic behaviors of the system. Thus, the uncertain satellite system with multiplicative noise is described by LPV stochastic system. The scheduled control scheme is applied for discussing the stabilization problem of the system. And, the Lyapunov function and Itô formula are used to derive the sufficient conditions for dealing with the stability analysis and controller synthesis of the system. Moreover, the conditions are converted into Linear Matrix Inequality (LMI) problems for applying optimal convex algorithm. Finally, the simulation results are provided to show that the attitude control problem of the satellite stochastic system can be stabilized. Also, the system driven by designed controller is asymptotically stable in the mean square.
Effect of Be, Zr and Heat Treatment on Mechanical Behavior of Cast Al-Mg-Zn-Cu Alloys (7075)

The present study was undertaken to investigate the effect of aging parameters (time and temperature) on the mechanical properties of Be-and/or Zrtreated Al-Mg-Zn (7075) alloys. Ultimate tensile strength, 0.5% offset yield strength and % elongation measurements were carried out on specimens prepared from cast and heat treated 7075 alloys containing Be and/or Zr. Different aging treatment were carried out for the as solution treated (SHT) specimens (after quenching in warm water). The specimens were aged at different conditions; Natural and artificial aging was carried out at room temperature, 120C, 150C, 180C and 220C for different periods of time. Duplex aging was performed for SHT conditions (pre-aged at different time and temperature followed by high temperature aging). Ultimate tensile strength, yield strength and % elongation data results as a function of different aging parameters are analysed. A statistical design of experiments (DOE) approach using fractional factorial design is applied to acquire an understanding of the effects of these variables and their interactions on the mechanical properties of Beand/or Zrtreated 7075 alloys. Mathematical models are developed to relate the alloy mechanical properties with the different aging parameters. Keywords—Casting. Aging Treatment, Mechanical Properties, Al-Mg-Zn (7075) alloys, Beand/or Zr-Treatment, Experimental Correlation.
Connexins as Substrates for Protein Kinases and Phosphoprotein Phosphatases

Jose L. Vega1,2, Elizabeth Baeza1, Viviana M. Berthoud3 and Juan C. Saez1,4 1Departamento de Fisiologia, Pontificia Universidad Catolica de Chile, Santiago, 2Laboratorio de Fisiologia Experimental (EPhyL), Universidad de Antofagasta, Antofagasta, Chile, 3Department of Pediatrics, Section of Hematology, Oncology, University of Chicago, IL, 4Instituto Milenio, Centro Interdisciplinario de Neurociencias de Valparaiso, Valparaiso, 3USA, 1,2,4Chile
Bioinspired electrohydrodynamic ceramic patterning of curved metallic substrates

Template-assisted electrohydrodynamic atomisation (TAEA) has been used for the first time to pattern curved metallic surfaces. Parallel lines of ceramic titania (TiO2) were produced on titanium substrates, convex and concave with diameters of ~25 mm, at the ambient temperature. Optimal results were obtained with 4 wt% TiO2 in ethanol suspension deposited over 300 s during stable cone-jetting at 20 µl/min, 10kV and collection distance 80 mm. A high degree of control over pattern line width, interline spacing and thickness were achieved. Nanoindentation load-displacement curves were continuous for the full loading and unloading cycle, indicating good adhesion between pattern and substrate. At a loading rate of 1 μN/s and a hold time of 1 s, pattern hardness decreased as load increased up to 7 μN and remained at 0·1 GPa up to higher loads. Elastic modulus behaved similarly, and both were not sensitive to loading rate. The effect of heat treatment to further consolidate the patterned deposits was also investi.
Permissive parenting and mental health in college students: Mediating effects of academic entitlement

ABSTRACT Objective: Student mental health may suffer due to unreasonable expectations associated with academic entitlement; permissive parenting may be one source of these expectations. The authors examined the role of academic entitlement as a mediator of the relationship between permissive parenting and psychological functioning. Participants: Participants were 524 undergraduate students at a single institution (52% female; age range = 18–22). Data collection was completed in May 2011. Methods: Cross-sectional design. Participants completed online self-report measures of parenting styles, academic entitlement, stress, depressive symptoms, and well-being. Results: Permissive parenting was associated with greater academic entitlement and, in turn, to more perceived stress and poorer mental health. Mother/father differences were found in some cases. Conclusions: Academic entitlement may partially explain why permissive parenting is detrimentally related to mental health for college students. Implications for academic affairs and counseling include helping students develop an appreciation of the role of self-regulation in college success.
Brief, large tidal volume ventilation initiates lung injury and a systemic response in fetal sheep.

RATIONALE Premature infants are exposed to potentially injurious ventilation in the delivery room. Assessments of lung injury are confounded by effects of subsequent ventilatory support. OBJECTIVES To evaluate the injury response to a brief period of large tidal volume (Vt) ventilation, simulating neonatal resuscitation in preterm neonates. METHODS Preterm lambs (129 d gestation; term is150 d) were ventilated (Vt = 15 ml/kg, no positive end-expiratory pressure) for 15 minutes to simulate delivery room resuscitation, either with the placental circulation intact (fetal resuscitation [ FR]) or after delivery (neonatal resuscitation [NR]). After the initial 15 minutes, lambs received surfactant and were maintained with either ventilatory support (FR-VS and NR-VS) or placental support (FR-PS) for 2 hours, 45 minutes. A control group received no resuscitation and was maintained with placental support. Samples of bronchoalveolar lavage fluid, lung, and liver were analyzed. MEASUREMENTS AND MAIN RESULTS Inflammatory cells and protein in bronchoalveolar lavage fluid, heat shock protein-70 immunostaining, IL-1beta, IL-6, IL-8, monocyte chemotactic protein-1, serum amyloid A (SAA)-3, Toll-like receptor (TLR)-2, and TLR4 mRNA in the lungs were increased in the FR-PS group compared with control animals. There were further elevations in neutrophils, IL-6, and IL-8 mRNA in the FR-VS and NR-VS groups compared with FR-PS. SAA3, TLR2, and TLR4 mRNA increased in the liver in all resuscitation groups relative to control animals. CONCLUSIONS Ventilation for 15 minutes with a Vt of 15 ml/kg initiates an injurious process in the preterm lung and a hepatic acute-phase response. Subsequent ventilatory support causes further increases in some injury indicators.
Phorbol ester-inducible T-cell-specific expression of variant mouse mammary tumor virus long terminal repeats

Acquired proviruses of mouse mammary tumor virus (MMTV) in T-cell leukemias of male GR mice have rearrangements in the U3 region of their long terminal repeats (LTR). In contrast to the endogenous nonrearranged MMTV proviruses, these mutated copies are highly expressed in leukemic T cells. To investigate whether the sequence alterations in the LTR are responsible for the high expression of rearranged MMTV proviruses, we made constructs in which normal and variant LTRs drive the bacterial reporter gene chloramphenicol acetyltransferase (CAT). Two different rearranged LTRs were used, one containing a 420-base-pair (bp) deletion (L13) and another carrying a 456-bp deletion plus an 82-bp insertion (L42). These constructs were transfected into murine (GRSL) and human (MOLT-4) T-cell lines that either had or had not been treated with phorbol ester (12-O-tetradecanoylphorbol-13-acetate [TPA]). In GRSL cells, the L13-LTR-CAT construct showed transcriptional activity that was further enhanced by TPA. In MOLT-4 cells, both variant LTRs were active, but only after stimulation with TPA. In contrast, normal(N)-LTR-CAT constructs were not expressed, irrespective of TPA addition. In XC rat fibrosarcoma cells, neither normal nor variant LTRs gave rise to detectable CAT activity, either in the presence or in the absence of TPA, but dexamethasone strongly stimulated CAT activity driven by N and L42 LTRs. The L13 LTR was considerably less active, probably caused by the deletion of the distal part of the glucocorticoid responsive element. We conclude that the LTR rearrangements generate TPA responsiveness and contribute to T-cell-specific expression of MMTV variants.
Recurrent Neural Network Based Loanwords Identification in Uyghur

Comparable corpus is the most important resource in several NLP tasks. However, it is very expensive to collect manually. Lexical borrowing happened in almost all languages. We can use the loanwords to detect useful bilingual knowledge and expand the size of donor-recipient / recipient-donor comparable corpora. In this paper, we propose a recurrent neural network (RNN) based framework to identify loanwords in Uyghur. Additionally, we suggest two features: inverse language model feature and collocation feature to improve the performance of our model. Experimental results show that our approach out-performs several sequence labeling baselines.
A Fragile Document Watermarking Technique Based on Wet Paper Code

This paper proposes a new fragile watermarking algorithm which is mainly applied to binary document image based on the wet paper code. In order to improve embedding capacity and locating tampered area, some work is done base on the prior research of fragile in this paper. First, we dynamically adjust the bits which are embedded into image according to the number of turnover pixels and make the turnover pixels being fully useful, and then obtain larger embedding capacity. Second, original image is divided into blocks base on the content of it, and each block only includes a character or Chinese characters. According to the blocks of image, we can locate the tampered area after decoding. The experiment shows that this algorithm can detect the location of tampered image and get better embedding capacity that is near the number of turnover pixels.
Measurement of the Relative Free Radical Content of Insulating Oils of Petroleum Origin

Oil/paper insulation degradation in transformers involves chemical and physical changes in the materials. Some of the chemical reactions involve very reactive intermediates called free radicals. Free radicals play a major role in a wide variety of ageing processes. The detection of these reactive species in oil may, in principle, provide useful information for monitoring oil degradation. This manuscript details a laboratory technique, which determines the relative content of free radicals in insulating oils of petroleum origin by a spectrophotometric method. Free radicals may be formed in oils under operating or test conditions. The procedure enables the determination of the relative concentration of free radicals, which can act as the precursors of decay products such as charge carriers, oxidized molecules, as well as polymerization products. The technique involves using a reactive free radical reagent, 2,2-diphenyl-1-picrylhydrazyl (DPPH), added to oil to assess free radical concentration. This method is applicable to new, reclaimed, or used oils as well as naturally or artificially oxidized oil (the cause of aging can be chemical, physical, or electrical). In this contribution, free radicals were assessed following electrical discharge application in oil.
Analysis of Triple Band Rectangular Patch Antenna Loaded With Pairs of L Shaped Slots

This paper presents a slotted multiband antenna design achieved by loading a pair of L shaped slots in a rectangular micro strip antenna (RMSA). The proposed designed antenna resonates at three frequencies namely 2.7 GHz, 3.65 GHz and 5.7 GHz. Proposed antenna designed results in an increment of 33% bandwidth with stable characteristics, such as return loss, VSWR, radiation pattern, gain and impedance matching. Antenna can be very useful for WiMAX and WLAN applications. IE3D virtual platform is used for simulation of designed antenna. Keyword Microstrip, L shaped slots, Bandwidth, Return Loss.