Miracle-dz/UniFAR-FTUs huggingface dataset:
Perivascular Scaffolds Loaded with Adipose Tissue-Derived Stromal Cells Attenuate Progression of Abdominal Aortic Aneurysm in Rats

Abdominal aortic aneurysm (AAA) is the pathological dilation of the abdominal aorta (frequently infrarenally) caused by the weakening of all three layers of the aorta. Main pathological features of AAA include inflammation, degradation of the extracellular matrix (ECM) and apoptosis of medial smooth muscle cells. We developed a novel therapeutic approach in which a biomaterial patch supported structural integrity and Adipose-Derived Stromal Cells (ADSC) restored tissue homeostasis in particular in the media. ADSC were isolated from male Fischer rats. Recombinant Collagen Protein-based (RCP) patches were developed. Subsequently, the adhesion and function of ADSC were assessed by scanning electron microscopy (SEM) and in vitro with a wound closing assay on rat aortic smooth muscle cells (RASMC), respectively. AAA were induced in male Fischer rats, aged 8-10 weeks via intraluminal administration of elastase and periadventitially administered calcium chloride solution. ADSC-loaded RCP patches or bare patches were applied around the abdominal aorta after AAA induction which was harvested for further investigation after two weeks. SEM analysis showed efficient adhesion and stretching of ADSC on RCP patches in vitro. ADSC conditioned medium (ADSC-CM) derived from cultured ADSC on patches promoted closing of damaged RASMC monolayers in vitro. Two weeks after AAA induction, the aortic diameter was significantly attenuated in both bare and ADSC loaded patches in comparison to sham and aneurysm groups. Labeled ADSC had migrated into the aortic wall two weeks post-implantation, in particular into the media. Aortic walls treated with ADSC-loaded patches contained more elastin (p < 0.05) which were arranged in layers typical for the media. Moreover, the amount of smooth muscle cells (SMC) was higher too (p < 0.05) compared to aneurysm and bare patches controls. Local periadventitial delivery of ADSC using RCP-based patches suppresses progression of AAA, as well as reduces degradation of elastin and apoptosis of medial smooth muscle cells. However, the structural integrity is augmented by patches alone too. Local delivery of ADSC in combination with biomaterial as an external scaffold is attractive to develop as clinical modality for treatment of aneurysms.
REDQUEEN: Fuzzing with Input-to-State Correspondence

—Automated software testing based on fuzzing has experienced a revival in recent years. Especially feedback-driven fuzzing has become well-known for its ability to efﬁciently perform randomized testing with limited input corpora. Despite a lot of progress, two common problems are magic numbers and (nested) checksums. Computationally expensive methods such as taint tracking and symbolic execution are typically used to overcome such roadblocks. Unfortunately, such methods often require access to source code, a rather precise description of the environment (e.g., behavior of library calls or the underlying OS), or the exact semantics of the platform’s instruction set. In this paper, we introduce a lightweight, yet very effective alternative to taint tracking and symbolic execution to facilitate and optimize state-of-the-art feedback fuzzing that easily scales to large binary applications and unknown environments. We observe that during the execution of a given program, parts of the input often end up directly (i.e., nearly unmodiﬁed) in the program state. This input-to-state correspondence can be exploited to create a robust method to overcome common fuzzing roadblocks in a highly effective and efﬁcient manner. Our prototype implementation, called R EDQUEEN , is able to solve magic bytes and (nested) checksum tests automatically for a given binary executable. Additionally, we show that our techniques outperform various state-of-the-art tools on a wide variety of targets across different privilege levels (kernel-space and userland) with no platform-speciﬁc code. R EDQUEEN is the ﬁrst method to ﬁnd more than 100% of the bugs planted in L AVA -M across all targets. Furthermore, we were able to discover 65 new bugs and obtained 16 CVEs in multiple programs and OS kernel drivers. Finally, our evaluation demonstrates that R EDQUEEN is fast, widely applicable and outperforms concurrent approaches by up to three orders of magnitude.
TEXT COMPLEXITY IN READING TEXTS OF INDONESIAN SENIOR HIGH SCHOOL ENGLISH TEXTBOOKS USING COH- METRIX 3.0

This study examined text complexity, mainly related to lexical/sematic and syntactical complexity. Two English textbooks of grade 10 and 12 of Indonesian senior high schools are assessed. Four reading texts in each book respectively selected based on text genre and word length. Coh-Metrix 3.0 was utilised. Descriptive statistics were presented, and t- test was conducted to perceive differences on texts in the two textbooks. Finally, it was found that between grade 10 and grade 12, the complexity on lexical aspects showed no difference, but on syntactical aspects showed that grade 10 was more difficult or complex than grade 12. It is suggested that texts in grade 10 should be revised to meet reading texts based on their levels relating to character of sophistication of language complexity. Keywords: Lexical Complexity, Reading, Syntactical Complexity
Circuit-based method for extracting the resistive leakage current of metal oxide surge arrester

Resistive leakage current based condition assessment of metal oxide surge arrester (MOSA) is one of the most extensively employed technique to monitor its degradation. An extraction method is customarily required to extract the resistive component from the total leakage current. The existing methods to extract the resistive current are complex and less accurate. Therefore, this paper describes a simple and accurate circuit-based method to extract the resistive current using equivalent model and measured leakage current of the arrester. The accuracy of the proposed method is validated through experimental results on ABB’s 120 kV surge arrester, EMTP and QuickField software simulations. The performance of the method is also analyzed and verified experimentally on 72, 180 and 240 kV rated ABB’s surge arresters. The obtained results of resistive leakage current have shown the maximum error of 0.001%. Simple and easier computational steps with higher accuracy are the key benefits of the proposed technique.
Prevalence and molecular studies on Echinococcus equinus isolated from necropsied donkeys

In the present study, forty donkeys of different ages and sexes at Giza Zoo, Egypt were investigated between October 2015 and September 2016 for the presence of hydatidosis disease. Hydatid cysts were detected in the livers of 10% of the examined donkeys and these cysts had a fertility rate 100%. Female donkeys were infected with cysts more than males and all infected donkeys were old aged with no cases of infection were detected in young or adult donkeys. Using molecular tools, the DNA extracted from cysts that had been isolated was subjected to PCR amplification, using synthesized oligonucleotide primers, and these were constructed to target the 299 bp within the (ND2) gene, which is considered to be specific for the Echinococcus equinus genotype. The sequenced PCR products showed homology to E.equinus (G4 or horse strain genotype). These results can be used in future to pursue the epidemiological status of the causative strain of hydatidosis in equines at the study area.
Integrating Mobile Technology and Social Support with Cognitive Behavioral Therapy for Anger in Veterans with PTSD: A Pilot Study

Abstract We conducted a pilot study incorporating mobile technology and social support into cognitive behavioral therapy (CBT) for anger in veterans with posttraumatic stress disorder (PTSD). N = 26 veterans with PTSD were administered standard 12-weekly session CBT for anger. Veterans randomized to an experimental group additionally received an app (“Connectd”) enabling CBT skills use and anger self-assessment while their family/friends received a supporter’s version of the same app providing PTSD resources/psychoeducation. Experimental participants readily used Connectd, found it valuable, and were more likely to practice CBT skills compared to control participants. Findings show feasibility and potential of a novel approach to treating anger in veterans with PTSD.
Simulating x-ray telescopes with McXtrace: a case study of ATHENA’s optics

We use the X-ray ray-tracing package McXtrace to simulate the performance of X-ray telescopes based on Silicon Pore Optics (SPO) technologies. We use as reference the design of the optics of the planned X-ray mission Advanced Telescope for High ENergy Astrophysics (ATHENA) which is designed as a single X-ray telescope populated with stacked SPO substrates forming mirror modules to focus X-ray photons. We show that is possible to simulate in detail the SPO pores and qualify the use of McXtrace for in-depth analysis of in-orbit performance and laboratory X-ray test results.
A SURVEY ON IMPLEMENTATION OF AUTOMATED AND INTEGRATED DATA SOURCES IN KEY WORD BASED WEB INFORMATION RETRIEVAL

Rapid growth in data integration result in automation of Experimental data that can be revised interlinked and analyzed from different perspectives. From the users point of view retrieving relevant information is a challenging task. In this survey, we present innovative techniques for creating integrated views over data sources using keyword search techniques, ranked answers, and user feedback [32] to investigate how to automatically discover when a new data source has content relevant to a user’s view, performing automatic data integration for incoming data sets which results in incorporating innumerous methods to discover related attributes, including propagation algorithms from the machine learning community [2] and existing schema matchers [11]. The user may provide feedback on the suggested new results, helping the system to increase the cost of including a new source that is not relevant. In this survey, we discuss how data sources can be adapted to more relevant information with global schema.
The Behavior of the Brazilian Federal Domestic Debt

This paper analyses the sustainability of the Brazilian federal fiscal policy by examining the responses of the government budget surplus to variations of the debt-GDP ratio. The approach to assess sustainability, originally proposed by Bohn (1998), circumvents the problems present in traditional sustainability tests based on statistical properties of the debt, such as unit roots and cointegration. In particular, the regressions proposed do not require restrictive assumptions about real interest rates, the structure of the government debt or the agents’ behavior towards risk. Using annual data from 1966 to 2000, the results have indicated that the government surplus has not systematically responded to changes in the debt-income level previously observed, indicating that the fiscal policy cannot be considered sustainable during the period analyzed. Moreover, it is shown that the debt-GDP ratio does not exhibit a mean-reverting tendency even when one controls for cyclical variations in income and government expenditures, further indicating a non-sustainable path for the fiscal policy.
Comparison between SVM and KNN classifiers for iris recognition using a new unsupervised neural approach in segmentation

Un systeme biometrique d'identification et d'authentification permet la reconnaissance automatique d'un individu en fonction de certaines caracteristiques ou caracteristiques uniques qu'il possede. La reconnaissance de l'iris est une methode d'identification biometrique qui applique la reconnaissance des formes aux images de l'iris. En raison des motifs epigenetiques uniques de l'iris, la reconnaissance de l'iris est consideree comme l'une des methodes les plus precises dans le domaine de l'identification biometrique. L'algorithme de segmentation propose dans cet article commence par determiner les regions de l'œil a l'aide d'une approche neuronale non supervisee, apres que le contour de l'œil a ete trouve a l'aide du bord de Canny, la transformation de Hough est utilisee pour determiner le centre et le rayon de la pupille et de l'iris. Ensuite, la normalisation permet de transformer la region de l'iris circulaire segmente en une forme rectangulaire de taille fixe en utilisant le modele de feuille de caoutchouc de Daugman. Une transformation en ondelettes discretes (DWT) est appliquee a l'iris normalise pour reduire la taille des modeles d'iris et ameliorer la precision du classificateur. Enfin, la base de donnees URIBIS iris est utilisee pour la verification individuelle de l'utilisateur en utilisant le classificateur KNN ou la machine a vecteur de support (SVM) qui, sur la base de l'analyse du code de l'iris lors de l'extraction des caracteristiques, est discutee.
Risk Measurement Method for Privilege Escalation Attacks on Android Apps Based on Process Algebra

On the Android platform, information leakage can use an application-layer privilege escalation attack composed of multi-app collusion. However, the detection effect of a single app that can construct privilege escalation attacks is not good. Furthermore, the existing software and app measurement methods are not applicable to the measurement of collusion privilege escalation attacks. We propose a method for measuring the risk of a single app by using process algebra to model and determine the attack behavior, and we construct a measurement function based on sensitive data transitions and the feature set of attack behavior. Through the analysis of the privilege escalation attack model, the feature set of attack behavior is obtained. Then, based on the extracted behavior feature set, process algebra is used to model the dangerous behavior of an app. The dangerous behavior of the app is determined by weak equivalence and non-equivalence, and finally the risk of the app is measured based on the measurement function. Three known applications are used to verify the attack, and the risk measurement values are above 0.98. Based on the classification of applications on the market, we select typical apps in each category to build the test set. Benchmark tests and test set experiments show that the risk measurement results are consistent with the actual detection results, verifying the feasibility and effectiveness of this method.
Pathophysiology of Apnea, Hypoxia, and Preoxygenation

Because intubation becomes a long procedure as potential, arterial oxygen (O 2 ) desatu- ration should be taken into account during the intubation. Since oxygen reserves are not always sufficient to meet the duration of intubation, preoxygenation should be routine before anesthetic induction and tracheal intubation. Surveys show that maxi mal preoxygenation increases oxygen reserves in the body and significantly delays arterial hemoglobin desaturation and hypoxia. In cases of respiratory insufficiency oxygenation can be improved by positive end expiratory pressure (PEEP) or pressure support. Effective technique and FeO 2 monitoring can increase the effectiveness of pre - oxygenation and thus increase the safety margin. Preoxygenation failures have to be identified and alternative oxygenation methods must be readily available in order to be applied quickly and easily. Although genetic and environmental factors play a role in diseases such as heart attack, stroke and cancer, which have become the cause of the worst death in the twenty-first century, the underlying problem in the development of these pathological conditions is hypoxia. Better understanding of hypoxic areas in ischemic tissues or growing tumors as well as increased knowledge of hypoxia cellular and molecular responses will allow possible applications in the treatment of major diseases associated with tissue hypoxia.
The Reliability and Validity of the “Activity and Participation” Component in the Brief ICF Core Set for Chronic Obstructive Pulmonary Diseases Based on Rasch Analysis

Purpose To analyze the reliability and validity of the “activity and participation” component of the brief international classification of functioning, disability and health (ICF) core set for chronic obstructive pulmonary disease (COPD) using a Multi-faceted Rasch model. Patients and Methods A total of 103 patients with COPD were selected by two raters to evaluate their ability levels in the four categories of the “activity and participation” component of brief ICF core set for COPD. The Multi-faceted Rasch model was used for data analysis. The analysis software used FACETS (Minifac) 3.67. 0. Results The “activity and participation” of brief ICF core set for COPD had a high internal consistency (separation index of 5.08, reliability of 0.96, P <0.05) and good inter-rater reliability (mean-square fit statistic range was 0.97–1.04, the separation index was 0.00, the reliability was 0.00, P >0.05), the construct validity was good (mean-square fit statistic range was 0.79–1.36), and the consistency of each category measurement was high (the separation index was 1.70, the reliability was 0.74). Conclusion The “activity and participation” of brief ICF core set for COPD has good reliability and validity, which can be used to test the daily activities of patients with COPD.
Orthotopic Heart Transplantation for Congenital Heart Disease with Dextrocardia: A Single-Center Clinic Experience

Background We report a modified transplantation surgical technique for CHD with dextrocardia which is rare and surgically challenging. Methods From January 2015 to May 2018, 5 patients with end-stage CHD with dextrocardia underwent heart transplantation at our institute. They were 10, 29, 13, 15, and 22 years old, respectively; 3 of them had dextroversion, and the other 2 had mirror-image dextrocardia and post-TCPC. The atrial-atrial anastomosis was performed first between the donor's upper-left PVO and the recipient's lower-left PVO. The apex thereby rotated approximately 90° clockwise (to the right). The end-to-end donor and recipient aortas, vena cava, and pulmonary arteries were then anastomosed. Results The cold ischemic time of the donor heart was 284.6 ± 108.3 min, and the CPB time was 190.2 ± 43.8 min. The postoperative X-ray showed the apex on the right. Four patients were successfully discharged, and the follow-up times were 47 months, 36 months, 12 months, and 12 months. One post-TCPC patient died because of pneumonia and hypoxia at 59 postoperative days. Conclusions Heart transplantation with dextrocardial CHD is rare. A 90° rotation at the left atrial level, aortic end-to-end anastomosis, and vena cava reconstruction by vascular prosthesis or systemic atrial cuff is a simple and effective surgical strategy.
Person-Centered Medical and Healthcare Studies

Person-Centered Studies (PCS) are a new approach for the design and analysis of medical and healthcare research with human participants. The PCS approach is based on the idea that data can be privately maintained by participants and never revealed to researchers, while still enabling medical and healthcare statistical models to be fit and research hypotheses to be tested. PCS rests on the assumption that data should belong to, be controlled by, and remain in the possession of participants in studies. Since data have value, individuals can accumulate personal wealth by participating in medical and healthcare science. The key observation behind the PCS approach is that medical and healthcare statistical models can be fit by sending an objective function and vector of parameters to each participants’ smartphone, where the likelihood of that participants’ data is calculated locally. Only the likelihood value is returned to the central optimizer. The optimizer aggregates likelihood values from all participants and chooses a new vector of parameters until the model converges. This transformative workflow relies on two modeling components: (1) a medical-data dropbox (MDB) for patients to maintain possession of their individual data and not reveal it and (2) a method for scattered likelihood estimation (ScaLE) so that each participant’s smartphone calculates the likelihood of their own data and passes only the likelihood value back to a centralized optimizer. The PCS approach solves or simplifies many current problems that plague medical and healthcare research. A PCS study provides: (1) significantly greater privacy for participants, (2) lower cost for the researcher and funding institute, (3) a larger base of participants and (4) faster determination of results.
Explorer Unifying derived deformation theories

We develop a framework for derived deformation theory, valid in all characteristics. This gives a model category reconciling local and global approaches to derived moduli theory. In characteristic 0, we use this to show that the homotopy categories of DGLAs and SHLAs (L∞-algebras) considered by Kontsevich, Hinich and Manetti are equivalent, and are compatible with the derived stacks of Toën–Vezzosi and Lurie. Another application is that the cohomology groups associated to any classical deformation problem (in any characteristic) admit the same operations as André-Quillen cohomology.
Object Partitioning for Support‐Free 3D‐Printing

Fused deposition modeling based 3D‐printing is becoming increasingly popular due to it's low‐cost and simple operation and maintenance. While it produces rugged prints made from a wide range of materials, it suffers from an inherent printing limitation where it cannot produce overhanging surfaces of non‐trivial size. This limitation can be handled by constructing temporary support‐structures, however this solution involves additional material costs, longer print time, and often a fair amount of labor in removing it.
Challenging Conditions to Observe Shear Banding In Highly Entangled Polybutadiene Solutions

There is general agreement that the observation of shear banding in well entangled polymer solutions and melts has strong implications for existing models of chain entanglement during large deformation. Understandably, observations of this phenomenon in numerous past measurements have been viewed by some as controversial because of the challenge that these observations raise for the current paradigm of nonlinear polymer rheology. We welcome independent measurements aimed at verifying or refuting the existing conclusions based on carefully prepared, well-characterized and strongly entangled polymer solutions. It is clear that measurements were based on solutions that were either only marginally entangled or polydisperse, which understandably did not exhibit shear banding under the weak shearing conditions that they chose stated “we agree that the sample MW is different from that specified by the supplier and has the Z=22 entanglement number”. But rather than making additional measurements on well entangled relatively monodisperse PB solutions following previous protocols, they continue to speculate that their former measurements were sufficient to demonstrate that shear banding does not exist in highly entangled polymer solutions under all conditions. We find position to be unconvincing and discuss in detail why we reject their conclusions, including a description of why the previous solutions researchers had the correct characterization.