Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards Comparing and Combining Points-to Analyses

Points-to information is the basis for many analyses and transformations, e.g., for program understanding and optimization. To justify new analysis techniques, they need to be compared to the state of the art regarding their accuracy and efficiency. Usually, benchmark suites are used to experimentally compare the different techniques. In this paper, we show that the accuracy of two analyses can only be compared in restricted cases, as there is no benchmark suite with exact Points-to information, no Gold Standard, and it is hard to construct one for realistic programs. We discuss the challenges and possible traps that may arise when comparing different Points-to analyses directly with each other, and with over- and under-approximations of a Gold Standard. Moreover, we discuss how different Points-to analyses can be combined to a more precise one. We complement the paper with experiments comparing and combining different static and dynamic Points-to analyses.
Job-Arrival Aware Distributed Run-Time Resource Management on Intel SCC Manycore Platform

Modern computing systems are dealing with a diverse set of complex and dynamic workloads in the presence of varying job arrival rates. This diversity is raising the need for the development of sophisticated run-time mechanisms that efficiently manage system's resources. In addition, moving towards kilo-core processor architectures, centralized resource management approaches will most probably form a severe performance bottleneck, thus the study of Distributed Run-Time Resource Management (DRTRM) schemes is now gaining a lot of attention. In this paper, we propose a job-arrival aware DRTRM framework for applications with malleable characteristics, implemented on top of the Intel Single-Chip Cloud Computer (SCC) many-core platform. We show that resource allocation is highly affected not only by the internal decision mechanisms but also from the incoming application interval rate on the system. Based on this observation, we propose an effective admission control strategy utilizing Voltage and Frequency Scaling (VFS) of parts of the DRTRM which eventually retains the distributed decision making thus improving system performance in combination with significant gains in its consumed energy.
Ketamine Disrupts Theta Modulation of Gamma in a Computer Model of Hippocampus

Abnormalities in oscillations have been suggested to play a role in schizophrenia. We studied theta-modulated gamma oscillations in a computer model of hippocampal CA3 in vivo with and without simulated application of ketamine, an NMDA receptor antagonist and psychotomimetic. Networks of 1200 multicompartment neurons [pyramidal, basket, and oriens-lacunosum moleculare (OLM) cells] generated theta and gamma oscillations from intrinsic network dynamics: basket cells primarily generated gamma and amplified theta, while OLM cells strongly contributed to theta. Extrinsic medial septal inputs paced theta and amplified both theta and gamma oscillations. Exploration of NMDA receptor reduction across all location combinations demonstrated that the experimentally observed ketamine effect occurred only with isolated reduction of NMDA receptors on OLMs. In the ketamine simulations, lower OLM activity reduced theta power and disinhibited pyramidal cells, resulting in increased basket cell activation and gamma power. Our simulations predict the following: (1) ketamine increases firing rates; (2) oscillations can be generated by intrinsic hippocampal circuits; (3) medial-septum inputs pace and augment oscillations; (4) pyramidal cells lead basket cells at the gamma peak but lag at trough; (5) basket cells amplify theta rhythms; (6) ketamine alters oscillations due to primary blockade at OLM NMDA receptors; (7) ketamine alters phase relationships of cell firing; (8) ketamine reduces network responsivity to the environment; (9) ketamine effect could be reversed by providing a continuous inward current to OLM cells. We suggest that this last prediction has implications for a possible novel treatment for cognitive deficits of schizophrenia by targeting OLM cells.
Optimal schemes for robust web extraction

In this paper, we consider the problem of constructing wrappers for web information extraction that are robust to changes in websites. We consider two models to study robustness formally: the adversarial model, where we look at the worst-case robustness of wrappers, and probabilistic model, where we look at the expected robustness of wrappers, as web-pages evolve. Under both models, we present efficient algorithms for constructing the provably most robust wrapper. By evaluating on real websites, we demonstrate that in practice, our algorithms are highly effective in coping up with changes in websites, and reduce the wrapper breakage by up to 500% over existing techniques.
Ecological and evolutionary opportunities of apomixis: insights from Taraxacum and Chondrilla.

The ecological and evolutionary opportunities of apomixis in the short and the long term are considered, based on two closely related apomictic genera: Taraxacum (dandelion) and Chondrilla (skeleton weed). In both genera apomicts have a wider geographical distribution than sexuals, illustrating the short-term ecological success of apomixis. Allozymes and DNA markers indicate that apomictic populations are highly polyclonal. In Taraxacum, clonal diversity can be generated by rare hybridization between sexuals and apomicts, the latter acting as pollen donors. Less extensive clonal diversity is generated by mutations within clonal lineages. Clonal diversity may be maintained by frequency-dependent selection, caused by biological interactions (e.g. competitors and pathogens). Some clones are geographically widespread and probably represent phenotypically plastic 'general-purpose genotypes'. The long-term evolutionary success of apomictic clones may be limited by lack of adaptive potential and the accumulation of deleterious mutations. Although apomictic clones may be considered as 'evolutionary dead ends', the genes controlling apomixis can escape from degeneration and extinction via pollen in crosses between sexuals and apomicts. In this way, apomixis genes are transferred to a new genetic background, potentially adaptive and cleansed from linked deleterious mutations. Consequently, apomixis genes can be much older than the clones they are currently contained in. The close phylogenetic relationship between Taraxacum and Chondrilla and the similarity of their apomixis mechanisms suggest that apomixis in these two genera could be of common ancestry.
Parametric model and identification of PMSM considering the influence of magnetic saturation

Parametric models for Permanent Magnet Synchronous Machines (PMSM) based on the magnetic coenergy function are presented. To characterise the nonlinear dependence on the stator currents, splines as piecewise polynomial functions are used. Also, a model of the utilised inverter considering error voltages due to the IGBT lock-time is shown. Two identification methods are described. Results of an identification of the parameters, extracted from measurement data, prove the validity of the models.
Neisseria gonorrhoeae survive intraleukocytic oxygen-independent antimicrobial capacities of anaerobic and aerobic granulocytes in the presence of pyocin lethal for extracellular gonococci

The resistance of a piliated, transparent variant of Neisseria gonorrhoeae FA19 to intraleukocytic killing by human polymorphonuclear neutrophils (PMN) was examined. In both aerobic and anaerobic PMN monolayers, approximately 2% of the intracellular gonococci survived for as long as 165 min. Anaerobic PMN were as effective as aerobic PMN in the intracellular killing of gonococci. Hence, O2-independent antimicrobial systems of PMN performed a significant role in the intraleukocytic killing of gonococci were intracellular was supported by the elimination of extracellular bacteria by the addition of pyocin 103 and confirmed by the fluorescent antibody staining of intact gonococci after the PMN were permeabilized to antibody with a Formalin-acetone treatment of PMN monolayers. Our data indicate that while the majority of ingested gonococci are killed by O2-independent antimicrobial systems, a small number (about 2%), survive even when care is taken to eliminate extracellular bacteria.
Using Adaptive Tone Mapping to Enhance Edge-Preserving Color Image Automatically

One common characteristic of most high-contrast images is the coexistence of dark shadows and bright light source in one scene. It is very difficult to present details in both dark and bright areas simultaneously on most display devices. In order to resolve this problem, a new method utilizing bilateral filter combined with adaptive tone-mapping method is proposed to improve image quality. First of all, bilateral filter is used to decompose image into two layers: large-scale layer and detail layer. Then, the large-scale layer image is divided into three regions: bright, mid-tone, and dark region. Finally, an appropriate tone-mapping method is chosen to process each region according to its individual property. Only large-scale layer image is enhanced by using adaptive tone mapping; therefore, the details of the original image can be preserved. The experiment results demonstrate the success of proposed method. Furthermore, the proposed method can also avoid posterization produced by methods using histogram equalization.
Lagrangian Relaxation-Based Unit Commitment Considering Fast Response Reserve Constraints

Unit commitment (UC) is to determine the optimal unit status and generation level during each time interval of the scheduled period. The purpose of UC is to minimize the total generation cost while satisfying system demand, reserve requirements, and unit constraints. Among the UC constraints, an adequate provision of reserve is important to ensure the security of power system and the fast-response reserve is essential to bring system frequency back to acceptable level following the loss of an online unit within a few seconds. In this paper, the authors present and solve a UC problem including the frequency-based reserve constraints to determine the optimal FRR requirements and unit MW schedules. The UC problem is solved by using Lagrangian Relaxation-based approach and compared with the actual system schedules. It is observed that favorable reserve and unit MW schedules are obtained by the proposed method while the system security is maintained.
Automatic methods for predicting machine availability in desktop Grid and peer-to-peer systems

In this paper we examine the problem of predicting machine availability in desktop and enterprise computing environments. Predicting the duration that a machine will run until it restarts (availability duration) is critically useful to application scheduling and resource characterization in federated systems. We describe one parametric model fitting technique and two nonparametric prediction techniques, comparing their accuracy in predicting the quantiles of empirically observed machine availability distributions. We describe each method analytically and evaluate its precision using a synthetic trace of machine availability constructed from a known distribution. To detail their practical efficacy, we apply them to machine availability traces from three separate desktop and enterprise computing environments, and evaluate each method in terms of the accuracy with which it predicts availability in a trace driven simulation. Our results indicate that availability duration can be predicted with quantifiable confidence bounds and that these bounds can he used as conservative bounds on lifetime predictions. Moreover a nonparametric method based on a binomial approach generates the most accurate estimates.
Optimal design of interior permanent magnet synchronous motor by using a new surrogate assisted multi-objective optimization

In this paper, a new surrogate assisted multi-objective optimization algorithm is presented to optimize an interior permanent magnet synchronous motor (IPMSM) design for fuel cell electric vehicle. The proposed algorithm is a multi-objective algorithm (MOO) that can both maximize the efficiency and torque amplitude and minimize the torque ripple to improve the power transmission efficiency, noise, and vibration considering various design variables. While the conventional MOO algorithms have a problem of requiring too many function calls, the proposed algorithm can make a well-distributed Pareto front set with fewer function calls. The superior performance of the proposed algorithm is verified by comparing with conventional MOO algorithms. Finally, the proposed algorithm is applied to an optimal design process of an IPMSM.
An Energy-Aware Synthesis Methodology for OS-Driven Multi-Process Embedded Software

The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy software research has, in the past, focused on energy optimization at the instruction and source-code levels, approaches targeted at a higher software level are beginning to gain attention. In this work, we propose a methodology to refine a control-data flow diagram (CDFD) model of an embedded software program into an energy-efficient multi-process software architecture graph (SAG). Our starting representation, the CDFD, is capable of modeling data-dependent control flow. Energy efficiency is achieved by reducing the energy wastage due to context switches and inter-process communications (IPCs). Conditionally-unused computational operations, and their corresponding energy, are also avoided by a condition-aware static scheduler. Finally, code generation is performed from the energy-efficient SAG to produce a multi-process program that implements the original CDFD specification. Experimental results establish the efficacy of the proposed approach.
A kinetic study of ribulose bisphosphate carboxylase from the photosynthetic bacterium Rhodospirillum rubrum.

The activation kinetics of purified Rhodospirillum rubrum ribulose bisphosphate carboxylase were analysed. The equilibrium constant for activation by CO(2) was 600 micron and that for activation by Mg2+ was 90 micron, and the second-order activation constant for the reaction of CO(2) with inactive enzyme (k+1) was 0.25 X 10(-3)min-1 . micron-1. The latter value was considerably lower than the k+1 for higher-plant enzyme (7 X 10(-3)-10 X 10(-3)min-1 . micron-1). 6-Phosphogluconate had little effect on the active enzyme, and increased the extent of activation of inactive enzyme. Ribulose bisphosphate also increased the extent of activation and did not inhibit the rate of activation. This effect might have been mediated through a reaction product, 2-phosphoglycolic acid, which also stimulated the extent of activation of the enzyme. The active enzyme had a Km (CO2) of 300 micron-CO2, a Km (ribulose bisphosphate) of 11--18 micron-ribulose bisphosphate and a Vmax. of up to 3 mumol/min per mg of protein. These data are discussed in relation to the proposed model for activation and catalysis of ribulose bisphosphate carboxylase.
Multipath Routing Design for Wireless Mesh Networks

In recent years, wireless mesh networks (WMNs) have attracted considerable interest from both academia and industry. WMNs offer attractive advantages such as easy installation, fast deployment, and low operating expense. For this reason, many cities and network operators have built WMNs to provide wireless Internet access in metropolitan areas. Despite their advantages, WMNs face numerous challenges such as limited and fluctuating bandwidth of wireless links, interference among wireless links, and reliability issues due to broken links and faulty nodes caused by external impacts. Multipath routing can address these challenges and provides several benefits such as bandwidth aggregation, load balancing, optimal resource utilization, and high fault-tolerance. This paper presents a multipath routing design for WMNs. We evaluate our multipath routing design using simulations and compare it with the popular routing protocol Optimized Link State Routing Protocol (OLSR) for WMNs. Our evaluation shows promising results for our multipath routing design.
Selective unfolding of one Ribonuclease H domain of HIV reverse transcriptase is linked to homodimer formation

HIV-1 reverse transcriptase (RT), a critical enzyme of the HIV life cycle and an important drug target, undergoes complex and largely uncharacterized conformational rearrangements that underlie its asymmetric folding, dimerization and subunit-selective ribonuclease H domain (RH) proteolysis. In the present article we have used a combination of NMR spectroscopy, small angle X-ray scattering and X-ray crystallography to characterize the p51 and p66 monomers and the conformational maturation of the p66/p66′ homodimer. The p66 monomer exists as a loosely structured molecule in which the fingers/palm/connection, thumb and RH substructures are connected by flexible (disordered) linking segments. The initially observed homodimer is asymmetric and includes two fully folded RH domains, while exhibiting other conformational features similar to that of the RT heterodimer. The RH′ domain of the p66′ subunit undergoes selective unfolding with time constant ∼6.5 h, consistent with destabilization due to residue transfer to the polymerase′ domain on the p66′ subunit. A simultaneous increase in the intensity of resonances near the random coil positions is characterized by a similar time constant. Consistent with the residue transfer hypothesis, a construct of the isolated RH domain lacking the two N-terminal residues is shown to exhibit reduced stability. These results demonstrate that RH′ unfolding is coupled to homodimer formation.
Factors influencing illness representations and perceived adherence in haemophilic patients: a pilot study

Illness representations of chronic patients are important to explain adherence and preventive behaviours. However, it is unclear if the patient's objective health status may influence illness representations and perceived adherence. This study explored if health status and socio‐demographic characteristics influence illness representations and perceived adherence in haemophilic patients. Fifty patients (25 on‐demand and 25 on prophylaxis) ageing from 13–73, completed the Illness Perceptions Questionnaire‐Revised and the Morisky Medication Adherence Scale. Patients' cognitive illness representations were influenced by type of treatment, haemophilia severity, presence of inhibitor and co‐morbidity. Perceived chronicity was influenced by patient's age (P = 0.021). Perceived adherence was not influenced by the health status, but was affected by the relationship status (P = 0.048). Perceived adherence was predicted by perceived chronicity (β = 0.412; P = 0.003) and by emotions (β = −0.308; P = 0.023). Patient's health status seems to affect cognitive illness representations but not perceived adherence. Perceived chronicity and negative emotions, which affected perceived adherence, were not influenced by the health status. Physician–patient communication addressing perceived chronicity and emotions rather than patients' health status may influence patient's adherence. Psycho‐educational groups could be offered to promote patient's well‐being and adjustment to haemophilia, and improve adherence.
Delay-Aware Dynamic Resource Allocation and ABS Configuration Algorithm in HetNets Based on Lyapunov Optimization

In this paper, by jointly considering resource allocation and subframe type determination, we formulate a stochastic optimization programming to investigate the problem of network stability in heterogeneous networks (HetNets) with almost blank subframe (ABS)-based enhanced inter-cell interference coordination where random and finite traffic loads are considered. Then, by leveraging the Lyapunov optimization technique, an extremely simple but optimal delay-aware dynamic resource allocation and ABS configuration algorithm (DDRAACA) is proposed to solve the formulation. In the DDRAACA, at the beginning of each time slot, eNodeBs should collect current queue states of their own users, and locally calculate the resource scheduling matrix based on channel state information feedbacks. Then, the category of current subframe can be determined. Besides, considering the computational complexity and the signaling overhead brought in by the DDRAACA, another algorithm named semi-static ABS configuration with interference impact factor-based scheduling is developed. The simulation results show that both algorithms can maintain the stability of the system. In particular, no iteration and optimization tools are required in our proposed algorithms, which paves the way for practical applications.
Modification of the "push" technique for percutaneous endoscopic gastrostomy in infants and children.

BACKGROUND Percutaneous endoscopic gastrostomy (PEG) by the "push" technique avoids peri-catheter infection, repeated insertion of the endoscope, potential esophageal injury from the catheter, and the possible need for another endoscopy for catheter removal associated with the "pull" technique. In small infants, however, the "push" technique could result in loss of gastric insufflation and pneumoperitoneum during tract dilatation. A simple modification of the "push" technique has eliminated this problem. STUDY DESIGN During a 16-month period, 22 infants and children underwent PEG insertion using our modified "push" technique. These cases were reviewed for patient characteristics including age, weight, indication for the procedure, duration of the procedure, cost, conversion to open technique, and complications. RESULTS We have used the modified "push" technique to place PEG tubes in 20 infants and children aged four weeks to 15 years (mean, 13 months), weighing 2.7 to 36 kg (median, 6.0 kg), indicated for failure to thrive due to cystic fibrosis (n=3) or neurologic impairment (n=10). These patients have had follow-up examination from nine to 30 months after the procedure. Operative time averaged 15 minutes. The "push" technique was successful in 95 percent of patients with one failure caused by loss of gastric insufflation when Fogarty balloons failed. All PEGs were used within 24 hours. There were no deaths and no peri-catheter infections. CONCLUSIONS A simple modification of the "push" technique of PEG insertion eliminated problems with loss of gastric insufflation previously encountered in small infants. The modified "push" technique is safe, simple, and quick, obviating potential risks inherent in the "pull" technique when applied in infants.
Semantic Graphs Derived From Triplets with Application in Document Summarization

Delia RusuTechnical University of Cluj-Napoca, Faculty of Automation and Computer Science, G. Bariţiu 26-28, 400027 Cluj-Napoca, RomaniaE-mail: delia.rusu@gmail. comBlaž Fortuna, Marko Grobelnik and Dunja MladenicJozef Stefan Institute, Jamova 39, 1000 Ljubljana, SloveniaE-mail: {blaz.fortuna,marko.grobelnik, dunja.mladenic}@ijs.si
Don't Give Up on Distributed File Systems

Wide-area distributed applications often reinvent the wheel for their storage needs, each incorporating its own special-purpose storage manager to cope with distribution, intermittent failures, limited bandwidth, and high latencies. This paper argues that a distributed file system could provide a reusable solution to these problems by coupling a standard interface with a design suited to widearea distribution. For concreteness, this paper presents such a file system, called WheelFS, which allows applications to control consistency through the use of semantic cues, and minimizes communication costs by adhering to the slogan read globally, write locally. WheelFS could simplify distributed experiments, CDNs, and Grid applications.