Miracle-dz/UniFAR-FTUs huggingface dataset:
Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation

Live migration of virtual machines over a wide area network has many use cases such as cross-data center load balancing, low carbon virtual private clouds, and disaster recovery of IT systems. An efficient wide area live migration method is required because cross-data center connections have a narrow bandwidth. Page cache occupies a large portion of the memory of a Virtual Machine (VM) when it executes data-intensive workloads. We propose a new live migration technique, page cache teleportation, which reduces the total migration time of wide area live migration and has a low overhead. It detects the restorable page cache in the guest memory that has the same contents as the corresponding disk blocks. The restorable page cache is not transferred via the WAN but is restored from the disk image before the VM resumes. In this way, the IO performance degradation reduces after the migration. Evaluations show that page cache teleportation reduces the total migration time of wide area live migration and has a lower performance overhead than existing approaches.
Somatic Cells Count and Its Genetic Association with Milk Yield in Dairy Cattle Raised under Thai Tropical Environmental Conditions

Somatic cells count (SCC), milk yield (MY) and pedigree information of 2,791 first lactation cows that calved between 1990 and 2010 on 259 Thai farms were used to estimate genetic parameters and trends for SCC and its genetic association with MY. The SCC were log-transformed (lnSCC) to make them normally distributed. An average information-restricted maximum likelihood procedure was used to estimate variance components. A bivariate animal model that considered herd-yr-season, calving age, and regression additive genetic group as fixed effects, and animal and residual as random effects was used for genetic evaluation. Heritability estimates were 0.12 (SE = 0.19) for lnSCC, and 0.31 (SE = 0.06) for MY. The genetic correlation estimate between lnSCC and MY was 0.26 (SE = 0.59). Mean yearly estimated breeding values during the last 20 years increased for SCC (49.02 cells/ml/yr, SE = 26.81 cells/ml/yr; p = 0.08), but not for MY (0.37 kg/yr, SE = 0.87 kg/yr; p = 0.68). Sire average breeding values for SCC and MY were higher than those of cows and dams (p<0.01). Heritability estimates for lnSCC and MY and their low but positive genetic correlation suggested that selection for low SCC may be feasible in this population as it is in other populations of dairy cows. Thus, selection for high MY and low SCC should be encouraged in Thai dairy improvement programs to increase profitability by improving both cow health and milk yield.
Regret Testing: Learning to Play Nash Equilibrium Without Knowing You Have an Opponent

A learning rule is uncoupled if a player does not condition his strategy on the opponent's payoffs. It is radically uncoupled if a player does not condition his strategy on the opponent's actions or payoffs. We demonstrate a family of simple, radically uncoupled learning rules whose period-by-period behavior comes arbitrarily close to Nash equilibrium behavior in any finite two-person game.
Human parsing using stochastic and-or grammars and rich appearances

One of the key challenges to human parsing and pose recovery is handling the variability in geometry and appearance of humans in natural scenes. This variability is due to the large number of distinct articulated configurations, clothing, and self-occlusion, as well as unknown lighting and viewpoint. In this paper, we present a stochastic grammar model that represents the body as an articulated assembly of compositional and reconfigurable parts. The reconfigurable aspect allows a compatible part to be substituted with an alternative part with different attributes, such as for clothing appearance or viewpoint foreshortening. Relations within the grammar enforce consistency between part attributes as well as geometry, allowing a richer set of appearance and geometry constraints over conventional articulated models. Part appearances are modeled by a sparse deformable image template that can still richly describe salient part structures. We describe a dynamic programming parsing algorithm for our model, and show competitive pose recovery results against the state-of-art on a challenging dataset.
Venovenous haemodiafiltration for the management of dabigatran overdose in intensive care unit

Dabigatran is a direct thrombin inhibitor indicated for thromboembolism prophylaxis in patients with non-valvular atrial fibrillation. The procedure to manage dabigatran-associated haemorrhages is not well formalized. Conventional haemodialysis has been evaluated with good results. Patients with dabigatran-associated bleeding may be unstable and convective techniques like venovenous haemodiafiltration (HDF) can be interesting. We report the case of a 74-year-old, critically ill patient with haemorrhagic shock and dabigatran overexposure due to acute kidney injury. He underwent HDF and dabigatran blood concentrations decreased from 325.3 ng/mL to 160.5 ng/mL. We report here key pharmacokinetics parameters (half-life, extraction coefficient, clearance).
Bulk-Micromachined Test Structure for Fast and Reliable Determination of the Lateral Thermal Conductivity of Thin Films

A novel bulk-micromachined test structure is presented for the fast and reliable determination of the lateral thermal conductivity of thin films. The device is composed of a heater resistor and thermocouples that are fabricated in polysilicon (poly-Si), and the associated processing and DC measurement procedures are straightforward. The validity of the method is supported by numerical simulations and verified by experimental determination of the lateral thermal conductivity of aluminum (Al), aluminum nitride (AlN), p-doped poly-Si, and silicon nitride (SiN) thin films. For Al, an average value of 217 W m-1 K-1 was found for 1-mum thick layers. For the other layers, a number of thicknesses were studied, and the increase of thermal conductivity with thickness was effectively detected: for AlN, values from 7 to 11.5 W m-1 K-1 were found, and for p-doped poly-Si, values went from 21 to 46 W m-1 K-1 for thicknesses from 0.15 to 1 mum. For SiN, a value of 1.8 was extracted for layers thicker than 0.5 mum.
Classification of Spatially Localized Oscillations in Periodically Forced Dissipative Systems

Formation of spatially localized oscillations in parametrically driven systems is studied, focusing on the dominant 2:1 resonance tongue. Both damped and self-excited oscillatory media are considered. Near the primary subharmonic instability such systems are described by the forced complex Ginzburg–Landau equation. The technique of spatial dynamics is used to identify three basic types of coherent states described by this equation—small amplitude oscillons, large amplitude reciprocal oscillons resembling holes in an oscillating background, and fronts connecting two spatially homogeneous states oscillating out of phase. In many cases all three solution types are found in overlapping parameter regimes, and multiple solutions of each type may be simultaneously stable. The origin of this behavior can be traced to the formation of a heteroclinic cycle in space between the finite amplitude spatially homogeneous phase-locked oscillation and the zero state. The results provide an almost complete classification of.
Coping with Rising Food Prices: Policy Dilemmas in the Developing World

Rising food prices cause considerable policy dilemmas for developing country governments. Letting domestic prices adjust to reflect the full change in international prices generates inflationary pressures and causes severe hardship for poor households lacking access to social safety nets. Alternatively, governments can use food subsidies or export restrictions to stabilize domestic prices, yet this exacerbates global food price increases and undermines a rules-based trading system. The recent episode shows that many countries chose to shift the burden of adjustment back to international markets. The use of corn and oilseed for the production of biofuel will result in a recurrence of such episodes in the foreseeable future.
On the effects of structure and function on protein evolution

Background: During the folding of a protein some residues will become exposed to the environmentwhile others will become buried in the protein interior. For water soluble proteins it is en-ergetically favorable to bury hydrophobic residues and expose polar and charged residues tothe surrounding water. However, transmembrane proteins face three distinct environments; ahydrophobic lipid environment inside the membrane, a hydrophilic water environment outsidethe membrane and a interface region rich in phospholipid head-groups. Therefore, for ener-getic reasons the accessible surfaces of transmembrane proteins need to expose different typesof residues at different locations. Results: In a set of structurally determined transmembrane proteins it was found that solvent ex-posed residues are quite different inside compared to outside the membrane. In contrast,residues buried within the interior of the protein are much more similar. Further, we foundthat state-of-the-art predictors for surface area are optimized for one of the environments andtherefore perform badly in the other environment. To circumvent this problem we developeda new predictor, MPRAP, that performs well both inside and outside the membrane regions aswell as being better than a combination of specialized predictors. A web-server of MPRAP isavailable at http://mprap.cbr. su.se/ Conclusion: By including complete α-helical transmembrane proteins in the training we developed apredictor that accurately predicts accessibility both inside and outside the membrane. This pre-dictor can aid in predicting 3D-structure, predicting functional relevance of individual residuesand identification of erroneous protein structures.
Computational Synthesis of Mechanical Systems

The paper provides a brief outline of methods for automated synthesis of mechanical systems in general, with primary focus on application domains involving kinematics of mechanical motions. Two application domains described in this paper, mechanisms and machine tool design, employ methods of selecting and assembling appropriate building blocks to satisfy given functional (motion) specifications. This is called Synthesis by Composition. The functionality of the precompiled building blocks as well as the design task specifications are captured mathematically in a unified representation scheme. Generation of alternate designs is accomplished by manipulation of matrices representing functions. The paper also presents another method of Synthesis by Elimination to automatically generate topologies of flexible structures which satisfy given input/output forces and displacements. The methodology presented in this paper has been successfully applied to computational synthesis of mechanisms, machine tools, compliant mechanisms, and differentials. Various applications of these methods to automot ive, aerospace, and medical and MEMS fields will be presented at the symposium.
Accelerated Life-Cycle Testing of Various Lead-Free Solder Alloys by Mechanical Shock and Thermal Cycling Techniques

ii Acknowledgements . v List of Figures . xii List of Tables . xviii List of Abbreviations . xix Chapter 1. A Brief Introduction to Electronic Assemblies . 1 1.1 Electronics Packaging . 1 1.2 Packaging Classification . 3 1.2. 1 Through Hole Mount Technology . 3 1.2. 2 Surface Mount Technology. 5 1.2. 3 Leaded Components. 6 1.2. 4 No-lead Lead-Less Components . 7 1.2. 5 Area Arrays . 9 1.3 Ball Grid Array . 9 1.4 Substrates for Electronic Packaging . 12
A Face Superresolution Algorithm in Video Sequence of Monitoring System Based on Patch Reconstruction

The faces in video sequence of monitoring system are the key information for crime detection, identity recognition and other fields. However, the face is usually blur for the far distance or low-resolution of camera. In this paper, a face superresolution algorithm based on patch reconstruction was presented to enlarge and make face image clear. The face images were segmented from the sequence by frame-difference method at first. Then, Patches were constructed in the middle frame of the sequence and matched with other frames. The matched patch that had minimum differences in one of other frames was used to reconstruct the high-resolution face image. Experimental results showed that the proposed algorithm provided clearer and sharper details compared to the existing algorithms. Keywords-super-resolution; patch reconstruction; video sequence; face image
Text classification using multi-word features

We carried out a series of experiments on text classification using multi-word features. An automated method was proposed to extract the multi-words from text data set and two different strategies were developed to normalize the multi-words into two different versions of multi-word features. After the texts were represented respectively using these two different multi-word features, text classification was conducted in contrast to examine the effectiveness of these two strategies. Also the linear and nonlinear polynomial kernel of support vector machine (SVM) was compared on the performance of text classification task.
Improved Analytical Model for Electromagnetic Analysis of Axial Flux Machines With Double-Sided Permanent Magnet Rotor and Coreless Stator Windings

This paper deals with the experimental verification and electromagnetic analysis of an axial flux machine with a double-sided permanent magnet (PM) rotor and coreless stator windings, based on analytical field computation. Employing a magnetic vector potential and a 2-D analytical model, magnetic fields produced by PMs are obtained. The 3-D problem is solved by introducing a special function for the radial position. Then, the analytical solutions for back emf, electromagnetic torque, and efficiency of the PM-type axial flux machines are derived by using the magnetic field solutions and considering simple equivalent circuits. The analytical results are validated extensively by 3-D FE results. Test results such as back-emf, torque, and efficiency measurements are also presented to show the effectiveness of the analyses.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random

We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating that “a real is c.e. and random iff it is the halting probability of a universal prefix-free Turing machine” can be proven in PA. Our proof, which is simpler than the standard one, can also be used for the original theorem. Our positive result can be contrasted with the case of computable functions, where not every computable function is provably computable in PA, or even more interestingly, with the fact that almost all random finite strings are not provably random in PA. We also prove two negative results: a) there exists a universal machine whose universality cannot be proved in PA, b) there exists a universal machine U such that, based on U , PA cannot prove the randomness of its halting probability. The paper also includes a sharper form of the Kraft-Chaitin Theorem, as well as a formal proof of this theorem written with the proof assistant Isabelle.
Toward a Principled Framework for Benchmarking Consistency

Large-scale key-value storage systems sacrifice consistency in the interest of dependability (i.e., partition-tolerance and availability), as well as performance (i.e., latency). Such systems provide eventual consistency, which--to this point--has been difficult to quantify in real systems. Given the many implementations and deployments of eventually-consistent systems (e.g., NoSQL systems), attempts have been made to measure this consistency empirically, but they suffer from important drawbacks. For example, state-of-the art consistency benchmarks exercise the system only in restricted ways and disrupt the workload, which limits their accuracy. In this paper, we take the position that a consistency benchmark should paint a comprehensive picture of the relationship between the storage system under consideration, the workload, the pattern of failures, and the consistency observed by clients. To illustrate our point, we first survey prior efforts to quantify eventual consistency. We then present a benchmarking technique that overcomes the shortcomings of existing techniques to measure the consistency observed by clients as they execute the workload under consideration. This method is versatile and minimally disruptive to the system under test. As a proof of concept, we demonstrate this tool on Cassandra.
Modeling of natural sit-to-stand movement based on minimum jerk criterion for natural-like assistance and rehabilitation

Abstract Designing a sit-to-stand (STS) assistive system that mimics the normal transfer is important for improving the quality of life for elderly and mobility impaired people while reducing the burden on the caregivers. This paper presents a robotic-based STS assisting system that can provide assistance at the shoulder and the buttock. The minimum jerk criterion is used to model the natural STS motion. Anthropometry and characteristics of the natural STS motion are used to increase the simplicity and applicability of the STS motion model. This model can generate the shoulder and hip trajectories during STS. This enables the system to provide assistance either at the upper trunk or at the upper trunk and the hip simultaneously without inducing abnormal motion kinematics. The assisting system is used to assist subjects with different heights using the trajectories generated by the proposed motion model. In addition, the proposed trajectory is compared to the one that is resulted from a commercial lifter. The results show that the proposed method can accurately replicate the natural STS motion and results in a lower interaction force. Moreover, the subjects are more satisfied when they are assisted using the proposed method as indicated by the results of the post-experiment questionnaire. Graphical Abstract
Immunogenicity and Tolerance of a 7-Valent Pneumococcal Conjugate Vaccine in Nonresponders to the 23-Valent Pneumococcal Vaccine

ABSTRACT There is still a lack of effective vaccination strategies for patients with a deficient antibody response to bacterial polysaccharide antigens. In an open trial, we evaluated the immunogenicity and tolerance of a new 7-valent pneumococcal conjugate vaccine in 22 infection-prone nonresponders to pneumococcal polysaccharide vaccine and 21 controls. In the patient group, nonresponsiveness was confirmed by repeated vaccination with a 23-valent pneumococcal polysaccharide vaccine. The study protocol provided two doses of the pneumococcal conjugate vaccine, given 4 to 6 weeks apart, for both groups. The antibody response was determined before each vaccination and on follow-up by an enzyme-linked immunosorbent assay and compared to the response in a functional opsonophagocytosis assay. Patients showed a significantly lower postvaccination immune response for all serotypes than did controls. The postvaccination response was serotype dependent. A median titer of >1 μg/ml in patients was recorded only for serotypes 4, 9V, 14, and 19F, which are known to be more immunogenic than serotypes 6B, 18C, and 23F. In the patient group, 70% responded to serotype 19F (Pnc 19F), 65% responded to Pnc 14 and 4, 60% responded to Pnc 9V, 55% responded to Pnc 18C, 50% responded to Pnc 23F, and 25% responded to Pnc 6B. In the control group >95% of individuals showed a titer of >1 μg/ml to every serotype. The vaccine was tolerated well, and no major side effects have been reported. The new pneumococcal conjugate vaccine is clearly more immunogenic in previous nonresponders than is the 23-valent pneumococcal vaccine. Immunization with a pneumococcal conjugate vaccine should be considered as a strategy to protect high-risk patients.
A Combination of Preliminary Electroweak Measurements and Constraints on the Standard Model

This note presents a combination of published and preliminary electroweak results from the four LEP collaborations and the SLD collaboration which were prepared for the 2000 summer conferences. Averages from Z0 resonance results are derived for hadronic and leptonic cross sections, the leptonic forward-backward asymmetries, the tau polarisation asymmetries, the bbbar and ccbar partial widths and forward-backward asymmetries and the qqbar charge asymmetry. Above the Z0 resonance, averages are derived for di-fermion cross sections and asymmetries, W-pair, Z-pair and single-W production cross section, electroweak gauge boson couplings and W mass and decay branching ratios. The major changes with respect to results presented in summer 1999 are final Z0 lineshape results from LEP, updates to the W mass and gauge-boson couplings from LEP, and ALR from SLD. The results are compared with precise electroweak measurements from other experiments. The parameters of the Standard Model are evaluated, first using the combined LEP electroweak measurements, and then using the full set of electroweak results.
The design of a large vocabulary speech corpus for portuguese

The last years show a great development of large vocabulary, speaker-independent continuous speech recognition systems and some research in multilingual aspects. To allow that development to also be extended to the European Portuguese language we decided to develop and collect a large database of continuous speech based on a large amount of text. In the development of this new Portuguese database our aim was to create a corpus equivalent in size to WSJ0. We selected the database texts from the P UBLICO newspaper, which is characterized by a broad coverage of matters and di erent writing styles. The recording population was selected from a large engineering school, assuring a large variability of speakers. The recordings are being done as we write this paper and we expect to release the database in CD format in September 1997.
Fifteen years of GH replacement improves body composition and cardiovascular risk factors

Objective Few studies have determined the effects of more than 5–10 years of GH replacement in adults on body composition and cardiovascular risk factors. Design/patients In this prospective, single-center, open-label study, the effects of 15 years of GH replacement on body composition and cardiovascular risk factors were determined in 156 hypopituitary adults (93 men) with adult-onset GH deficiency (GHD). Mean age was 50.5 (range 22–74) years at study start. Body composition was measured using dual-energy X-ray absorptiometry. Results The mean initial GH dose of 0.55 (s.e.m. 0.03) mg/day was gradually lowered to 0.40 (0.01) mg/day after 15 years. The mean serum IGF1 SDS increased from −1.53 (0.10) at baseline to 0.74 (0.13) at study end (P<0.001 vs baseline). Lean soft tissue (LST) increased to 3% above the baseline level at study end (P<0.001). After a 9% decrease during the first year of treatment (P<0.001 vs baseline), body fat (BF) started to increase and had returned to the baseline level after 15 years. Serum levels of total cholesterol and LDL-cholesterol decreased and serum HDL-cholesterol level increased. Fasting plasma glucose increased from 4.4 (0.1) at baseline to 4.8 (0.1) mmol/l at study end (P<0.001). However, blood HbA1c decreased from 5.0 (0.1) to 4.6 (0.1) % (P<0.001). Conclusions Fifteen-year GH replacement in GHD adults induced a transient decrease in BF and sustained improvements of LST and serum lipid profile. Fasting plasma glucose increased whereas blood HbA1c was reduced.