Miracle-dz/UniFAR-FTUs huggingface dataset:
The TypTop System: Personalized Typo-Tolerant Password Checking

Password checking systems traditionally allow login only if the correct password is submitted. Recent work on typo-tolerant password checking suggests that usability can be improved, with negligible security loss, by allowing a small number of typographical errors. Existing systems, however, can only correct a handful of errors, such as accidentally leaving caps lock on or incorrect capitalization of the first letter in a password. This leaves out numerous kinds of typos made by users, such as transposition errors, substitutions, or capitalization errors elsewhere in a password. Some users therefore receive no benefit from existing typo-tolerance mechanisms. We introduce personalized typo-tolerant password checking. In our approach, the authentication system learns over time the typos made by a specific user. In experiments using Mechanical Turk, we show that 45% of users would benefit from personalization. Therefore, we design a system, called TypTop, that securely implements personalized typo-tolerance. Underlying TypTop is a new stateful password-based encryption scheme that can be used to store recent failed login attempts. Our formal analysis shows that security in the face of an attacker that obtains the state of the system reduces to the difficulty of a brute-force dictionary attack against the real password. We implement TypTop for Linux and Mac OS login and report on a proof-of-concept deployment.
Drug-Associated Risk Tool: development and validation of a self-assessment questionnaire to screen for hospitalised patients at risk for drug-related problems

Introduction Identifying patients with a high risk for drug-related problems (DRPs) might optimise the allocation of targeted pharmaceutical care during the hospital stay and on discharge. Objective To develop a self-assessment screening tool to identify patients at risk for DRPs and validate the tool regarding feasibility, acceptability and the reliability of the patients’ answers. Design Prospective validation study. Setting Two mid-sized hospitals (300–400 beds). Participants 195 patients, exclusion criteria: under 18 years old, patients with a health status not allowing a meaningful communication (eg, delirium, acute psychosis, advanced dementia, aphasia, clouded consciousness state), palliative or terminally ill patients. Methods Twenty-seven risk factors for the development of DRPs, identified in a previous study, provided the basis of the self-assessment questionnaire, the Drug-Associated Risk Tool (DART). Consenting patients filled in DART, and we compared their answers with objective patient data from medical records and laboratory data. Results One hundred and sixty-four patients filled in DART V.1. 0 in an average time of 7 min. After a first validation, we identified statements with a low sensitivity and revised the wording of the questions related to heart insufficiency, renal impairment or liver impairment. The revised DART (V.2.0) was validated in 31 patients presenting heart insufficiency, renal impairment or liver impairment as comorbidity and reached an average specificity of 88% (range 27–100) and an average sensitivity of 67% (range 21–100). Conclusions DART showed a satisfying feasibility and reliability. The specificity of the statements was mostly high. The sensitivity varied and was higher in statements concerning diseases that require regular disease control and attention to self-care and drug management. Asking patients about their conditions, medications and related problems can facilitate getting a first, broad picture of the risk for DRPs and possible pharmaceutical needs.
Sugar-Sweetened Beverage Consumption Is Adversely Associated with Childhood Attention Deficit/Hyperactivity Disorder

Attention deficit/hyperactivity disorder (ADHD) is one of the most common childhood neurobehavioral conditions. Evidence of the negative effects of sugar-sweetened beverages (SSBs) on mental health has not been convincing, although a few studies have found an association between high SSB levels and attention problems in children. This study aimed to test the hypothesis that SSB consumption is associated with ADHD among children. Doctor-diagnosed ADHD cases (n = 173) and non-ADHD controls (n = 159) between age 4 to 15 were recruited. SSB consumption, socio-demographic and lifestyle characteristics of the children, as well as of their mothers’ characteristics during pregnancy, were collected using a questionnaire. Blood lead levels and polymorphisms of two commonly verified dopaminergic-related genes (the D4 dopamine receptor gene DRD4 and the dopamine transporter gene DAT1) were also analyzed. There was a dose-response relationship between SSB consumption and ADHD. After covariates were adjusted, children who consumed SSBs at moderate levels and high levels had 1.36 and 3.69 odds, respectively, of having ADHD, compared with those who did not consume SSBs (p for trend < 0.05). Similar results were obtained when females were excluded. Our findings highlighted the adverse correlation between SSB consumption and ADHD and indicated a dose-response effect even after covariates were adjusted.
Gender differences in colorectal cancer survival: A meta‐analysis

A meta‐analysis was conducted to determine the influence of gender on overall survival (OS) and cancer‐specific survival (CSS) in colorectal cancer patients. Major databases were searched for clinical trials, which compare survival differences between male and female for colorectal cancer patients. A list of these studies and references, published in English and Chinese from 1960 to 2017, was obtained independently by two reviewers from databases such as PubMed, Medline, ScienceDirect, the China National Knowledge Infrastructure (CNKI) and Web of Science. Overall survival and cancer‐specific survival were compared using Review Manager 5.3. Females had significantly better OS (hazard ratio [HR] = 0.87; 95% confidence interval [CI] = 0.85–0.89) and CSS (HR = 0.92; 95% CI = 0.89–0.95) than males after meta‐analysis. These results suggest that gender seems to be a significant factor influencing survival results among colorectal cancer patients.
Genetic Characterization of Enterovirus A71 Circulating in Africa

We analyzed whole-genome sequences of 8 enterovirus A71 isolates (EV-A71). We confirm the circulation of genogroup C and the new genogroup E in West Africa. Our analysis demonstrates wide geographic circulation and describes genetic exchanges between EV-A71 and autochthonous EV-A that might contribute to the emergence of pathogenic lineages.
Liquid Whey Protein Concentrates Produced by Ultrafiltration as Primary Raw Materials for Thermal Dairy Gels.

The aim of this work is to study the gelation properties of liquid whey protein concentrates (LWPC) produced by ultrafiltration (UF) as raw material for thermally induced gels intended for food applications. LWPC thermal gelation was performed using different types of LWPC (non- -defatted, defatted and diafiltered) of different protein mass fractions and pH. Most of the produced gels showed viscoelastic behaviour. Non-defatted LWPC gave stronger heat-induced gels with a more cohesive microstructure, a higher water holding capacity and also higher elastic modulus (G') and viscous modulus (G''). Gel properties were not improved in products with lower content of non-protein compounds. As expected, the increase in protein mass fraction positively influences protein interactions. However, the pH is responsible for the equilibrium between attraction and repulsion forces in the gel components that influence gel hardness and water holding capacity.
Light Pollution Modifies the Expression of Daily Rhythms and Behavior Patterns in a Nocturnal Primate

Among anthropogenic pressures, light pollution altering light/dark cycles and changing the nocturnal component of the environment constitutes a threat for biodiversity. Light pollution is widely spread across the world and continuously growing. However, despite the efforts realized to describe and understand the effects of artificial lighting on fauna, few studies have documented its consequences on biological rhythms, behavioral and physiological functions in nocturnal mammals. To determine the impacts of light pollution on nocturnal mammals an experimental study was conducted on a nocturnal primate, the grey mouse lemur Microcebus murinus. Male mouse lemurs (N = 8) were exposed 14 nights to moonlight treatment and then exposed 14 nights to light pollution treatment. For both treatments, chronobiological parameters related to locomotor activity and core temperature were recorded using telemetric transmitters. In addition, at the end of each treatment, the 14th night, nocturnal and feeding behaviors were explored using an infrared camera. Finally, throughout the study, body mass and daily caloric food intake were recorded. For the first time in a nocturnal primate, light pollution was demonstrated to modify daily rhythms of locomotor activity and core temperature especially through phase delays and increases in core temperature. Moreover, nocturnal activity and feeding behaviors patterns were modified negatively. This study suggests that light pollution induces daily desynchronization of biological rhythms and could lead to seasonal desynchronization with potential deleterious consequences for animals in terms of adaptation and anticipation of environmental changes.
The MIT–Cornell collision and why it happened

Midway through the 2007 DARPA Urban Challenge, MIT's robot “Talos” and Team Cornell's robot “Skynet” collided in a low‐speed accident. This accident was one of the first collisions between full‐sized autonomous road vehicles. Fortunately, both vehicles went on to finish the race and the collision was thoroughly documented in the vehicle logs. This collaborative study between MIT and Cornell traces the confluence of events that preceded the collision and examines its root causes. A summary of robot–robot interactions during the race is presented. The logs from both vehicles are used to show the gulf between robot and human‐driver behavior at close vehicle proximities. Contributing factors are shown to be (1) difficulties in sensor data association leading to an inability to detect slow‐moving vehicles and phantom obstacles, (2) failure to anticipate vehicle intent, and (3) an overemphasis on lane constraints versus vehicle proximity in motion planning. Finally, we discuss approaches that could address these issues in future systems, such as intervehicle communication, vehicle detection, and prioritized motion planning. © 2008 Wiley Periodicals, Inc.
The Relationship Between The Weight Of The Placenta And Neonatal Outcome

Background: The Placenta is a dynamic organ, it plays a vital role in normal fetal development, and failure of placenta to gain weight and insufficiency of its function can result in fetal disorders. Aims: To study the Placental Weight in Relation to neonatal Outcome in Sudanese Mothers with Term Singleton Pregnancy and Delivered Vaginally. Research design: A descriptive prospective design adopted for this study. Setting: conducted in Omdurman maternity Hospital, in a period from September 2014 to December 2015. Tool: A structured interview questionnaire was used and placental weight was measured by infant weighing scale. Results:The mean of placental weight(containing its membrane and umbilical cord) equals 636 grams with SD ± 137 Placental weight increases significantly with maternal age up to 40 years, parity up to 10 babies, diabetes mellitus, increments of neonatal anthropometric measurements(p value=0.00 ) and among male new born . While placental weight decreases significantly in women with low socioeconomic status, hypertensive disorders.When placental weight is below or above the mean it is associated with adverse neonatal outcome. Conclusion: Placental weight is related to important variables influencing some neonatal outcomes, abnormal placenta weight is a warning sign. Recommendations: Examination of the placenta should be performed routinely and should be follow guidelines for placental examination in the delivery rooms to provide valuable information that are important to the care of both mother and new born
GaAN: Gated Attention Networks for Learning on Large and Spatiotemporal Graphs

We propose a new network architecture, Gated Attention Networks (GaAN), for learning on graphs. Unlike the traditional multi-head attention mechanism, which equally consumes all attention heads, GaAN uses a convolutional sub-network to control each attention head's importance. We demonstrate the effectiveness of GaAN on the inductive node classification problem. Moreover, with GaAN as a building block, we construct the Graph Gated Recurrent Unit (GGRU) to address the traffic speed forecasting problem. Extensive experiments on three real-world datasets show that our GaAN framework achieves state-of-the-art results on both tasks.
Adversarial Logit Pairing

In this paper, we develop improved techniques for defending against adversarial examples at scale. First, we implement the state of the art version of adversarial training at unprecedented scale on ImageNet and investigate whether it remains effective in this setting - an important open scientific question (Athalye et al., 2018). Next, we introduce enhanced defenses using a technique we call logit pairing, a method that encourages logits for pairs of examples to be similar. When applied to clean examples and their adversarial counterparts, logit pairing improves accuracy on adversarial examples over vanilla adversarial training; we also find that logit pairing on clean examples only is competitive with adversarial training in terms of accuracy on two datasets. Finally, we show that adversarial logit pairing achieves the state of the art defense on ImageNet against PGD white box attacks, with an accuracy improvement from 1.5% to 27.9%. Adversarial logit pairing also successfully damages the current state of the art defense against black box attacks on ImageNet (Tramer et al., 2018), dropping its accuracy from 66.6% to 47.1%. With this new accuracy drop, adversarial logit pairing ties with Tramer et al.(2018) for the state of the art on black box attacks on ImageNet.
Developmental Cognitive Neuroscience Neural Processing of Reward in Adolescent Rodents

Immaturities in adolescent reward processing are thought to contribute to poor decision making and increased susceptibility to develop addictive and psychiatric disorders. Very little is known; however, about how the adolescent brain processes reward. The current mechanistic theories of reward processing are derived from adult models. Here we review recent research focused on understanding of how the adolescent brain responds to rewards and reward-associated events. A critical aspect of this work is that age-related differences are evident in neuronal processing of reward-related events across multiple brain regions even when adolescent rats demonstrate behavior similar to adults. These include differences in reward processing between adolescent and adult rats in orbitofrontal cortex and dorsal striatum. Surprisingly, minimal age related differences are observed in ventral striatum, which has been a focal point of developmental studies. We go on to discuss the implications of these differences for behavioral traits affected in adolescence, such as impulsivity, risk-taking, and behavioral flexibility. Collectively, this work suggests that reward-evoked neural activity differs as a function of age and that regions such as the dor-sal striatum that are not traditionally associated with affective processing in adults may be critical for reward processing and psychiatric vulnerability in adolescents.
Dosimetric and radiobiological comparison of Cyberknife and Tomotherapy in stereotactic body radiotherapy for localized prostate cancer.

BACKGROUND AND PURPOSE As recent studies have suggested relatively low α/β for prostate cancer, the interest in hypofractionated stereotactic body radiotherapy (SBRT) for prostate cancer is rising. The aim of this study is to compare dosimetric results of Cyberknife (CK) with Tomotherapy (HT) in SBRT for localized prostate cancer. Furthermore, the radiobiologic consequences of heterogeneous dose distribution are also analyzed. MATERIAL AND METHOD A total of 12 cases of localized prostate cancer previously treated with SBRT were collected. Treatments had been planned and delivered using CK. Then HT plans were generated for comparison afterwards. The prescribed dose was 37.5Gy in 5 fractions. Dosimetric indices for target volumes and organs at risk (OAR) were compared. For radiobiological evaluation, generalized equivalent uniform dose (gEUD) and normal tissue complication probability (NTCP) were calculated and compared. RESULT Both CK and HT achieved target coverage while meeting OAR constraints adequately. HT plans resulted in better dose homogeneity (Homogeneity index: 1.04±0.01 vs. 1.21±0.01; p = 0.0022), target coverage (97.74±0.86% vs. 96.56±1.17%; p = 0.0076) and conformity (new vonformity index: 1.16±0.05 vs. 1.21±0.04; p = 0.0096). HT was shown to predict lower late rectal toxicity as compared to CK. Integral dose to body was also significantly lower in HT plans (46.59±6.44 Gy'L vs 57.05±11.68 Gy'L; p = 0.0029). CONCLUSION Based on physical dosimetry and radiobiologic considerations, HT may have advantages over CK, specifically in rectal sparing which could translate into clinical benefit of decreased late toxicities.
Re-Evaluating the Possible Increased Risk of HIV Acquisition With Progestin-Only Injectables Versus Maternal Mortality and Life Expectancy in Africa: A Decision Analysis

Our model suggests that removing progestin-only injectables in Africa would have a net negative effect on maternal health, life expectancy, and mortality under a variety of scenarios. Our model suggests that removing progestin-only injectables in Africa would have a net negative effect on maternal health, life expectancy, and mortality under a variety of scenarios. Objective: The association between increased risk of HIV acquisition and use of progestin-only injectables (POIs) is controversial. We sought to compare the competing risks of maternal mortality and HIV acquisition with use of POIs using updated data on this association and considering an expanded number of African countries. Methods: We designed a decision-analytic model to compare the benefits and risks of POIs on the competing risks of maternal mortality and HIV acquisition on life expectancy for women in 9 African countries. For the purposes of this analysis, we assumed that POIs were associated with an increased risk of HIV acquisition (hazards ratio of 1.4). Our primary outcome was life-years and the population was women of reproductive age (15–49 years) in these countries, who did not have HIV infection and were not currently planning a pregnancy. Probabilities for each variable included in the model, such as HIV incidence, access to antiretroviral therapy, and contraceptive prevalence, were obtained from the literature. Univariate and multivariate sensitivity analyses were performed to check model assumptions and explore how uncertainty in estimates would affect the model results. Results: In all countries, discontinuation of POIs without replacement with an equally effective contraceptive method would result in decreased life expectancy due to a significant increase in maternal deaths. While the removal of POIs from the market would result in the prevention of some new cases of HIV, the life-years gained from this are mitigated due to the marked increase in neonatal HIV cases and maternal mortality with associated life-years lost. In all countries, except South Africa, typical-use contraceptive failure rates with POIs would need to exceed 39%, and more than half of women currently using POIs would have to switch to another effective method, for the removal of POIs to demonstrate an increase in total life-years. Conclusion: Women living in sub-Saharan Africa cope with both high rates of HIV infection and high rates of pregnancy-related maternal death relative to the rest of the world. Based on the most current estimates, our model suggests that removal of POI contraception from the market without effective and acceptable contraception replacement would have a net negative effect on maternal health, life expectancy, and mortality under a variety of scenarios.
Sparse Representation in Fourier and Local Bases Using ProSparse: A Probabilistic Analysis

Finding the sparse representation of a signal in an overcomplete dictionary has attracted a lot of attention over the past years. This paper studies ProSparse, a new polynomial complexity algorithm that solves the sparse representation problem when the underlying dictionary is the union of a Vandermonde matrix and a banded matrix. Unlike our previous work, which establishes deterministic (worst-case) sparsity bounds for ProSparse to succeed, this paper presents a probabilistic average-case analysis of the algorithm. Based on a generating-function approach, closed-form expressions for the exact success probabilities of ProSparse are given. The success probabilities are also analyzed in the high-dimensional regime. This asymptotic analysis characterizes a sharp phase transition phenomenon regarding the performance of the algorithm.
The Response Performance of Electrorheological Fluids in a Control Flow Field

Abstract The accurate description of the flow behaviour is a key link for the practical application of electrorheological (ER) fluids in fluid control technology. This paper is concerned with an experimental determination of the response performance of ER fluids. A power source control system for ER fluids has been designed to obtain the flow information of the ER fluids in the practical application. The dynamic response of ER fluids in control flow field was experimentally measured. The experimental results show that the response characteristics of ER fluids in control flow field differ from that in rotary shearing flow field. Besides the ER effect, there is a concomitant-effect of ER response called “capture effect”.
What Does Explainable AI Really Mean? A New Conceptualization of Perspectives

We characterize three notions of explainable AI that cut across research fields: opaque systems that offer no insight into its algo- rithmic mechanisms; interpretable systems where users can mathemat- ically analyze its algorithmic mechanisms; and comprehensible systems that emit symbols enabling user-driven explanations of how a conclusion is reached. The paper is motivated by a corpus analysis of NIPS, ACL, COGSCI, and ICCV/ECCV paper titles showing differences in how work on explainable AI is positioned in various fields. We close by introducing a fourth notion: truly explainable systems, where automated reasoning is central to output crafted explanations without requiring human post processing as final step of the generative process.
Earliest Archaeological Evidence of Persistent Hominin Carnivory

The emergence of lithic technology by ∼2.6 million years ago (Ma) is often interpreted as a correlate of increasingly recurrent hominin acquisition and consumption of animal remains. Associated faunal evidence, however, is poorly preserved prior to ∼1.8 Ma, limiting our understanding of early archaeological (Oldowan) hominin carnivory. Here, we detail three large well-preserved zooarchaeological assemblages from Kanjera South, Kenya. The assemblages date to ∼2.0 Ma, pre-dating all previously published archaeofaunas of appreciable size. At Kanjera, there is clear evidence that Oldowan hominins acquired and processed numerous, relatively complete, small ungulate carcasses. Moreover, they had at least occasional access to the fleshed remains of larger, wildebeest-sized animals. The overall record of hominin activities is consistent through the stratified sequence – spanning hundreds to thousands of years – and provides the earliest archaeological evidence of sustained hominin involvement with fleshed animal remains (i.e., persistent carnivory), a foraging adaptation central to many models of hominin evolution.