Miracle-dz/UniFAR-FTUs huggingface dataset:
On the Accuracy of Password Strength Meters

Password strength meters are an important tool to help users choose secure passwords. Strength meters can only then provide reasonable guidance when they are accurate, i.e., their score correctly reflect password strength. A strength meter with low accuracy may do more harm than good and guide the user to choose passwords with a high score but low actual security. While a substantial number of different strength meters is proposed in the literature and deployed in practice, we are lacking a clear picture of which strength meters provide high accuracy, and thus are most helpful for guiding users. Furthermore, we lack a clear understanding of how to compare accuracies of strength meters. In this work, (i) we propose a set of properties that a strength meter needs to fulfill to be considered to have high accuracy, (ii) we use these properties to select a suitable measure that can determine the accuracy of strength meters, and (iii) we use the selected measure to compare a wide range of strength meters proposed in the academic literature, provided by password managers, operating systems, and those used on websites. We expect our work to be helpful in the selection of good password strength meters by service operators, and to aid the further development of improved strength meters.
Precise Android API Protection Mapping Derivation and Reasoning

The Android research community has long focused on building an Android API permission specification, which can be leveraged by app developers to determine the optimum set of permissions necessary for a correct and safe execution of their app. However, while prominent existing efforts provide a good approximation of the permission specification, they suffer from a few shortcomings. Dynamic approaches cannot generate complete results, although accurate for the particular execution. In contrast, static approaches provide better coverage, but produce imprecise mappings due to their lack of path-sensitivity. In fact, in light of Android's access control complexity, the approximations hardly abstract the actual co-relations between enforced protections. To address this, we propose to precisely derive Android protection specification in a path-sensitive fashion, using a novel graph abstraction technique. We further showcase how we can apply the generated maps to tackle security issues through logical satisfiability reasoning. Our constructed maps for 4 Android Open Source Project (AOSP) images highlight the significance of our approach, as ~41% of APIs' protections cannot be correctly modeled without our technique.
Embelin impairs the accumulation and activation of MDSCs in colitis-associated tumorigenesis

ABSTRACT Myeloid-derived suppressor cells (MDSCs) are a major component of the immunosuppressive tumor microenvironment and has been recognized as a contributing factor for inflammation-related cancers. We previously showed that embelin has potent anti-inflammatory and anti-tumor effects in a colitis-associated cancer (CAC) model. Here, by using this model, we assessed the effect of embelin on the accumulation and suppressive function of MDSCs. We have demonstrated that embelin substantially reduced accumulation of MDSCs in the peripheral lymphoid organ and tumor tissue of CAC-bearing mice. Embelin impaired immunosuppressive activity of MDSCs by reducing the generation of reactive oxygen species (ROS) and arginase 1 level, leading to restored T cell responses. In tumor milieu, embelin increased the infiltration of CD8+ T cells, NK cells and mature dendritic cells whilst depleted the regulatory T cells. Moreover, embelin could directly interfere with the generation and function of MDSCs in vitro. These effects of embelin on MDSCs were mediated largely via limiting C/EBPβ and STAT3 signaling. Our findings support the hypothesis that embelin may be a promising pharmacologic agent in regulating MDSC-mediated immune tolerance in colorectal cancer.
Power Factor Correction of Inductive Loads using PLC

This paper proposes an automatic power factor correction for variable inductive loads, most dominantly induction motors (IM) utilizing the Programmable Logic Controllers (PLC). This hardware implementation of a 3{\O} Inductive load system focuses on the automatic correction of power factor using PLC. With the help of PLC, different performance parameters current level, real power, and inductive power are obtained and logged in the PC. Using PLC program, according to the control strategy to obtain a pre-specified power factor a set of capacitors sized in a binary rate will be switched on or off with the help of switching relays and contactors. This PLC control strategy relies on a lookup table which is prepared based on two input parameters - peak current and power factor, at a constant voltage. From these parameters, PLC will calculate the reactive power of the system and accordingly the right sequence of the capacitors are switched on in order to compensate for reactive power.
Design of a Massage-Inspired Haptic Device for Interpersonal Connection in Long-Distance Communication

The use of tactile senses in mediated communication has generated considerable research interest in past decades. Since massage is a common practice in Asian cultures, we propose to introduce massage-based interactions in mediated communication between people in a close relationship. We designed a device for distant interactive massage to be used during online conversation and we assessed its effect on interpersonal connection with eight pairs of Chinese participants in romantic relationships. All pairs were asked to engage in a conversation, either through a video call or through a massage-assisted video call. The findings showed that the use of the massage device significantly increased the perceived emotional and physical connection between the users. The results also showed a significant increase in the engagement in the massage activity, e.g., total massage time and average force per finger, from positive conversation to negative conversation, demonstrating an evidence of the interplay between audio-visual and haptic communication. Post hoc interviews showed the potential of the massage device for long-distance communication in romantic relationships as well as in parents-children relationships.
Host diet mediates a negative relationship between abundance and diversity of Drosophila gut microbiota

Abstract Nutrient supply to ecosystems has major effects on ecological diversity, but it is unclear to what degree the shape of this relationship is general versus dependent on the specific environment or community. Although the diet composition in terms of the source or proportions of different nutrient types is known to affect gut microbiota composition, the relationship between the quantity of nutrients supplied and the abundance and diversity of the intestinal microbial community remains to be elucidated. Here, we address this relationship using replicate populations of Drosophila melanogaster maintained over multiple generations on three diets differing in the concentration of yeast (the only source of most nutrients). While a 6.5‐fold increase in yeast concentration led to a 100‐fold increase in the total abundance of gut microbes, it caused a major decrease in their alpha diversity (by 45–60% depending on the diversity measure). This was accompanied by only minor shifts in the taxonomic affiliation of the most common operational taxonomic units (OTUs). Thus, nutrient concentration in host diet mediates a strong negative relationship between the nutrient abundance and microbial diversity in the Drosophila gut ecosystem.
Preparation of nanoliposomes linked to HER2/neu‐derived (P5) peptide containing MPL adjuvant as vaccine against breast cancer

The study was aimed at evaluating antitumor and immunomodulatory effects of liposomal vaccine composed of P5 human epidermal growth factor receptor 2 (HER2)/neu‐derived peptide coupled to the surface of high‐temperature nanoliposomes containing distearoylphosphocholine:distearoylphosphoglycerol:Chol:dioleoylphosphatidylethanolamine (DOPE) comprising monophosphoryl lipid A (MPL) adjuvant in HER2/neu overexpressing the breast cancer model. BALB/c mice bearing TUBO carcinoma were subcutaneously immunized with formulations containing 10 µg P5 peptide and 25 µg MPL three times with 2‐week intervals. To determine immuno responses in immunized mice, the amount of released interferon‐γ and IL‐4 were measured by the enzyme‐linked immunospot method and the flow cytometric analysis on the isolated splenocytes. The results demonstrated that tumor‐bearing mice immunized with Lip/DOPE/MPL/P5 formulation had the most released interferon‐γ and the highest cytotoxic T lymphocyte responses that led to the lowest tumor size and the longest survival time than those of other formulations. The results achieved by Lip/DOPE/MPL/P5 formulation could make it a suitable candidate to induce effective antigen‐specific tumor immunity against breast cancer.
Umbilical Cord Blood Gas Analysis, Obstetric Performance and Perinatal Outcome

Abstract Objective To analyze if umbilical artery pH (pHua) ≤7.00 and umbilical artery blood deficit (BDua) ≥12.00 mmol/L are good predictors of adverse neonatal outcomes. Methods This was an observational, longitudinal and retrospective cohort study, conducted at the department of obstetrics and gynecology of Centro Hospitalar Tondela Viseu between September 2013 and September 2015. Total cohort and subgroup analysis were performed: group A—women with umbilical cord blood gas analysis (UCBGA) performed for non-reassuring fetal cardiotocographic patterns, placental abruption, or shoulder dystocia; and group B—all the others. Assays were made with the software SPSS for Windows, Versions 20.0 and 21.0 (IBM Corp., Armonk, NY, USA). Results A total of 428 UCBGAs met the inclusion criteria. The group analysis revealed an association between group A and pHua ≤7.00, as well as between BDua ≥12.00 mmol/L and 1st minute Apgar score ≤4 (p = 0.011). After the application of the logistic regression models in the total cohort analysis, pHua ≤7.00 had an impact in the occurrence of acute neonatal hypoxia (odds ratio [OR]: 6.71; 95% confidence interval [CI]: 1.21–37.06; p = 0.029); multiparous women had a higher risk of delivering a newborn with first minute Apgar score ≤4 and acute neonatal hypoxia (OR: 5.38; 95% CI: 1.35–21.43; p = 0.017; and OR: 2.66; 95% CI: 1.03–6.89, p = 0.043, respectively); women who had urologic problems during pregnancy had a higher risk of delivering a newborn with 5th minute Apgar score ≤7 (OR: 15.17; 95% CI: 1.29–177.99; p = 0.030); and shoulder dystocia represented a 15 times higher risk of acute neonatal hypoxia (OR: 14.82; 95% CI: 2.20–99.60; p = 0.006). Conclusion The pHua and the BDua are predictors of adverse neonatal outcome, and UCBGA is a useful tool for screening newborns at risk. Universal UCBGA should be considered for all deliveries, as it is an accurate screening test for neonatal hypoxia.
Cold Acclimation Favors Metabolic Stability in Drosophila suzukii

The invasive fruit fly pest, Drosophila suzukii, is a chill susceptible species, yet it is capable of overwintering in rather cold climates, such as North America and North Europe, probably thanks to a high cold tolerance plasticity. Little is known about the mechanisms underlying cold tolerance acquisition in D. suzukii. In this study, we compared the effect of different forms of cold acclimation (at juvenile or at adult stage) on subsequent cold tolerance. Combining developmental and adult cold acclimation resulted in a particularly high expression of cold tolerance. As found in other species, we expected that cold-acclimated flies would accumulate cryoprotectants and would be able to maintain metabolic homeostasis following cold stress. We used quantitative target GC-MS profiling to explore metabolic changes in four different phenotypes: control, cold acclimated during development or at adult stage or during both phases. We also performed a time-series GC-MS analysis to monitor metabolic homeostasis status during stress and recovery. The different thermal treatments resulted in highly distinct metabolic phenotypes. Flies submitted to both developmental and adult acclimation were characterized by accumulation of cryoprotectants (carbohydrates and amino acids), although concentrations changes remained of low magnitude. After cold shock, non-acclimated chill-susceptible phenotype displayed a symptomatic loss of metabolic homeostasis, correlated with erratic changes in the amino acids pool. On the other hand, the most cold-tolerant phenotype was able to maintain metabolic homeostasis after cold stress. These results indicate that cold tolerance acquisition of D. suzukii depends on physiological strategies similar to other drosophilids: moderate changes in cryoprotective substances and metabolic robustness. In addition, the results add to the body of evidence supporting that mechanisms underlying the different forms of acclimation are distinct.
Providing Good Care in the Shadow of Violence – An Interview Study with Nursing Staff and Ward Managers in Psychiatric Inpatient Care in Sweden

Abstract The aim was to describe the nursing staff and ward managers' experiences of safety and violence in everyday meetings with the patients. The qualitative content analyses resulted in four themes: the relationship with the patient is the basis of care; the organizational culture affects the care given; knowledge and competence are important for safe care; and the importance of balancing influence and coercion in care. The staff had a varied ability to meet patients in a respectful way. One way of creating a common approach could be to discuss and reflect upon different options in the meeting with the patient.
K-Hunt: Pinpointing Insecure Cryptographic Keys from Execution Traces

The only secrets in modern cryptography (crypto for short) are the crypto keys. Understanding how crypto keys are used in a program and discovering insecure keys is paramount for crypto security. This paper presents K-Hunt, a system for identifying insecure keys in binary executables. K-Hunt leverages the properties of crypto operations for identifying the memory buffers where crypto keys are stored. And, it tracks their origin and propagation to identify insecure keys such as deterministically generated keys, insecurely negotiated keys, and recoverable keys. K-Hunt does not use signatures to identify crypto operations, and thus can be used to identify insecure keys in unknown crypto algorithms and proprietary crypto implementations. We have implemented K-Hunt and evaluated it with 10 cryptographic libraries and 15 applications that contain crypto operations. Our evaluation results demonstrate that K-Hunt locates the keys in symmetric ciphers, asymmetric ciphers, stream ciphers, and digital signatures, regardless if those algorithms are standard or proprietary. More importantly, K-Hunt discovers insecure keys in 22 out of 25 evaluated programs including well-developed crypto libraries such as Libsodium, Nettle, TomCrypt, and WolfSSL.
Effect of Horizontal Whole-Body Vibration Training on Trunk and Lower-Extremity Muscle Tone and Activation, Balance, and Gait in a Child with Cerebral Palsy

Patient: Male, 10 Final Diagnosis: Cerebral palsy Symptoms: Movement disorder Medication: — Clinical Procedure: — Specialty: Rehabilitation Objective: Unusual or unexpected effect of treatment Background: The aim of the present study was to investigate the effect of horizontal whole-body vibration (WBV) training on trunk and lower-extremity muscle tone and activation, balance, and gait in a child with spastic diplegia cerebral palsy. Case Report: A 10-year-old male with spastic diplegia cerebral palsy received horizontal WBV training followed by conventional physiotherapy (50 min per day, 12 days per month), but only conventional physiotherapy during follow-up. Muscle tone was assessed using the Modified Ashworth Scale (MAS) and muscle activation with surface electromyography. Balance was assessed using the Timed Up and Go test (TUG) and Pediatric Balance Scale (PBS), and gait parameters were assessed using the GAITRite system. Assessment was performed at 3 points: pre-intervention, post-intervention, and follow-up. Following the intervention, MAS decreased in both the hip extensor and right ankle plantar flexor. Muscle activation increased post-intervention in the bilateral erector spinae (ES), rectus abdominis (RA), rectus femoris (RF), and right tibialis anterior (TA) during standing, and in the left RA, bilateral RF, gastrocnemius (GCM), and left TA during squatting. At follow-up, activation increased in the right ES, left RA, and RF during standing. At post-intervention and follow-up, improvement was observed in PBS score, gait velocity, right step length, and right stride length, with decreased single-leg support time, and double support and toe deviation angle. Conclusions: Horizontal WBV training can safely and effectively maintain and improve physical performance and can be considered for inclusion in rehabilitation programs.
HDNET: Exploiting HD Maps for 3D Object Detection

In this paper we show that High-Definition (HD) maps provide strong priors that can boost the performance and robustness of modern 3D object detectors. Towards this goal, we design a single stage detector that extracts geometric and semantic features from the HD maps. As maps might not be available everywhere, we also propose a map prediction module that estimates the map on the fly from raw LiDAR data. We conduct extensive experiments on KITTI as well as a large-scale 3D detection benchmark containing 1 million frames, and show that the proposed map-aware detector consistently outperforms the state-of-the-art in both mapped and un-mapped scenarios. Importantly the whole framework runs at 20 frames per second.
Latent variable approach to diarization of audio recordings using ad-hoc randomly placed mobile devices

Diarization of audio recordings from ad-hoc mobile devices using spatial information is considered in this paper. A two-channel synchronous recording is assumed for each mobile device, which is used to compute directional statistics separately at each device in a frame-wise manner. The recordings across the mobile devices are asynchronous, but a coarse synchronization is performed by aligning the signals using acoustic events, or real-time clock. Direction statistics computed for all the devices, are then modeled jointly using a Dirichlet mixture model, and the posterior probability over the mixture components is used to derive the diarization information. Experiments on real life recordings using mobile phones show a diarization error rate of less than 14%.
Effectiveness evaluation of radiosynovectomy on the radiological progression of osteoarthritis of the knee joint.

OBJECTIVES This study aims to analyze the effect of radiosynovectomy (RSO) on the radiological progression of osteoarthritis of the knee joint. PATIENTS AND METHODS The study included 207 knee joints of 181 patients (72 males, 109 females; mean age 58 years; range, 19 to 65 years) that were performed RSO between 01 April 2003 and 31 December 2015 in the Department of Orthopedics and Traumatology at Uzsoki Hospital. A total of 111 right and 96 left knees were treated. The mean duration of follow-up was 8.7 years (range, 1 to 12 years). Of the 181 patients, both knee joints were treated in 26. RESULTS Of the 207 treated knee joints, 163 had the same Kellgren-Lawrence grade at the time of follow-up compared to the grade at the time of RSO, while 44 had worse outcomes. This indicated that radiological progression was not present in 79% of the treated knee joints. The intraclass correlation coefficient (ICC) showed significantly strong agreement between the pre- and post-measurements (ICC=0.835, p<0.001). CONCLUSION Radiosynovectomy was able to impede radiological progression in 79% of the treated joints and only one-grade deterioration was observed in 39 cases during follow-up.
Extracting Linguistic Resources from the Web for Concept-to-Text Generation

Many concept-to-text generation systems require domain-specific linguistic resources to produce high quality texts, but manually constructing these resources can be tedious and costly. Focusing on NaturalOWL, a publicly available state of the art natural language generator for OWL ontologies, we propose methods to extract from the Web sentence plans and natural language names, two of the most important types of domain-specific linguistic resources used by the generator. Experiments show that texts generated using linguistic resources extracted by our methods in a semi-automatic manner, with minimal human involvement, are perceived as being almost as good as texts generated using manually authored linguistic resources, and much better than texts produced by using linguistic resources extracted from the relation and entity identifiers of the ontology.
Towards Paving the Way for Large-Scale Windows Malware Analysis: Generic Binary Unpacking with Orders-of-Magnitude Performance Boost

Binary packing, encoding binary code prior to execution and decoding them at run time, is the most common obfuscation adopted by malware authors to camouflage malicious code. Especially, most packers recover the original code by going through a set of "written-then-executed" layers, which renders determining the end of the unpacking increasingly difficult. Many generic binary unpacking approaches have been proposed to extract packed binaries without the prior knowledge of packers. However, the high runtime overhead and lack of anti-analysis resistance have severely limited their adoptions. Over the past two decades, packed malware is always a veritable challenge to anti-malware landscape. This paper revisits the long-standing binary unpacking problem from a new angle: packers consistently obfuscate the standard use of API calls. Our in-depth study on an enormous variety of Windows malware packers at present leads to a common property: malware's Import Address Table (IAT), which acts as a lookup table for dynamically linked API calls, is typically erased by packers for further obfuscation; and then unpacking routine, like a custom dynamic loader, will reconstruct IAT before original code resumes execution. During a packed malware execution, if an API is invoked through looking up a rebuilt IAT, it indicates that the original payload has been restored. This insight motivates us to design an efficient unpacking approach, called BinUnpack. Compared to the previous methods that suffer from multiple "written-then-executed" unpacking layers, BinUnpack is free from tedious memory access monitoring, and therefore it introduces very small runtime overhead. To defeat a variety of ever-evolving evasion tricks, we design BinUnpack's API monitor module via a novel kernel-level DLL hijacking technique. We have evaluated BinUnpack's efficacy extensively with more than 238K packed malware and multiple Windows utilities. BinUnpack's success rate is significantly better than that of existing tools with several orders of magnitude performance boost. Our study demonstrates that BinUnpack can be applied to speeding up large-scale malware analysis.