Miracle-dz/UniFAR-FTUs huggingface dataset:
Oracle-Centric Test Case Prioritization

Recent work in testing has demonstrated the benefits of considering test oracles in the testing process. Unfortunately, this work has focused primarily on developing techniques for generating test oracles, in particular techniques based on mutation testing. While effective for test case generation, existing research has not considered the impact of test oracles in the context of regression testing tasks. Of interest here is the problem of test case prioritization, in which a set of test cases are ordered to attempt to detect faults earlier and to improve the effectiveness of testing when the entire set cannot be executed. In this work, we propose a technique for prioritizing test cases that explicitly takes into account the impact of test oracles on the effectiveness of testing. Our technique operates by first capturing the flow of information from variable assignments to test oracles for each test case, and then prioritizing to ``cover'' variables using the shortest paths possible to a test oracle. As a result, we favor test orderings in which many variables impact the test oracle's result early in test execution. Our results demonstrate improvements in rate of fault detection relative to both random and structural coverage based prioritization techniques when applied to faulty versions of three synchronous reactive systems.
Can a few non‐coding mutations make a human brain?

The recent finding that the human version of a neurodevelopmental enhancer of the Wnt receptor Frizzled 8 (FZD8) gene alters neural progenitor cell cycle timing and brain size is a step forward to understanding human brain evolution. The human brain is distinctive in terms of its cognitive abilities as well as its susceptibility to neurological disease. Identifying which of the millions of genomic changes that occurred during human evolution led to these and other uniquely human traits is extremely challenging. Recent studies have demonstrated that many of the fastest evolving regions of the human genome function as gene regulatory enhancers during embryonic development and that the human‐specific mutations in them might alter expression patterns. However, elucidating molecular and cellular effects of sequence or expression pattern changes is a major obstacle to discovering the genetic bases of the evolution of our species. There is much work to do before human‐specific genetic and genomic changes are linked to complex human traits.
Money Matters: Evidence from a Large-Scale Randomized Field Experiment with Vouchers for Adult Training

This paper presents the results of a randomized experiment analyzing the use of vouchers for adult training. In 2006, 2,400 people were issued with a training voucher which they were entitled to use in payment for a training course of their choice. User behavior was compared with a control group of 14,000 people. People in the treatment and in the control group were not aware at any time that they were part of an experiment. The experiment shows that the voucher had a significant causal impact on participation in training modules. Nevertheless, the increase was partially offset by a deadweight loss in excess of fifty percent.
Correlates of obesity-related chronic ventilatory failure

Introduction Only a third of obese patients develop chronic ventilatory failure. This cross-sectional study assessed multiple factors potentially associated with chronic ventilatory failure. Materials/patients and methods Participants had a body mass index (BMI) >30 kg/m2, with or without chronic ventilatory failure (awake arterial partial pressure of carbon dioxide >6 kPa or base excess (BE) ≥2 mmols/L). Factors investigated were grouped into domains: (1) obesity measures, (2) pulmonary function, (3) respiratory and non-respiratory muscle strength, (4) sleep study derivatives, (5) hypoxic and hypercapnic responses, and (6) some hormonal, nutritional and inflammatory measures. Results 71 obese participants (52% male) were studied over 27 months, 52 (SD 9) years and BMI 47 (range 32–74) kg/m2. The best univariate correlates of BE from each domain were: (1) dual-energy X-ray absorptiometry measurement of visceral fat (r=+0.50, p=0.001); (2) supine forced expiratory volume in 1 s (r=−0.40, p=0.001); (3) sniff maximum pressure (r=−0.28, p=0.02); (4) mean overnight arterial oxygen saturation (r=−0.50, p<0.001); (5) ventilatory response to 15% O2 breathing (r=−0.28, p=0.02); and (6) vitamin D (r=−0.30, p=0.01). In multivariate analysis, only visceral fat and ventilatory response to hypoxia remained significant. Conclusions We have confirmed that in the obese, BMI is a poor correlate of chronic ventilatory failure, and the best independent correlates are visceral fat and hypoxic ventilatory response. Trial registration number NCT01380418.
Analysis and synthesis of facial expressions with hand-generated muscle actuation basis

We present a performance-driven facial animation system for analyzing captured expressions to find muscle actuation and synthesizing expressions with the actuation values. A significantly different approach of our work is that we let artists sculpt the initial draft of the actuation basis: the basic facial shapes corresponding to the isolated actuation of individual muscles, instead of calculating skin surface deformation entirely, relying on mathematical models such as finite element methods. We synthesize expressions by linear combinations of the basis elements, and analyze expressions by finding the weights for the combinations. Even though the hand-generated actuation basis represents the essence of the subject's characteristic expressions, it is not accurate enough to be used in the subsequent computational procedures. We also describe an iterative algorithm to increase the accuracy of the actuation basis. The experimental results suggest that our artist-in-the-loop method produces a more predictable and controllable outcome than pure mathematical models, and thus can be a quite useful tool in animation productions.
Convergence of a Nonconforming Multiscale Finite Element Method

The multiscale finite element method (MsFEM) [T. Y. Hou, X. H. Wu, and Z. Cai, Math. Comp., 1998, to appear; T. Y. Hou and X. H. Wu, J. Comput. Phys., 134 (1997), pp. 169--189] has been introduced to capture the large scale solutions of elliptic equations with highly oscillatory coefficients. This is accomplished by constructing the multiscale base functions from the local solutions of the elliptic operator. Our previous study reveals that the leading order error in this approach is caused by the ``resonant sampling,'' which leads to large error when the mesh size is close to the small scale of the continuous problem. Similar difficulty also arises in numerical upscaling methods. An oversampling technique has been introduced to alleviate this difficulty [T. Y. Hou and X. H. Wu, J. Comput. Phys., 134 (1997), pp. 169--189]. A consequence of the oversampling method is that the resulting finite element method is no longer conforming. Here we give a detailed analysis of the nonconforming error. Our analysis also reveals a new cell resonance error which is caused by the mismatch between the mesh size and the wavelength of the small scale. We show that the cell resonance error is of lower order. Our numerical experiments demonstrate that the cell resonance error is generically small and is difficult to observe in practice.
Towards speaker adaptive training of deep neural network acoustic models

We investigate the concept of speaker adaptive training (SAT) in the context of deep neural network (DNN) acoustic models. Previous studies have shown success of performing speaker adaptation for DNNs in speech recognition. In this paper, we apply SAT to DNNs by learning two types of feature mapping neural networks. Given an initial DNN model, these networks take speaker i-vectors as additional information and project DNN inputs into a speaker-normalized space. The final SAT model is obtained by updating the canonical DNN in the normalized feature space. Experiments on a Switchboard 110hour setup show that compared with the baseline DNN, the SAT-DNN model brings 7.5% and 6.0% relative improvement when DNN inputs are speaker-independent and speakeradapted features respectively. Further evaluations on the more challenging BABEL datasets reveal significant word error rate reduction achieved by SAT-DNN.
Yeast Surface Display of Trifunctional Minicellulosomes for Simultaneous Saccharification and Fermentation of Cellulose to Ethanol

ABSTRACT By combining cellulase production, cellulose hydrolysis, and sugar fermentation into a single step, consolidated bioprocessing (CBP) represents a promising technology for biofuel production. Here we report engineering of Saccharomyces cerevisiae strains displaying a series of uni-, bi-, and trifunctional minicellulosomes. These minicellulosomes consist of (i) a miniscaffoldin containing a cellulose-binding domain and three cohesin modules, which was tethered to the cell surface through the yeast a-agglutinin adhesion receptor, and (ii) up to three types of cellulases, an endoglucanase, a cellobiohydrolase, and a β-glucosidase, each bearing a C-terminal dockerin. Cell surface assembly of the minicellulosomes was dependent on expression of the miniscaffoldin, indicating that formation of the complex was dictated by the high-affinity interactions between cohesins and dockerins. Compared to the unifunctional and bifunctional minicellulosomes, the quaternary trifunctional complexes showed enhanced enzyme-enzyme synergy and enzyme proximity synergy. More importantly, surface display of the trifunctional minicellulosomes gave yeast cells the ability to simultaneously break down and ferment phosphoric acid-swollen cellulose to ethanol with a titer of ∼1.8 g/liter. To our knowledge, this is the first report of a recombinant yeast strain capable of producing cell-associated trifunctional minicellulosomes. The strain reported here represents a useful engineering platform for developing CBP-enabling microorganisms and elucidating principles of cellulosome construction and mode of action.
Taurolidine Lock Solutions for the Prevention of Catheter-Related Bloodstream Infections: A Systematic Review and Meta-Analysis of Randomized Controlled Trials

Background Catheter-related bloodstream infections (CRBSIs) are a significant cause of morbidity and mortality in critically ill patients, contributing to prolonged hospital stays and increased costs. Whether taurolidine lock solutions (TLS) are beneficial for the prevention of CRBSIs remains controversial. In this meta-analysis, we aim to assess the efficacy of TLS for preventing CRBSIs. Methods We conducted a systematic search of PubMed, EMBASE, and the Cochrane Central Register of Controlled Trials. Eligible studies included randomized controlled trials that reported on the effects of TLS for preventing CRBSIs. The primary outcome in these studies was catheter-related bloodstream infections, with microbial distribution of CRBSI and catheter-associated thrombosis as secondary outcomes. Data were combined using random-effects models owing to significant clinical heterogeneity. Results Six randomized controlled trials (RCTs) conducted from 2004 through 2013 involving 431 patients and 86,078 catheter-days were included in the review. TLS were significantly associated with a lower incidence of CRBSIs when compared to heparin lock solutions (Risk Ratio [RR], 0.34; 95% Confidence Interval [CI], 0.21–0.55). Use of TLS significantly decreased the incidence of CRBSIs from gram-negative (G−) bacteria (P = 0.004; RR, 0.27; CI, 0.11–0.65), and was associated with a non-significant decrease in gram-positive (G+) bacterial infections (P = 0.07; RR, 0.41; CI, 0.15–1.09). No significant association was observed with TLS and catheter-associated thrombosis (RR, 1.99; CI, 0.75–5.28). Conclusions The use of TLS reduced the incidence of CRBSIs without obvious adverse effects or bacterial resistance. However, the susceptibility of G+ and G- bacteria to taurolidine and the risk for catheter-associated thrombosis of TLS are indeterminate due to limited data. The results should be treated with caution due to the limited sample sizes and methodological deficiencies of included studies. Therefore, additional well-designed and adequately powered RCTs are needed to confirm these findings.
Asymptotic-preserving schemes for unsteady flow simulations q

Asymptotic preserving schemes are proposed for numerical simulation of unsteady flows in the relaxation framework. Using a splitting operator to treat the transport and the collision terms separately, we reconstruct a stable and accurate method that converges uniformly to the correct equilibrium. This convergence is also ensured when the relaxation time is unresolved (asymptotic preserving). Numerical results and comparisons are shown for the multidimensional Euler system of gas dynamics. 2005 Elsevier Ltd. All rights reserved.
Similarity search in multiple high speed time series streams under dynamic time warping

Finding all similar time-series patterns in real time under Dynamic Time Warping (DTW) is a huge challenge in nowadays data mining. A vital requirement of the critical task is data normalization so that the search results are accurate. However, DTW and data normalization, particularly in the streaming context, cost great deals of computation time and memory space; so many techniques are required to reduce the time and space complexity. In the paper, we introduce an efficient method, which similarly searches numerous time-series queries over multiple streaming time-series under DTW. The search method utilizes many advanced techniques as cascading lower bounding functions, incrementally updating the envelopes of time-series subsequences, and incrementally normalizing time-series data so that the computation time is minimized. Furthermore, we exploit multi-threading technique so that the method has a fast response to time-series streams at high-speed rates. The experimental results reveal that the method obtains the same accuracy as similarity search in static time series.
Compulsory voting and voter information seeking

Compulsory voting is known to produce a relatively weak match between voters’ ballot choices and their preferences. We theorize that this link, in part, exists because compelled voters are relatively unlikely to seek out political information during an election campaign, even after differences in political sophistication across compelled and voluntary voters are taken into account. To test our expectations, we use a simulation of an Australian election, through which we track participants’ information searches. Our findings show that those who do not turn out voluntarily under Australia’s compulsory voting law tend to spend less time seeking out political information, and they engage with less information. While differences in political sophistication between those who feel compelled to vote and those who do not account for a portion of this pattern, feeling compelled also has an independent effect on information seeking. This suggests that the negative relationship between compulsory voting and the “quality” of votes is partly due to the fact that those who are compelled to turn out expend less effort when deciding how to cast their ballots.
An effective method of collecting practical knowledge by presentation of videos and related words

The concentration of practical knowledge and experiential knowledge in the form of collective intelligence (the wisdom of the crowd) is of interest in the area of skill transfer. Previous studies have confirmed that collective intelligence can be formed through the utilization of video annotation systems where knowledge that is recalled while watching videos of work tasks can be assigned in the form of a comment. The knowledge that can be collected is limited, however, to the content that can be depicted in videos, meaning that it is necessary to prepare many videos when collecting knowledge. This paper proposes a method for expanding the scope of recall from the same video through the automatic generation and simultaneous display of related words and video scenes. Further, the validity of the proposed method is empirically illustrated through the example of a field experiment related to mountaineering skills.
Vascular Endothelium-Dependent and Independent Actions of Oleanolic Acid and Its Synthetic Oleanane Derivatives as Possible Mechanisms for Hypotensive Effects

Purpose Plant-derived oleanolic acid (OA) and its related synthetic derivatives (Br-OA and Me-OA) possess antihypertensive effects in experimental animals. The present study investigated possible underlying mechanisms in rat isolated single ventricular myocytes and in vascular smooth muscles superfused at 37°C. Methods Cell shortening was assessed at 1 Hz using a video-based edge-detection system and the L-type Ca2+ current (ICaL) was measured using the whole-cell patch-clamp technique in single ventricular myocytes. Isometric tension was measured using force transducer in isolated aortic rings and in mesenteric arteries. Vascular effects were measured in endothelium-intact and denuded vessels in the presence of various enzyme or channel inhibitors. Results OA and its derivatives increased cell shortening in cardiomyocytes isolated from normotensive rats but had no effect in those isolated from hypertensive animals. These triterpenes also caused relaxation in aortic rings and in mesenteric arteries pre-contracted with either phenylephrine or KCl-enriched solution. The relaxation was only partially inhibited by endothelium denudation, and also partly inhibited by the cyclooxygenase (COX) inhibitor indomethacin, with no additional inhibitory effect of the NO synthase inhibitor, N-ω-Nitro-L-arginine. A combination of both ATP-dependent channel inhibition by glibenclaminde and voltage-dependent K+ channel inhibition by 4-aminopyridine was necessary to fully inhibit the relaxation. Conclusion These data indicate that the effects of OA and its derivatives are mediated via both endothelium-dependent and independent mechanisms suggesting the involvement of COX in the endothelium-dependent effects and of vascular muscle K+ channels in the endothelium-independent effects. Finally, our results support the view that the antihypertensive action of OA and its derivatives is due to a decrease of vascular resistance with no negative inotropic effect on the heart.
Goal Velocity Obstacles for Spatial Navigation of Multiple Autonomous Robots or Virtual Agents

We present the goal velocity obstacle for the spatial navigation of multiple autonomous robots or virtual agents, such as are found in mobile robotics, video games, and simulated environments, to planar goal regions in the two-dimensional workspace. Our approach uses the notion of velocity obstacles not only to compute collision-avoiding velocities with respect to other agents, but also to specify velocities that will direct an agent toward its spatial goal region. The goal velocity obstacle provides a unified formulation that allows for goals specified as points, line segments, and bounded, planar regions in two dimensions that may be static or moving. An agent may have multiple goal regions without requiring an explicit goal allocation algorithm that would choose a particular goal region to navigate toward in advance. We have applied our approach to experiments with hundreds of agents, demonstrating shorter path lengths and fewer collisions with only microseconds of additional computation per agent per time step than when using velocity-based methods that optimize on a single, preferred velocity toward the goal of each agent.
A New Synthesizing Cluster Labels Algorithm for Thai Web Search Results

Currently, there is a large amount of information on internet. Users usually find information using search engine. But, number of results returned from search engine is often irrelevant information to users wanted. As a solution to the problem, clustering web search results will help users finding relevant information to user’s goal quickly. Suffix tree clustering (STC) technique is the most known for clustering web search results. However, when the technique is applied to cluster web search results for Thai language web pages, STC technique usually gives incomplete phrases for cluster labels. Therefore, this paper is proposed a new approach for synthesis cluster labels obtained from STC technique. The proposed technique can give more readable and complete phrases for cluster labels than that from STC technique.
The survey of cache management in the shared storage environment

With the development of cloud computing, it needs high performance, availability and scalability of storage service. In shared storage environment based on the opening storage architecture, due to the inadaptability of the cache management, cache located on access paths provides performance acceleration, but limits availability and scalability of cloud storage system. This paper studies previous cache management technology of cluster or distributed system, and puts emphasis on availability and consistency, which bring down availability and scalability of cloud storage system. Moreover, this paper also analyzes the adaptability of previous cache management technology for shared storage environment.
Exact Analysis of the Wire-Bonded Multiconductor Transmission Line

In this paper, the exact model of a multiconductor transmission line with bonding wires is presented. The model is based on the multiport admittance matrix, and is valid for any number of conductors in the structure. The model shows how to compute the two-port admittance matrix of the wire-bonded structure with direct application to the wire-bonded interdigital capacitor. The model has been validated by means of method-of-moments-based numerical simulation and by experimental work.
Design and implementation of an immersive geoscience toolkit

Having a better way to represent and to interact with large geological models are topics of high interest in geoscience, and especially for oil and gas companies. We present the design and implementation of a visualization program that involves two main features. It is based on the central data model, in order to display in real time the modifications caused by the modeler. Furthermore, it benefits from the different immersive environments which give the user a much more accurate insight of the model than a regular computer screen. Then, we focus on the difficulties that come in the way of performance.
A hybrid approach for multiple-robot SLAM with particle filtering

In this paper, a hybrid algorithm for multiple-robot SLAM is proposed that combines the advantages of particle filtering and map merging. The proposed algorithm does not rely on rendezvous and calculates the unknown relative poses from the local maps of the robots. As another contribution, the uncertainty of the relative poses is taken into account by propagating the uncertainty to the past and future information using a novel algorithm. Moreover, once the relative poses are known, the integration of the information from all robots is performed using a novel batch-mode algorithm, which is a fast and efficient approach to deal with the time complexity problem. The experimental results show the effectiveness of the proposed algorithms.