Miracle-dz/UniFAR-FTUs huggingface dataset:
DLFuzz: differential fuzzing testing of deep learning systems

Deep learning (DL) systems are increasingly applied to safety-critical domains such as autonomous driving cars. It is of significant importance to ensure the reliability and robustness of DL systems. Existing testing methodologies always fail to include rare inputs in the testing dataset and exhibit low neuron coverage. In this paper, we propose DLFuzz, the first differential fuzzing testing framework to guide DL systems exposing incorrect behaviors. DLFuzz keeps minutely mutating the input to maximize the neuron coverage and the prediction difference between the original input and the mutated input, without manual labeling effort or cross-referencing oracles from other DL systems with the same functionality. We present empirical evaluations on two well-known datasets to demonstrate its efficiency. Compared with DeepXplore, the state-of-the-art DL whitebox testing framework, DLFuzz does not require extra efforts to find similar functional DL systems for cross-referencing check, but could generate 338.59% more adversarial inputs with 89.82% smaller perturbations, averagely obtain 2.86% higher neuron coverage, and save 20.11% time consumption.
Comparative Effects of Native and Defatted Flaxseeds on Intestinal Enzyme Activity and Lipid Metabolism in Rats Fed a High-Fat Diet Containing Cholic Acid

We hypothesize that defatting is an important factor that can determine the beneficial effects of flaxseeds on rats with diet-induced disorders. The experiment lasts 8 weeks and is conducted on Wistar rats allocated to four groups as follows: a control group fed with a standard diet; a high-fat (HF) group fed with a diet containing 21% fat and 0.1% cholic acid as a stimulator of lipid absorption; an HF group fed a diet supplemented with 1% native flaxseeds; and an HF group fed a diet supplemented with 1% defatted flaxseeds. In the HF group, several unfavourable changes in the gut and lipid metabolism are observed. Supplementation of the HF diet with native flaxseeds prevent an increase in colonic β-glucuronidase activity, whereas dietary defatted flaxseeds increase mucosal disaccharidase activities in the small intestine (sucrose, maltase and lactase). Regardless of the form of supplementation, dietary flaxseeds increase bacterial glycolytic activity in the distal intestine and decrease hepatic fat, especially triglyceride, accumulation. Both flaxseed forms decrease lipid peroxidation in the kidneys and increase the blood HDL cholesterol concentration with the native form being more efficient in the former and the defatted form being more efficient in the latter. The lipid-modulating effects of defatted flaxseeds are associated with reduced hepatic expression of peroxisome proliferator-activated receptor α, which is not the case in terms of native flaxseeds. Dietary supplementation with a relatively small amount of flaxseeds can exert beneficial effects on gut functions and lipid metabolism in rats, and these effects are affected by defatting to some extent.
Co-Amorphous Simvastatin-Nifedipine with Enhanced Solubility for Possible Use in Combination Therapy of Hypertension and Hypercholesterolemia

The high index of simultaneous incidence of hypertension and hypercholesterolemia in the population of many countries demands the preparation of more efficient drugs. Therefore, there is a significant area of opportunity to provide as many alternatives as possible to treat these illnesses. Taking advantage of the solubility enhancement that can be achieved when an active pharmaceutical ingredient (API) is obtained and stabilized in its amorphous state, in the present work, new drug-drug co-amorphous formulations (Simvastatin SIM- Nifedipine NIF) with enhanced solubility and stability were prepared and characterized. Results show that the co-amorphous system (molar ratio 1:1) is more soluble than the pure commercial APIs studied separately. Aqueous dissolution profiles showed increments of solubility of 3.7 and 1.7 times for SIM and NIF, correspondingly, in the co-amorphous system. The new co-amorphous formulations, monitored in time, (molar fractions 0.3, 0.5 and 0.7 of SIM) remained stable in the amorphous state for more than one year when stored at room temperature and did not show any signs of crystallization when re-heating. Inspection on the remainder of a sample after six hours of dissolution showed no recrystallization, confirming the stability of co-amorphous system. The enhanced solubility of the co-amorphous formulations makes them promising for simultaneously targeting of hypertension and hypercholesterolemia through combination therapy.
Three-dimensional evaluation of the effect of low-level laser therapy on facial swelling after lower third molar surgery: A randomized, placebo-controlled study

Purpose: This study aimed to evaluate the effect of a low-level laser therapy (LLLT) on pain, trismus, and swelling of patients whose impacted 3rd molar tooth was extracted compared to placebo or “sham” treatment and measure volumetrically the edema with a three-dimensional (3D) surface imaging device (3dMD face system). Materials and Methods: Forty-five patients over 17 years of age were included in the study. Patients were randomized to three groups; Group 1, the control group, received only routine management (ice application) (n = 15); Group 2, received single-dose LLLT immediately after surgery (n = 15); and Group 3, placebo group, received sham therapy immediately after surgery (n = 15). In this study, a gallium-aluminum-arsenide diode laser device was used. The laser was applied extraorally (0.3 W, 40 s, 4 J/cm2). The trismus, pain, and facial swelling were evaluated. A 3D surface imaging device (3dMD Photogrammetric System) was used to evaluate the volumetric changes of the swelling. The 3D morphology of the facial swelling was recorded using this imaging device immediately before surgery, the second day after surgery, and the 7th day after surgery. IBM SPSS statistics 22.0 program was used in the statistical assessment and P < 0.05 was considered statistically significant. Results: There was no statistically significant difference in the edema and trismus between the groups. The pain level in Group 2 was significantly lower than that in Group 3 at all-time points. Furthermore, the pain level in Group 2 was significantly lower than that in Group 1 on day 7. Conclusions: LLLT reduced the intensity of pain following third molar surgery by single dose. The results of this study revealed that LLLT reduced facial swelling, but no significant differences were found among the three groups. In addition, a 3D craniomaxillofacial imaging method provided insight into volume changes after 3rd molar surgery and the evaluation of facial swelling in an objective way.
IGGtrop_SH and IGGtrop_rH: Two Improved Empirical Tropospheric Delay Models Based on Vertical Reduction Functions

IGGtrop_SH and IGGtrop_rH are two improved tropospheric delay models that are established based on empirical vertical reduction functions and capable of providing zenith tropospheric delay (ZTD) correction for radio space geodetic analysis without meteorological measurements. The vertical dependence of ZTD mean values is represented by an exponential function (four coefficients in the high latitudes and six coefficients in other regions) and the vertical dependence of ZTD seasonal variation amplitudes is represented by a fifth degree polynomial. IGGtrop_SH considers both annual and semiannual variations of ZTD, while IGGtrop_rH only considers the annual variation of ZTD, which is suitable for applications more concerned about time and data storage space. The new models are validated by international Global Navigation Satellite System service tropospheric products at 292 globally distributed tracking stations between January 2010 and December 2013. The average bias values over the four years are around −0.46 cm for both models; the globally averaged root-mean-square error of IGGtrop_SH is about 3.86 cm and the value of IGGtrop_rH is about 3.97 cm. Comparison between IGGtrop_SH and the previous IGGtrop model suggests that the inclusion of semiannual variation leads to an apparent improvement of ZTD correction performance in the Northern Hemisphere, especially for middle latitudes, while no obvious change is seen in the Southern Hemisphere.
QTY code enables design of detergent-free chemokine receptors that retain ligand-binding activities

Significance The QTY (glutamine, threonine, and tyrosine) code-designed detergent-free chemokine receptors may be useful in many applications. The QTY variants may be useful not only as reagents in deorphanization studies but also for designing biologics to treat cancer and autoimmune or infectious diseases. The QTY code allows membrane proteins to be systematically designed through simple, specific amino acid substitutions. The QTY code is robust and straightforward: It is the simplest tool to carry out membrane protein design without sophisticated computer algorithms. Thus it can be used broadly. The QTY code has implications for designing additional G protein-coupled receptors and other membrane proteins or, potentially, for rendering water-insoluble and aggregated proteins soluble. Structure and function studies of membrane proteins, particularly G protein-coupled receptors and multipass transmembrane proteins, require detergents. We have devised a simple tool, the QTY code (glutamine, threonine, and tyrosine), for designing hydrophobic domains to become water soluble without detergents. Here we report using the QTY code to systematically replace the hydrophobic amino acids leucine, valine, isoleucine, and phenylalanine in the seven transmembrane α-helices of CCR5, CXCR4, CCR10, and CXCR7. We show that QTY code-designed chemokine receptor variants retain their thermostabilities, α-helical structures, and ligand-binding activities in buffer and 50% human serum. CCR5QTY, CXCR4QTY, and CXCR7QTY also bind to HIV coat protein gp41-120. Despite substantial transmembrane domain changes, the detergent-free QTY variants maintain stable structures and retain their ligand-binding activities. We believe the QTY code will be useful for designing water-soluble variants of membrane proteins and other water-insoluble aggregated proteins.
Palatoscopy and odontometrics for sex identification and hereditary pattern analysis in a Navi Mumbai population: A cross-sectional study

Background: Identification of an individual is a challenging task in the field of forensic odontology. Sometimes, the identity of individuals by fingerprints is difficult; hence, the examination of palatal rugae and the human dentition is a viable option. Aims and Objectives: The objective of the present study was to determine the sex of an individual and the hereditary pattern using three parameters are as follows: palatine rugae, dimensions of maxillary molar and maxillary canine. Materials and Methods: A cross-sectional study involved a total of 200 participants which included 60 males, 60 females and 20 families with four members each. Maxillary impressions were made with elastomeric impression material, and dental stone was used to make the models. The parameters used were as follows: palatine rugae classified by Thomas and Kotze (1983), which included the shape, size, direction and unification pattern, mesiodistal (MD) width of canines and intercanine width and MD and buccolingual width of maxillary molars. Statistical Analysis: Unpaired t-test and the median test were used to assess the sex differences in the number and unification pattern for the palatal rugae and to compare dimensions measured for males and females for the odontometric data. The data collected was statistically analyzed using the Statistical Package for Social Sciences 17.0 statistical program for windows. The statistical significance was fixed at 0.05. Results: Males showed more number of converging rugae and females showed more number of diverging patterns of rugae. The number of primary and forward rugae was more in both the genders and females showed more wavy rugae while males showed more number of straight and curved rugae. The maxillary canine and maxillary molar dimensions both were more in males than the females and also none of these parameters showed a hereditary pattern. Conclusion: Rugae pattern and the human dentition are both highly individualistic and can be used for personal identification and sex determination.
Universality Reconsidered: Diversity in Making Meaning of Facial Expressions

It has long been claimed that certain facial movements are universally perceived as emotional expressions. The critical tests of this universality thesis were conducted between 1969 and 1975 in small-scale societies in the Pacific using confirmation-based research methods. New studies conducted since 2008 have examined a wider sample of small-scale societies, including on the African and South American continents. They used more discovery-based research methods, providing an important opportunity for reevaluating the universality thesis. These new studies reveal diversity, rather than uniformity, in how perceivers make sense of facial movements, calling the universality thesis into doubt. Instead, they support a perceiver-constructed account of emotion perception that is consistent with the broader literature on perception.
ATP2B1 rs2681472 and STK39 rs35929607 polymorphisms and risk of Hypertension in Iranian Population

Background: ATP2B1 and STK39 have been introduced as essential hypertension candidate genes. The association of these genes’ variations have not been studied in Iranian population yet. Here we aimed to investigate the association of ATP2B1 rs2681472 and STK39 rs35929607 polymorphisms with the risk of hypertension in an Iranian population. Methods: We included 400 individuals in our case-control study: 200 cases with essential hypertension and 200 healthy sex and age matched controls. All subjects were genotyped for rs2681472 and rs35929607 using a PCR-RFLP method. Genotype and allele frequencies were compared between the two groups using chi-squared test. The association was further assessed under log-additive, dominant and recessive genetic models. Results: There was no association between rs2681472 and rs35929607 polymorphisms and risk of essential hypertension in our population (p>0.05). There was also no association between the studied polymorphisms and hypertension under different genetic models. Conclusion: Our study indicated that rs2681472 of ATP2B1 and rs35929607 of STK39 may not have a significant effect on the risk of essential hypertension in Iranian population. More studies are still needed to validate our results.
Bipartite Tracking Consensus of Linear Multi-Agent Systems With a Dynamic Leader

In this brief, the distributed bipartite tracking consensus problem for linear multi-agent systems (MASs) in the presence of a single leader is investigated. Compared with some related works on this topic, the leader’s control inputs in the present MAS model are allowed to be nonzero and unknown to each follower. To guarantee bipartite tracking consensus, a new kind of distributed non-smooth protocols based on the relative state information of neighboring agents are proposed and analyzed. With the help of tools from Lyapunov stability theory and graph theory, it is shown that bipartite tracking consensus in the close-loop MAS can be achieved if the gain matrix of protocol is suitably constructed and the control parameters of protocol are, respectively, larger than some positive quantities depending on global information of the considered MAS. To provide some efficient criteria for consensus seeking without involving any global information, some fully distributed protocols with adaptive control parameters are further designed and discussed. Finally, numerical simulations are given for illustration.
TGFβ Is Specifically Upregulated on Circulating CD14++ CD16+ and CD14+ CD16++ Monocytes in Patients with Atrial Fibrillation and Severe Atrial Fibrosis

Background/Aims: Fibrotic remodeling of the atria plays a key role in the pathogenesis of atrial fibrillation (AF). As little is known about the contribution of circulating monocytes in atrial remodeling and the pathophysiology of AF, we investigated profibrotic factors in different subsets of circulating monocytes obtained from patients with atrial fibrillation undergoing catheter ablation. Methods: A 3D high density voltage mapping was performed in sinus rhythm to evaluate the extent of low-voltage areas (LVAs) in the atria of 71 patients with persistent AF. Low-voltage was defined as signals of < 0.5mV during sinus rhythm. Prior to ablation, blood was drawn and monocytes were analyzed by FACS. Based on the expression of CD14 and CD16, three subgroups including CD14<sup>++</sup> CD16<sup>-</sup> (‘classical’), CD14<sup>++</sup> CD16<sup>+</sup> (‘intermediate’), and CD14<sup>+</sup> CD16<sup>++</sup> (‘non-classical’) were analyzed for the expression of TGFb, CD147, and MMP-9, representing pivotal profibrotic pathways in myocardial remodeling. Results: Expression of TGFb was increased in CD14<sup>+</sup> monocytes of patients with extensive LVAs compared to patients with a low extend of LVAs. While CD14<sup>++</sup> CD16<sup>-</sup> monocytes showed no difference, CD14<sup>++</sup> CD16<sup>+</sup> and CD14<sup>+</sup> CD16<sup>++</sup> monocytes showed a strong increase of TGFb abundance. Although CD147 and MMP-9 are strongly associated with myocardial fibrosis, we found no difference in expression between the two groups in any monocyte subsets. Conclusion: TGFb is specifically upregulated on CD14<sup>++</sup> CD16<sup>+</sup> and CD14<sup>+</sup> CD16<sup>++</sup> monocytes in patients with extensive LVAs undergoing catheter ablation.
Pharmacological and SAR analysis of the LINS01 compounds at the human histamine H1, H2, and H3 receptors

Histamine is a transmitter that activates the four receptors H1R to H4R. The H3R is found in the nervous system as an autoreceptor and heteroreceptor, and controls the release of neurotransmitters, making it a potential drug target for neuropsychiatric conditions. We have previously reported that the 1‐(2,3‐dihydro‐1‐benzofuran‐2‐yl)methylpiperazines (LINS01 compounds) have the selectivity for the H3R over the H4R. Here, we describe their pharmacological properties at the human H1R and H2R in parallel with the H3R, thus providing a full analysis of these compounds as histamine receptor ligands through reporter gene assays. Eight of the nine LINS01 compounds inhibited H3R‐induced histamine responses, but no inhibition of H2R‐induced responses was seen. Three compounds were weakly able to inhibit H1R‐induced responses. No agonist responses were seen to any of the compounds at any receptor. SAR analysis shows that the N‐methyl group improves H3R affinity while the N‐phenyl group is detrimental. The methoxy derivative, LINS01009, had the highest affinity.
The impact of accreditation on nurses' perceptions of quality of care in Iran and its barriers and facilitators

BACKGROUND Iran national hospital accreditation was initiated as a government and mandatory program in 2012. The aim of this study was to examine the impact of accreditation on nurses' perceptions of quality of care and to determine those barriers and facilitators needed for effective implementation of accreditation. METHODS A cross-sectional survey conducted in 43 tertiary public hospitals in 5 metropolises, Iran, which successfully passed national accreditation surveys. Participants included nurses with at least 5-year work experience. Overall response rate was 76%, with 1312 of 1706 valid responses included in the data analysis. A questionnaire was applied using a 5-point Likert scale ranging from 1 "strongly disagree" to 5 "strongly agree". In addition, the questionnaire included 2 open-ended questions allowing the respondent to identify barriers and facilitators to the process of for improving accreditation implementation. The relationship between the quality of results and the independent variables was tested using multiple regression analysis. RESULTS The scales measuring benefits of accreditation had the highest mean score followed by strategic quality planning, education and training, and staff involvement. Regression analysis indicated that leadership, commitment, and support; education and training; rewards and recognition; and staff involvement were factors affecting quality results. Barriers encountered included financial and capital resources, staff, institutional, and patients. Hospital accreditation has a positive impact on quality of care. CONCLUSIONS The findings of this study provide valuable information to policymakers and hospital managers on which to base the process of accreditation and its requirements, and to help reap its benefits.
Intensive Surveillance with Biannual Dynamic Contrast-Enhanced Magnetic Resonance Imaging Downstages Breast Cancer in BRCA1 Mutation Carriers

Purpose: To establish a cohort of high-risk women undergoing intensive surveillance for breast cancer. Experimental Design: We performed dynamic contrast-enhanced MRI every 6 months in conjunction with annual mammography (MG). Eligible participants had a cumulative lifetime breast cancer risk ≥20% and/or tested positive for a pathogenic mutation in a known breast cancer susceptibility gene. Results: Between 2004 and 2016, we prospectively enrolled 295 women, including 157 mutation carriers (75 BRCA1, 61 BRCA2); participants' mean age at entry was 43.3 years. Seventeen cancers were later diagnosed: 4 ductal carcinoma in situ (DCIS) and 13 early-stage invasive breast cancers. Fifteen cancers occurred in mutation carriers (11 BRCA1, 3 BRCA2, 1 CDH1). Median size of the invasive cancers was 0.61 cm. No patients had lymph node metastasis at time of diagnosis, and no interval invasive cancers occurred. The sensitivity of biannual MRI alone was 88.2% and annual MG plus biannual MRI was 94.1%. The cancer detection rate of biannual MRI alone was 0.7% per 100 screening episodes, which is similar to the cancer detection rate of 0.7% per 100 screening episodes for annual MG plus biannual MRI. The number of recalls and biopsies needed to detect one cancer by biannual MRI were 2.8 and 1.7 in BRCA1 carriers, 12.0 and 8.0 in BRCA2 carriers, and 11.7 and 5.0 in non-BRCA1/2 carriers, respectively. Conclusions: Biannual MRI performed well for early detection of invasive breast cancer in genomically stratified high-risk women. No benefit was associated with annual MG screening plus biannual MRI screening. See related commentary by Kuhl and Schrading, p. 1693