Miracle-dz/UniFAR-FTUs huggingface dataset:
A framework for application guidance in virtual memory systems

This paper proposes a collaborative approach in which applications can provide guidance to the operating system regarding allocation and recycling of physical memory. The operating system incorporates this guidance to decide which physical page should be used to back a particular virtual page. The key intuition behind this approach is that application software, as a generator of memory accesses, is best equipped to inform the operating system about the relative access rates and overlapping patterns of usage of its own address space. It is also capable of steering its own algorithms in order to keep its dynamic memory footprint under check when there is a need to reduce power or to contain the spillover effects from bursts in demand. Application software, working cooperatively with the operating system, can therefore help the latter schedule memory more effectively and efficiently than when the operating system is forced to act alone without such guidance. It is particularly difficult to achieve power efficiency without application guidance since power expended in memory is a function not merely of the intensity with which memory is accessed in time but also how many physical ranks are affected by an application's memory usage. Our framework introduces an abstraction called "colors" for the application to communicate its intent to the operating system. We modify the operating system to receive this communication in an efficient way, and to organize physical memory pages into intermediate level grouping structures called "trays" which capture the physically independent access channels and self-refresh domains, so that it can apply this guidance without entangling the application in lower level details of power or bandwidth management. This paper describes how we re-architect the memory management of a recent Linux kernel to realize a three way collaboration between hardware, supervisory software, and application tasks.
Mobile radio window random-access algorithm with diversity

We consider a mobile radio random-access algorithm equipped with a choice of three distinct antenna diversity plans (two-fold, maximum selection, or ideal selection diversity) to improve the performance. The algorithm is stable with high throughput and low delays. The mobile environment is regulated by the presence of multipath fading, shadowing, and path loss. The capture model is a threshold model based on the signal-to-interference ratio. The maximum throughput and optimal window size of the algorithm are analytically computed. The delay performance is evaluated through simulations, and significant improvement is demonstrated over slotted ALOHA under various mobile scenarios.
Robust Control for a Two DOF Robot Manipulator

In this paper, we present robust control techniques applied on a manipulator robot system: modified sliding mode control (MSMC) and backstepping control (BSC). The purpose is to evaluate SMC and BSC performances, taking into account the model uncertainties. Then, the obtained results of MSMC technique are compared with those of the adaptive sliding mode. Both methods have comparable simulation results which show a good quality of robustness. However, simulation results prove that the modified SMC is more robust, mostly under the effect of external variations and uncertainties.
The iterative reprocessing model: A multilevel framework for attitudes and evaluation.

Dual–process models of attitudes highlight the fact that evaluative processes are complex and multifaceted. Nevertheless, many of these models typically neglect important interactions among processes that can contribute to an evaluation. In this article, we propose a multilevel model informed by neuroscience in which current evaluations are constructed from relatively stable attitude representations through the iterative reprocessing of information. Whereas initial iterations provide relatively quick and dirty evaluations, additional iterations accompanied by reflective processes yield more nuanced evaluations and allow for phenomena such as ambivalence. Importantly, this model predicts that the processes underlying relatively automatic evaluations continue to be engaged across multiple iterations, and that they influence andare influenced by more reflective processes. We describe the Iterative Reprocessing Model at the computational, algorithmic, and implementational levels of analysis (Marr, 1982) to mo.
Therapeutic synergy of TNP-470 and ionizing radiation: effects on tumor growth, vessel morphology, and angiogenesis in human glioblastoma multiforme xenografts.

We examined the effect on tumor growth, vessel morphology, and expression of angiogenic factors of combining radiotherapy and antiangiogenesis in the human glioblastoma line U87 grown in the flank or intracranially in the nude mouse. The antiangiogenic agent TNP-470 was given 6.7 mg/kg s.c. daily on day 1-7 starting 1 week after transplantation. Irradiation (IR), 10 Gy x 1, was administered on day 7. A series of tumors were excised 8 and 48 h after the end of treatment. The vascular morphology was evaluated in CD31 immunostained cryosections and by electron microscopy, and the pattern of expression of angiogenic factors (mRNA and protein) was quantitatively analyzed by phosphorimaging of Northern blots and Western blots. Significant inhibition of s.c. flank tumor growth relative to untreated controls was achieved by monotherapy with both TNP-470 (P < 0.001) and IR (P < 0.001). A significant enhancement of this effect was obtained by combining TNP-470 and IR (P < 0.05). We saw no effect of TNP-470 either alone or in addition to the effect of IR on the survival of mice with intracranial tumors. CD31 immunostaining of s.c. tumors showed acute endothelial swelling and luminal protrusion in irradiated tumor vessels but never in tumors pretreated with TNP-470, and not in the untreated controls. The vessel density (Chalkley point counts) was unchanged by TNP-470 therapy. In the TNP-470-treated tumors, we observed a distinct broadening of the endothelial basement membrane by an approximately 400-700-nm-thick electron-dense yet uncharacterized fibrillar material. TNP-470 treated tumors +/- IR also had a significantly increased mRNA expression of angiopoietin-1, whereas angiopoietin-2, vascular endothelial growth factor and basic fibroblast growth factor mRNA were unchanged by the treatments. In conclusion, TNP-470 significantly enhanced the tumor effect of ionizing IR, and our findings strongly indicate that acute microvascular damage after IR is effectively prevented by concurrent TNP-470 treatment. A significant up-regulation of angiopoietin-1 seems to play a role in this protective mechanism, which as yet is not fully elucidated.
A Dynamic View of Trauma/Hemorrhage-Induced Inflammation in Mice: Principal Drivers and Networks

Background Complex biological processes such as acute inflammation induced by trauma/hemorrhagic shock/ (T/HS) are dynamic and multi-dimensional. We utilized multiplexing cytokine analysis coupled with data-driven modeling to gain a systems perspective into T/HS. Methodology/Principal Findings Mice were subjected to surgical cannulation trauma (ST) ± hemorrhagic shock (HS; 25 mmHg), and followed for 1, 2, 3, or 4 h in each case. Serum was assayed for 20 cytokines and NO2 −/NO3 −. These data were analyzed using four data-driven methods (Hierarchical Clustering Analysis [HCA], multivariate analysis [MA], Principal Component Analysis [PCA], and Dynamic Network Analysis [DyNA]). Using HCA, animals subjected to ST vs. ST + HS could be partially segregated based on inflammatory mediator profiles, despite a large overlap. Based on MA, interleukin [IL]-12p40/p70 (IL-12.total), monokine induced by interferon-γ (CXCL-9) [MIG], and IP-10 were the best discriminators between ST and ST/HS. PCA suggested that the inflammatory mediators found in the three main principal components in animals subjected to ST were IL-6, IL-10, and IL-13, while the three principal components in ST + HS included a large number of cytokines including IL-6, IL-10, keratinocyte-derived cytokine (CXCL-1) [KC], and tumor necrosis factor-α [TNF-α]. DyNA suggested that the circulating mediators produced in response to ST were characterized by a high degree of interconnection/complexity at all time points; the response to ST + HS consisted of different central nodes, and exhibited zero network density over the first 2 h with lesser connectivity vs. ST at all time points. DyNA also helped link the conclusions from MA and PCA, in that central nodes consisting of IP-10 and IL-12 were seen in ST, while MIG and IL-6 were central nodes in ST + HS. Conclusions/Significance These studies help elucidate the dynamics of T/HS-induced inflammation, complementing other forms of dynamic mechanistic modeling. These methods should be applicable to the analysis of other complex biological processes.
Modelling and analysing the power consumption of idle servers

To the best of our knowledge, there have been no efforts in devising power consumption prediction models for an idle server, where this latter contributes approximately 66% of the maximum power drain. In this paper, we propose power consumption prediction models for idle servers by taking into account their constituent components such as processor, memory, hard disk, fan and power supply unit. To this end, we identify the relevant energy-related attributes of each component necessary for the idle power consumption predictions. Furthermore, based on the proposed models, we provide an in-depth analysis by considering several types of servers (e.g. rackable, blade, etc) having different hardware characteristics and energy-aware mechanisms.
Many private mutations originate from the first few divisions of a human colorectal adenoma

Intratumoural mutational heterogeneity (ITH) or the presence of different private mutations in different parts of the same tumour is commonly observed in human tumours. The mechanisms generating such ITH are uncertain. Here we find that ITH can be remarkably well structured by measuring point mutations, chromosome copy numbers, and DNA passenger methylation from opposite sides and individual glands of a 6 cm human colorectal adenoma. ITH was present between tumour sides and individual glands, but the private mutations were side‐specific and subdivided the adenoma into two major subclones. Furthermore, ITH disappeared within individual glands because the glands were clonal populations composed of cells with identical mutant genotypes. Despite mutation clonality, the glands were relatively old, diverse populations when their individual cells were compared for passenger methylation and by FISH. These observations can be organized into an expanding star‐like ancestral tree with co‐clonal expansion, where many private mutations and multiple related clones arise during the first few divisions. As a consequence, most detectable mutational ITH in the final tumour originates from the first few divisions. Much of the early history of a tumour, especially the first few divisions, may be embedded within the detectable ITH of tumour genomes. Copyright © 2015 Pathological Society of Great Britain and Ireland. Published by John Wiley & Sons, Ltd.
Correlations between Vocal Input and Visual Response Apparently Enhance Presence in a Virtual Environment

Abstract This work investigates novel alternative means of interaction in a virtual environment (VE). We analyze whether humans can remap established body functions to learn to interact with digital information in an environment that is cross-sensory by nature and uses vocal utterances in order to influence (abstract) virtual objects. We thus establish a correlation among learning, control of the interface, and the perceived sense of presence in the VE. The application enables intuitive interaction by mapping actions (the prosodic aspects of the human voice) to a certain response (i.e., visualization). A series of single-user and multiuser studies shows that users can gain control of the intuitive interface and learn to adapt to new and previously unseen tasks in VEs. Despite the abstract nature of the presented environment, presence scores were generally very high.
Developing a Crash Warning System for the Bike Lane Area at Intersections with Connected Vehicle Technology

A common type of bike lane at intersections is between the through lane and the right lane. With such design, right-turning drivers need to cross the bike lane to merge into the right lane, which could cause conflicts with bicycles on the keyhole bike lane. This study aims to develop a warning system for drivers to avoid vehicle–bicycle crashes in the bike lane area under a connected vehicle environment. To propose a reasonable warning system, 118 right-turning vehicle trajectories were collected by an unmanned aerial vehicle. Drivers’ right-turning behaviors are investigated based on the trajectory data. Then, a vehicle–bicycle crash warning algorithm is proposed to calculate the post-encroachment time (PET) under different situations. By comparing the threshold value and the PET value, potential vehicle–bicycle crash locations in the bike lane area could be identified. The proposed algorithm is designed to be displayed on front windshields with an augmented reality display. The results suggested that the proposed algorithm could provide high prediction accuracy. Moreover, vehicle speed, vehicle location, bicycle speed, and bicycle location were found to have significant impact on the locations of dangerous areas. It is expected that the proposed warning system could be used to identify the dangerous areas and deliver warning information for right-turning drivers when they are approaching an intersection. The warning system could help drivers be more prepared for the upcoming right-turning maneuver, and thus improve traffic safety for both drivers and cyclists at intersections.
Role of a Conserved Membrane Glycine Residue in a Dicarboxylate Transporter from Sinorhizobium meliloti

ABSTRACT Nitrogen-fixing rhizobial bacteroids import dicarboxylates by using the DctA transporter. G114 of DctA is highly conserved. A G114D mutant is inactive, but DctA with a small amino acid (G114A) or a helix disrupter (G114P) retains significant activity. G114 probably interacts with other membrane helices in stabilizing a substrate-binding pocket.
D4M 2.0 schema: A general purpose high performance schema for the Accumulo database

Non-traditional, relaxed consistency, triple store databases are the backbone of many web companies (e.g., Google Big Table, Amazon Dynamo, and Facebook Cassandra). The Apache Accumulo database is a high performance open source relaxed consistency database that is widely used for government applications. Obtaining the full benefits of Accumulo requires using novel schemas. The Dynamic Distributed Dimensional Data Model (D4M)[http://www.mit. edu/~kepner/D4M] provides a uniform mathematical framework based on associative arrays that encompasses both traditional (i.e., SQL) and non-traditional databases. For non-traditional databases D4M naturally leads to a general purpose schema that can be used to fully index and rapidly query every unique string in a dataset. The D4M 2.0 Schema has been applied with little or no customization to cyber, bioinformatics, scientific citation, free text, and social media data. The D4M 2.0 Schema is simple, requires minimal parsing, and achieves the highest published Accumulo ingest rates. The benefits of the D4M 2.0 Schema are independent of the D4M interface. Any interface to Accumulo can achieve these benefits by using the D4M 2.0 Schema.
The Effect of Harrington Instrumentation on the Sagittal Configuration and Mobility of the Spine in Scoliosis

The spinal mobility and sagittal configuration in 96 scoliotic patients treated according to Harrington were investigated with a Debrunner kyphometer and a Myrin inclinometer. The more distal the fusion limit in the lumbar spine, the more reduced was the lumbar lordosis and flexion. The patients' own estimation of lumbar rigidity and pain, scored on visual analogue scales, increased as the fusion limit increased distally. The results for the thoracic spine's sagittal configuration and mobility were analogous but the trend was less pronounced. The patients' estimation of thoracic rigidity had little correlation with the number of segments fused. This study shows that fusion of the lumbar spine below L3 is to be avoided, except when specifically indicated. Furthermore, the study shows that the present technique does not adequately preserve the sagittal configuration of the thoracic and lumbar spine.
Experimental Study on Bluff-Body Stabilized Premixed Flame with a Central Air/Fuel Jet

Bluff-body flame holders are commonly employed in many industrial applications. A bluff-body is usually adopted to enhance the downstream mixing of the combustion products and the fresh fuel-air mixtures, thus to improve the flame stability and to control the combustion process. In the present paper, flames stabilized by a conical-shape bluff-body flame holder with a central air/fuel jet were studied. Effects of both a central air jet and a central fuel jet on the structures and lean blowout limits of the premixed annular flames, and on the temperature on the upper surface of the bluff-body were investigated and presented. It was revealed that a central jet led to a considerable reduction of the temperature on the upper surface of the bluff-body. It was proposed to be caused by the alternation of flow structures (in the case with a central air jet) altogether with the flame lifting from the burner (in the case with a central fuel jet). Thus, it might be used to solve the problem of the bluff-body with high heat loads in practical applications. The flame stability characteristics, for example the unstable flame dynamics and the lean blowout limits, varied with the injection of an air or fuel jet through the central pipe. Different blowout behaviors, being with or without the occurrence of flame split and flashing, caused by a central air jet were presented in the paper. In addition, when a small amount of central fuel jet (i.e., Uf/Ua = 0.045) was injected into the flow fields, an unsteady circular motion of the flame tip along the outer edge of the bluff-body was observed as well. Whereas, with an increase in the amount of the central fuel jet, the flame detached from the outer edge of the bluff-body and then became much more unstable. With a central air or fuel jet injecting into the flow field, premixed flames stabilized by the bluff-body became more unstable and easier to blowout.
Dynamic extended tree conditioned LSTM-based biomedical event extraction

Extracting knowledge from unstructured text has become essential to the text mining and knowledge discovery tasks in biomedical field. In this paper, we propose a novel Long Short Term Memory (LSTM) networks framework DET-BLSTM to extract biomedical events among biotope and bacteria from biomedical literature. In our framework, a dynamic extended tree is introduced as the input instead of the original sentences, which utilises the syntactic information. Furthermore, the POS and distance embeddings are added to enrich input information. In final, considering that shallow machine learning methods can effectively take advantage of the domain expert experience, the predictions of SVM are used for post-processing. Our DET-BLSTM model with post-processing achieves 58.09% F-score in the test set, which is better than all official submissions to BioNLP-ST 2016 and 2.29% higher than the best system.
Teaching software testing skills: Metamorphic testing as vehicle for creativity and effectiveness in software testing

In spite of its importance to software quality, software testing is often considered the "poor man" of software engineering processes, left to the end of many projects, and frequently omitted altogether. Compounding this is the reported perception of testing as a menial, low-level job, lacking any need for creativity or ingenuity, and of much lower status and attractiveness than others, such as design and implementation. When teaching about software testing, instructors often face very unmotivated students, professing little or no interest in becoming testers. This tutorial will address some testing misconceptions, and, through Metamorphic Testing - a new approach to testing which alleviates some of the major challenges in the field (including the Oracle Problem) - will provide a fresh and exciting new perspective on software testing.
The effect of low pH on protein expression by the probiotic bacterium Lactobacillus reuteri

The ability of a lactic acid bacterium to survive passage through the gastrointestinal tract is a key point in its function as a probiotic. In this study, protein synthesis by the probiotic bacterium, Lactobacillus reuteri, was analyzed under transiently decreased pH conditions. L. reuteri cells grown to the midexponential growth phase at 37°C were exposed to transient (1 h) low‐pH stresses from pH 6.8 to pH 5.0, 4.5, or 4.0. 2‐DE allowed us to identify 40 common proteins that were consistently and significantly altered under all three low‐pH conditions. PMF was used to identify these 40 proteins, and functional annotation allowed them to be distributed to six major classes: (i) transport and binding proteins; (ii) transcription–translation; (iii) nucleotide metabolism and amino acid biosynthesis; (iv) carbon energy metabolism; (v) pH homeostasis and stress; and (vi) unassigned. These findings provide new insight into the inducible mechanisms underlying the capacity of gastrointestinal L. reuteri to tolerate acid stress.
Circuit simulation of nanotechnology devices with non-monotonic I-V characteristics

As research begins to explore potential nanotechnologies for future post-CMOS integrated systems, modeling and simulation environments must be developed that can accommodate the corresponding problem complexity and non-traditional device characteristics. This paper describes a circuit-level simulator that can accommodate an important class of nanotechnology devices that are characterized by nonmonotonic I-V characteristics. Employing adaptively controlled explicit integration method (ACES) and piecewise linear (PWL) device models, the proposed approach effectively overcomes the convergence problems and multiple equilibrium point solution problems caused by the Negative Differential Resistance (NDR) regions in such device I-V functions. Importantly, the ACES approach can address the circuit size problem when partitioning is included, and provide compatibility with simple I-V device model tables, thereby avoiding the need for analytical device models that rarely are available for nanotechnology devices.