Miracle-dz/UniFAR-FTUs huggingface dataset:
Power and energy containers for multicore servers

Power capping and energy efficiency are critical concerns in server systems, particularly when serving dynamic workloads on resource-sharing multicores. We present a new operating system facility (power and energy containers) that accounts for and controls the power/energy usage of individual fine-grained server requests. This facility is enabled by novel techniques for multicore power attribution to concurrent tasks, measurement/modeling alignment to enhance predictability, and request power accounting and control.
A Comprehensive Systems Biology Approach to Studying Zika Virus

Zika virus (ZIKV) is responsible for an ongoing and intensifying epidemic in the Western Hemisphere. We examined the complete predicted proteomes, glycomes, and selectomes of 33 ZIKV strains representing temporally diverse members of the African lineage, the Asian lineage, and the current outbreak in the Americas. Derivation of the complete selectome is an ‘omics’ approach to identify distinct evolutionary pressures acting on different features of an organism. Employment of the M8 model did not show evidence of global diversifying selection acting on the ZIKV polyprotein; however, a mixed effect model of evolution showed strong evidence (P<0.05) for episodic diversifying selection acting on specific sites. Single nucleotide polymorphisms (SNPs) were predictably frequent across strains relative to the derived consensus sequence. None of the 9 published detection procedures utilize targets that share 100% identity across the 33 strains examined, indicating that ZIKV escape from molecular detection is predictable. The predicted O-linked glycome showed marked diversity across strains; however, the N-linked glycome was highly stable. All Asian and American strains examined were predicted to include glycosylation of E protein ASN154, a modification proposed to mediate neurotropism, whereas the modification was not predicted for African strains. SNP diversity, episodic diversifying selection, and differential glycosylation, particularly of ASN154, may have major biological implications for ZIKV disease. Taken together, the systems biology perspective of ZIKV indicates: a. ) The recently emergent Asian/American N-glycotype is mediating the new and emerging neuropathogenic potential of ZIKV; and b. ) further divergence at specific sites is predictable as endemnicity is established in the Americas.
Personality and Social Trust in Group Recommendations

In this paper we describe some new ideas to improve recommendations to groups of people. Our approach maximizes the global satisfaction for the group taking into account people personality and the social relationships among people in the group. We present some results with two cases of study based on the movie recommendation domain with heterogeneous groups. The first case study uses synthetically generated groups of people to test how the group composition affects the accuracy of the recommendation. Our second case study uses real users and groups where the topology of the groups is based on a social network. This second case of study with real users confirms the wide conclusions of the preliminary experiment with synthetic data, which allows us to conclude that it is possible to realize trustworthy experiments with synthetic data.
The geochemical and organic petrological characteristics of coal measures of the Xujiahe formation in the Sichuan Basin, China

Upper Triassic coaly and lacustrine source rocks complicate efforts to determine the source of hydrocarbons in Sichuan Basin. Total organic carbon analyses, pyrolysis experiments, petrological examinations, and gas chromatography and gas chromatography–mass spectrometry determinations were conducted on coals, carbonaceous mudstones and mudstones collected from two outcrop sections and cores of nine wells. Results revealed that the abundant organic carbon content will prolong the hydrocarbon generation cycle for coals and then the hydrocarbon generating capacity of coals will be enhanced by salinization, thereby contributing bacteria and algae microorganisms into humic coal of the Xujiahe Formation. Compared with mudstone, coal with the same maturity has a stronger adsorption effect on free hydrocarbons. When Ro is greater than 1.35, coal still has a strong hydrocarbon generation ability. The stable water column stratification and euxinic bottom water conditions are evidenced from the lower Pr/Ph and the higher gammacerane indices. The mixing of sea water has been proven by the existence of 4α,23,24,-trimethylcholestanes.
Slip detection using acoustic emission signal analysis

The detection of the onset of motion and slip between an end effector and workpiece has been of interest for some time and many schemes have been proposed. This paper reviews some of the background on slip detection methods and proposes use of acoustic emission signal analysis a slip detection technique. The genesis acoustic emission during slip is discussed and experimental evidence presented to the sensitivity of acoustic emission to slip between two surfaces. Preliminary tests with a robot gripper have also done to demonstrate the feasibility of acoustic emission slip detector.
Assessing the Competence and Credibility of Human Sources of Intelligence Evidence: Contributions from Law and Probability

These are perilous times in which our security is under continual threat by persons and organizations around the world and at home. Information supplied to us by human sources concerning the capabilities and intentions of these persons and organizations is crucial to our ability to recognize and prevent these threatening actions. We have all seen the many news accounts of our need for more and better HUMINT (human intelligence). But a major issue is the following: when we obtain an item of HUMINT, to what extent can we believe it? Our ability to make these assessments involves determining the competence and credibility of the human source providing this item. These assessments are very difficult and the persons making them need all the help they can get. Fortunately, much assistance comes from the fields of law and probability. This paper provides an account of how we are now exploiting the very rich legacy of experience and scholarship accumulated in the field of law over the past 500 years or so regarding questions to ask about the competence and credibility of witnesses. For quite some time, we have been attempting to bring valuable insights from the field of law concerning various evidential and inferential matters to the attention of persons in the intelligence community. On this occasion, we will describe a computer-assisted system called MACE (method for assessing the credibility of evidence), which we are developing to exploit what we have learned from law regarding assessments of the competence and credibility of sources of HUMINT. This system is designed to assist in addressing the question: to what extent can we believe this particular item of HUMINT that has just been supplied to us by a human source? MACE employs two different, but entirely complementary, probability systems to help us answer this question. Baconian probability methods help us answer the question: how much evidence do we have about this human source and how completely does it answer questions about the source's competence and credibility? Bayesian probability methods allow us to determine how strong is the evidence we do have about this particular human source, and it also provides an assessment of the posterior odds favouring the extent to which we can believe or disbelieve what this source is telling us.
Adaptive Primal–Dual Genetic Algorithms in Dynamic Environments

Recently, there has been an increasing interest in applying genetic algorithms (GAs) in dynamic environments. Inspired by the complementary and dominance mechanisms in nature, a primal-dual GA (PDGA) has been proposed for dynamic optimization problems (DOPs). In this paper, an important operator in PDGA, i.e., the primal-dual mapping (PDM) scheme, is further investigated to improve the robustness and adaptability of PDGA in dynamic environments. In the improved scheme, two different probability-based PDM operators, where the mapping probability of each allele in the chromosome string is calculated through the statistical information of the distribution of alleles in the corresponding gene locus over the population, are effectively combined according to an adaptive Lamarckian learning mechanism. In addition, an adaptive dominant replacement scheme, which can probabilistically accept inferior chromosomes, is also introduced into the proposed algorithm to enhance the diversity level of the population. Experimental results on a series of dynamic problems generated from several stationary benchmark problems show that the proposed algorithm is a good optimizer for DOPs.
Efficient gossip protocols for verifying the consistency of Certificate logs

The level of trust accorded to certification authorities has been decreasing over the last few years as several cases of misbehavior and compromise have been observed. Log-based approaches, such as Certificate Transparency, ensure that fraudulent TLS certificates become publicly visible. However, a key element that log-based approaches still lack is a way for clients to verify that the log behaves in a consistent and honest manner. This task is challenging due to privacy, efficiency, and deployability reasons. In this paper, we propose the first (to the best of our knowledge) gossip protocols that enable the detection of log inconsistencies. We analyze these protocols and present the results of a simulation based on real Internet traffic traces. We also give a deployment plan, discuss technical issues, and present an implementation.
Long-term survival in lung cancer after surgical treatment : is gender a prognostic factor ?

Patients and Methods: In a retrospective cohort study, we assessed survival in 163 NSCLC patients who underwent surgical curative treatment at PUCRS Hospital between 1990 and 1997. The cohort consisted of 124 (76.07%) males and 39 (23.93%) females. Data were analyzed using Kaplan-Meier plots. We also used the Mann-Whitney test for comparison of survival times between and among groups and the Cox regression model to adjust for potential confounding factors.
Human papillomavirus infection, cervical dysplasia and invasive cervical cancer in Honduras: A case‐control study

A substantial body of evidence has confirmed human papillomavirus (HPV) infection as the central etiological agent in human cervical carcinogenesis. In Honduras, cervical cancer is the most common cancer among women, with a high annual incidence. We conducted a population‐based, case‐control study of 229 patients with different grades of CIN and invasive cervical cancer and 438 matched controls. A structured questionnaire was used to investigate known and probable risk factors for cervical cancer. Cervical scrapes were tested for the presence of different HPV types using a general primer‐mediated PCR followed by PCR‐based sequencing. HPV DNA was detected in 87% of all cancer in situ and invasive cancer cases, and 95% of invasive cases could be attributed to high‐risk types. In control women, 39% were positive for HPV DNA sequences. HPV 16 prevalence ranked highest in all stages of cervical dysplasias, invasive cancers and controls. A statistically significant association with HPV was observed for CIN II, CIN III and invasive cancer, showing an upward trend to more severe lesions and being more pronounced for HPV 16 and related types. The OR for HPV 16‐ and 18‐related invasive cancer cases was 14.88 (95% CI 5.12–43.25) and 74.66 (95% CI 7.77–717.62), respectively. Our results confirm a central role of HPV as the cause of cervical cancer in Honduras and provide information as to the type distribution of HPVs in the country. Int. J. Cancer 82:799–803, 1999. © 1999 Wiley‐Liss, Inc.
Gradient descent in feed-forward networks with binary neurons

In this paper we show how the familiar concept of gradient descent can be extended in presence of binary neurons. The procedure we devised formally operates on generic feedforward networks of logistic-like neurons whose activations are re-scaled by an arbitrarily large gauge. Whereas the gradient decays exponentially with increasing values of the gauge, the sign of each component becomes definitely equal to a constant value. Those values are actually computed by means of a "twin" network of binary neurons. This allows the application of any "Manhattan" training algorithm such as resilient propagation.
Least squares estimation of a shift in linear processes

This paper considers a mean shift with an unknown shift point in a linear process and estimates the unknown shift point (change point) by the method of least squares. Pre-shift and post-shift means are estimated concurrently with the change point. The consistency and the rate of convergence for the estimated change point are established. The asymptotic distribution for the change point estimator is obtained when the magnitude of shift is small. It is shown that serial correlation affects the variance of the change point estimator via the sum of the coefficients (impulses) of the linear process. When the underlying process is an ARMA, a mean shift causes overestimation of its order. A simple procedure is suggested to mitigate the bias in order estimation.
Handoff management scheme based on frame loss rate and RSSI prediction for IEEE 802.11 networks

This paper proposes a frame loss rate (FLR) and received signal strength indicator (RSSI) prediction based handoff management scheme to reduce the ping-pong effect caused by the purely RSSI based handoff decision schemes in IEEE 802.11 networks. The proposed scheme is performed by each mobile station (MS) in a decentralized manner. In the proposed scheme, the FLR information is used as handoff trigger criterion. To perceive the change trends of wireless link thus reducing the target AP selection time, the proposed scheme adopts polynomial regression-based RSSI prediction approach. The predicted RSSI together with FLR information is used for target access point (AP) selection. Moreover, we construct neighboring AP information list (NAIL) for MSs to store the above information. Therefore, the proposed scheme can also be called NAIL-based handoff management scheme. The results indicate that the proposed scheme can effectively reduce the invalid handoffs and avoid the ping-pong effect.
Dominant Forms of Economic Organization in Market Economies

The identification of distinctive and effective forms of economic organization in East Asia has emphasized the close connections between dominant social institu tions and ways of co-ordinating economic activities as well as the interrelations between firm and market characteristics in separate business systems. Differences in major institutions thus generate significant variations in how firms and markets are structured and operate. These variations suggest that an important element in the analysis of market economies is the comparison of firm-market relations across institutional contexts. This requires their key characteristics to be identi fied. These can be summarized under three main headings which constitute the components of business systems: the nature of firms as economic actors, the nature of inter-firm relations in markets and the nature of authoritative co ordination and control systems within firms. Thirteen major characteristics form the basic dimensions of business systems, which vary as the result of differences in state structures, financial systems, cultural conventions and other key institutional features. Interdependences between these characteristics restrict the variety of business systems that become established in market economies and suggest that five major kinds can be identified on the basis of institutionalized patterns of risk-sharing and firm self-sufficiency: centrifugal, partitioned, collaborative, co ordinated and state-dependent. These types of business system highlight the dif ferent patterns of economic organization, and some of their institutional connec tions, which have developed in Europe and other industrialized societies.
Bis[4-(4-methoxyphenyl)-4H-1,2,4-triazole-κN 1]bis(thiocyanato-κN)zinc(II)

In the title complex, [Zn(NCS)2(C9H9N3O)2], the ZnII ion is coordinated by two N atoms from the NCS− anions and two N atoms from two 4-(4-methoxyphenyl)-4H-1,2,4-triazole ligands in a slightly distorted tetrahedral geometry. Three intermolecular weak hydrogen-bonding contacts of the types C—H⋯N, C—H⋯S and C—H⋯O are observed in the crystal structure.
Optimized Image Scaling Using DWT and Different Interpolation Techniques

Discrete Wavelet Transform (DWT) has gained much limelight in the past years. Wavelet Transform has precedence over Discrete Fourier Transform and Discrete Cosine Transform because they capture the frequency as well as spatial information of a signal. In this paper DWT has been used for image scaling purpose. To achieve higher visual quality image, DWT is applied on the gray scale image using a downscaling technique. The original image is recovered using IDWT by employing different interpolation techniques for upscaling. In this paper interpolation techniques used are: Nearest Neighbor, Bilinear and Bicubic. Peak Signal to Noise Ratio (PSNR) and Mean Square Error (MSE) is calculated for quantifying interpolated image effectiveness. Results show that the reconstructed image is better when using a combination of DWT and Bicubic interpolation
Proteomics in Melanoma Biomarker Discovery: Great Potential, Many Obstacles

The present clinical staging of melanoma stratifies patients into heterogeneous groups, resulting in the application of aggressive therapies to large populations, diluting impact and increasing toxicity. To move to a new era of therapeutic decisions based on highly specific tumor profiling, the discovery and validation of new prognostic and predictive biomarkers in melanoma is critical. Genomic profiling, which is showing promise in other solid tumors, requires fresh tissue from a large number of primary tumors, and thus faces a unique challenge in melanoma. For this and other reasons, proteomics appears to be an ideal choice for the discovery of new melanoma biomarkers. Several approaches to proteomics have been utilized in the search for clinically relevant biomarkers, but to date the results have been relatively limited. This article will review the present work using both tissue and serum proteomics in the search for melanoma biomarkers, highlighting both the relative advantages and disadvantages of each approach. In addition, we review several of the major obstacles that need to be overcome in order to advance the field.
Development of a bipedal humanoid robot-control method of whole body cooperative dynamic biped walking

The authors have focused on the bipedal humanoid robot expected to play an active role in human living space, through studies on an anthropomorphic biped walking robot. As the first stage of developing a bipedal humanoid robot, the authors developed the human-size 35 active DOF bipedal humanoid robot "WABIAN" and the human-size 41 active DOF bipedal humanoid robot "WABIAN-R". The authors also proposed a basic control method of whole body cooperative dynamic biped walking that uses trunk or trunk-waist cooperative motion to compensate for three-axis (pitch, roll and yaw-axis) moment generated not only by the motion of the lower-limbs planned arbitrarily but by the time trajectory of the hands planned arbitrarily. Using these systems and the control method, normal biped walking (forward and backward), dynamic dance, waving arms and hip, dynamic carrying of a load using its arms, and trunk-waist cooperative dynamic walking are achieved.
Enhanced simultaneous localization and map building

FastSLAM is a well-known algorithm with its purpose to process the simultaneous localization and mapping (SLAM). There are two main FastSLAM algorithms, i.e., FastSLAM 1.0 and FastSLAM 2.0. However, the speed of execution is too slow due to the superabundant comparisons of every single existing landmarks. Thus computationally efficient SLAM (CESLAM) was presented to deal with the problem and to achieve the goal of real-time processing design. Nevertheless, there is a great possibility that large errors may occur, because the original CESLAM only takes odometer information to estimate the robot's pose in particles. Therefore, this paper not only utilizes the odometer information but also the measurement information from sensors. Finally, simulation results are illustrated that the modified version of CESLAM algorithm can effectively ameliorate the accuracy of localization and mapping.
Comparison between collision induced dissociation of electrosprayed protonated peptides in the up-front source region and in a low-energy collision cell.

A systematic comparison between the up-front Collision induced dissociation (CID) mass spectra and low-energy CID tandem mass spectra from twenty-one singly and/or doubly charged peptides has been made. CID spectra of the peptides were recorded at different electrode voltages in the up-front source region of a single quadrupole instrument and different collision energies in the collision cell of a tandem quadrupole instrument. It was observed that up-front CID and low-energy CID yielded comparable product ion spectra from protonated peptides, and that the instrumental settings necessary for obtaining comparable CID mass spectra from the two methods are correlated.
Structure-Based Inhibitors Exhibit Differential Activities against Helicobacter pylori and Escherichia coli Undecaprenyl Pyrophosphate Synthases

Helicobacter pylori colonizes the human gastric epithelium and causes diseases such as gastritis, peptic ulcers, and stomach cancer. Undecaprenyl pyrophosphate synthase (UPPS), which catalyzes consecutive condensation reactions of farnesyl pyrophosphate with eight isopentenyl pyrophosphate to form lipid carrier for bacterial peptidoglycan biosynthesis, represents a potential target for developing new antibiotics. In this study, we solved the crystal structure of H. pylori UPPS and performed virtual screening of inhibitors from a library of 58,635 compounds. Two hits were found to exhibit differential activities against Helicobacter pylori and Escherichia coli UPPS, giving the possibility of developing antibiotics specially targeting pathogenic H. pylori without killing the intestinal E. coli.