nils-herrmann/clean_scirepeval huggingface dataset:
Historical comparison of gender inequality in scientific careers across countries and disciplines

Empirical evidence suggests significant gender differences in the total productivity and impact of academic careers across science, technology, engineering, and mathematics (STEM) fields. Paradoxically, the increase in the number of women academics over the past 60 years has increased these gender differences. Yet, we find that men and women publish a comparable number of papers per year and have equivalent career-wise impact for the same total number of publications. This suggests the productivity and impact of gender differences are explained by different publishing career lengths and dropout rates. This comprehensive picture of gender inequality in academic publishing can help rephrase the conversation around the sustainability of women’s careers in academia, with important consequences for institutions and policy makers. There is extensive, yet fragmented, evidence of gender differences in academia suggesting that women are underrepresented in most scientific disciplines and publish fewer articles throughout a career, and their work acquires fewer citations. Here, we offer a comprehensive picture of longitudinal gender differences in performance through a bibliometric analysis of academic publishing careers by reconstructing the complete publication history of over 1.5 million gender-identified authors whose publishing career ended between 1955 and 2010, covering 83 countries and 13 disciplines. We find that, paradoxically, the increase of participation of women in science over the past 60 years was accompanied by an increase of gender differences in both productivity and impact. Most surprisingly, though, we uncover two gender invariants, finding that men and women publish at a comparable annual rate and have equivalent career-wise impact for the same size body of work. Finally, we demonstrate that differences in publishing career lengths and dropout rates explain a large portion of the reported career-wise differences in productivity and impact, although productivity differences still remain. This comprehensive picture of gender inequality in academia can help rephrase the conversation around the sustainability of women’s careers in academia, with important consequences for institutions and policy makers.
On the Semantic Interpretability of Artificial Intelligence Models

Artificial Intelligence models are becoming increasingly more powerful and accurate, supporting or even replacing humans' decision making. But with increased power and accuracy also comes higher complexity, making it hard for users to understand how the model works and what the reasons behind its predictions are. Humans must explain and justify their decisions, and so do the AI models supporting them in this process, making semantic interpretability an emerging field of study. In this work, we look at interpretability from a broader point of view, going beyond the machine learning scope and covering different AI fields such as distributional semantics and fuzzy logic, among others. We examine and classify the models according to their nature and also based on how they introduce interpretability features, analyzing how each approach affects the final users and pointing to gaps that still need to be addressed to provide more human-centered interpretability solutions.
Multiscale Visual Drilldown for the Analysis of Large Ensembles of Multi-Body Protein Complexes

When studying multi-body protein complexes, biochemists use computational tools that can suggest hundreds or thousands of their possible spatial configurations. However, it is not feasible to experimentally verify more than only a very small subset of them. In this paper, we propose a novel multiscale visual drilldown approach that was designed in tight collaboration with proteomic experts, enabling a systematic exploration of the configuration space. Our approach takes advantage of the hierarchical structure of the data – from the whole ensemble of protein complex configurations to the individual configurations, their contact interfaces, and the interacting amino acids. Our new solution is based on interactively linked 2D and 3D views for individual hierarchy levels. At each level, we offer a set of selection and filtering operations that enable the user to narrow down the number of configurations that need to be manually scrutinized. Furthermore, we offer a dedicated filter interface, which provides the users with an overview of the applied filtering operations and enables them to examine their impact on the explored ensemble. This way, we maintain the history of the exploration process and thus enable the user to return to an earlier point of the exploration. We demonstrate the effectiveness of our approach on two case studies conducted by collaborating proteomic experts.
Uncovering the role of spatial constraints in the differences and similarities between physical and virtual mobility

The recent availability of digital traces from Information and Communications Technologies (ICT) has facilitated the study of both individual- and population-level movement with unprecedented spatiotemporal resolution, enabling us to better understand a plethora of socioeconomic processes such as urbanization, transportation, impact on the environment and epidemic spreading to name a few. Using empirical spatiotemporal trends, several mobility models have been proposed to explain the observed regularities in human movement. With the advent of the World Wide Web, a new type of virtual mobility has emerged that has begun to supplant many traditional facets of human activity. Here we conduct a systematic analysis of physical and virtual movement, uncovering both similarities and differences in their statistical patterns. The differences manifest themselves primarily in the temporal regime, as a signature of the spatial and economic constraints inherent in physical movement, features that are predominantly absent in the virtual space. We demonstrate that once one moves to the time-independent space of events, i.e the sequences of visited locations, these differences vanish, and the statistical patterns of physical and virtual mobility are identical. The observed similarity in navigating these markedly different domains point towards a common mechanism governing the movement patterns, a feature we describe through a Metropolis-Hastings type optimization model, where individuals navigate locations through decision-making processes resembling a cost-benefit analysis of the utility of locations. In contrast to existing phenomenological models of mobility, we show that our model can reproduce the commonalities in the empirically observed statistics with minimal input.
Commensurators of thin normal subgroups and abelian quotients

We give an affirmative answer to many cases of a question due to Shalom, which asks if the commensurator of a thin subgroup of a Lie group is discrete. In this paper, let $K<\Gamma<G$ be an infinite normal subgroup of an arithmetic lattice $\Ga$ in a rank one simple Lie group $G$, such that the quotient $Q=\Gamma/K$ is infinite. We show that the commensurator of $K$ in $G$ is discrete, provided that $Q$ admits a surjective homomorphism to $\mathbb{Z}$. In this case, we also show that the commensurator of $K$ contains the normalizer of $K$ with finite index. We thus vastly generalize a result of the authors, which showed that many natural normal subgroups of $\mathrm{PSL}_2(\mathbb{Z})$ have discrete commensurator in $\mathrm{PSL}_2(\mathbb{R})$.
Sequence-to-Sequence Natural Language to Humanoid Robot Sign Language

This paper presents a study on natural language to sign language translation with human-robot interaction application purposes. By means of the presented methodology, the humanoid robot TEO is expected to represent Spanish sign language automatically by converting text into movements, thanks to the performance of neural networks. Natural language to sign language translation presents several challenges to developers, such as the discordance between the length of input and output data and the use of non-manual markers. Therefore, neural networks and, consequently, sequence-to-sequence models, are selected as a data-driven system to avoid traditional expert system approaches or temporal dependencies limitations that lead to limited or too complex translation systems. To achieve these objectives, it is necessary to find a way to perform human skeleton acquisition in order to collect the signing input data. OpenPose and skeletonRetriever are proposed for this purpose and a 3D sensor specification study is developed to select the best acquisition hardware.
Universal One-Dimensional Cellular Automata Derived for Turing Machines and its Dynamical Behaviour

Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular automaton with a 2-linear time and display its spatial dynamics. Three particular Turing machines are converted in three universal one-dimensional cellular automata, they are: binary sum, rule 110 and a universal reversible Turing machine.
Tax- and expense-modified risk-minimization for insurance payment processes

We study the problem of determining risk-minimizing investment strategies for insurance payment processes in the presence of taxes and expenses. We consider the situation where taxes and expenses are paid continuously and symmetrically and introduce the concept of tax- and expense-modified risk-minimization. Risk-minimizing strategies in the presence of taxes and expenses are derived and linked to Galtchouk-Kunita-Watanabe decompositions associated with modified versions of the original payment processes. Furthermore, we show equivalence to an alternative approach involving an artificial market consisting of after-tax and after-expense assets, and we establish – in a certain sense – consistency with classic risk-minimization. Finally, a case study involving classic multi-state life insurance payments in combination with a bond market exemplifies the results.
The Origins of Extreme wealth inequality in the Talent versus luck Model

We introduce a simplified version (STvL) of the Talent versus Luck (TvL) model where only lucky events are present and verify that its dynamical rules lead to the same very large wealth inequality as the original model. We also derive some analytical approximations aimed to capture the mechanism responsible for the creation of such wealth inequality from a Gaussian-distributed talent. Under these approximations, our analysis is able to reproduce quite well the results of the numerical simulations of the simplified model. On the other hand, it also shows that the complexity of the model lies in the stochastic transformation of lucky events into an increase of capital, so that, when the talent heterogeneity of the population increases, the task of finding a formal analytical relationship between the distributions of capital, talent and luck in either the TvL or the STvL models becomes very hard.
Topological Information Data Analysis

This paper presents methods that quantify the structure of statistical interactions within a given data set, and were applied in a previous article. It establishes new results on the k-multivariate mutual-information (Ik) inspired by the topological formulation of Information introduced in a serie of studies. In particular, we show that the vanishing of all Ik for 2≤k≤n of n random variables is equivalent to their statistical independence. Pursuing the work of Hu Kuo Ting and Te Sun Han, we show that information functions provide co-ordinates for binary variables, and that they are analytically independent from the probability simplex for any set of finite variables. The maximal positive Ik identifies the variables that co-vary the most in the population, whereas the minimal negative Ik identifies synergistic clusters and the variables that differentiate–segregate the most in the population. Finite data size effects and estimation biases severely constrain the effective computation of the information topology on data, and we provide simple statistical tests for the undersampling bias and the k-dependences. We give an example of application of these methods to genetic expression and unsupervised cell-type classification. The methods unravel biologically relevant subtypes, with a sample size of 41 genes and with few errors. It establishes generic basic methods to quantify the epigenetic information storage and a unified epigenetic unsupervised learning formalism. We propose that higher-order statistical interactions and non-identically distributed variables are constitutive characteristics of biological systems that should be estimated in order to unravel their significant statistical structure and diversity. The topological information data analysis presented here allows for precisely estimating this higher-order structure characteristic of biological systems.
Translating neural signals to text using a Brain-Machine Interface

Brain-Computer Interfaces (BCI) help patients with faltering communication abilities due to neurodegenerative diseases produce text or speech output by direct neural processing. However, practical implementation of such a system has proven difficult due to limitations in speed, accuracy, and generalizability of the existing interfaces. To this end, we aim to create a BCI system that decodes text directly from neural signals. We implement a framework that initially isolates frequency bands in the input signal encapsulating differential information regarding production of various phonemic classes. These bands then form a feature set that feeds into an LSTM which discerns at each time point probability distributions across all phonemes uttered by a subject. Finally, these probabilities are fed into a particle filtering algorithm which incorporates prior knowledge of the English language to output text corresponding to the decoded word. Performance of this model on data obtained from six patients shows encouragingly high levels of accuracy at speeds and bit rates significantly higher than existing BCI communication systems. Further, in producing an output, our network abstains from constraining the reconstructed word to be from a given bag-of-words, unlike previous studies. The success of our proposed approach, offers promise for the employment of a BCI interface by patients in unfettered, naturalistic environments.
A Conformance Checking-based Approach for Drift Detection in Business Processes

Real life business processes change over time, in both planned and unexpected ways. The detection of these changes is crucial for organizations to ensure that the expected and the real behavior are as similar as possible. These changes over time are called concept drift and its detection is a big challenge in process mining since the inherent complexity of the data makes difficult distinguishing between a change and an anomalous execution. In this paper, we present C2D2 (Conformance Checking-based Drift Detection), a new approach to detect sudden control-flow changes in the process models from event traces. C2D2 combines discovery techniques with conformance checking methods to perform an offline detection. Our approach has been validated with a synthetic benchmarking dataset formed by 68 logs, showing an improvement in the accuracy while maintaining a minimum delay in the drift detection.
Nonlinear Electrophoresis of Highly Charged Nonpolarizable Particles.

Nonlinear field dependence of electrophoresis in high fields has been investigated theoretically, yet experimental studies have failed to reach consensus on the effect. In this Letter, we present a systematic study on the nonlinear electrophoresis of highly charged submicron particles in applied electric fields of up to several kV/cm. First, the particles are characterized in the low-field regime at different salt concentrations and the surface charge density is estimated. Subsequently, we use microfluidic channels and video tracking to systematically characterize the nonlinear response over a range of field strengths. Using velocity measurements on the single particle level, we prove that nonlinear effects are present at electric fields and surface charge densities that are accessible in practical conditions. Finally, we show that nonlinear behavior leads to unexpected particle trapping in channels.
Deep Learning Techniques for Improving Digital Gait Segmentation

Wearable technology for the automatic detection of gait events has recently gained growing interest, enabling advanced analyses that were previously limited to specialist centres and equipment (e.g., instrumented walkway). In this study, we present a novel method based on dilated convolutions for an accurate detection of gait events (initial and final foot contacts) from wearable inertial sensors. A rich dataset has been used to validate the method, featuring 71 people with Parkinson’s disease (PD) and 67 healthy control subjects. Multiple sensors have been considered, one located on the fifth lumbar vertebrae and two on the ankles. The aims of this study were: (i) to apply deep learning (DL) techniques on wearable sensor data for gait segmentation and quantification in older adults and in people with PD; (ii) to validate the proposed technique for measuring gait against traditional gold standard laboratory reference and a widely used algorithm based on wavelet transforms (WT); (iii) to assess the performance of DL methods in assessing high-level gait characteristics, with focus on stride, stance and swing related features. The results showed a high reliability of the proposed approach, which achieves temporal errors considerably smaller than WT, in particular for the detection of final contacts, with an inter-quartile range below 70 ms in the worst case. This study showes encouraging results, and paves the road for further research, addressing the effectiveness and the generalization of data-driven learning systems for accurate event detection in challenging conditions.
UW-BHI at MEDIQA 2019: An Analysis of Representation Methods for Medical Natural Language Inference

Recent advances in distributed language modeling have led to large performance increases on a variety of natural language processing (NLP) tasks. However, it is not well understood how these methods may be augmented by knowledge-based approaches. This paper compares the performance and internal representation of an Enhanced Sequential Inference Model (ESIM) between three experimental conditions based on the representation method: Bidirectional Encoder Representations from Transformers (BERT), Embeddings of Semantic Predications (ESP), or Cui2Vec. The methods were evaluated on the Medical Natural Language Inference (MedNLI) subtask of the MEDIQA 2019 shared task. This task relied heavily on semantic understanding and thus served as a suitable evaluation set for the comparison of these representation methods.
Better Sample - Random Subset Sum in 20.255n and its Impact on Decoding Random Linear Codes

We propose a new heuristic algorithm for solving random subset sum instances $a_1, \ldots, a_n, t \in \mathbb{Z}_{2^n}$, which play a crucial role in cryptographic constructions. Our algorithm is search tree-based and solves the instances in a divide-and-conquer method using the representation method. From a high level perspective, our algorithm is similar to the algorithm of Howgrave-Graham-Joux (HGJ) and Becker-Coron-Joux (BCJ), but instead of enumerating the initial lists we sample candidate solutions. So whereas HGJ and BCJ are based on combinatorics, our analysis is stochastic. Our sampling technique introduces variance that increases the amount of representations and gives our algorithm more optimization flexibility. This results in the remarkable and natural property that we improve with increasing search tree depth. 
Whereas BCJ achieves the currently best known (heuristic) run time $2^{0.291n}$ for random subset sum, we improve (heuristically) down to $2^{0.255n}$ using a search tree of depth at least $13$. 
We also apply our subset algorithm to the decoding of random binary linear codes, where we improve the best known run time of the Becker-Joux-May-Meurer algorithm from $2^{0.048n}$ in the half distance decoding setting down to $2^{0.042n}$.
Deep Learning for Spacecraft Pose Estimation from Photorealistic Rendering

On-orbit proximity operations in space rendezvous, docking and debris removal require precise and robust 6D pose estimation under a wide range of lighting conditions and against highly textured background, i.e., the Earth.This paper investigates leveraging deep learning and photorealistic rendering for monocular pose estimation of known uncooperative spacecraft. We first present a simulator built on Unreal Engine 4, named URSO, to generate labeled images of spacecraft orbiting the Earth, which can be used to train and evaluate neural networks.Secondly, we propose a deep learning framework for pose estimation based on orientation soft classification, which allows modelling orientation ambiguity as a mixture model. This framework was evaluated both on URSO datasets and the European Space Agency pose estimation challenge. In this competition, our best model achieved 3rd place on the synthetic test set and 2nd place on the real test set. Moreover, our results show the impact of several architectural and training aspects, and we demonstrate qualitatively how models learned on URSO datasets can perform on real images from space.
A Bayesian Approach for Analyzing Data on the Stiefel Manifold

Directional data emerges in a wide array of applications, ranging from atmospheric sciences to medical imaging. Modeling such data, however, poses unique challenges by virtue of their being constrained to non-Euclidean spaces like manifolds. Here, we present a unified Bayesian framework for inference on the Stiefel manifold using the Matrix Langevin distribution. Specifically, we propose a novel family of conjugate priors and establish a number of theoretical properties relevant to statistical inference. %Importantly, these include the propriety of these priors and concentration characterization. Conjugacy enables the translation of these properties to their corresponding posteriors, which we exploit to develop the posterior inference scheme. For the implementation of the posterior computation, including the posterior sampling, we adopt a novel computational procedure for evaluating the hypergeometric function of matrix arguments that appears as normalization constants in the relevant densities.
Baryon-CDM isocurvature galaxy bias with IllustrisTNG

We study the impact that baryon-CDM relative density perturbations δbc have on galaxy formation using cosmological simulations with the IllustrisTNG model. These isocurvature (non-adiabatic) perturbations can be induced primordially, if multiple fields are present during inflation, and are generated before baryon-photon decoupling when baryons did not comove with CDM. The presence of long-wavelength δbc perturbations in our simulations is mimicked by modifying the ratios of the cosmic densities of baryons Ωb and CDM Ωc, at fixed total matter density Ωm. We measure the corresponding galaxy bias parameter bδbc as the response of galaxy abundances to δbc. When selecting by total host halo mass, bδbc is negative and it decreases with mass and redshift. Stellar-mass selected simulated galaxies show a weaker or even the opposite trend because of the competing effects of δbc on the halo mass function and stellar-to-halo-mass relations. We show that simple modeling of the latter two effects describes bδbc for stellar-mass-selected objects well. We find bδbc =0.6 for M* = 1011 M⊙/h and z=0.5, which is representative of BOSS DR12 galaxies. For δbc modes generated by baryon-photon interactions, we estimate the impact on the DR12 power spectrum to be below 1%, and shifts on inferred distance and growth rate parameters should not exceed 0.1%.