Miracle-dz/UniFAR-FTUs huggingface dataset:
Analysis and Transformation of Configurable Systems

Static analysis tools and transformation engines for source code belong to the standard equipment of a software developer. Their use simplifies a developer’s everyday work of maintaining and evolving software systems significantly and, hence, accounts for much of a developer’s programming efficiency and programming productivity. This is also beneficial from a financial point of view, as programming errors are early detected and avoided in the the development process, thus the use of static analysis tools reduces the overall software-development costs considerably. In practice, software systems are often developed as configurable systems to account for different requirements of application scenarios and use cases. To implement configurable systems, developers often use compile-time implementation techniques, such as preprocessors, by using #ifdef directives. Configuration options control the inclusion and exclusion of #ifdef-annotated source code and their selection/deselection serve as an input for generating tailor-made system variants on demand. Existing configurable systems, such as the LINUX kernel, often provide thousands of configuration options, forming a huge configuration space with billions of system variants. Unfortunately, existing tool support cannot handle the myriads of system variants that can typically be derived from a configurable system. Analysis and transformation tools are not prepared for variability in source code, and, hence, they may process it incorrectly with the result of an incomplete and often broken tool support. We challenge the way configurable systems are analyzed and transformed by introducing variability-aware static analysis tools and a variability-aware transformation engine for configurable systems’ development. The main idea of such tool support is to exploit commonalities between system variants, reducing the effort of analyzing and transforming a configurable system. In particular, we develop novel analysis approaches for analyzing the myriads of system variants and compare them to state-of-the-art analysis approaches (namely sampling). The comparison shows that variability-aware analysis is complete (with respect to covering the whole configuration space), efficient (it outperforms some of the sampling heuristics), and scales even to large software systems. We demonstrate that variability-aware analysis is even practical when using it with non-trivial case studies, such as the LINUX kernel. On top of variability-aware analysis, we develop a transformation engine for C, which respects variability induced by the preprocessor. The engine provides three common refactorings (rename identifier, extract function, and inline function) and overcomes shortcomings (completeness, use of heuristics, and scalability issues) of existing engines, while still being semantics-preserving with respect to all variants and being fast, providing an instantaneous user experience. To validate semantics preservation, we extend a standard testing approach for
Mutations in Severe, Type III von Willebrand’s Disease in the Dutch Population: Candidate Missense and Nonsense Mutations Associated with Reduced Levels of von Willebrand Factor Messenger RNA

Summary The von Willebrand factor (vWF) genes of nine unrelated, severe, type III von Willebrand’s disease (vWD) patients (six of Dutch origin) and four unrelated Dutch type I vWD patients were screened for mutations in exons that contain CGA codons (Arg), which are liable to mutation to TGA stop codons. The nine exons of the vWF gene (3, 8, 9, 10, 28, 31, 32, 43 and 45) that contain all the CGA codons (11 in total) of the vWF cDNA were amplified by the polymerase chain reaction and screened for mutations by single-strand conformation polymorphism analysis, restriction enzyme – and/or nucleotide sequence analysis. Three of the severe vWD patients were found to be heterozygous for a nonsense mutation: CGA Arg 2535 → TGA Stop. Three other severe vWD patients were homozygous for a single nucleotide substitution, AAC Asn 2546 → TAC Tyr. The transcription of these mutated alleles was tested by cDNA dependent amplification of platelet RNA. The level of transcription product was strongly reduced for either mutant allele.
Childhood Abuse and Problematic Alcohol Use in College Females: The Role of Self-compassion

A history of childhood abuse has been consistently linked to heightened risk for subsequent difficulties across the lifespan, including problematic alcohol use and adolescent sexual assault (ASA). Researchers have begun to explore the added role of a lack of self-compassion in the pathway from childhood abuse to later alcohol-related problems. The present study sought to further examine these relationships in a sample at risk for problematic alcohol consumption, undergraduate females (N = 667). It was hypothesized that a history of three forms of childhood abuse (i.e., sexual, emotional, and physical) would directly predict subsequent alcohol problems, as well as indirectly via a history of ASA and low levels of self-compassion. Using path analysis, we found that a history of childhood sexual abuse (B = .24, z = 2.17, p < .05) and childhood physical abuse (B = .16, z = 3.50, p < .05), directly predicted later alcohol problems, whereas a history of childhood emotional abuse (CEA) was indirectly related to alcohol problems via low levels of self-compassion (B = .03, z = 2.18, p < .05). Findings support the emerging literature on the impact of self-compassion in relation to trauma exposure, and suggest that compassion-based skills training may be a worthwhile treatment target for individuals with a history of CEA and comorbid substance use.
Towards a methodologhy to extract forensics information from the smartphone sensors: Finding evidence

Currently smartphones have been acquired by a big segment of the population, their capabilities have been increased. Nowadays, it can be found different functionalities and sensors included in these artifacts. Therefore, a lot of studies can be extracted from users which have one of these devices. In this paper we present a new methodology that uses the information obtained from the sensors of smartphones in order to use the generated information as digital evidence. The methodology developed allows the gathering of information by using in conjunction with the accelerometer, gyroscope, GPS, step counter, and the date and time stamp. These data can be used for the detection of motor activity and unusual movements. The study shows that the proposed methodology is a viable option to be used as digital evidence in criminal cases.
Temperature effects on sex determination and ontogenetic gene expression of the aromatases cyp19a and cyp19b, and the estrogen receptors esr1 and esr2 in atlantic halibut (Hippoglossus hippoglossus)

The aromatase (CYP19) and estrogen receptor (ESR) play important roles in the molecular mechanism of sex determination and differentiation of lower vertebrates. Several studies have proven these mechanisms to be temperature sensitive, which can influence the direction of phenotypic gender development. A temperature study was conducted to examine the effect of temperature on the sex differentiation in farmed Atlantic halibut. Sexually undifferentiated larvae were exposed to 7°C, 10°C, or 13°C during gonadal differentiation. Temperature effects on the transcription rate of the aromatase genes cyp19a (ovary type) and cyp19b (brain type) and the ESR genes esr1 and esr2 were examined by quantitative real‐time PCR. With increasing temperatures, both cyp19a mRNA levels and the female incidence showed a decreasing trend, thus strongly indicating a relation between the expression of cyp19a and morphological ovary differentiation. In contrast to cyp19a, the levels of cyp19b, esr1, and esr2 mRNA strongly increased in all temperature groups throughout the study period, and did not show obvious temperature‐related expression patterns. The present data provide evidence that posthatching temperature exposure significantly affects the expression of cyp19a mRNA during the developmental period and that high temperature possibly influences genetic sex determination in Atlantic halibut. Though, the female incidence never exceeded 50%, suggesting that only the homogametic (XX) female is thermolabile. So whereas temperature treatment is not likely suitable for direct feminization in halibut, the possibility for high‐temperature production of XX neomales for broodstock to obtain all‐female offspring by crossing with XX females is suggested. Mol. Reprod. Dev. 73: 1481–1490, 2006. © 2006 Wiley‐Liss, Inc.
Engaging the Voice of Patients Affected by Gender-Based Violence: Informing Practice and Policy

ABSTRACT Introduction: Evidence regarding the benefits, opportunities, and risks associated with providing health care to patients experiencing gender-based violence (GBV) and, moreover, their satisfaction with health care services is sparse. Method: Using a patient- and trauma-informed relationship-based framework, survivors of GBV who were referred for follow-up care were asked to participate in a quality improvement (QI) initiative in an effort to understand their perspectives of receiving healthcare services. Patients were asked to answer three open-ended questions in regard to their healthcare experience. Individuals who were eligible for evidence collection after sexual assault (<5 days) were asked two additional questions. Results: Of the 353 women and six men (359) referred to the C.A. R.E. (Coordinated Approach to Recovery and Empowerment) Clinic, 327 patients were contacted. Of the participants, 24% (86) had a mental health diagnosis; 41% (145) reported their incident to the police; 8% (28) had comorbidities of substance abuse, mental health, and/or homelessness; and 33% (118) of the incidents involved alcohol or drugs. Most of the patients stated that they were well cared for and felt safe during their visit. However, many reported “long waits,” “disjointed,” “chaotic,” “too many” providers, “conflicting” and “miss-information,” and “confusion” about what to do after their acute care visit. Over half (59%) did not report incident to the police. Some reported regrets with reporting to the police (16%) and regrets in having evidence collection (15%). Of the patients who did not have evidence collected (47), none expressed regret over choosing not to have evidence collected. Five patients with mental health problems were hospitalized within 5 days of their emergency department visit for suicidal thoughts. Conclusions: A number of opportunities to improve the healthcare response were identified. Patients affected by GBV require an improved coordinated and trauma-informed approach. Explicit consent related to evidence collection is needed. Not all patients who have been sexually assaulted should have evidence collected. More extensive research and program evaluation including outcomes research are warranted.
Primary Bone Marrow Mesenchymal Stromal Cells Rescue the Axonal Phenotype of Twitcher Mice

Krabbe's disease (KD) is a demyelinating disorder caused by the deficiency of lysosomal galactocerebrosi-dase (GALC), affecting both the central (CNS) and the peripheral nervous system (PNS). A current therapy, hematopoietic stem cell transplantation (HSCT), is ineffective at correcting the PNS pathology. We have previously shown that systemic delivery of immortalized bone marrow-derived murine mesenchymal stromal cells (BM-MSCs) diminishes the neuropathology of transplanted Twitcher mice, a murine model of KD. In this study, to move one step closer to clinical application, the effectiveness of a systematic delivery of primary BM-MSCs to promote recovery of the Twitcher PNS was assessed. Primary BM-MSCsgrafted to the Twitcher sciatic nerve led to increased GALC activity that was not correlated to decreased psychosine (the toxic GALC substrate) accumulation. Nevertheless, BM-MSC transplantation rescued the axonal phenotype of Twitcher mice in the sciatic nerve, with an increased density of both myelinated and unmyelinated axons in transplanted animals. Whereas no increase in myelination was observed, upon transplantation an increased proliferation of Schwann cell precursors occurred. Supporting these findings, in vitro, BM-MSCs promoted neurite outgrowth of Twitcher sensory neurons and proliferation of Twitcher Schwann cells. Moreover, BM-MSCs expressed nerve growth factor (NGF) and brain-derived neurotrophic factor (BDNF) and promoted increased BDNF synthesis by neighboring Schwann cells. Besides their action in neurons and glia, BM-MSCs led to macrophage activation in Twitcher sciatic nerves. In summary, primary BM-MSCs diminish the neuropathology of Twitcher sciatic nerves by coordinately affecting neurons, glia, and macrophages.
Simulation of multicomponent fluids in complex three-dimensional geometries by the lattice Boltzmann method.

We describe an implementation of the recently proposed lattice Boltzmann based model of Shan and Chen [Phys. Rev. E 47, 1815 (1993); 49, 2941 (1994)] to simulate multicomponent flow in complex three-dimensional geometries such as porous media. The above method allows for the direct incorporation of fluid-fluid and fluid-solid interactions as well as an applied external force. As a test of this method, we obtained Poiseuille flow for the case of a single fluid driven by a constant body force and obtained results consistent with Laplace's law for the case of two immiscible fluids. The displacement of one fluid by another in a porous medium was then modeled. The relative permeability for different wetting fluid saturations of a microtomography-generated image of sandstone was calculated and compared favorably with experiment. In addition, we show that a first-order phase transition, in three dimensions, may be obtained by this lattice Boltzman method, demonstrating the potential for modeling phase transitions and multiphase flow in porous media. \textcopyright{} 1996 The American Physical Society.
Novas metodologias para vigilância epidemiológica: uso do Sistema de Informações Hospitalares - SIH/SUS

Apresentacao A vigilância epidemiologica das doencas de notificacao compulsoria tem como principal fonte de informacao os servicos de saude, sobretudo ambulatorial, atraves do preenchimento das fichas de notificacao e investigacao do Sistema de Informacao de Agravos de Notificacao SINAN. Os estabelecimentos de saude hospitalares, na sua maioria, em funcao de sua complexidade e outros determinantes, notificam pouco suas internacoes, atraves do SINAN, mesmo com relacao a doencas de notificacao compulsoria. Embora sem a implantacao desse sistema de informacao, todos os hospitais conveniados com o Sistema Unico de Saude, dispoem do Sistema de Informacoes Hospitalares SIH, possibilitando-lhes atuar como uma fonte de informacao complementar para subsidiar as acoes de vigilância epidemiologica. Na tentativa de incrementar acoes de vigilância epidemiologica, o Centro Nacional de Epidemiologia CENEPI vem estimulando estudos de novas metodologias. O uso do SIH para subsidiar acoes de vigilância epidemiologica tem se comportado como uma importante tecnologia, principalmente pela sua agilidade e facil acesso. Este manual tem como objetivo instrumentalizar os servicos de saude para a exploracao do SIH no enfoque da vigilância epidemiologica, iniciando com uma discussao mais teorica sobre aspectos conceituais da informacao e sua interface com a epidemiologia. Em seguida, aborda o Sistema de Informacoes Hospitalares quanto a descricao, objetivos, instrumentos, informatizacao, fluxo, limites e possibilidades. Visando oferecer subsidios para exploracao das bases de dados do SIH, realiza-se uma discussao sobre o processo de investigacao dos problemas de saude, a construcao de indicadores e uma introducao ao banco de dados, sua descricao e seu acesso. Por fim, este manual serve de apoio para iniciar o processo de exploracao dos arquivos gerados pelo SIH, trabalhando passo a passo para a obtencao de informacoes epidemiologicas das internacoes hospitalares por doencas de notificacao compulsoria.
Comparison of Triphasic Waves and Epileptic Discharges in One Patient With Genetic Epilepsy

Summary: Genetic epilepsies with generalized spike-wave complexes (GSWCs) and encephalopathy triphasic waves (TWs) may resemble each other and have three phases per complex. Electroencephalographic (EEG) interpretation is subjective, and EEGers have noted “TWs” in cases labeled nonconvulsive status epilepticus (NCSE). Direct comparison of both wave forms under the same conditions is rarely possible. In a single patient with generalized spike waves who developed hepatic TWs, morphologic characteristics of both were compared, and it was found that GSWCs have higher frequency first, second, and third phases; steeper phase 2 slope; and briefer after-going slow waves maximal at F3 to F4. Total complex duration was approximately 0.12 seconds. The TWs had dominant high-voltage phases 2 and 3 located more posteriorly, in the frontocentral region, lasting an average of approximately 0.32 seconds. These morphologic distinctions may help differentiate TWs from GSWCs.
Genetic and epigenetic divergence between disturbed and undisturbed subpopulations of a Mediterranean shrub: a 20‐year field experiment

Abstract Little is known on the potential of ecological disturbance to cause genetic and epigenetic changes in plant populations. We take advantage of a long‐term field experiment initiated in 1986 to study the demography of the shrub Lavandula latifolia, and compare genetic and epigenetic characteristics of plants in two adjacent subplots, one experimentally disturbed and one left undisturbed, 20 years after disturbance. Experimental setup was comparable to an unreplicated ‘Before‐After‐Control‐Impact’ (BACI) design where a single pair of perturbed and control areas were compared. When sampled in 2005, plants in the two subplots had roughly similar ages, but they had established in contrasting environments: dense conspecific population (‘Undisturbed’ subpopulation) versus open area with all conspecifics removed (‘Disturbed’ subpopulation). Plants were characterized genetically and epigenetically using amplified fragment length polymorphism (AFLP) and two classes of methylation‐sensitive AFLP (MSAP) markers. Subpopulations were similar in genetic diversity but differed in epigenetic diversity and multilocus genetic and epigenetic characteristics. Epigenetic divergence between subpopulations was statistically unrelated to genetic divergence. Bayesian clustering revealed an abrupt linear boundary between subpopulations closely coincident with the arbitrary demarcation line between subplots drawn 20 years back, which supports that genetic and epigenetic divergence between subpopulations was caused by artificial disturbance. There was significant fine‐scale spatial structuring of MSAP markers in both subpopulations, which in the Undisturbed one was indistinguishable from that of AFLP markers. Genetic differences between subpopulations could be explained by divergent selection alone, while the concerted action of divergent selection and disturbance‐driven appearance of new methylation variants in the Disturbed subpopulation is proposed to explain epigenetic differences. This study provides the first empirical evidence to date suggesting that relatively mild disturbances could leave genetic and epigenetic signatures on the next adult generation of long‐lived plants.
Study on Comprehensive Quality Evaluation of Students Based on Data Mining Technology

This paper firstly analyzes the researching actuality of the student result management and points out the problems that still exist. Secondly, a method of data mining is designed for solving the problems. Through the application of this method, the anthors construct the student classification models, which are mainly tested by student's score. Finally, the anthors do a prediction for a new student and give the result of the prediction, the analysis shows that the work is of great theoretical and realistic significance to assist managers in student result management programs. Key words Evaluation of student; Student score; Management, Fuzzy data mining
Prion Infectivity in Fat of Deer with Chronic Wasting Disease

ABSTRACT Chronic wasting disease (CWD) is a neurodegenerative prion disease of cervids. Some animal prion diseases, such as bovine spongiform encephalopathy, can infect humans; however, human susceptibility to CWD is unknown. In ruminants, prion infectivity is found in central nervous system and lymphoid tissues, with smaller amounts in intestine and muscle. In mice, prion infectivity was recently detected in fat. Since ruminant fat is consumed by humans and fed to animals, we determined infectivity titers in fat from two CWD-infected deer. Deer fat devoid of muscle contained low levels of CWD infectivity and might be a risk factor for prion infection of other species.
Influence of Electrical Design on Core–Shell GaAs Nanowire Array Solar Cells

In this paper, we perform coupled optical and electrical simulation for core-shell junction GaAs nanowire array solar cells to obtain the important physical insights of how the cell efficiency is affected by various key parameters, including core-shell doping, junction position, carrier lifetime, and surface effect. Our study reveals that junction design in core-shell nanowires in terms of doping and geometry is largely restricted and affected by the small nanowire dimension, requiring different optimization from those of conventional planar solar cells. To take advantage of the radial p-n junction, high core and shell doping are essential to achieve effective radial carrier collection. Moreover, maintaining thin nanowire shell could effectively offset the detrimental surface effect for improved efficiency.
Pain relief, spiritual needs, and family support: Three central areas in intercultural palliative care

Abstract Objective: The purpose of this study was to draw out and coalesce the topic-specific information found in research literature regarding the provision of culturally sensitive palliative practice. Method: This was a literature study and Gadamerian hermeneutic text analysis. Results: It is more difficult to assess the level of pain in ethnic minority patients, and healthcare providers may become frustrated and interpret pain symptoms as fabrication. These patients are more likely to receive inadequate pain medication. Physical symptom management has become the priority in palliative care, but pain must also be viewed from the perspective of its social, cultural, and spiritual significance. Collectivist values may lead to an other-reliant and dependent coping style. This and religious demands may cause the family to rally around the patient. Many dying patients wish to be cared for at home by their families, but as the patient often has complex needs, the family may not be able to cope with the patient's care. Significance of results: Formal education and in-service programs are needed for healthcare providers, together with empirical studies regarding how to achieve more culturally appropriate care in intercultural palliative practice. The immigrant population needs to be educated about cancer and the various kinds of palliative and hospice care offered in the society in which they now live.
New reliability criteria for transient elastography increase the number of accurate measurements for screening of cirrhosis and portal hypertension

Transient elastography (TE) can non‐invasively diagnose cirrhosis and portal hypertension (PHT). New TE reliability criteria suggest classifying measurements as very reliable (IQR/M < 0.1), reliable (IQR<0.3 or >0.3, if TE < 7.1 kPa) and poorly reliable (IQR/M > 0.3, if TE > 7.1 kPa). Compare traditional (reliable: success rate >60% + IQR/M ≤ 0.30) and new TE quality criteria (accurate: very reliable + reliable) regarding their diagnostic accuracy for cirrhosis and PHT and to identify potential confounders (age, aetiology, necroinflammatory activity, steatosis, siderosis, cholestasis, aminotransferases) of TE performance.