Miracle-dz/UniFAR-FTUs huggingface dataset:
Programa Bolsa Família e o acompanhamento das condicionalidades na área de saúde

This article consolidates results from a research carried out in ten Brazilian cities. The research analyzed the dynamic of the follow-up of the conditions related to the health field of the Family Allowance Program. The central idea was to approach the variables that could affect the City Hall performance in managing the program, such as: population size, magnitude of the population to be attended, the structure and both the technical and managing capacity of the each one of the City Halls analyzed, the offer and organization of the Primary Health Care and sector arrangements.
Automatic Article Commenting: the Task and Dataset

Comments of online articles provide extended views and improve user engagement. Automatically making comments thus become a valuable functionality for online forums, intelligent chatbots, etc. This paper proposes the new task of automatic article commenting, and introduces a large-scale Chinese dataset with millions of real comments and a human-annotated subset characterizing the comments’ varying quality. Incorporating the human bias of comment quality, we further develop automatic metrics that generalize a broad set of popular reference-based metrics and exhibit greatly improved correlations with human evaluations.
Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE

Symbolic execution has shown its ability to find security-relevant flaws in software, but faces significant scalability challenges. There is a commonly held belief that manual intervention by an expert can help alleviate these limiting factors. However, there has been little formal investigation of this idea. In this paper, we present our experiences applying the KLEE symbolic execution engine to a new bug corpus, and of using manual intervention to alleviate the issues encountered. Our contributions are (1) Hemiptera, a novel corpus of over 130 bugs in real world software, (2) a comprehensive evaluation of the KLEE symbolic execution engine on Hemiptera with a categorisation of frequently occurring software patterns that are problematic for symbolic execution, and (3) an evaluation of manual mitigations aimed at addressing the underlying issues of symbolic execution. Our experience shows that manual intervention can increase both code coverage and bug detection in many situations. It is not a silver bullet however, and we discuss its limitations and the challenges encountered.
Luteal phase support with GnRH-a improves implantation and pregnancy rates in IVF cycles with endometrium of ≤7 mm on day of egg retrieval

Background Objective: The objective of this study was to examine the use of gonadotrophin-releasing hormone agonist (GnRH-a) for luteal phase in a group of patients with thin endometrium (≤7 mm) after IVF treatment. Methods: One-hundred-and-twenty women were eligible for this study. Patients were randomly allocated into two groups: group A (n = 60) received triptorelin 0.1 mg on the day of ovum pickup (OPU), on the day of embryo transfer (ET) and three days thereafter, and group B (n = 60) received placebo. The primary outcomes were implantation and pregnancy rates. Results: Although there was no significant difference in the number of good quality embryos transferred in both groups, the implantation and pregnancy rate were significantly higher in the GnRH-a – treated group compared with placebo controls. Furthermore, Estradiol (E2), progesterone (P) levels and endometrial thickness were significantly more elevated in patients who received GnRH-a for luteal phase support. Conclusions: The administration of GnRH-a at the time of OPU significantly improves the implantation and pregnancy rates in patients with thin endometrium (≤7 mm).
Density and electron density of aqueous cryoprotectant solutions at cryogenic temperatures for optimized cryoprotection and diffraction contrast

The densities of aqueous solutions of eight common cryoprotectants were measured at T = 77 K and were used to determine electron densities at T = 77 K and thermal contractions on cooling from room temperature. The results provide a quantitative basis for choosing cryoprotectants to optimize outcomes in cryocrystallography, cryo-SAXS, cryogenic temperature X-ray imaging and vitrification-based biological cryopreservation.
Talk to My Neighbors Transport : Decentralized Data Transfer and Scheduling Among Accelerators

Publications CONFERENCES x86-64 Instruction Usage among C/C++ Applications AMOGH AKSHINTALA, BHUSHAN P. JAIN, CHIA-CHE TSAI, MICHAEL FERDMAN, DONALD E. PORTER SYSTOR ’19 Optimizing Every Operation in a Write-optimized File System Awarded Best Paper JUN YUAN, YANG ZHAN, WILLIAM JANNEN, PRASHANT PANDEY, AMOGH AKSHINTALA, KANCHAN CHANDNANI, POOJA DEO, ZARDOSHT KASHEFF, LEIF WALSH, MICHAEL BENDER, MARTIN FARACH-COLTON, ROB JOHNSON, BRADLEY C. KUSZMAUL, AND DONALD E. PORTER. FAST ’16
Social contact patterns of infants in deciding vaccination strategy: a prospective, cross-sectional, single-centre study

Abstract Social contact between individuals is believed to be a fundamental cause in the transmission of many respiratory tract infections. Because they have not yet been fully vaccinated, infants are at high risk for contracting whooping cough, influenza and their serious complications. Therefore, determining infant social contact patterns is an important step in protecting them from respiratory tract infection. This study included 1200 healthy infants (<12 months of age). Social contact diaries were used to estimate the frequency and nature of the infants’ social contacts. This survey also gathered information regarding the infants’ respiratory symptoms and their frequency of attendance at crowded places over a period of 1 week. The diary return rate was 83.8% (N = 1006), and there was a total of 4706 contacts reported for these infants. The median daily contact number per capita was 4 (range 1–18). The median number of contacts with adolescents was 0 (range 0–7). Of the infants, 50.3% had contact with non-household individuals. The mothers had the longest contacts with their babies. Contacts with school children, frequency of attendance at crowded places and age were determined to be significant effective factors for reporting respiratory symptoms. Results suggest that school-age siblings and the mothers should be primarily vaccinated, and parents should keep their babies away from crowded places for protecting their infants.
Reflective Teacher Journal for Informed Approaches to Peer-to-Peer Mediation and Feedback in Group Discussion

This project considers how a reflective journal afforded my pedagogical understanding of and approaches to a second-language English discussion class, guided by Vygotskian socio-cultural theory, mediation, and peer-to-peer assistive feedback. Motivated by the reflective journal I identified feedback types, pursued classroom adaptions, and observed changes in my journalkeeping strategies. Adaptions to classroom methodology enhanced peer-to-peer feedback strategy for more effective assistance and mediation in group-based discussion.
Cognition and emotion : reviews of current research and theories

De Houwer, Hermans, Introduction. Moors, Theories of Emotion Causation. De Houwer, Hermans, Do Feelings Have a Mind of their Own? Brosch, Pourtois, Sander, The Perception and Categorization of Emotional Stimuli. Mauss, Robinson, Measures of Emotion. Koole, The Psychology of Emotion Regulation: An Integrative Review. Levine, Edelstein, Emotion and Memory Narrowing: A Review and Goal Relevance Approach. Yiend, The Effects of Emotion on Attention: A Review of Attentional Processing of Emotional Information. Richards, Blanchette, The Influence of Affect on Higher Level Cognition: A Review of Research on Interpretation, Judgment, Decision Making and Reasoning.
UVM Based Verification Of 3GPP Chip Rate Processing Unit

Exchange of information in the present world has witnessed a significant progress owing to modern telecommunication technologies, advanced gadgets and powerful computers. Wireless networks are the most popular choice for the obvious reason of connecting people on the move. Cellular technology provides a wide area connectivity and potential of generating higher revenues to the service provider. Universal Mobile Telecommunication System (UMTS) is a 3rd Generation (3G) technology that offers a high speed data access besides conventional voice service. 3rd Generation Partnership Project (3GPP) committee defines the standards for UMTS technology. UMTS uses Wideband Code Division Multiple Access (WCDMA) for radio transmission. A cellular network infrastructure houses an access point termed as base station to enable radio connectivity to the mobile devices. The base station hardware requires validation to determine its performance and limitation. Specialized hardware is used by Ericsson for testing baseband processing of base station which can emulate multiple mobile terminals. This hardware resembles a Real-time User Equipment (RUE) which is capable of simulating different scenarios of wireless transmission and modes of mobile devices. This test infrastructure encapsulates Digital Signal Processors (DSPs), Field- Programmable Gate Arrays (FPGAs) and other components. One FPGA is used for generating the data needed for transmission to the base station. FPGA performs the physical layer chip rate processing where all the information carrying data and control signals are represented in radio frames. The purpose of this thesis is formal verification of this FPGA based on Hardware Description Language (HDL) simulator. Specman is a Cadence tool used to create test benches for verifying FPGA and executes the test cases along with a HDL simulator. It provides a standard for defining, compiling and executing a test environment developed in e language. This project uses Specman based verification of the uplink chip rate processing of the FPGA which includes many unit level signal processing blocks. The test bench autonomously generates the necessary inputs, predicts the output using a reference model, monitors the outputs and compares it with predicted output. The sequence of generation of inputs is designed to simulate specific cases defined in 3GPP specification. The device timing, control and configuration information needed is precisely included in test environment. The test results are summarized with coverage information on different combination of inputs tested or occurrence of certain events.
A synthetic polymer system with repeatable chemical recyclability

Recycle, recycle, recycle Some polymers, such as polyethylene terephthalate in soft drink bottles, can be depolymerized back to the starting monomers. This makes it possible to repolymerize true virgin material for repeated use. Zhu et al. developed a polymer based on a five-membered ring cyclic monomer derived from γ-butyrolactone that could be produced at ambient temperature and mild conditions (see the Perspective by Sardon and Dove). The high-molecular-weight polymer exhibited high crystallinity and thermal stability. However, at hot enough conditions, or at lower temperatures in the presence of a zinc chloride catalyst, the polymer could be returned to its starting monomers and thus recycled into new material. Science, this issue p. 398; see also p. 380 A highly crystalline, stable polymer can be repeatedly broken down into monomers and recycled. The development of chemically recyclable polymers offers a solution to the end-of-use issue of polymeric materials and provides a closed-loop approach toward a circular materials economy. However, polymers that can be easily and selectively depolymerized back to monomers typically require low-temperature polymerization methods and also lack physical properties and mechanical strengths required for practical uses. We introduce a polymer system based on γ-butyrolactone (GBL) with a trans-ring fusion at the α and β positions. Such trans-ring fusion renders the commonly considered as nonpolymerizable GBL ring readily polymerizable at room temperature under solvent-free conditions to yield a high–molecular weight polymer. The polymer has enhanced thermostability and can be repeatedly and quantitatively recycled back to its monomer by thermolysis or chemolysis. Mixing of the two enantiomers of the polymer generates a highly crystalline supramolecular stereocomplex.
Combining MucilAir™ and Vitrocell® Powder Chamber for the In Vitro Evaluation of Nasal Ointments in the Context of Aerosolized Pollen

Hay fever is notoriously triggered when nasal mucosa is exposed to allergenic pollen. One possibility to overcome this pollen exposure may be the application of an ointment with physical protective effects. In this context, we have investigated Bepanthen® Eye and Nose Ointment and the ointment basis petrolatum as reference while using contemporary in vitro techniques. Pollen from false ragweed (Iva xanthiifolia) was used as an allergy-causing model deposited as aerosol using the Vitrocell® Powder Chamber (VPC) on Transwell® inserts, while being coated with either Bepanthen® Eye and Nose Ointment and petrolatum. No pollen penetration into ointments was observed upon confocal scanning laser microscopy during an incubation period of 2 h at 37 °C. The cellular response was further investigated by integrating the MucilAir™ cell system in the VPC and by applying pollen to Bepanthen® Eye and Nose Ointment covered cell cultures. For comparison, MucilAir™ were stimulated by lipopolysaccharides (LPS). No increased cytokine release of IL-6, TNF-α, or IL-8 was found after 4 h of pollen exposure, which demonstrates the safety of such ointments. Since nasal ointments act as a physical barrier against pollen, such preparations might support the prevention and management of hay fever.
Vitamin B12 deficiency and clinical laboratory: Lessons revisited and clarified in seven questions

The objective of this review article is to address the most frequently asked questions that pathologists and primary care physicians might face when dealing with a patient with suspicion of vitamin B12 deficiency. More specifically, the article mainly discusses the importance and prevalence of the deficit, how to recognize it, and the important role of a prompt diagnosis confirmation based on laboratory biomarkers for efficient replacement therapy.
Frequency Features Based Fuzzy System for Rotating Machinery Vibration Analysis Using Smartphones Low-Cost MEMS Sensors

Smart devices have become an important entity for many applications in daily life activities. These devices have witnessed a rapid improvement in its technology to fulfill the increasingly diverse usage demands. In the meanwhile, rotating machinery vibration analysis based on low-cost sensors has gained a considerable attraction over the last few years. For a long time, the vibration analysis of machines has been accepted as an effective solution to detect and prevent failures in complex systems to avoid the sudden malfunction. The objective of this work is to use MEMS accelerometer measurements to monitor the different level of vibration of a machine. This work presents a new technique for rotating machinery vibration analysis. It uses Fast Fourier Transformation as a feature extraction algorithm and Fuzzy Logic System (FLS) as the classifier algorithm. A smartphone accelerometer is used to collect the data from the vibrating machine. The performance of the proposed technique is tested using data from different vibration resources at a different speed of operations. The results are discussed to illustrate the various vibration levels.
Introducing Potential Key Proteins and Pathways in Human Laryngeal Cancer: A System Biology Approach

The most common malignant neoplasm of the head and neck region is laryngeal cancer which presents a significant international health problem. The present study aims to screen potential proteins related to laryngeal cancer by network analysis to further understanding disease pathogenesis and biomarker discovery. Differentially expressed proteins were extracted from literatures of laryngeal cancer that compare proteome profiling of patient›s tissue with healthy controls. The PPI network analyzed for up and down regulated proteins with Cytoscape Version 3.4. After PPI construction, topological properties of the two networks have been analyzed. Besides, by using MCODE. the Gene Ontology (GO) analysis, the related modules and pathways were examined. Our study screened 275 differentially changed proteins, including 136 up- and 139 down-regulated proteins. For each network, it has been considered 20 key proteins as hub and 20 as bottleneck. A number of 26 hub-bottleneck nodes is introduced for the two networks. A total of 11 modules including 6 downregulated and 5 upregulated network modules were obtained. The most significant GO function in the significant upregulated module was the RNA processing, and the most significant one in the downregulated module with highest score was the respiratory electron transport chain. Among 275 investigated proteins, 12 crucial proteins are determined that 4 of them can be introduce as a possible biomarker panel including YWHAZ, PPP2R1A, HSP90AA1, and CALM3 for human laryngeal cancer.
Detection of sclerotic bone metastases in the spine using watershed algorithm and graph cut

The early detection of bone metastases is important for determining the prognosis and treatment of a patient. We developed a CAD system which detects sclerotic bone metastases in the spine on CT images. After the spine is segmented from the image, a watershed algorithm detects lesion candidates. The over-segmentation problem of the watershed algorithm is addressed by the novel incorporation of a graph-cuts driven merger. 30 quantitative features for each detection are computed to train a support vector machine (SVM) classifier. The classifier was trained on 12 clinical cases and tested on 10 independent clinical cases. Ground truth lesions were manually segmented by an expert. The system prior to classification detected 87% (72/83) of the manually segmented lesions with volume greater than 300 mm3. On the independent test set, the sensitivity was 71.2% (95% confidence interval (63.1%, 77.3%)) with 8.8 false positives per case.
The Wnt Signaling Pathway and Related Therapeutic Drugs in Autism Spectrum Disorder

Autism spectrum disorder (ASD) is a series of neurodevelopmental disorder with a large genetic component. However, the pathogenic genes and molecular mechanisms of ASD have not been clearly defined. Recent technological advancements, such as next-generation sequencing, have led to the identification of certain loci that is responsible for the pathophysiology of ASD. Three functional pathways, such as chromatin remodeling, Wnt signaling and mitochondrial dysfunction are potentially involved in ASD. In this review, we will focus on recent studies of the involvement of Wnt signaling pathway components in ASD pathophysiology and related drugs used in ASD treatment.
Automatic detection of coronary stent struts in intravascular OCT imaging

Optical coherence tomography (OCT) is a light-based, high resolution imaging technique to guide stent deployment procedure for stenosis. OCT can accurately differentiate the most superficial layers of the vessel wall as well as stent struts and the vascular tissue surrounding them. In this paper, we automatically detect the struts of coronary stents present in OCT sequences. We propose a novel method to detect the strut shadow zone and accurately segment and reconstruct the strut in 3D. The estimation of the position of the strut shadow zone is the key requirement which enables the strut segmentation. After identification of the shadow zone we use probability map to estimate stent strut positions. This method can be applied to cross-sectional OCT images to detect the struts. Validation is performed using simulated data as well as in four in-vivo OCT sequences and the accuracy of strut detection is over 90%. The comparison against manual expert segmentation demonstrates that the proposed strut identification is robust and accurate.
How a deliberative approach includes women in the decisions of screening mammography: a citizens' jury feasibility study in Andalusia, Spain

Objectives To verify whether a citizens' jury study is feasible to the Andalusian population and to know if women, when better informed, are able to answer the research question of whether the Andalusian Public Health System must continue offering screening mammography to women aged 50–69. The reasons for the pertinent decision and recommendations to the political authorities will be stated. Design Qualitative research study with the methodology of citizens' jury. Setting Breast cancer screening programme in Andalusia (Spain). Participants Thirteen women aged 50–69 with secondary school or higher education accepted to participate as a jury. Two epidemiologists were the expert witnesses. The main researcher was the neutral moderator. Interventions Jury met on Monday, 15 February 2016. The moderator indicated to the jury that it had to assess the screening programme’s key benefits and main harm. On Tuesday, 16 February, the expert witnesses positioned for and against the programme. On Thursday, 18 February, the jury deliberated, reached final conclusions, submitted its vote and stated its recommendations to politicians. The deliberation session was transcribed and analysed with the support of ATLAS.ti. 5.2 software. Primary and secondary outcome measures Feasibility in the Andalusian population, women’s vote and opinion, reasons for votes and recommendations to political authorities. Results Eleven participants voted yes and two voted no. There are three reasons to vote ‘yes’: health, the test nature, and individual freedom. Some women invoke the lack of efficacy and the cost to justify their negative vote, at least in universal terms. On completion, they made suggestions to be submitted to the pertinent authorities for the improvement of information, psychology services and research. Conclusions The deliberative strategy is feasible and causes a favourable positioning regarding screening mammography, although information changes the opinion of some women, who desire informed decision making and to keep or increase medicalisation in their lives.
The Racial Discipline Gap

Exclusionary discipline and the implementation of zero-tolerance policies are disproportionately used against African American students and other marginalized groups. This case involves an urban school district with historically high rates of suspension, a low-performing middle school, and a new principal seeking to create a more socially just school. The case draws upon critical race theory and social justice leadership to explore issues related to urban education, discipline policy, racism, deficit thinking, and community engagement. The case raises important questions related to educational policy and principal preparation.