Miracle-dz/UniFAR-FTUs huggingface dataset:
Neural Styling for Interpretable Fair Representations

We observe a rapid increase in machine learning models for learning data representations that remove the semantics of protected characteristics, and are therefore able to mitigate unfair prediction outcomes. This is indeed a positive proliferation. All available models however learn latent embeddings, therefore the produced representations do not have the semantic meaning of the input. Our aim here is to learn fair representations that are directly interpretable in the original input domain. We cast this problem as a data-to-data translation; to learn a mapping from data in a source domain to a target domain such that data in the target domain enforces fairness definitions, such as statistical parity or equality of opportunity. Unavailability of fair data in the target domain is the crux of the problem. This paper provides the first approach to learn a highly unconstrained mapping from source to target by maximizing (conditional) dependence of residuals - the difference between data and its translated version - and protected characteristics. The usage of residual statistics ensures that our generated fair data should only be an adjustment of the input data, and this adjustment should reveal the main difference between protected characteristic groups. When applied to CelebA face image dataset with gender as protected characteristic, our model enforces equality of opportunity by adjusting eyes and lips regions. In Adult income dataset, also with gender as protected characteristic, our model achieves equality of opportunity by, among others, obfuscating wife and husband relationship. Visualizing those systematic changes will allow us to scrutinize the interplay of fairness criterion, chosen protected characteristics, and the prediction performance.
Enhancing QoE for Mobile Users by Environment-Aware HTTP Adaptive Streaming

HTTP adaptive streaming (HAS) has become a dominated media streaming paradigm in today’s Internet, which enriches the user’s experience by matching the video quality with the dynamic network conditions. A range of HAS mechanisms have been proposed to enhance the Quality of Experience (QoE). However, existing mechanisms ignore the environmental impact in the QoE evaluation of mobile users, while the popularity of mobile video allows users to watch videos in diversified scenarios. In this paper, we propose an environment-aware HAS scheme that fully concentrates on the different criteria for evaluating video QoE under different environments. Using the advantage of the sensors in mobile phones, the scheme constructs and validates a video QoE model based on environment perception and then designs a model-driven, environment-aware HAS rate adaptation algorithm. We also evaluate the scheme with an environment-aware DASH (Dynamic Adaptive Streaming over HTTP) player in real mobile environments. Compared to the benchmark HAS mechanism, the experimental results demonstrate that our scheme can provide appropriate differentiated rate adaptation for different environments, resulting in a higher QoE.
The hypoxic burden of sleep apnoea predicts cardiovascular disease-related mortality: the Osteoporotic Fractures in Men Study and the Sleep Heart Health Study

AIMS Apnoea-hypopnoea index (AHI), the universal clinical metric of sleep apnoea severity, poorly predicts the adverse outcomes of sleep apnoea, potentially because the AHI, a frequency measure, does not adequately capture disease burden. Therefore, we sought to evaluate whether quantifying the severity of sleep apnoea by the 'hypoxic burden' would predict mortality among adults aged 40 and older. METHODS AND RESULTS The samples were derived from two cohort studies: The Outcomes of Sleep Disorders in Older Men (MrOS), which included 2743 men, age 76.3 ± 5.5 years; and the Sleep Heart Health Study (SHHS), which included 5111 middle-aged and older adults (52.8% women), age: 63.7 ± 10.9 years. The outcomes were all-cause and Cardiovascular disease (CVD)-related mortality. The hypoxic burden was determined by measuring the respiratory event-associated area under the desaturation curve from pre-event baseline. Cox models were used to calculate the adjusted hazard ratios for hypoxic burden. Unlike the AHI, the hypoxic burden strongly predicted CVD mortality and all-cause mortality (only in MrOS). Individuals in the MrOS study with hypoxic burden in the highest two quintiles had hazard ratios of 1.81 [95% confidence interval (CI) 1.25-2.62] and 2.73 (95% CI 1.71-4.36), respectively. Similarly, the group in the SHHS with hypoxic burden in the highest quintile had a hazard ratio of 1.96 (95% CI 1.11-3.43). CONCLUSION The 'hypoxic burden', an easily derived signal from overnight sleep study, predicts CVD mortality across populations. The findings suggest that not only the frequency but the depth and duration of sleep related upper airway obstructions, are important disease characterizing features.
A pilot study: Exploring the musculoskeletal risk exposure associated with drying laundry using the public housing pipe-socket system amongst women in Singapore.

BACKGROUND The biomechanics of homemakers has been minimally studied. The way laundry-drying is performed in Singapore public-housing, using the pipe-socket-system (PSS), could expose the homemakers to musculoskeletal disorder risk. OBJECTIVE This study aims to quantify the musculoskeletal risk exposure (MRE) associated with laundry-drying amongst female homemakers using the PSS in Singapore public-housing. METHODS Using snowball sampling approach, five female homemakers familiar with the described laundry-drying method were recruited. The postures of the participants were analysed from video-recorded data and scored using the Rapid Entire Body Assessment (REBA). RESULTS This pilot study revealed very strong evidence (p = 0.001) that the participants were exposed to medium risk (REBA score 4.3) when performing this housework task. CONCLUSIONS Extreme awkward postures and repetitive motions were observed from the participants during the analysis. High REBA scores were frequently associated with the awkward postures adopted due to constraints of physical work space.
Can socioeconomic health differences be explained by physical activity at work and during leisure time? Rationale and protocol of the active worker individual participant meta-analysis

Introduction Socioeconomic health differences have often been described, but remain insufficiently understood. Recent evidence suggests that workers who are high (compared with low) physically active at work are less healthy. Moreover, workers who are highly physically active at work are predominantly physically inactive during leisure time. These observations suggest that workers with a lower socioeconomic status may be exposed to negative health consequences of occupational physical activity and may only benefit to a limited extent from health benefits of leisure-time physical activity. Physical activity may therefore be an important driver of socioeconomic health differences. We describe the rationale and protocol of the active worker study, an individual participant data meta-analysis aimed at exploring socioeconomic health differences by differential doses of physical activity at work and leisure time. Methods and analysis Using database and scoping searches (we searched in PubMed, Embase, CINAHL, PsycINFO and Evidence-Based Medicine Reviews from database inception to 14 September 2017), we have identified 49 published and unpublished prospective studies in which the association of occupational and leisure-time physical activity with cardiovascular or all-cause mortality was assessed. Principal investigators of these studies will be invited to participate in the active worker consortium, after which data will be retrieved. After data merging and harmonising, we will perform multilevel survival analysis assessing the combined association of occupational and leisure-time physical activity with mortality. We will also test the mediating effect of physical activity on the association of socioeconomic status and mortality (ie, socioeconomic health differences). Discussion The Medical Ethical Committee of the VU University Medical Center has declared, according to Dutch legislation, that the ‘Dutch Medical Research Involving Human Subjects Act’ does not apply to the current study. As such, no ethics approval is required. We intent to publish outcomes of the active worker Study in scientific peer-reviewed journals. PROSPERO registration number CRD42018085228.
Multi-Location Program Repair: Roads Ahead

Automated program repair (APR) has great potential to reduce the effort and time-consumption in software maintenance and becomes a hot topic in software engineering recently with many approaches being proposed. Multi-location program repair has always been a challenge in this field since its complexity in logic and structure. While some approaches do not claim to have the features for solving multi-location bugs, they generate correct patches for these defects in practice. In this paper, we first make an observation on multi-location bugs in Defects4J and divide them into two categories (i.e., similar and relevant multi-location bugs) based on the repair actions in their patches. We then summarize the situation of multi-location bugs in Defects4J fixed by current tools. We analyze the twenty-two patches generated by current tools and propose two feasible strategies for fixing multi-location bugs, illustrating them through two detailed case studies. At last, preliminary results prove the feasibility of our methods with the repair of two bugs that have never been fixed before. By learning from successful experience in the past, this paper points out possible ways ahead for multi-location program repair.
Determination of mammalian DNA in commercial canine diets with uncommon and limited ingredients

Abstract Over‐the‐counter (OTC) limited ingredient canine diets could be reliable alternatives to veterinary therapeutic formulations for the diagnosis and management of adverse food reaction (AFR). However, the possibility of undeclared ingredients jeopardizes the efficacious use of OTC options for medical purposes. The objective was to determine the presence of undeclared ingredients in OTC canine dry diets marketed as limited or single protein source diets. Twenty‐one OTC adult canine diets marketed as limited or single protein source diets were purchased. Multiplex PCR was used to screen for DNA of 10 mammalian species with species‐specific primers that anneal to regions of the mitochondrial cytochrome b gene. The presence of DNA from one or more species not declared on the label was identified in all 21 diets: cow (Bos taurus), pig (Sus scrofa), sheep (Ovis sp.), goat (Capra hircus) and bison (Bison bison). Twenty diets were positive for the declared protein source and one diet was negative for the declared species. Cat (Felis catus), dog (Canis sp.), horse (Equus sp.), mouse (Mus musculus) and rat (Rattus norvegicus) DNA was not identified in any samples. The presence of undeclared mammal species in OTC canine dry diets marketed as having limited or single protein source ingredients may complicate AFR diagnosis and treatment. However, PCR can detect a miniscule amount of DNA which might not be clinically significant, because the amount needed to elicit a response is unknown. Quantification of the contamination was not determined in this study, precluding discrimination of intentional adulteration from unavoidable cross‐contamination.
Gamma correction FCM algorithm with conditional spatial information for image segmentation

Fuzzy C-means (FCM) algorithm is a most usually technique for medical image segmentation. But conventional FCM fails to perform well enough on magnetic resonance imaging (MRI) data with the noise and intensity inhomogeneity (IIH). In the paper, we propose a Gamma correction conditional FCM algorithm with spatial information (GcsFCM) to solve this problem. Firstly, the pre-processing, Gamma correction, is introduced to enhance the details of images. Secondly, the spatial information is introduced to reduce the effect of noise. Then we introduce the effective neighborhood mechanism into the local space information to improve the robustness for the noise and inhomogeneity. And the mechanism describes the degree of participation in generating local membership values and building clusters. Finally, the adjustment mechanism and the spatial information are combined into the weighted membership function. Experimental results on four image volumes with noise and IIH indicate that the proposed GcsFCM algorithm is more effective and robust to noise and IIH than the FCM, sFCM and csFCM algorithms.
How to Take Heroin (if at all). Holistic Detachment in Deontic Logic

The aim of the present paper is to investigate the logic of holistic detachment, i.e. detachment that is triggered by all and only those circumstances that are fixed (unalterable, unavoidable). To this end, we present the (monotonic) modal logic HD that captures the distinction between mere facts and fixed circumstances, and features a non-normal “all and only”-operator. We give a sound and (strongly) complete axiomatization of HD and discuss its most salient properties. We show that HD is rather weak when applied to realistic scenarios and we argue against what we call the “enthymematic approach” to mitigate this weakness. In contrast, it is shown that HD can and should be strengthened non-monotonically, in order to capture deontic reasoning.
Regional and Annual Variability in Subglacial Sediment Transport by Water for Two Glaciers in the Swiss Alps

Because the majority of sediment originates subglacially, as opposed to proglacially, focus must be given to subglacial sediment discharge. The latter, however is poorly constrained. We present a subglacial sediment transport time-series from two glacierized catchments (Gornergletscher and Aletschgletscher) in the Swiss Alps, based on hourly suspended sediment transport data and bedload transport estimates. This dataset is used to identify interannual and regional variability and to quantify the relationship between sediment transport and water discharge. Analysis of the relationship suggests that the access of water to subglacial sediment exerts substantial control on the quantity of sediment discharged. Historical data from Gornergletscher since the 1970's shows that elevated amounts of sediment were discharged in the 1980's, following the onset of increasing glacier melt. However, by 2016 and 2017, the sediment discharge returns to quantities below those in the 1970's, suggesting that sediment discharge can stabilize to new hydrological regimes over decadal timescales. Erosion rates for the two catchments (0.28\,mm\,a$^{-1}$ to 0.49 \,mm\,a$^{-1}$) are smaller than in other glacierized catchments of the Swiss Alps ($\sim$\,1\,mm\,a$^{-1}$). In some cases they are even less than a third of those reported in earlier decades, highlighting substantial regional and interannual variability in catchment-scale erosion. Empirical models, calibrated with 2016--2017 data and relating water discharge to suspended sediment concentration, fail to capture the increase in sediment discharge over the 1980's. This suggests that processes secondary to runoff, such as changing access to subglacial sediment by meltwater, were responsible for the increase. Because subglacial sediment discharge depends on both water discharge and sediment availability, we argue that physically-based models are required to capture the evolution of subglacial sediment transport as glaciers retreat.
Decoupling from yolk sac is required for extraembryonic tissue spreading in the scuttle fly Megaselia abdita

Extraembryonic tissues contribute to animal development, which often entails spreading over embryo or yolk. Apart from changes in cell shape, the requirements for this tissue spreading are not well understood. Here we analyze spreading of the extraembryonic serosa in the scuttle fly Megaselia abdita. The serosa forms from a columnar blastoderm anlage, becomes a squamous epithelium, and eventually spreads over the embryo proper. We describe the dynamics of this process in long-term, whole-embryo time-lapse recordings, demonstrating that free serosa spreading is preceded by a prolonged pause in tissue expansion. Closer examination of this pause reveals mechanical coupling to the underlying yolk sac, which is later released. We find mechanical coupling prolonged and serosa spreading impaired after knockdown of M. abdita Matrix metalloprotease 1. We conclude that tissue-tissue interactions provide a critical functional element to constrain spreading epithelia. Impact Statement Extraembryonic tissue spreading in the scuttle fly Megaselia abdita requires mechanical decoupling from the underlying yolk sac.
Oliver Heaviside and the Heaviside layer

In an entry in the Encyclopaedia Britannica in 1902, Oliver Heaviside had suggested the existence of a reflecting layer in the upper atmosphere to account for long range beyond line-of-sight radio propagation of the type demonstrated by Guglielmo Marconi in 1901, in the first transatlantic radio transmission. In about 1910, William Eccles proposed the name ‘Heaviside Layer’ for this phenomenon, and the name has subsequently been adopted and used quite widely. This paper describes the basis of Marconi's experiments and various interpretations of the results in the context of Heaviside's wider work. It also describes some later experiments to measure the height of the ionosphere. This article is part of the theme issue ‘Celebrating 125 years of Oliver Heaviside's ‘Electromagnetic Theory’’.
Super Strong ETH is False for Random k-SAT

It has been hypothesized that $k$-SAT is hard to solve for randomly chosen instances near the "critical threshold", where the clause-to-variable ratio is $2^k \ln 2-\theta(1)$. Feige's hypothesis for $k$-SAT says that for all sufficiently large clause-to-variable ratios, random $k$-SAT cannot be refuted in polynomial time. It has also been hypothesized that the worst-case $k$-SAT problem cannot be solved in $2^{n(1-\omega_k(1)/k)}$ time, as multiple known algorithmic paradigms (backtracking, local search and the polynomial method) only yield an $2^{n(1-1/O(k))}$ time algorithm. This hypothesis has been called the "Super-Strong ETH", modeled after the ETH and the Strong ETH. Our main result is a randomized algorithm which refutes the Super-Strong ETH for the case of random $k$-SAT, for any clause-to-variable ratio. Given any random $k$-SAT instance $F$ with $n$ variables and $m$ clauses, our algorithm decides satisfiability for $F$ in $2^{n(1-\Omega(\log k)/k)}$ time, with high probability. It turns out that a well-known algorithm from the literature on SAT algorithms does the job: the PPZ algorithm of Paturi, Pudlak, and Zane (1998).
The gap in CS, mulling irrational exuberance

The Communications Web site, http://cacm.acm. org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts. twitter Follow us on Twitter at http://twitter.com/blogCACM http://cacm.acm. org/blogs/blog-cacm Carl Hewitt suggests computer science needs a reference resource, while Vijay Kumar decries intellectual dishonesty in technology forecasting.
Application of Mutual Information-Sample Entropy Based MED-ICEEMDAN De-Noising Scheme for Weak Fault Diagnosis of Hoist Bearing

In this paper, a novel weak fault features extraction scheme is proposed to extract weak fault features in head sheave bearings of floor-type multi-rope friction mine hoists in strong noise environments. A mutual information-based sample entropy (MI-SE) is proposed to select the effective intrinsic mode function (IMF). The numerical simulation presented in this paper has demonstrated that the improved complete ensemble empirical mode decomposition with adaptive noise (ICEEMDAN) has a poor performance on weak signals processing under a strong noise background, and fault features cannot be identified clearly. The de-noised signal is decomposed into several IMFs by the ICEEMDAN method, with the help of the minimum entropy deconvolution (MED), which works as a pre-filter to increase the kurtosis value by about 3.2 times. The envelope spectrum of the effective IMF selected by the MI-SE method shows almost all fault features clearly. An analogous experiment system was built to verify the feasibility of the proposed scheme, whose results have also shown that the proposed hybrid scheme has better performance compared with ICEEMDAN or MED on the weak fault features extraction under a strong noise background. This paper provides a novel method to diagnose the weak faults of the slow speed and heavy load rolling bearings in a strong noise environment.
SINE: Scalable Incomplete Network Embedding

Attributed network embedding aims to learn low-dimensional vector representations for nodes in a network, where each node contains rich attributes/features describing node content. Because network topology structure and node attributes often exhibit high correlation, incorporating node attribute proximity into network embedding is beneficial for learning good vector representations. In reality, large-scale networks often have incomplete/missing node content or linkages, yet existing attributed network embedding algorithms all operate under the assumption that networks are complete. Thus, their performance is vulnerable to missing data and suffers from poor scalability. In this paper, we propose a Scalable Incomplete Network Embedding (SINE) algorithm for learning node representations from incomplete graphs. SINE formulates a probabilistic learning framework that separately models pairs of node-context and node-attribute relationships. Different from existing attributed network embedding algorithms, SINE provides greater flexibility to make the best of useful information and mitigate negative effects of missing information on representation learning. A stochastic gradient descent based online algorithm is derived to learn node representations, allowing SINE to scale up to large-scale networks with high learning efficiency. We evaluate the effectiveness and efficiency of SINE through extensive experiments on real-world networks. Experimental results confirm that SINE outperforms state-of-the-art baselines in various tasks, including node classification, node clustering, and link prediction, under settings with missing links and node attributes. SINE is also shown to be scalable and efficient on large-scale networks with millions of nodes/edges and high-dimensional node features. The source code of this paper is available at https://github.com/daokunzhang/SINE.
Graphene Oxide Induced Osteogenesis Quantification by In-Situ 2D-Fluorescence Spectroscopy

Graphene and graphene oxide can promote the adhesion, growth and differentiation of mesenchymal stem cells. Further, graphene surface coatings accelerate the differentiation of human mesenchymal stem cells acting as osteogenic inducers. Quantification of the osteogenic induction is conventionally performed with Alizarin Red S (ARS), an anthraquinone derivative used to identify calcium deposits in tissue sections and cell cultures. The ARS staining is quite versatile because the dye forms an Alizarin Red S–calcium complex that can be extracted from the stained monolayer of cells and readily assayed by absorbance measurements. Direct visualization of stained deposits is also feasible; however, an in-situ visualization and quantification of deposits is possible only on transparent supports and not on thick opaque materials like ceramics and graphene composites that are well-known inducers of osteogenesis. In this manuscript, the shape of the 2D-fluorescence spectra of the ARS-calcium complex is used to develop a method to detect and monitor the in-situ differentiation process occurring during the osteogenic induction mediated by opaque graphene oxide surfaces.